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>> A	PaigeTarjanExtractors.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.