From 0336526a8474e495409ee504f75053ab805cc095 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Thu, 5 May 2022 11:56:21 +0200 Subject: [PATCH] Type forms->boolean-network. --- networks.rkt | 28 ++++++++++++++-------------- scribblings/networks.scrbl | 10 ++++++++++ 2 files changed, 24 insertions(+), 14 deletions(-) diff --git a/networks.rkt b/networks.rkt index 53e6952..df093ac 100644 --- a/networks.rkt +++ b/networks.rkt @@ -21,6 +21,7 @@ update-function-form->update-function/01 network-form->network/any network-form->network/boolean network-form->network/01 make-boolean-network-form + forms->boolean-network ) (define-type (State a) (VariableMapping a)) @@ -225,6 +226,18 @@ (network-form '#hash((a . (and a b)) (b . (not b))) '#hash((a . (#f #t)) (b . (#f #t))))))) + + (: forms->boolean-network (-> (VariableMapping UpdateFunctionForm) + (Network Boolean))) + (define forms->boolean-network + (compose network-form->network/boolean make-boolean-network-form)) + + (module+ test + (test-case "forms->boolean-network" + (define n (forms->boolean-network (hash 'a '(and a b) + 'b '(not b)))) + (check-equal? (network-domains n) (hash 'a '(#f #t) + 'b '(#f #t))))) ) (require 'typed) @@ -241,8 +254,7 @@ [struct dynamics ([network network?] [mode mode?])]) ;; Functions - (contract-out [forms->boolean-network (-> variable-mapping? network?)] - [list-syntactic-interactions (-> network-form? variable? (listof variable?))] + (contract-out [list-syntactic-interactions (-> network-form? variable? (listof variable?))] [build-syntactic-interaction-graph (-> network-form? graph?)] [interaction? (-> network? variable? variable? boolean?)] [get-interaction-sign (-> network? variable? variable? (or/c #f -1 0 1))] @@ -388,18 +400,6 @@ (define update-function-form? any/c) -;;; Build a Boolean network from a given mapping assigning forms -;;; to variables. -(define forms->boolean-network - (compose network-form->network/any make-boolean-network-form)) - -(module+ test - (test-case "forms->boolean-network" - (define n (forms->boolean-network (hash 'a '(and a b) - 'b '(not b)))) - (check-equal? (network-domains n) (hash 'a '(#f #t) - 'b '(#f #t))))) - ;;; ============================ ;;; Inferring interaction graphs diff --git a/scribblings/networks.scrbl b/scribblings/networks.scrbl index c5bd199..5945e32 100644 --- a/scribblings/networks.scrbl +++ b/scribblings/networks.scrbl @@ -320,6 +320,16 @@ Build a Boolean network form from a given mapping assigning forms to variables. 'b '(not b))) ]} +@defproc[(forms->boolean-network [forms (VariableMapping UpdateFunctionForm)]) + (Network Boolean)]{ + +Build a Boolean network from a given mapping assigning forms to variables. + +@ex[ +(forms->boolean-network (hash 'a '(and a b) + 'b '(not b))) +]} + @section{Inferring interaction graphs} This section provides inference of both unsigned and signed interaction graphs.