From 7555db41efa53ae763acee5a02c58fd9250cfeac Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sat, 17 Oct 2020 00:55:20 +0200 Subject: [PATCH] networks, tbn->network: Add tests for SBN. --- networks.rkt | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/networks.rkt b/networks.rkt index 697b34c..1e79fc2 100644 --- a/networks.rkt +++ b/networks.rkt @@ -1280,4 +1280,11 @@ (define n (tbn->network tbn)) (define s1 (make-state '((a . 0) (b . 0)))) (check-equal? (update n s1 '(a b)) + (make-state '((a . 0) (b . 1)))) + + (define sbn (make-sbn `((a . ,(make-sbf/state '((b . -1)))) + (b . ,(make-sbf/state '((a . 1))))))) + (define sn (tbn->network sbn)) + (define s2 (make-state '((a . 1) (b . 1)))) + (check-equal? (update sn s2 '(a b)) (make-state '((a . 0) (b . 1))))))