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

networks, pretty-print-state-graph-with: Use pretty-print-set for edges.

This commit is contained in:
Sergiu Ivanov 2020-03-01 15:20:44 +01:00
parent 3f24a5be8b
commit a3f5d4d2ba
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
networks.rkt
View File

@ -344,9 +344,9 @@
(string-join (hash-map s (λ (key val) (format "~a:~a" key (any->boolean val))) #t)))
;;; Given a state graph and a pretty-printer for states build a new
;;; state graph with pretty-printed vertices.
;;; state graph with pretty-printed vertices and edges.
(define (pretty-print-state-graph-with gr pprinter)
(update-vertices/unweighted gr pprinter))
(update-graph gr #:v-func pprinter #:e-func pretty-print-set))
;;; Pretty prints a state graph with pretty-print-state.
(define (pretty-print-state-graph gr)