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

networks: Make update accept any kind of sets of variables.

Browse Source
This commit is contained in:
Sergiu Ivanov 2020-02-23 12:10:27 +01:00
parent cbf949ba5a
commit f9191287e1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
networks.rkt
View File

@ -10,13 +10,13 @@
;;; This model can generalise Boolean networks, TBANs, multivalued ;;; This model can generalise Boolean networks, TBANs, multivalued
;;; networks, etc. ;;; networks, etc.
(require "utils.rkt" graph) (require "utils.rkt" "generic.rkt" graph)
(provide (provide
;; Structures ;; Structures
(struct-out dynamics) (struct-out dynamics)
;; Functions ;; Functions
(contract-out [update (-> network? state? (listof variable?) state?)] (contract-out [update (-> network? state? (set/c variable? #:kind 'dont-care) state?)]
[make-state (-> (listof (cons/c symbol? any/c)) state?)] [make-state (-> (listof (cons/c symbol? any/c)) state?)]
[make-network-from-functions (-> (listof (cons/c symbol? update-function/c)) network?)] [make-network-from-functions (-> (listof (cons/c symbol? update-function/c)) network?)]
[update-function-form->update-function (-> update-function-form? update-function/c)] [update-function-form->update-function (-> update-function-form? update-function/c)]