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

networks: Re-export dds-build-state-graph-annotated and dds-build-n-step-state-graph-annotated.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-02-28 21:46:25 +01:00
parent 160713b56b
commit 2ece2e76ee
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
networks.rkt
View file

@ -44,6 +44,8 @@
[dds-step (-> dynamics? (set/c state? #:kind 'dont-care) (set/c state?))]
[dds-build-state-graph (-> dynamics? (set/c state? #:kind 'dont-care) graph?)]
[dds-build-n-step-state-graph (-> dynamics? (set/c state? #:kind 'dont-care) number? graph?)]
[dds-build-state-graph-annotated (-> dynamics? (set/c state? #:kind 'dont-care) graph?)]
[dds-build-n-step-state-graph-annotated (-> dynamics? (set/c state? #:kind 'dont-care) number? graph?)]
[pretty-print-state (-> state? string?)]
[any->boolean (-> any/c boolean?)]
[pretty-print-boolean-state (-> state? string?)]