diff --git a/bn.rkt b/bn.rkt index 936fc12..b4932c3 100644 --- a/bn.rkt +++ b/bn.rkt @@ -8,14 +8,14 @@ ;;; The variables to be updated at each step are given by the mode. -;; A state of a Boolean network is a mapping from the variables of the -;; network to their Boolean values. +;;; A state of a Boolean network is a mapping from the variables of the +;;; network to their Boolean values. (define-type State (HashTable Symbol Boolean)) -;; An update function is a Boolean function computing a Boolean value -;; from the given state. +;;; An update function is a Boolean function computing a Boolean value +;;; from the given state. (define-type UpdateFunc (-> State Boolean)) -;; A Boolean network is a mapping from its variables to its update -;; functions. +;;; A Boolean network is a mapping from its variables to its update +;;; functions. (define-type Network (HashTable Symbol UpdateFunc))