Uses of Interface
net.automatalib.automaton.fsa.MutableDFA
-
-
Uses of MutableDFA in net.automatalib.automaton.fsa
Classes in net.automatalib.automaton.fsa that implement MutableDFA Modifier and Type Class Description class
CompactDFA<I>
class
FastDFA<I>
-
Uses of MutableDFA in net.automatalib.util.automaton.builder
Classes in net.automatalib.util.automaton.builder with type parameters of type MutableDFA Modifier and Type Class Description class
DFABuilder<S,I,A extends MutableDFA<S,? super I>>
Methods in net.automatalib.util.automaton.builder with type parameters of type MutableDFA Modifier and Type Method Description static <S,I,A extends MutableDFA<S,? super I>>
DFABuilder<S,I,A>AutomatonBuilders. forDFA(A dfa)
-
Uses of MutableDFA in net.automatalib.util.automaton.fsa
Methods in net.automatalib.util.automaton.fsa with type parameters of type MutableDFA Modifier and Type Method Description static <I,S,A extends MutableDFA<S,I>>
ADFAs. and(DFA<?,I> dfa1, DFA<?,I> dfa2, Collection<? extends I> inputs, A out)
Calculates the conjunction ("and") of two DFA, and stores the result in a given mutable DFA.static <I,S,A extends MutableDFA<S,I>>
ADFAs. combine(DFA<?,I> dfa1, DFA<?,I> dfa2, Collection<? extends I> inputs, A out, AcceptanceCombiner combiner)
Most general way of combining two DFAs.static <I,S,A extends MutableDFA<S,I>>
ADFAs. complement(DFA<?,I> dfa, Collection<? extends I> inputs, A out)
Calculates the complement (negation) of a DFA, and stores the result in a given mutable DFA.static <I,S,A extends MutableDFA<S,I>>
ADFAs. complete(DFA<?,I> dfa, Collection<? extends I> inputs, A out)
static <I,S,A extends MutableDFA<S,I>>
ADFAs. equiv(DFA<?,I> dfa1, DFA<?,I> dfa2, Collection<? extends I> inputs, A out)
Calculates the equivalence ("<=>") of two DFA, and stores the result in a given mutable DFA.static <I,S,A extends MutableDFA<S,I>>
ADFAs. impl(DFA<?,I> dfa1, DFA<?,I> dfa2, Collection<? extends I> inputs, A out)
Calculates the implication ("=>") of two DFA, and stores the result in a given mutable DFA.static <I,S,A extends MutableDFA<S,I>>
ADFAs. or(DFA<?,I> dfa1, DFA<?,I> dfa2, Collection<? extends I> inputs, A out)
Calculates the disjunction ("or") of two DFA, and stores the result in a given mutable DFA.static <I,S,A extends MutableDFA<S,I>>
ADFAs. xor(DFA<?,I> dfa1, DFA<?,I> dfa2, Collection<? extends I> inputs, A out)
Calculates the exclusive-or ("xor") of two DFA, and stores the result in a given mutable DFA.Methods in net.automatalib.util.automaton.fsa with parameters of type MutableDFA Modifier and Type Method Description static <I> void
MutableDFAs. complement(MutableDFA<?,I> dfa, Collection<? extends I> inputs)
static <I> void
MutableDFAs. complete(MutableDFA<?,I> dfa, Collection<? extends I> inputs)
static <I> void
MutableDFAs. complete(MutableDFA<?,I> dfa, Collection<? extends I> inputs, boolean minimize)
static <S,I>
voidMutableDFAs. complete(MutableDFA<S,I> dfa, Collection<? extends I> inputs, boolean minimize, boolean undefinedAcceptance)
static <I> void
NFAs. determinize(NFA<?,I> nfa, Collection<? extends I> inputs, MutableDFA<?,I> out)
static <I> void
NFAs. determinize(NFA<?,I> nfa, Collection<? extends I> inputs, MutableDFA<?,I> out, boolean partial, boolean minimize)
-
Uses of MutableDFA in net.automatalib.util.automaton.minimizer.hopcroft
Methods in net.automatalib.util.automaton.minimizer.hopcroft with type parameters of type MutableDFA Modifier and Type Method Description static <A extends MutableDFA<?,I>,I>
AHopcroftMinimization. minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet, HopcroftMinimization.PruningMode pruningMode, AutomatonCreator<A,I> creator)
Minimizes the given DFA. -
Uses of MutableDFA in net.automatalib.util.automaton.minimizer.paigetarjan
Methods in net.automatalib.util.automaton.minimizer.paigetarjan with type parameters of type MutableDFA Modifier and Type Method Description static <A extends MutableDFA<?,I>,I>
APaigeTarjanMinimization. minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet, AutomatonCreator<A,I> creator)
Minimizes the given DFA.
-