Merge pull request #62 from MaxiSchwindler/master

Fix to_state_setup() with unreachable states

Author: emuskardin

aalpy/automata/Dfa.py

@@ -57,7 +57,7 @@ def to_state_setup(self):
         # ensure prefixes are computed
         self.compute_prefixes()
 
-        sorted_states = sorted(self.states, key=lambda x: len(x.prefix))
+        sorted_states = sorted(self.states, key=lambda x: len(x.prefix) if x.prefix is not None else len(self.states))
         for s in sorted_states:
             state_setup_dict[s.state_id] = (s.is_accepting, {k: v.state_id for k, v in s.transitions.items()})
 

aalpy/automata/MealyMachine.py

@@ -42,7 +42,7 @@ def to_state_setup(self):
         # ensure prefixes are computed
         self.compute_prefixes()
 
-        sorted_states = sorted(self.states, key=lambda x: len(x.prefix))
+        sorted_states = sorted(self.states, key=lambda x: len(x.prefix) if x.prefix is not None else len(self.states))
         for s in sorted_states:
             state_setup_dict[s.state_id] = {k: (s.output_fun[k], v.state_id) for k, v in s.transitions.items()}
 

aalpy/automata/MooreMachine.py

@@ -54,7 +54,7 @@ def to_state_setup(self):
         # ensure prefixes are computed
         self.compute_prefixes()
 
-        sorted_states = sorted(self.states, key=lambda x: len(x.prefix))
+        sorted_states = sorted(self.states, key=lambda x: len(x.prefix) if x.prefix is not None else len(self.states))
         for s in sorted_states:
             state_setup_dict[s.state_id] = (s.output, {k: v.state_id for k, v in s.transitions.items()})
 

aalpy/automata/Vpa.py

@@ -156,7 +156,7 @@ def to_state_setup(self):
         # ensure prefixes are computed
         # self.compute_prefixes()
 
-        sorted_states = sorted(self.states, key=lambda x: len(x.prefix))
+        sorted_states = sorted(self.states, key=lambda x: len(x.prefix) if x.prefix is not None else len(self.states))
         for s in sorted_states:
             state_setup_dict[s.state_id] = (
                 s.is_accepting, {k: (v.target_state.state_id, v.action) for k, v in s.transitions.items()})