Skip to content

Commit 97c813e

Browse files
authored
Merge pull request #106 from taburg/master
Fix prefix computation on loading automata from file
2 parents 96c4a73 + d111977 commit 97c813e

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

aalpy/utils/FileHandler.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -406,7 +406,7 @@ def load_automaton_from_file(path, automaton_type, compute_prefixes=False):
406406
automaton = aut_type(initial_state, list(node_label_dict.values()))
407407
if automaton_type not in {'mc', 'sevpa', 'vpa'} and not automaton.is_input_complete():
408408
print('Warning: Loaded automaton is not input complete.')
409-
if compute_prefixes and not automaton_type not in {'mc', 'sevpa', 'vpa'}:
409+
if compute_prefixes and automaton_type not in {'mc', 'sevpa', 'vpa'}:
410410
for state in automaton.states:
411411
state.prefix = automaton.get_shortest_path(automaton.initial_state, state)
412412
return automaton

0 commit comments

Comments
 (0)