scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

networks: Add and use modality?

Browse source
This commit is contained in:
Sergiu Ivanov 2020-02-23 13:53:02 +01:00
parent 95d248c548
commit 5969595bed
1 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
networks.rkt
View file

@ -43,6 +43,7 @@
[state? (-> any/c boolean?)] [state? (-> any/c boolean?)]
[update-function-form? (-> any/c boolean?)] [update-function-form? (-> any/c boolean?)]
[network-form? (-> any/c boolean?)] [network-form? (-> any/c boolean?)]
[modality? (-> any/c boolean?)]
[mode? (-> any/c boolean?)]) [mode? (-> any/c boolean?)])
;; Contracts ;; Contracts
(contract-out [state/c contract?] (contract-out [state/c contract?]
@ -256,8 +257,11 @@
;;; This section contains definitions for building and analysing the ;;; This section contains definitions for building and analysing the
;;; dynamics of networks. ;;; dynamics of networks.
;;; A mode is a set of sets of variables. ;;; A modality is a set of variable.
(define mode? (set/c (set/c variable?))) (define modality? (set/c variable?))
;;; A mode is a set of modalities.
(define mode? (set/c modality?))
;;; A network dynamics is a network plus a mode. ;;; A network dynamics is a network plus a mode.
(struct dynamics (network mode) (struct dynamics (network mode)