commit clean-up

randriu · Dec 6, 2023 · 812e2f6 · 812e2f6
1 parent e01cd2d
commit 812e2f6
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/paynt/quotient/pomdp_family.py b/paynt/quotient/pomdp_family.py
@@ -240,12 +240,9 @@ def compute_qvalues_for_fsc(self, dtmc_sketch):
         result = stormpy.model_checking(product, formula, environment=paynt.quotient.models.MarkovChain.environment)
         product_state_to_value = result.get_values()
 
-        invalid_action = self.num_actions
-
-        # prepare the resulting map
-        state_memory_action_to_value = {}
         # map state values to the resulting map
-        # print(len(product_state_to_state_memory_action))
+        state_memory_action_to_value = {}
+        invalid_action = self.num_actions
         for product_state in range(product.nr_states):
             state,memory_action = self.product_pomdp_fsc.product_state_to_state_memory_action[product_state]
             memory,action = memory_action
@@ -280,7 +277,6 @@ def translate_path_to_trace(self, dtmc_sketch, dtmc, path):
             assert action in self.observation_to_actions[obs], "invalid trace"
 
         return trace
-
 
 
     def compute_witnessing_traces(self, dtmc_sketch, satisfying_assignment, num_traces, trace_max_length):