scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

networks: Move domain-mapping/c to Basic definitions.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-11-22 20:46:53 +01:00
parent cb208a66fc
commit 393f1d2bba
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
networks.rkt
View file

@ -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)