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

Add the type TBN.

Browse source
This commit is contained in:
Sergiu Ivanov 2023-05-22 15:55:36 +02:00
parent 001a12d166
commit ab56b64d38
2 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
scribblings/tbn.scrbl
View file

@ -277,6 +277,15 @@ Like @racket[tabulate-tbfs/state] and
(tabulate-tbf/state+headers (tbf/state (hash 'a 1 'b 2) 2)) (tabulate-tbf/state+headers (tbf/state (hash 'a 1 'b 2) 2))
]} ]}
@section{TBNs and SBNs}
@deftype[TBN]{
The type of a TBN, i.e. a mapping assigning to each variable
a @racket[TBF/State].
}
@section{Miscellaneous utilities} @section{Miscellaneous utilities}
@defproc[(group-truth-table-by-nai [tt (Listof (Listof Integer))]) @defproc[(group-truth-table-by-nai [tt (Listof (Listof Integer))])

4
tbn.rkt
View file

@ -34,6 +34,8 @@
tabulate-tbf/state tabulate-tbf/state+headers tabulate-tbf/state tabulate-tbf/state+headers
group-truth-table-by-nai group-truth-table-by-nai
TBN
) )
(: apply-tbf-to-state (-> TBF (State (U Zero One)) (U Zero One))) (: apply-tbf-to-state (-> TBF (State (U Zero One)) (U Zero One)))
@ -317,6 +319,8 @@
((0 0 1 1) (0 1 0 0) (1 0 0 0)) ((0 0 1 1) (0 1 0 0) (1 0 0 0))
((0 1 1 1) (1 0 1 0) (1 1 0 1)) ((0 1 1 1) (1 0 1 0) (1 1 0 1))
((1 1 1 0)))))) ((1 1 1 0))))))
(define-type TBN (HashTable Variable TBF/State))
) )
(module+ test (module+ test