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

rs: Add pretty-print-state and use it in update-graph.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-03-03 00:25:06 +01:00
parent f22d42f98c
commit cf99c8acf3
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
rs.rkt
View file

@ -173,9 +173,15 @@
(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.
(define/match (pretty-print-state st)
[((state res ctx))
(format "C:~a\nD:{~a}" (pretty-print-set-sets ctx) (pretty-print-set res))])
;;; Pretty prints the state graph of a reaction system.
(define (pretty-print-state-graph sgr)
(update-graph sgr #:e-func pretty-print-set-sets))
(update-graph sgr #:v-func pretty-print-state #:e-func pretty-print-set-sets))
;;; A shortcut for pretty-print-state-graph.
(define-syntax-rule (ppsg sgr) (pretty-print-state-graph sgr))