Uses of Class
net.automatalib.util.partitionrefinement.PaigeTarjan
-
Packages that use PaigeTarjan Package Description net.automatalib.util.partitionrefinement -
-
Uses of PaigeTarjan in net.automatalib.util.partitionrefinement
Methods in net.automatalib.util.partitionrefinement with parameters of type PaigeTarjan Modifier and Type Method Description static void
PaigeTarjanInitializers. initCompleteDeterministic(PaigeTarjan pt, SimpleDeterministicAutomaton.FullIntAbstraction absAutomaton, IntFunction<?> initialClassification, boolean pruneUnreachable)
Initializes the partition refinement data structure from a given abstracted deterministic automaton, partitioning states according to the given classification function.static void
PaigeTarjanInitializers. initCompleteDeterministic(PaigeTarjan pt, UniversalDeterministicAutomaton.FullIntAbstraction<?,?,?> absAutomaton, AutomatonInitialPartitioning ip, boolean pruneUnreachable)
Initializes the partition refinement data structure from a given abstracted deterministic automaton, using a predefined initial partitioning mode.static void
PaigeTarjanInitializers. initDeterministic(PaigeTarjan pt, SimpleDeterministicAutomaton.FullIntAbstraction absAutomaton, IntFunction<?> initialClassification, Object sinkClassification)
Initializes the partition refinement data structure from a given deterministic automaton, initializing the initial partition according to the given classification function.static <I,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>>
APaigeTarjanExtractors. toDeterministic(PaigeTarjan pt, AutomatonCreator<A,I> creator, Alphabet<I> inputs, SimpleDeterministicAutomaton.FullIntAbstraction absOriginal, IntFunction<? extends SP> spExtractor, BiIntFunction<? extends TP> tpExtractor, boolean pruneUnreachable)
Translates the results of the coarsest stable partition computation into a deterministic automaton.
-