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

networks: Add some tests for tbf/state.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-07-23 00:20:00 +02:00
parent 0b41cf54fc
commit e370356fac
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
networks.rkt
View file

@ -955,5 +955,12 @@
;;; weights, as well as a threshold.
(define (make-tbf/state pairs threshold)
(tbf/state (make-immutable-hash pairs) threshold))
(module+ test
(test-case "tbf/state"
(define f (make-tbf/state '((x1 . 1) (x2 . 1)) 1))
(check-equal? (tbf/state-w f) #hash((x1 . 1) (x2 . 1)))
(check-equal? (tbf/state-θ f) 1)))
;;; A TBN is a network form mapping TBFs to variables.
(define tbn? (hash/c variable? tbf?))