Uses of Class
net.automatalib.util.partitionrefinement.AutomatonInitialPartitioning

Packages that use AutomatonInitialPartitioning

Package	Description
net.automatalib.util.automaton.minimizer.hopcroft
net.automatalib.util.automaton.minimizer.paigetarjan
net.automatalib.util.partitionrefinement

Uses of AutomatonInitialPartitioning in net.automatalib.util.automaton.minimizer.hopcroft

Methods in net.automatalib.util.automaton.minimizer.hopcroft with parameters of type AutomatonInitialPartitioning

Modifier and Type	Method	Description
static <I,T,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> A	HopcroftMinimization.minimizeUniversal(UniversalDeterministicAutomaton<?,I,T,SP,TP> automaton, Alphabet<I> alphabet, AutomatonCreator<A,I> creator, AutomatonInitialPartitioning ap, HopcroftMinimization.PruningMode pruningMode)	Minimizes the given automaton depending on the given partitioning function.

Uses of AutomatonInitialPartitioning in net.automatalib.util.automaton.minimizer.paigetarjan

Methods in net.automatalib.util.automaton.minimizer.paigetarjan with parameters of type AutomatonInitialPartitioning

Modifier and Type	Method	Description
static <I,T,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> A	PaigeTarjanMinimization.minimizeUniversal(UniversalDeterministicAutomaton<?,I,T,SP,TP> automaton, Alphabet<I> alphabet, AutomatonCreator<A,I> creator, AutomatonInitialPartitioning ap, Object sinkClassification)	Minimizes the given automaton depending on the given partitioning function.

Uses of AutomatonInitialPartitioning in net.automatalib.util.partitionrefinement

Methods in net.automatalib.util.partitionrefinement that return AutomatonInitialPartitioning

Modifier and Type	Method	Description
static AutomatonInitialPartitioning	AutomatonInitialPartitioning.valueOf(String name)	Returns the enum constant of this type with the specified name.
static AutomatonInitialPartitioning[]	AutomatonInitialPartitioning.values()	Returns an array containing the constants of this enum type, in the order they are declared.

Methods in net.automatalib.util.partitionrefinement with parameters of type AutomatonInitialPartitioning

Modifier and Type	Method	Description
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.