Modifier and Type | Field and Description |
---|---|
protected Alphabet<I> |
AbstractCompactDeterministic.alphabet |
Modifier and Type | Method and Description |
---|---|
Alphabet<I> |
AbstractCompactSimpleNondet.getInputAlphabet() |
Alphabet<I> |
AbstractCompactSimpleDet.getInputAlphabet() |
Alphabet<I> |
AbstractCompactDeterministic.getInputAlphabet() |
Constructor and Description |
---|
AbstractCompactDeterministic(Alphabet<I> alphabet) |
AbstractCompactDeterministic(Alphabet<I> alphabet,
float resizeFactor) |
AbstractCompactDeterministic(Alphabet<I> alphabet,
int stateCapacity) |
AbstractCompactDeterministic(Alphabet<I> alphabet,
int stateCapacity,
float resizeFactor) |
AbstractCompactSimpleDet(Alphabet<I> alphabet) |
AbstractCompactSimpleDet(Alphabet<I> alphabet,
float resizeFactor) |
AbstractCompactSimpleDet(Alphabet<I> alphabet,
int stateCapacity) |
AbstractCompactSimpleDet(Alphabet<I> alphabet,
int stateCapacity,
float resizeFactor) |
AbstractCompactSimpleNondet(Alphabet<I> alphabet) |
AbstractCompactSimpleNondet(Alphabet<I> alphabet,
float resizeFactor) |
AbstractCompactSimpleNondet(Alphabet<I> alphabet,
int stateCapacity) |
AbstractCompactSimpleNondet(Alphabet<I> alphabet,
int stateCapacity,
float resizeFactor) |
UniversalCompactSimpleDet(Alphabet<I> alphabet) |
UniversalCompactSimpleDet(Alphabet<I> alphabet,
float resizeFactor) |
UniversalCompactSimpleDet(Alphabet<I> alphabet,
int stateCapacity) |
UniversalCompactSimpleDet(Alphabet<I> alphabet,
int stateCapacity,
float resizeFactor) |
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) |
Constructor and Description |
---|
CompactDFA(Alphabet<I> alphabet) |
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,
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 |
---|---|
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.
|
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 <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) |
Copyright © 2015. All rights reserved.