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, and stores the result in a given mutable NFA.
|
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,S,A extends MutableNFA<S,I>> A |
NFAs.combine(NFA<?,I> nfa1,
NFA<?,I> nfa2,
Collection<? extends I> inputs,
A out,
AcceptanceCombiner combiner) |
Most general way of combining two NFAs.
|
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> void |
NFAs.determinize(NFA<?,I> nfa,
Collection<? extends I> inputs,
MutableDFA<?,I> out) |
|
static <I> void |
NFAs.determinize(NFA<?,I> nfa,
Collection<? extends I> inputs,
MutableDFA<?,I> out,
boolean partial,
boolean minimize) |
|
static <I> CompactDFA<I> |
NFAs.determinize(NFA<?,I> nfa,
Alphabet<I> inputAlphabet) |
|
static <I> CompactDFA<I> |
NFAs.determinize(NFA<?,I> nfa,
Alphabet<I> inputAlphabet,
boolean partial,
boolean minimize) |
|
static <I,S,A extends MutableNFA<S,I>> A |
NFAs.equiv(NFA<?,I> nfa1,
NFA<?,I> nfa2,
Collection<? extends I> inputs,
A out) |
Calculates the equivalence ("<=>") of two NFAs, and stores the result in a given mutable NFA.
|
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,S,A extends MutableNFA<S,I>> A |
NFAs.impl(NFA<?,I> nfa1,
NFA<?,I> nfa2,
Collection<? extends I> inputs,
A out) |
Calculates the implication ("=>") of two NFAs, and stores the result in a given mutable 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,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, and stores the result in a given mutable 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,S,A extends MutableNFA<S,I>> A |
NFAs.xor(NFA<?,I> nfa1,
NFA<?,I> nfa2,
Collection<? extends I> inputs,
A out) |
Calculates the exclusive-or ("xor") of two NFAs, and stores the result in a given mutable 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.
|