From 97026a2a42c55654014c79790595dee8152c684e Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 22 Nov 2020 21:30:50 +0100 Subject: [PATCH] networks: Say that domain mappings may be empty. --- networks.rkt | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/networks.rkt b/networks.rkt index 179dcd8..3787ce2 100644 --- a/networks.rkt +++ b/networks.rkt @@ -184,6 +184,10 @@ ;;; 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. +;;; +;;; The domain mapping does not have to assign domains to all +;;; variables (e.g., it may be empty), but in this case the functions +;;; which need to know the domains will not work. (struct network (functions domains)) ;;; Builds a network from a given hash table assigning functions to @@ -261,6 +265,10 @@ ;;; A network form consists of a mapping from variables to the forms ;;; of their update functions, together with a mapping from its ;;; variables to its update functions. +;;; +;;; The domain mapping does not have to assign domains to all +;;; variables (e.g., it may be empty), but in this case the functions +;;; which need to know the domains will not work. (struct network-form (forms domains)) ;;; Build an update function from an update function form.