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

networks: Add tbn?.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-07-21 00:13:56 +02:00
parent 63029af82f
commit 5c0bb0ddbb
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
networks.rkt
View file

@ -917,3 +917,11 @@
;;; where k = n - 1.
(define (random-boolean-network/vars n)
(random-boolean-network (for/list ([i (in-range n)]) (string->symbol (format "x~a" i)))))
;;; ===================
;;; TBF/TBN and SBF/SBN
;;; ===================
;;; A TBN is a network form mapping TBFs to variables.
(define tbn? (hash/c variable? tbf?))