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

network: Explain why a network does not include the domains.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-11-12 01:05:27 +01:00
parent 5fd1e5cb5b
commit 6d77052ed6
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
networks.rkt
View file

@ -167,6 +167,11 @@
(define update-function/c (-> state? any/c)) (define update-function/c (-> state? any/c))
;;; A network is a mapping from its variables to its update functions. ;;; A network is a mapping from its variables to its update functions.
;;;
;;; Note that the domains of the variables of the network are not part
;;; of the network definition. This is because the variables of some
;;; networks may have infinite domains, which can be restricted in
;;; multiple different ways.
(define network? (hash/c variable? procedure?)) (define network? (hash/c variable? procedure?))
;;; Given a state s updates all the variables from xs. This ;;; Given a state s updates all the variables from xs. This