From 148bacf65b830d52635047f5707e179e940102b2 Mon Sep 17 00:00:00 2001 From: Filip Macak Date: Mon, 5 Feb 2024 12:19:09 +0100 Subject: [PATCH] Fixing issues/renaming that were introduced with the introduction of vanilla Storm/StormPy --- paynt/quotient/pomdp.py | 2 +- paynt/quotient/storm_pomdp_control.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/paynt/quotient/pomdp.py b/paynt/quotient/pomdp.py index a90d127e6..75f4871cd 100644 --- a/paynt/quotient/pomdp.py +++ b/paynt/quotient/pomdp.py @@ -310,7 +310,7 @@ def create_coloring_aposteriori(self): all_holes = paynt.family.family.Family() old_to_new_indices = [None] * len(holes) for index,name_labels in enumerate(holes): - if hole is None: + if name_labels is None: continue old_to_new_indices[index] = all_holes.num_holes name,option_labels = name_labels diff --git a/paynt/quotient/storm_pomdp_control.py b/paynt/quotient/storm_pomdp_control.py index a3f2e2710..777370084 100644 --- a/paynt/quotient/storm_pomdp_control.py +++ b/paynt/quotient/storm_pomdp_control.py @@ -578,7 +578,7 @@ def get_subfamilies_restrictions(self, family, result_dict): restriction = [action for action in family.hole_options(hole) if action in result_dict[obs]] - if len(restriction) == hole_num_options(hole): + if len(restriction) == family.hole_num_options(hole): continue subfamilies_restriction.append({"hole": hole, "restriction": restriction})