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

networks: Remove a custom definition of dds-step-one.

Browse Source 
This method now falls back to dds-step-one-annotated.
This commit is contained in:
Sergiu Ivanov 2020-03-02 12:12:57 +01:00
parent 736f210c41
commit ac7ce12a9d
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
networks.rkt
View File

@ -302,11 +302,7 @@
;;; A network dynamics is a network plus a mode.
(struct dynamics (network mode)
#:methods gen:dds
[(define/match (dds-step-one dyn s)
[((dynamics network mode) s)
(for/set ([m mode]) (update network s m))])
;; Annotates each result state with the modality which lead to it.
[;; Annotates each result state with the modality which lead to it.
(define/match (dds-step-one-annotated dyn s)
[((dynamics network mode) s)
(for/set ([m mode]) (cons m (update network s m)))])])