Uses of Class
net.automatalib.automaton.fsa.CompactDFA
-
-
Uses of CompactDFA in net.automatalib.automaton.fsa
Methods in net.automatalib.automaton.fsa that return CompactDFA Modifier and Type Method Description CompactDFA<I>
CompactDFA.Creator. createAutomaton(Alphabet<I> alphabet)
CompactDFA<I>
CompactDFA.Creator. createAutomaton(Alphabet<I> alphabet, int numStates)
<I2> CompactDFA<I2>
CompactDFA. translate(Alphabet<I2> newAlphabet)
Constructors in net.automatalib.automaton.fsa with parameters of type CompactDFA Constructor Description CompactDFA(Alphabet<I> alphabet, CompactDFA<?> other)
CompactDFA(CompactDFA<I> other)
-
Uses of CompactDFA in net.automatalib.serialization.dot
Methods in net.automatalib.serialization.dot that return types with arguments of type CompactDFA Modifier and Type Method Description static DOTInputModelDeserializer<Integer,@Nullable String,CompactDFA<@Nullable String>>
DOTParsers. dfa()
Default parser forDFA
s serialized by AutomataLib.static <I> DOTInputModelDeserializer<Integer,I,CompactDFA<I>>
DOTParsers. dfa(Function<Map<String,String>,Boolean> nodeParser, Function<Map<String,String>,I> edgeParser)
Parser forDFA
s with custom node and edge attributes. -
Uses of CompactDFA in net.automatalib.serialization.fsm.parser
Methods in net.automatalib.serialization.fsm.parser that return CompactDFA Modifier and Type Method Description CompactDFA<I>
FSM2DFAParser. readModel(InputStream is)
-
Uses of CompactDFA in net.automatalib.serialization.learnlibv2
Methods in net.automatalib.serialization.learnlibv2 that return CompactDFA Modifier and Type Method Description CompactDFA<Integer>
LearnLibV2Serialization. readGenericDFA(InputStream is)
-
Uses of CompactDFA in net.automatalib.serialization.taf.parser
Methods in net.automatalib.serialization.taf.parser that return CompactDFA Modifier and Type Method 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)
-
Uses of CompactDFA in net.automatalib.util.automaton.builder
Methods in net.automatalib.util.automaton.builder that return types with arguments of type CompactDFA Modifier and Type Method Description static <I> DFABuilder<Integer,I,CompactDFA<I>>
AutomatonBuilders. newDFA(Alphabet<I> alphabet)
-
Uses of CompactDFA in net.automatalib.util.automaton.fsa
Methods in net.automatalib.util.automaton.fsa that return CompactDFA Modifier and Type Method 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>>
CompactDFA<I>NFAs. determinize(A nfa)
static <I,A extends NFA<?,I> & InputAlphabetHolder<I>>
CompactDFA<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 <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>>
CompactDFA<I>DFAs. minimize(A dfa)
Minimizes the given DFA.static <I> CompactDFA<I>
DFAs. minimize(DFA<?,I> dfa, Alphabet<I> alphabet)
Minimizes the given DFA over the given alphabet.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. -
Uses of CompactDFA in net.automatalib.util.automaton.minimizer.hopcroft
Methods in net.automatalib.util.automaton.minimizer.hopcroft that return CompactDFA Modifier and Type Method Description static <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>>
CompactDFA<I>HopcroftMinimization. minimizeDFA(A dfa)
Minimizes the given DFA.static <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>>
CompactDFA<I>HopcroftMinimization. minimizeDFA(A dfa, HopcroftMinimization.PruningMode pruningMode)
Minimizes the given DFA.static <I> CompactDFA<I>
HopcroftMinimization. minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet)
Minimizes the given DFA.static <I> CompactDFA<I>
HopcroftMinimization. minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet, HopcroftMinimization.PruningMode pruningMode)
Minimizes the given DFA. -
Uses of CompactDFA in net.automatalib.util.automaton.minimizer.paigetarjan
Methods in net.automatalib.util.automaton.minimizer.paigetarjan that return CompactDFA Modifier and Type Method Description static <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>>
CompactDFA<I>PaigeTarjanMinimization. minimizeDFA(A dfa)
Minimizes the given DFA.static <I> CompactDFA<I>
PaigeTarjanMinimization. minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet)
Minimizes the given DFA. -
Uses of CompactDFA in net.automatalib.util.automaton.random
Methods in net.automatalib.util.automaton.random that return CompactDFA Modifier and Type Method Description static <I> CompactDFA<I>
RandomAutomata. randomDFA(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs)
static <I> CompactDFA<I>
RandomAutomata. randomDFA(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, boolean minimize)
static <I> CompactDFA<I>
RandomAutomata. randomICDFA(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, boolean minimize)
Randomly generates an initially connected DFA (ICDFA), i.e., a DFA where all states are reachable from the initial state.
-