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

rs: build-interactive-process -> build-interactive-process-graph.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-03-03 00:27:52 +01:00
parent fcb4474858
commit 9cfab2e45d
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
rs-tests.rkt
View file

@ -33,7 +33,7 @@
[dyn (dynamics rs)] [dyn (dynamics rs)]
[state1 (state (set) (list (set 'x) (set 'y) (set 'z) (set) (set 'z)))] [state1 (state (set) (list (set 'x) (set 'y) (set 'z) (set) (set 'z)))]
[sgr (dds-build-state-graph-annotated dyn (set state1))] [sgr (dds-build-state-graph-annotated dyn (set state1))]
[ip (build-interactive-process rs (list (set 'x) (set 'y) (set 'z) (set) (set 'z)))]) [ip (build-interactive-process-graph rs (list (set 'x) (set 'y) (set 'z) (set) (set 'z)))])
(check-equal? (dds-step-one-annotated dyn state1) (check-equal? (dds-step-one-annotated dyn state1)
(set (cons (set (cons
(set 'a 'b) (set 'a 'b)

4
rs.rkt
View file

@ -26,7 +26,7 @@
[dds-build-n-step-state-graph (-> dynamics? (set/c state? #:kind 'dont-care) number? graph?)] [dds-build-n-step-state-graph (-> dynamics? (set/c state? #:kind 'dont-care) number? graph?)]
[dds-build-state-graph-annotated (-> dynamics? (set/c state? #:kind 'dont-care) graph?)] [dds-build-state-graph-annotated (-> dynamics? (set/c state? #:kind 'dont-care) graph?)]
[dds-build-n-step-state-graph-annotated (-> dynamics? (set/c state? #:kind 'dont-care) number? graph?)] [dds-build-n-step-state-graph-annotated (-> dynamics? (set/c state? #:kind 'dont-care) number? graph?)]
[build-interactive-process (-> reaction-system/c (listof (set/c species?)) graph?)] [build-interactive-process-graph (-> reaction-system/c (listof (set/c species?)) graph?)]
[pretty-print-state-graph (-> graph? graph?)]) [pretty-print-state-graph (-> graph? graph?)])
;; Predicates ;; Predicates
(contract-out [species? (-> any/c boolean?)]) (contract-out [species? (-> any/c boolean?)])
@ -169,7 +169,7 @@
;;; context sequence. When the context sequence is exhausted, keeps ;;; context sequence. When the context sequence is exhausted, keeps
;;; running the system without contexts. In other words, the context ;;; running the system without contexts. In other words, the context
;;; sequence is padded with empty contexts at the end. ;;; sequence is padded with empty contexts at the end.
(define (build-interactive-process rs contexts) (define (build-interactive-process-graph rs contexts)
(dds-build-state-graph-annotated (dynamics rs) (dds-build-state-graph-annotated (dynamics rs)
(set (state (set) contexts)))) (set (state (set) contexts))))