Uses of Interface
net.automatalib.automaton.fsa.MutableNFA

Packages that use MutableNFA

Package	Description
net.automatalib.automaton.fsa.impl	Implementations for net.automatalib.automaton.fsa.
net.automatalib.serialization.saf
net.automatalib.util.automaton.builder
net.automatalib.util.automaton.fsa
net.automatalib.util.automaton.random
net.automatalib.util.partitionrefinement

Uses of MutableNFA in net.automatalib.automaton.fsa.impl

Classes in net.automatalib.automaton.fsa.impl that implement MutableNFA

Modifier and Type	Class	Description
class	CompactNFA<I>
class	FastNFA<I>

Uses of MutableNFA in net.automatalib.serialization.saf

Methods in net.automatalib.serialization.saf with type parameters of type MutableNFA

Modifier and Type	Method	Description
static <S,I,A extends MutableNFA<S,I>> InputModelDeserializer<I,A>	SAFParsers.nfa(AutomatonCreator<A,I> creator, Alphabet<I> alphabet)	Constructs an InputModelDeserializer that reads an NFA description and writes it into a given MutableNFA using the given alphabet.
static <S,A extends MutableNFA<S,Integer>> InputModelDeserializer<Integer,A>	SAFParsers.nfa(AutomatonCreator<A,Integer> creator)	Constructs an InputModelDeserializer that reads an NFA description and writes it into a given MutableNFA using an Integer-based alphabet.

Uses of MutableNFA in net.automatalib.util.automaton.builder

Methods in net.automatalib.util.automaton.builder with type parameters of type MutableNFA

Modifier and Type	Method	Description
static <S,I,A extends MutableNFA<S,? super I>> FSABuilder<S,I,A>	AutomatonBuilders.forNFA(A nfa)

Uses of MutableNFA in net.automatalib.util.automaton.fsa

Methods in net.automatalib.util.automaton.fsa with type parameters of type MutableNFA

Modifier and Type	Method	Description
static <I,S,A extends MutableNFA<S,I>> A	NFAs.and(NFA<?,I> nfa1, NFA<?,I> nfa2, Collection<? extends I> inputs, A out)	Calculates the conjunction ("and") of two NFAs via product construction and stores the result in a given mutable NFA.
static <I,S,A extends MutableNFA<S,I>> A	NFAs.or(NFA<?,I> nfa1, NFA<?,I> nfa2, Collection<? extends I> inputs, A out)	Calculates the disjunction ("or") of two NFAs by merging their states and transitions.
static <SI,I,SO,A extends MutableNFA<SO,I>> Mapping<SO,SI>	NFAs.reverse(NFA<SI,I> nfa, Collection<? extends I> inputs, A out)	Writes an NFA for the reverse language of the given input NFA into the given output NFA.
static <SI,I,SO,A extends MutableNFA<SO,I>> A	NFAs.trim(NFA<SI,I> nfa, Collection<? extends I> inputs, A out)	Creates a trim NFA from the given input NFA and writes it to the given output NFA.

Uses of MutableNFA in net.automatalib.util.automaton.random

Methods in net.automatalib.util.automaton.random with type parameters of type MutableNFA

Modifier and Type	Method	Description
static <S,I,A extends MutableNFA<S,I>> A	TabakovVardiRandomAutomata.generateNFA(Random r, int size, int edgeNum, int acceptNum, Alphabet<I> alphabet, A out)	Generates a random NFA with the given size, number of edges (per letter), and number of accepting states, written to the given MutableNFA.

Uses of MutableNFA in net.automatalib.util.partitionrefinement

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

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