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

networks: Properly export dynamics.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-11-12 01:07:41 +01:00
parent 6d77052ed6
commit 88caecb98a
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
networks.rkt
View file

@ -15,9 +15,10 @@
(provide (provide
;; Structures ;; Structures
(struct-out dynamics)
(contract-out [struct tbf/state ([weights (hash/c variable? number?)] (contract-out [struct tbf/state ([weights (hash/c variable? number?)]
[threshold number?])]) [threshold number?])]
[struct dynamics ([network network?]
[mode mode?])])
;; Functions ;; Functions
(contract-out [update (-> network? state? (set/c variable? #:kind 'dont-care) 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?)]