From 393f1d2bba8b8d7c90f846e891f34d163e8dea18 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 22 Nov 2020 20:46:53 +0100 Subject: [PATCH] networks: Move domain-mapping/c to Basic definitions. --- networks.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/networks.rkt b/networks.rkt index 28c5d64..5765165 100644 --- a/networks.rkt +++ b/networks.rkt @@ -174,6 +174,10 @@ ;;; state. (define update-function/c (-> state? any/c)) +;;; A domain mapping is a hash set mapping variables to the lists of +;;; values in their domains. +(define domain-mapping/c (hash/c variable? list?)) + ;;; A network consists of a mapping from its variables to its update ;;; variables, as a well as of a mapping from its variables to ;;; their domains. @@ -334,10 +338,6 @@ (check-false (has-edge? ig 'c 'b)) (check-false (has-edge? ig 'c 'a)))) -;;; A domain mapping is a hash set mapping variables to the lists of -;;; values in their domains. -(define domain-mapping/c (hash/c variable? list?)) - ;;; Given a hash-set mapping variables to generic sets of their ;;; possible values, constructs the list of all possible states. (define (build-all-states vars-domains)