From cbf949ba5a15e55cec6c28709f911f0019f10bcd Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 23 Feb 2020 11:51:59 +0100 Subject: [PATCH] network: Use domain-mapping/c in the contract of make-same-domains. --- networks.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/networks.rkt b/networks.rkt index a29d27c..bd7f335 100644 --- a/networks.rkt +++ b/networks.rkt @@ -26,7 +26,7 @@ [list-interactions (-> network-form? variable? (listof variable?))] [build-interaction-graph (-> network-form? graph?)] [build-all-states (-> domain-mapping/c (listof state?))] - [make-same-domains (-> (listof variable?) generic-set? (hash/c variable? generic-set?))] + [make-same-domains (-> (listof variable?) generic-set? domain-mapping/c)] [make-boolean-domains (-> (listof variable?) (hash/c variable? (list/c #f #t)))] [get-interaction-sign (-> network-form? domain-mapping/c variable? variable? (or/c '+ '- '0))] [build-signed-interaction-graph (-> network-form? domain-mapping/c graph?)]