bn: make-bn -> make-bn-funcs.

This commit is contained in:
Sergiu Ivanov 2020-02-18 12:09:07 +01:00
parent 35abded486
commit 608b606717
2 changed files with 4 additions and 4 deletions

View file

@ -16,7 +16,7 @@
[f2 (λ ([s : State])
(let ([x2 (hash-ref s 'x2)])
(not x2)))]
[bn (make-bn `((x1 . ,f1) (x2 . ,f2)))])
[bn (make-bn-funcs `((x1 . ,f1) (x2 . ,f2)))])
(test-case "One-step syncronous update"
(let* ([s (make-state '((x1 . #t) (x2 . #f)))]

6
bn.rkt
View file

@ -10,7 +10,7 @@
(require "utils.rkt")
(provide Variable State UpdateFunc Network
update make-state make-bn update-func-form->update-func
update make-state make-bn-funcs update-func-form->update-func
bn-form->bn)
@ -50,8 +50,8 @@
(make-hash mappings))
;;; A version of make-hash restricted to creating Boolean networks.
(: make-bn (-> (Listof (Pairof Variable UpdateFunc)) Network))
(define (make-bn funcs)
(: make-bn-funcs (-> (Listof (Pairof Variable UpdateFunc)) Network))
(define (make-bn-funcs funcs)
(make-hash funcs))