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

rs: Fix the comment of build-interactive-process-graph.

Browse source 
It doesn't pad the context sequence with empty contexts any more.
This commit is contained in:
Sergiu Ivanov 2020-11-09 23:24:43 +01:00
parent dbbfc74eaf
commit 4f3eef0ba3
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
rs.rkt
View file

@ -205,9 +205,7 @@
[(state res '()) (set)]))])
;;; Builds the state graph of a reaction system driven by a given
;;; context sequence. When the context sequence is exhausted, keeps
;;; running the system without contexts. In other words, the context
;;; sequence is padded with empty contexts at the end.
;;; context sequence.
(define (build-interactive-process-graph rs contexts)
(dds-build-state-graph-annotated (dynamics rs)
(set (state (set) contexts))))