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,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,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,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,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,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.
|