From 6d77052ed6eedf8f49110a8d02b83a6640f07035 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Thu, 12 Nov 2020 01:05:27 +0100 Subject: [PATCH] network: Explain why a network does not include the domains. --- networks.rkt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/networks.rkt b/networks.rkt index 93db941..6f5845f 100644 --- a/networks.rkt +++ b/networks.rkt @@ -167,6 +167,11 @@ (define update-function/c (-> state? any/c)) ;;; 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?)) ;;; Given a state s updates all the variables from xs. This