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

networks: Add "and networks" to "Constructing functions".

Browse source
This commit is contained in:
Sergiu Ivanov 2020-03-23 22:31:58 +01:00
parent ac2d03f953
commit 9961dc7c8b
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
networks-tests.rkt
View file

@ -231,7 +231,7 @@
(check-equal? (tabulate-boolean-network bn #:headers #f)
'((#f #f #t #f) (#f #t #t #t) (#t #f #f #f) (#t #t #f #t)))))
(test-case "Constructing functions"
(test-case "Constructing functions and networks"
(check-equal? (boolean-power 2) '((#f #f) (#f #t) (#t #f) (#t #t)))
(check-equal? (stream->list (boolean-power/stream 2)) '((#f #f) (#f #t) (#t #f) (#t #t)))
(let ([negation (table->function '((#t #f) (#f #t)))]

6
networks.rkt
View file

@ -513,9 +513,9 @@
(tabulate-network bn (make-boolean-domains (hash-map bn (λ (x y) x) #t))
#:headers headers))
;;; ======================
;;; Constructing functions
;;; ======================
;;; ===================================
;;; Constructing functions and networks
;;; ===================================
;;; Given a table like the one produced by the tabulate functions,
;;; creates a function which has this behaviour.