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

networks, generic: Make all set/c arguments 'dont-care.

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

2
generic.rkt
View file

@ -12,7 +12,7 @@
gen:dds
;; Functions
(contract-out [dds-step-one (-> dds? any/c (set/c any/c))]
[dds-step (-> dds? (set/c any/c) (set/c any/c))])
[dds-step (-> dds? (set/c any/c #:kind 'dont-care) (set/c any/c))])
;; Predicates
(contract-out [dds? (-> any/c boolean?)]))

2
networks.rkt
View file

@ -37,7 +37,7 @@
[make-asyn-dynamics (-> network? dynamics?)]
[make-syn-dynamics (-> network? dynamics?)]
[dds-step-one (-> dynamics? state? (set/c state?))]
[dds-step (-> dynamics? (set/c state?) (set/c state?))])
[dds-step (-> dynamics? (set/c state? #:kind 'dont-care) (set/c state?))])
;; Predicates
(contract-out [variable? (-> any/c boolean?)]
[state? (-> any/c boolean?)]