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

networks: Slightly reorder the exports.

Browse Source
This commit is contained in:
Sergiu Ivanov 2020-08-01 23:38:24 +02:00
parent fbc3bf5c8a
commit e85cfd9f0f
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

@ -79,11 +79,11 @@
[random-network (domain-mapping/c . -> . network?)]
[random-boolean-network ((listof variable?) . -> . network?)]
[random-boolean-network/vars (number? . -> . network?)]
[apply-tbf-to-state (-> tbf? state? (or/c 0 1))]
[tbf/state-w (-> tbf/state? (hash/c variable? number?))]
[tbf/state-θ (-> tbf/state? number?)]
[make-tbf/state (-> (listof (cons/c variable? number?)) number? tbf/state?)]
[apply-tbf/state (-> tbf/state? (hash/c variable? (or/c 0 1)) (or/c 0 1))]
[apply-tbf-to-state (-> tbf? state? (or/c 0 1))])
[apply-tbf/state (-> tbf/state? (hash/c variable? (or/c 0 1)) (or/c 0 1))])
;; Predicates
(contract-out [variable? (-> any/c boolean?)]
[state? (-> any/c boolean?)]