Uses of Class net.automatalib.automaton.fsa.CompactNFA (AutomataLib 0.11.0 API)

Packages that use CompactNFA
Package	Description
net.automatalib.automaton.fsa
net.automatalib.serialization.dot
net.automatalib.util.automaton.builder
net.automatalib.util.automaton.fsa

Uses of CompactNFA in net.automatalib.automaton.fsa

Methods in net.automatalib.automaton.fsa that return CompactNFA
Modifier and Type	Method	Description
`CompactNFA<I>`	CompactNFA.Creator.`createAutomaton(Alphabet<I> alphabet)`
`CompactNFA<I>`	CompactNFA.Creator.`createAutomaton(Alphabet<I> alphabet, int numStates)`
`<I2> CompactNFA<I2>`	CompactNFA.`translate(Alphabet<I2> newAlphabet)`

Constructors in net.automatalib.automaton.fsa with parameters of type CompactNFA
Constructor	Description
`CompactNFA(Alphabet<I> alphabet, CompactNFA<?> other)`
`CompactNFA(CompactNFA<I> other)`

Uses of CompactNFA in net.automatalib.serialization.dot

Methods in net.automatalib.serialization.dot that return types with arguments of type CompactNFA
Modifier and Type	Method	Description
`static DOTInputModelDeserializer<Integer,@Nullable String,CompactNFA<@Nullable String>>`	DOTParsers.`nfa()`	Default parser for `NFA`s serialized by AutomataLib.
`static <I> DOTInputModelDeserializer<Integer,I,CompactNFA<I>>`	DOTParsers.`nfa(Function<Map<String,String>,Boolean> nodeParser, Function<Map<String,String>,I> edgeParser)`	Parser for `NFA`s with custom node and edge attributes.

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

Methods in net.automatalib.util.automaton.builder that return types with arguments of type CompactNFA
Modifier and Type	Method	Description
`static <I> FSABuilder<Integer,I,CompactNFA<I>>`	AutomatonBuilders.`newNFA(Alphabet<I> alphabet)`

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

Methods in net.automatalib.util.automaton.fsa that return CompactNFA
Modifier and Type	Method	Description
`static <I> CompactNFA<I>`	NFAs.`and(NFA<?,I> nfa1, NFA<?,I> nfa2, Alphabet<I> inputAlphabet)`	Calculates the conjunction ("and") of two NFAs, and returns the result as a new NFA.
`static <I> CompactNFA<I>`	NFAs.`combine(NFA<?,I> nfa1, NFA<?,I> nfa2, Alphabet<I> inputAlphabet, AcceptanceCombiner combiner)`	Most general way of combining two NFAs.
`static <I> CompactNFA<I>`	NFAs.`equiv(NFA<?,I> nfa1, NFA<?,I> nfa2, Alphabet<I> inputAlphabet)`	Calculates the equivalence ("<=>") of two NFAs, and returns the result as a new NFA.
`static <I> CompactNFA<I>`	NFAs.`impl(NFA<?,I> nfa1, NFA<?,I> nfa2, Alphabet<I> inputAlphabet)`	Calculates the implication ("=>") of two NFAs, and returns the result as a new NFA.
`static <I> CompactNFA<I>`	NFAs.`or(NFA<?,I> nfa1, NFA<?,I> nfa2, Alphabet<I> inputAlphabet)`	Calculates the disjunction ("or") of two NFAs, and returns the result as a new NFA.
`static <I> CompactNFA<I>`	NFAs.`xor(NFA<?,I> nfa1, NFA<?,I> nfa2, Alphabet<I> inputAlphabet)`	Calculates the exclusive-or ("xor") of two NFAs, and returns the result as a new NFA.