fix family definition for partially defined siblings

randriu · Dec 2, 2023 · 0e033bf · 0e033bf
1 parent ea0f0b9
commit 0e033bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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