From 0e033bf37770212964edf2ec584ef1c68c3aa2ee Mon Sep 17 00:00:00 2001 From: Roman Andriushchenko Date: Sat, 2 Dec 2023 17:12:34 +0100 Subject: [PATCH] fix family definition for partially defined siblings --- paynt/synthesizer/policy_tree.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/paynt/synthesizer/policy_tree.py b/paynt/synthesizer/policy_tree.py index 4588cb677..273d1c493 100644 --- a/paynt/synthesizer/policy_tree.py +++ b/paynt/synthesizer/policy_tree.py @@ -100,7 +100,7 @@ def split(self, splitter, suboptions, subfamilies): def double_check(self, quotient, prop): assert self.policy is not None - self.family.build() + quotient.build(self.family) if self.policy == False: result = self.family.mdp.model_check_property(prop) assert not result.sat