Type make-syn and make-asyn.

networks.rkt

@@ -33,7 +33,7 @@
    build-interaction-graph/form build-signed-interaction-graph
    build-signed-interaction-graph/form
 
-   Modality Mode dynamics% Dynamics%
+   Modality Mode dynamics% Dynamics% make-syn make-asyn
    )
 
   (define-type (State a) (VariableMapping a))
@@ -600,6 +600,20 @@
       (test-case "dynamics%:build-state-graph"
         (check-equal? (graphviz (send dyn-syn build-state-graph (list s1)))
                       (graphviz (send dyn-syn build-state-graph* (list s1) 'full))))))
+
+  (: make-asyn (-> (Listof Variable) Mode))
+  (define (make-asyn vars) (map (inst list Variable) vars))
+
+  (module+ test
+    (test-case "make-asyn"
+      (check-equal? (make-asyn '(x y z)) '((x) (y) (z)))))
+
+  (: make-syn (-> (Listof Variable) Mode))
+  (define (make-syn vars) (list vars))
+
+  (module+ test
+    (test-case "make-syn"
+      (check-equal? (make-syn '(x y z)) '((x y z)))))
   )
 
 (require 'typed)

scribblings/networks.scrbl

@@ -427,6 +427,24 @@ The type constructor @racket[Dynamics%] takes this limitation into account.
 
 }
 
+@defproc[(make-asyn [vars (Listof Variable)]) Mode]{
+
+Given a list of variables, builds the asynchronous mode, i.e. a set of
+singleton sets of variables.
+
+@ex[(make-asyn '(x y z))]
+
+}
+
+@defproc[(make-syn [vars (Listof Variable)]) Mode]{
+
+Given a list of variables, builds the synchronous mode, i.e. a singleton set
+containing the set of all variables.
+
+@ex[(make-syn '(x y z))]
+
+}
+
 }