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

Packages that use Valmari

Package	Description
net.automatalib.util.partitionrefinement

Uses of Valmari in net.automatalib.util.partitionrefinement

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

Modifier and Type	Method	Description
static <S,I,A extends NFA<S,I> & InputAlphabetHolder<I>> Valmari	ValmariInitializers.initializeNFA(A nfa)	Initializes the partition refinement data structure using the structural information from the given NFA and its state acceptance as classifier for the initial partition.
static <S,I> Valmari	ValmariInitializers.initializeNFA(NFA<S,I> nfa, Alphabet<I> alphabet)	Initializes the partition refinement data structure using the structural information from the given NFA and its state acceptance as classifier for the initial partition.
static <S,I,T> Valmari	ValmariInitializers.initializeUniversal(UniversalAutomaton<S,I,T,?,?> automaton, Alphabet<I> alphabet, Function<? super S,?> initialClassifier)	Initializes the partition refinement data structure using the structural information from the given automaton and the given classifier for the initial partition.

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

Modifier and Type	Method	Description
static <I> CompactNFA<I>	ValmariExtractors.toNFA(Valmari valmari, NFA<?,I> original, Alphabet<I> alphabet)	Extracts from the given partition refinement data structure the "quotiented" NFA of the original one.
static <I> CompactNFA<I>	ValmariExtractors.toNFA(Valmari valmari, NFA<?,I> original, Alphabet<I> alphabet, boolean pruneUnreachable)	Extracts from the given partition refinement data structure the "quotiented" NFA of the original one.
static <S,I,A extends MutableNFA<S,I>> A	ValmariExtractors.toNFA(Valmari valmari, NFA<?,I> original, Alphabet<I> alphabet, boolean pruneUnreachable, AutomatonCreator<A,I> creator)	Extracts from the given partition refinement data structure the "quotiented" NFA of the original one.
static <S,I,SP,TP,A extends MutableAutomaton<S,I,?,SP,TP>> A	ValmariExtractors.toUniversal(Valmari valmari, UniversalAutomaton<?,I,?,SP,TP> original, Alphabet<I> alphabet, AutomatonCreator<A,I> creator)	Extracts from the given partition refinement data structure the "quotiented" automaton of the original one, using its state and transition properties.
static <S,I,SP,TP,A extends MutableAutomaton<S,I,?,SP,TP>> A	ValmariExtractors.toUniversal(Valmari valmari, UniversalAutomaton<?,I,?,SP,TP> original, Alphabet<I> alphabet, AutomatonCreator<A,I> creator, boolean pruneUnreachable)	Extracts from the given partition refinement data structure the "quotiented" automaton of the original one, using its state and transition properties.