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

networks: Fix tbn? to use tbf/state.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-10-15 00:17:15 +02:00
parent 848142aa61
commit d6bf00d617
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
networks.rkt
View file

@ -1230,5 +1230,8 @@
(1 0 0) (1 0 0)
(1 1 0))))) (1 1 0)))))
;;; A TBN is a network form mapping TBFs to variables. ;;; A TBN is a network form mapping variables to tbf/state.
(define tbn? (hash/c variable? tbf?)) ;;;
;;; The tbf/state must only reference variables appearing in the
;;; network. This contract does not check this condition.
(define tbn? (hash/c variable? tbf/state?))