Package | Description |
---|---|
net.automatalib.automata.fsa.impl | |
net.automatalib.automata.fsa.impl.compact | |
net.automatalib.util.automata.builders | |
net.automatalib.util.automata.fsa |
Modifier and Type | Class and Description |
---|---|
class |
FastDFA<I> |
Modifier and Type | Class and Description |
---|---|
class |
CompactDFA<I> |
Modifier and Type | Method and Description |
---|---|
static <S,I,A extends MutableDFA<S,? super I>> |
AutomatonBuilders.forDFA(A dfa) |
Modifier and Type | Method and Description |
---|---|
static <I,S,A extends MutableDFA<S,I>> |
DFAs.and(DFA<?,I> dfa1,
DFA<?,I> dfa2,
Collection<? extends I> inputs,
A out)
Calculates the conjunction ("and") of two DFA, and stores the result in a given mutable DFA.
|
static <I,S,A extends MutableDFA<S,I>> |
DFAs.combine(DFA<?,I> dfa1,
DFA<?,I> dfa2,
Collection<? extends I> inputs,
A out,
AcceptanceCombiner combiner)
Most general way of combining two DFAs.
|
static <I,S,A extends MutableDFA<S,I>> |
DFAs.complement(DFA<?,I> dfa,
Collection<? extends I> inputs,
A out)
Calculates the complement (negation) of a DFA, and stores the result in a given mutable DFA.
|
static <I,S,A extends MutableDFA<S,I>> |
DFAs.complete(DFA<?,I> dfa,
Collection<? extends I> inputs,
A out) |
static <I,S,A extends MutableDFA<S,I>> |
DFAs.equiv(DFA<?,I> dfa1,
DFA<?,I> dfa2,
Collection<? extends I> inputs,
A out)
Calculates the equivalence ("<=>") of two DFA, and stores the result in a given mutable DFA.
|
static <I,S,A extends MutableDFA<S,I>> |
DFAs.impl(DFA<?,I> dfa1,
DFA<?,I> dfa2,
Collection<? extends I> inputs,
A out)
Calculates the implication ("=>") of two DFA, and stores the result in a given mutable DFA.
|
static <I,S,A extends MutableDFA<S,I>> |
DFAs.or(DFA<?,I> dfa1,
DFA<?,I> dfa2,
Collection<? extends I> inputs,
A out)
Calculates the disjunction ("or") of two DFA, and stores the result in a given mutable DFA.
|
static <I,S,A extends MutableDFA<S,I>> |
DFAs.xor(DFA<?,I> dfa1,
DFA<?,I> dfa2,
Collection<? extends I> inputs,
A out)
Calculates the exclusive-or ("xor") of two DFA, and stores the result in a given mutable DFA.
|
Modifier and Type | Method and Description |
---|---|
static <S,I> void |
MutableDFAs.complement(MutableDFA<S,I> dfa,
Collection<? extends I> inputs) |
static <S,I> void |
MutableDFAs.complete(MutableDFA<S,I> dfa,
Collection<? extends I> inputs) |
static <S,I> void |
MutableDFAs.complete(MutableDFA<S,I> dfa,
Collection<? extends I> inputs,
boolean minimize) |
static <S,I> void |
MutableDFAs.complete(MutableDFA<S,I> dfa,
Collection<? extends I> inputs,
boolean minimize,
boolean undefinedAcceptance) |
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) |
Copyright © 2015. All rights reserved.