Stripped useless argument from instrumentation class

Author: zwergziege

aalpy/learning_algs/general_passive/GeneralizedStateMerging.py

@@ -35,7 +35,7 @@ def log_promote(self, node: GsmNode):
     def log_merge(self, part: Partitioning):
         pass
 
-    def learning_done(self, root: GsmNode, red_states: List[GsmNode]):
+    def learning_done(self, root: GsmNode):
         pass
 
 
@@ -192,7 +192,7 @@ def run(self, data, convert=True, instrumentation: Instrumentation=None, data_fo
             # FUTURE: caching for aggregating compatibility tests
             partition_candidates.clear()
 
-        instrumentation.learning_done(root, red_states)
+        instrumentation.learning_done(root)
 
         root = self.postprocessing(root)
         if convert:

aalpy/learning_algs/general_passive/Instrumentation.py

@@ -60,9 +60,9 @@ def log_merge(self, part: Partitioning):
         self.nr_merged_states += 1
         self.print_status()
 
-    def learning_done(self, root, red_states):
+    def learning_done(self, root: GsmNode):
         print(f'\nLearning Time: {round(time.time() - self.previous_time, 2)}')
-        print(f'Learned {len(red_states)} state automaton via {self.nr_merged_states} merges.')
+        print(f'Learned {self.nr_red_states} state automaton via {self.nr_merged_states} merges.')
         if 2 < self.lvl:
             root.visualize("model", self.gsm.output_behavior)