remove extra prints

randriu · Nov 30, 2023 · 84d17a9 · 84d17a9
1 parent 301c19a
commit 84d17a9
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 6 deletions.
diff --git a/paynt/quotient/mdp_family.py b/paynt/quotient/mdp_family.py
@@ -119,8 +119,6 @@ def choices_to_hole_selection(self, choice_mask):
         for choice in choice_mask:
             choice_options = self.coloring.action_to_hole_options[choice]
             for hole_index,option in choice_options.items():
-                if hole_index == 0:
-                    print(0, option)
                 hole_selection[hole_index].add(option)
         hole_selection = [list(options) for options in hole_selection]
         return hole_selection

diff --git a/paynt/quotient/quotient.py b/paynt/quotient/quotient.py
@@ -253,8 +253,6 @@ def estimate_scheduler_difference(self, mdp, inconsistent_assignments, choice_va
                 hole_difference_sum[hole_index] += difference
                 hole_states_affected[hole_index] += 1
 
-        print(inconsistent_assignments)
-        print(hole_states_affected)
         for hole_index in inconsistent_assignments:
             assert hole_states_affected[hole_index] > 0
 
@@ -274,7 +272,6 @@ def scheduler_selection_quantitative(self, mdp, prop, result):
         # get qualitative scheduler selection, filter inconsistent assignments
         selection = self.scheduler_selection(mdp, result.scheduler)
         inconsistent_assignments = {hole_index:options for hole_index,options in enumerate(selection) if len(options) > 1 }
-        print(inconsistent_assignments)
         if len(inconsistent_assignments) == 0:
             return selection,None,None,None
 

diff --git a/paynt/synthesizer/policy_tree.py b/paynt/synthesizer/policy_tree.py
@@ -410,7 +410,6 @@ def choose_splitter_round_robin(self, family, prop, scheduler_choices, state_val
 
     def choose_splitter(self, family, prop, scheduler_choices, state_values, hole_selection):
         splitter = None
-        print(hole_selection)
         inconsistent_assignments = {hole_index:options for hole_index,options in enumerate(hole_selection) if len(options) > 1}
         if len(inconsistent_assignments)==0:
             for hole_index,hole in enumerate(family):