Skip to content

Commit

Permalink
removed dead code in new RPNI and fixed test
Browse files Browse the repository at this point in the history
  • Loading branch information
zwergziege committed Apr 3, 2023
1 parent bbb8c78 commit 94fa709
Showing 1 changed file with 0 additions and 2 deletions.
Original file line number Diff line number Diff line change
@@ -1,10 +1,8 @@
import queue
import time
from typing import Tuple

from aalpy.learning_algs.deterministic_passive.rpni_helper_functions import to_automaton, RpniNode, StateMerging, \
createPTA
from aalpy.utils import save_automaton_to_file


class GeneralizedStateMerging:
Expand Down

0 comments on commit 94fa709

Please sign in to comment.