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

Write top-level comments with ;;;

Browse source
This commit is contained in:
Sergiu Ivanov 2020-02-15 15:16:20 +01:00
parent e53496f617
commit 6d02006691
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
bn.rkt
View file

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