diff --git a/rs.rkt b/rs.rkt index 4d412f7..30e0a2d 100644 --- a/rs.rkt +++ b/rs.rkt @@ -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))))