diff --git a/networks-tests.rkt b/networks-tests.rkt index 8d0a637..9a9ae62 100644 --- a/networks-tests.rkt +++ b/networks-tests.rkt @@ -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)))] diff --git a/networks.rkt b/networks.rkt index a1b8ef5..dca88cd 100644 --- a/networks.rkt +++ b/networks.rkt @@ -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.