diff --git a/networks.rkt b/networks.rkt index cb909f3..b75c140 100644 --- a/networks.rkt +++ b/networks.rkt @@ -30,8 +30,6 @@ [booleanize-state (-> state? state?)] [update-function-form->update-function (-> update-function-form? update-function/c)] [network-form->network (-> network-form? network?)] - [make-network-from-forms (-> (listof (cons/c symbol? update-function-form?)) - network?)] [list-syntactic-interactions (-> network-form? variable? (listof variable?))] [build-syntactic-interaction-graph (-> network-form? graph?)] [interaction? (-> network? domain-mapping/c variable? variable? boolean?)] @@ -270,17 +268,6 @@ (define s (make-state '((a . #t) (b . #t)))) (check-equal? ((hash-ref (network-functions bn) 'a) s) #t))) -;;; Build a network from a list of pairs of forms of update functions. -(define (make-network-from-forms forms) - (network-form->network (make-immutable-hash forms))) - -(module+ test - (test-case "make-network-from-forms" - (define bn (make-network-from-forms '((a . (and a b)) - (b . (not b))))) - (define s (make-state '((a . #t) (b . #t)))) - (check-equal? ((hash-ref bn 'a) s) #t))) - ;;; ============================ ;;; Inferring interaction graphs