Modifier and Type | Method and Description |
---|---|
A |
AutomatonCreator.createAutomaton(Alphabet<I> alphabet) |
default A |
AutomatonCreator.createAutomaton(Alphabet<I> alphabet,
int numStatesHint) |
Modifier and Type | Field and Description |
---|---|
protected Alphabet<I> |
AbstractCompactSimpleNondet.alphabet |
protected Alphabet<I> |
AbstractCompactSimpleDet.alphabet |
protected Alphabet<I> |
AbstractCompactDeterministic.alphabet |
Modifier and Type | Method and Description |
---|---|
Alphabet<I> |
AbstractCompactSimpleNondet.getInputAlphabet() |
Alphabet<I> |
AbstractCompactSimpleDet.getInputAlphabet() |
Alphabet<I> |
AbstractCompactDeterministic.getInputAlphabet() |
Modifier and Type | Field and Description |
---|---|
protected Alphabet<I> |
FastMutableNondet.inputAlphabet |
protected Alphabet<I> |
FastMutableDet.inputAlphabet |
Modifier and Type | Method and Description |
---|---|
Alphabet<I> |
FastMutableNondet.getInputAlphabet() |
Alphabet<I> |
FastMutableDet.getInputAlphabet() |
Constructor and Description |
---|
FastMutableDet(Alphabet<I> inputAlphabet) |
FastMutableNondet(Alphabet<I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
Alphabet<I> |
InputAlphabetHolder.getInputAlphabet() |
Constructor and Description |
---|
FastDFA(Alphabet<I> alphabet) |
FastNFA(Alphabet<I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
CompactNFA<I> |
CompactNFA.Creator.createAutomaton(Alphabet<I> alphabet) |
CompactDFA<I> |
CompactDFA.Creator.createAutomaton(Alphabet<I> alphabet) |
CompactNFA<I> |
CompactNFA.Creator.createAutomaton(Alphabet<I> alphabet,
int numStates) |
CompactDFA<I> |
CompactDFA.Creator.createAutomaton(Alphabet<I> alphabet,
int numStates) |
<I2> CompactNFA<I2> |
CompactNFA.translate(Alphabet<I2> newAlphabet) |
<I2> CompactDFA<I2> |
CompactDFA.translate(Alphabet<I2> newAlphabet) |
Constructor and Description |
---|
CompactDFA(Alphabet<I> alphabet) |
CompactDFA(Alphabet<I> alphabet,
CompactDFA<?> other) |
CompactDFA(Alphabet<I> alphabet,
float resizeFactor) |
CompactDFA(Alphabet<I> alphabet,
int stateCapacity) |
CompactDFA(Alphabet<I> alphabet,
int stateCapacity,
float resizeFactor) |
CompactNFA(Alphabet<I> alphabet) |
CompactNFA(Alphabet<I> alphabet,
CompactNFA<?> other) |
CompactNFA(Alphabet<I> alphabet,
float resizeFactor) |
CompactNFA(Alphabet<I> alphabet,
int stateCapacity) |
CompactNFA(Alphabet<I> alphabet,
int stateCapacity,
float resizeFactor) |
Constructor and Description |
---|
FastMealy(Alphabet<I> alphabet)
Constructor.
|
FastMoore(Alphabet<I> alphabet) |
FastProbMealy(Alphabet<I> inputAlphabet) |
Constructor and Description |
---|
CompactMealy(Alphabet<I> alphabet) |
CompactMealy(Alphabet<I> alphabet,
float resizeFactor) |
CompactMealy(Alphabet<I> alphabet,
int stateCapacity) |
CompactMealy(Alphabet<I> alphabet,
int stateCapacity,
float resizeFactor) |
Modifier and Type | Method and Description |
---|---|
Alphabet<I> |
IncrementalConstruction.getInputAlphabet()
Retrieves the input alphabet of this construction.
|
Modifier and Type | Field and Description |
---|---|
protected Alphabet<I> |
AbstractIncrementalDFABuilder.inputAlphabet |
Modifier and Type | Method and Description |
---|---|
Alphabet<I> |
AbstractIncrementalDFABuilder.getInputAlphabet() |
Constructor and Description |
---|
AbstractIncrementalDFABuilder(Alphabet<I> inputAlphabet)
Constructor.
|
Constructor and Description |
---|
AbstractIncrementalDFADAGBuilder(Alphabet<I> inputAlphabet) |
IncrementalDFADAGBuilder(Alphabet<I> inputAlphabet)
Constructor.
|
IncrementalPCDFADAGBuilder(Alphabet<I> inputAlphabet) |
Constructor and Description |
---|
IncrementalDFATreeBuilder(Alphabet<I> inputAlphabet) |
IncrementalPCDFATreeBuilder(Alphabet<I> alphabet) |
Modifier and Type | Field and Description |
---|---|
protected Alphabet<I> |
AbstractIncrementalMealyBuilder.inputAlphabet |
Modifier and Type | Method and Description |
---|---|
Alphabet<I> |
AbstractIncrementalMealyBuilder.getInputAlphabet() |
Constructor and Description |
---|
AbstractIncrementalMealyBuilder(Alphabet<I> alphabet) |
Constructor and Description |
---|
IncrementalMealyDAGBuilder(Alphabet<I> inputAlphabet)
Constructor.
|
Constructor and Description |
---|
IncrementalMealyTreeBuilder(Alphabet<I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
default <I> byte[] |
SerializationProvider.encodeDFA(DFA<?,I> dfa,
Alphabet<I> alphabet) |
default <I> byte[] |
SerializationProvider.encodeNFA(NFA<?,I> nfa,
Alphabet<I> alphabet) |
default <I> CompactDFA<I> |
SerializationProvider.readCustomDFA(byte[] buf,
Alphabet<I> alphabet) |
default <I> CompactDFA<I> |
SerializationProvider.readCustomDFA(File f,
Alphabet<I> alphabet) |
default <I> CompactDFA<I> |
SerializationProvider.readCustomDFA(InputStream is,
Alphabet<I> alphabet) |
default <I> CompactDFA<I> |
SerializationProvider.readCustomDFA(URL url,
Alphabet<I> alphabet) |
default <I> CompactNFA<I> |
SerializationProvider.readCustomNFA(byte[] buf,
Alphabet<I> alphabet) |
default <I> CompactNFA<I> |
SerializationProvider.readCustomNFA(File f,
Alphabet<I> alphabet) |
default <I> CompactNFA<I> |
SerializationProvider.readCustomNFA(InputStream is,
Alphabet<I> alphabet) |
default <I> CompactNFA<I> |
SerializationProvider.readCustomNFA(URL url,
Alphabet<I> alphabet) |
default <I> void |
SerializationProvider.writeDFA(DFA<?,I> dfa,
Alphabet<I> alphabet,
File f) |
<I> void |
SerializationProvider.writeDFA(DFA<?,I> dfa,
Alphabet<I> alphabet,
OutputStream os) |
default <I> void |
SerializationProvider.writeNFA(NFA<?,I> nfa,
Alphabet<I> alphabet,
File f) |
<I> void |
SerializationProvider.writeNFA(NFA<?,I> nfa,
Alphabet<I> alphabet,
OutputStream os) |
Modifier and Type | Method and Description |
---|---|
<I> void |
LearnLibV2Serialization.writeDFA(DFA<?,I> dfa,
Alphabet<I> alphabet,
OutputStream os) |
<I> void |
LearnLibV2Serialization.writeNFA(NFA<?,I> nfa,
Alphabet<I> alphabet,
OutputStream os) |
Modifier and Type | Method and Description |
---|---|
<I> void |
SAFSerialization.writeDFA(DFA<?,I> dfa,
Alphabet<I> alphabet,
OutputStream os) |
<I> void |
SAFSerialization.writeNFA(NFA<?,I> nfa,
Alphabet<I> alphabet,
OutputStream os) |
Modifier and Type | Method and Description |
---|---|
<I> void |
TAFSerialization.writeDFA(DFA<?,I> dfa,
Alphabet<I> alphabet,
OutputStream os) |
<I> void |
TAFSerialization.writeNFA(NFA<?,I> nfa,
Alphabet<I> alphabet,
OutputStream os) |
Modifier and Type | Method and Description |
---|---|
static <I> net.automatalib.util.automata.builders.DFABuilder<Integer,I,CompactDFA<I>> |
AutomatonBuilders.newDFA(Alphabet<I> alphabet) |
static <I,O> net.automatalib.util.automata.builders.MealyBuilder<Integer,I,CompactMealyTransition<O>,O,CompactMealy<I,O>> |
AutomatonBuilders.newMealy(Alphabet<I> alphabet) |
Constructor and Description |
---|
IncrementalWMethodTestsIterator(Alphabet<I> alphabet) |
WMethodTestsIterator(Alphabet<I> alphabet,
UniversalDeterministicAutomaton<?,I,?,?,?> automaton,
int maxDepth) |
Modifier and Type | Method and Description |
---|---|
static <I> CompactDFA<I> |
DFAs.and(DFA<?,I> dfa1,
DFA<?,I> dfa2,
Alphabet<I> inputAlphabet)
Calculates the conjunction ("and") of two DFA, and returns the result as a new DFA.
|
static <I> CompactDFA<I> |
DFAs.combine(DFA<?,I> dfa1,
DFA<?,I> dfa2,
Alphabet<I> inputAlphabet,
AcceptanceCombiner combiner)
Most general way of combining two DFAs.
|
static <I> CompactDFA<I> |
DFAs.complement(DFA<?,I> dfa,
Alphabet<I> inputAlphabet)
Calculates the complement (negation) of a DFA, and returns the result as a new DFA.
|
static <I> CompactDFA<I> |
DFAs.complete(DFA<?,I> dfa,
Alphabet<I> inputs) |
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> CompactDFA<I> |
DFAs.equiv(DFA<?,I> dfa1,
DFA<?,I> dfa2,
Alphabet<I> inputAlphabet)
Calculates the equivalence ("<=>") of two DFA, and returns the result as a new DFA.
|
static <I> CompactDFA<I> |
DFAs.impl(DFA<?,I> dfa1,
DFA<?,I> dfa2,
Alphabet<I> inputAlphabet)
Calculates the implication ("=>") of two DFA, and returns the result as a new DFA.
|
static <I> CompactDFA<I> |
DFAs.or(DFA<?,I> dfa1,
DFA<?,I> dfa2,
Alphabet<I> inputAlphabet)
Calculates the disjunction ("or") of two DFA, and returns the result as a new DFA.
|
static <I> CompactDFA<I> |
DFAs.xor(DFA<?,I> dfa1,
DFA<?,I> dfa2,
Alphabet<I> inputAlphabet)
Calculates the exclusive-or ("xor") of two DFA, and returns the result as a new DFA.
|
Modifier and Type | Method and Description |
---|---|
<I> CompactDFA<I> |
RandomAutomata.randomDFA(int numStates,
Alphabet<I> inputs) |
<I> CompactDFA<I> |
RandomAutomata.randomDFA(int numStates,
Alphabet<I> inputs,
boolean minimize) |
static <I> CompactDFA<I> |
RandomAutomata.randomDFA(Random rand,
int numStates,
Alphabet<I> inputs) |
static <I> CompactDFA<I> |
RandomAutomata.randomDFA(Random rand,
int numStates,
Alphabet<I> inputs,
boolean minimize) |
<I,O> CompactMealy<I,O> |
RandomAutomata.randomMealy(int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs) |
<I,O> CompactMealy<I,O> |
RandomAutomata.randomMealy(int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs,
boolean minimize) |
static <I,O> CompactMealy<I,O> |
RandomAutomata.randomMealy(Random rand,
int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs) |
static <I,O> CompactMealy<I,O> |
RandomAutomata.randomMealy(Random rand,
int numStates,
Alphabet<I> inputs,
Collection<? extends O> outputs,
boolean minimize) |
Modifier and Type | Method and Description |
---|---|
static <I,O> CompactMealy<I,O> |
MealyFilter.filterByOutput(MealyMachine<?,I,?,O> in,
Alphabet<I> inputs,
Predicate<? super O> outputPred) |
static <I,O> CompactMealy<I,O> |
MealyFilter.pruneTransitionsWithOutput(MealyMachine<?,I,?,O> in,
Alphabet<I> inputs,
Collection<? super O> outputs)
Returns a Mealy machine with all transitions removed that have one of the specified output values.
|
static <I,O> CompactMealy<I,O> |
MealyFilter.pruneTransitionsWithOutput(MealyMachine<?,I,?,O> in,
Alphabet<I> inputs,
O... outputs)
Returns a Mealy machine with all transitions removed that have one of the specified output values.
|
static <I,O> CompactMealy<I,O> |
MealyFilter.retainTransitionsWithOutput(MealyMachine<?,I,?,O> in,
Alphabet<I> inputs,
Collection<? super O> outputs)
Returns a Mealy machine with all transitions removed that have an output not among the specified values.
|
static <I,O> CompactMealy<I,O> |
MealyFilter.retainTransitionsWithOutput(MealyMachine<?,I,?,O> in,
Alphabet<I> inputs,
O... outputs)
Returns a Mealy machine with all transitions removed that have an output not among the specified values.
|
Constructor and Description |
---|
SharedSuffixTrie(Alphabet<I> alphabet) |
SharedSuffixTrie(Alphabet<I> alphabet,
boolean graphRepresentable) |
Modifier and Type | Interface and Description |
---|---|
interface |
GrowingAlphabet<I>
Alphabet class that supports adding new symbols. |
Modifier and Type | Method and Description |
---|---|
Word<I> |
Word.canonicalNext(Alphabet<I> sigma)
Retrieves the next word after this in canonical order.
|
default <I2> Mapping<I2,I> |
Alphabet.translateFrom(Alphabet<I2> other) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractAlphabet<I> |
Modifier and Type | Class and Description |
---|---|
class |
ArrayAlphabet<I> |
class |
EnumAlphabet<E extends Enum<E>> |
class |
FastAlphabet<I extends MutableNumericID>
A fast alphabet implementation, that assumes identifiers are stored directly in the
input symbols.
|
class |
ListAlphabet<I> |
class |
SimpleAlphabet<I>
A simple alphabet implementation, that does not impose any restriction on the input
symbol class.
|
Modifier and Type | Method and Description |
---|---|
static Alphabet<Character> |
Alphabets.characters(char startInclusive,
char endInclusive) |
static Alphabet<String> |
Alphabets.closedCharStringRange(char startInclusive,
char endInclusive) |
static <T> Alphabet<T> |
Alphabets.fromArray(T... symbols) |
static <E extends Enum<E>> |
Alphabets.fromEnum(Class<E> enumClazz) |
static <E extends Enum<E>> |
Alphabets.fromEnum(Class<E> enumClazz,
boolean withNull) |
static <T> Alphabet<T> |
Alphabets.fromList(List<? extends T> list) |
static Alphabet<Integer> |
Alphabets.integers(int startInclusive,
int endInclusive) |
static <T> Alphabet<T> |
Alphabets.singleton(T symbol) |
Copyright © 2015. All rights reserved.