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

rs: Explain why we need to print the whole context sequence.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-03-03 00:26:45 +01:00
parent 227dfff14a
commit fcb4474858
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
rs.rkt
View file

@ -173,8 +173,10 @@
(dds-build-state-graph-annotated (dynamics rs)
(set (state (set) contexts))))
;;; Pretty-prints the context and the current result of a state of the
;;; reaction system.
;;; Pretty-prints the context sequence and the current result of a
;;; state of the reaction system. Note that we need to keep the full
;;; context sequence in the name of each state to avoid confusion
;;; between the states at different steps of the evolution.
(define/match (pretty-print-state st)
[((state res ctx))
(format "C:~a\nD:{~a}" (pretty-print-set-sets ctx) (pretty-print-set res))])