From afa84d00b535e5806392c48b1aa27987901bcb51 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 18 Oct 2020 22:52:45 +0200 Subject: [PATCH] networks: Add build-all-01-states. --- networks.rkt | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/networks.rkt b/networks.rkt index 66bbd9b..111e350 100644 --- a/networks.rkt +++ b/networks.rkt @@ -34,6 +34,7 @@ [make-boolean-domains (-> (listof variable?) (hash/c variable? (list/c #f #t)))] [make-01-domains (-> (listof variable?) (hash/c variable? (list/c 0 1)))] [build-all-boolean-states (-> (listof variable?) (listof state?))] + [build-all-01-states (-> (listof variable?) (listof state?))] [get-interaction-sign (-> network? domain-mapping/c variable? variable? (or/c '+ '- '0))] [build-signed-interaction-graph/form (-> network-form? domain-mapping/c graph?)] [build-boolean-signed-interaction-graph/form (-> network-form? graph?)] @@ -358,6 +359,19 @@ #hash((a . #t) (b . #f)) #hash((a . #t) (b . #t)))))) +;;; Builds all Boolean states over a given set of variables, but with +;;; 0 and 1 for Boolean values. +(define build-all-01-states + (compose build-all-states make-01-domains)) + +(module+ test + (test-case "build-all-01-states" + (check-equal? (build-all-01-states '(a b)) + '(#hash((a . 0) (b . 0)) + #hash((a . 0) (b . 1)) + #hash((a . 1) (b . 0)) + #hash((a . 1) (b . 1)))))) + ;;; Given two interacting variables of a network and the domains ;;; of the variables, returns '+ if the interaction is monotonously ;;; increasing, '- if it is monotonously decreasing, and '0 otherwise.