Package | Description |
---|---|
net.automatalib.automata.fsa.impl.compact | |
net.automatalib.util.automata.builders | |
net.automatalib.util.automata.fsa | |
net.automatalib.util.automata.random |
Modifier and Type | Method and Description |
---|---|
CompactDFA<I> |
CompactNFA.determinize() |
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.