Modifier and Type | Method and Description |
---|---|
CompactDFA<I> |
CompactDFA.Creator.createAutomaton(Alphabet<I> alphabet) |
CompactDFA<I> |
CompactDFA.Creator.createAutomaton(Alphabet<I> alphabet,
int numStates) |
CompactDFA<I> |
CompactNFA.determinize() |
<I2> CompactDFA<I2> |
CompactDFA.translate(Alphabet<I2> newAlphabet) |
Constructor and Description |
---|
CompactDFA(Alphabet<I> alphabet,
CompactDFA<?> other) |
Modifier and Type | Method and Description |
---|---|
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 CompactDFA<Integer> |
SerializationProvider.readGenericDFA(byte[] buf) |
default CompactDFA<Integer> |
SerializationProvider.readGenericDFA(File f) |
CompactDFA<Integer> |
SerializationProvider.readGenericDFA(InputStream is) |
default CompactDFA<Integer> |
SerializationProvider.readGenericDFA(URL url) |
default CompactDFA<?> |
SerializationProvider.readNativeDFA(byte[] buf) |
default CompactDFA<?> |
SerializationProvider.readNativeDFA(File f) |
default CompactDFA<?> |
SerializationProvider.readNativeDFA(InputStream is) |
default CompactDFA<?> |
SerializationProvider.readNativeDFA(URL url) |
Modifier and Type | Method and Description |
---|---|
CompactDFA<Integer> |
LearnLibV2Serialization.readGenericDFA(InputStream is) |
Modifier and Type | Method and Description |
---|---|
CompactDFA<Integer> |
SAFSerialization.readGenericDFA(InputStream is) |
Modifier and Type | Method and Description |
---|---|
CompactDFA<Integer> |
TAFSerialization.readGenericDFA(InputStream is) |
CompactDFA<String> |
TAFSerialization.readNativeDFA(InputStream is) |
Modifier and Type | Method and Description |
---|---|
static CompactDFA<String> |
TAFParser.parseDFA(File file,
TAFParseDiagnosticListener listener) |
static CompactDFA<String> |
TAFParser.parseDFA(InputStream stream,
TAFParseDiagnosticListener listener) |
static CompactDFA<String> |
TAFParser.parseDFA(Reader reader,
TAFParseDiagnosticListener listener) |
static CompactDFA<String> |
TAFParser.parseDFA(String string,
TAFParseDiagnosticListener listener) |
Modifier and Type | Method and Description |
---|---|
static <I> net.automatalib.util.automata.builders.DFABuilder<Integer,I,CompactDFA<I>> |
AutomatonBuilders.newDFA(Alphabet<I> alphabet) |
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,A extends NFA<?,I> & InputAlphabetHolder<I>> |
NFAs.determinize(A nfa) |
static <I,A extends NFA<?,I> & InputAlphabetHolder<I>> |
NFAs.determinize(A nfa,
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> 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) |
Copyright © 2015. All rights reserved.