diff --git a/networks.rkt b/networks.rkt index 3787ce2..4a698ba 100644 --- a/networks.rkt +++ b/networks.rkt @@ -52,8 +52,6 @@ [make-dynamics-from-func (-> network? (-> (listof variable?) mode?) dynamics?)] [make-asyn-dynamics (-> network? dynamics?)] [make-syn-dynamics (-> network? dynamics?)] - [read-org-network-make-asyn (-> string? dynamics?)] - [read-org-network-make-syn (-> string? dynamics?)] [dds-step-one (-> dynamics? state? (set/c state?))] [dds-step-one-annotated (-> dynamics? state? (set/c (cons/c modality? state?)))] [dds-step (-> dynamics? (set/c state? #:kind 'dont-care) (set/c state?))] @@ -698,14 +696,6 @@ (check-equal? (dynamics-network syn) n) (check-equal? (dynamics-mode syn) (set (set 'a 'b))))) -;;; Reads an Org-mode-produced sexp, converts it into a network, and -;;; builds the asyncronous dynamics out of it. -(define read-org-network-make-asyn (compose make-asyn-dynamics network-form->network read-org-variable-mapping)) - -;;; Reads an Org-mode-produced sexp, converts it into a network, and -;;; builds the synchronous dynamics out of it. -(define read-org-network-make-syn (compose make-syn-dynamics network-form->network read-org-variable-mapping)) - ;;; Pretty-prints a state of the network. (define (pretty-print-state s) (string-join (hash-map s (λ (key val) (format "~a:~a" key val)) #t)))