public static void initCompleteDeterministic ( PaigeTarjan pt , UniversalDeterministicAutomaton . FullIntAbstraction < ? , ? , ? > absAutomaton , AutomatonInitialPartitioning ip , boolean pruneUnreachable ) { initCompleteDeterministic ( pt , absAutomaton , ip . initialClassifier ( absAutomaton ) , pruneUnreachable ) ; }
Initializes the partition refinement data structure from a given abstracted deterministic automaton using a predefined initial partitioning mode .