Uses of Interface
net.automatalib.automaton.fsa.DFA

Packages that use DFA

Package	Description
net.automatalib.automaton.fsa
net.automatalib.automaton.procedural
net.automatalib.brics	This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.
net.automatalib.incremental.dfa.tree
net.automatalib.modelchecker.ltsmin	This package (and sub-packages) provides the integration of the model checker LTSmin as described in the paper Sound Black-Box Checking in the LearnLib by Jeroen Meijer and Jaco van de Pol.
net.automatalib.modelchecker.ltsmin.ltl
net.automatalib.modelchecker.ltsmin.monitor
net.automatalib.modelchecking
net.automatalib.serialization.etf.writer
net.automatalib.serialization.learnlibv2
net.automatalib.serialization.saf
net.automatalib.serialization.taf
net.automatalib.serialization.taf.writer
net.automatalib.util.automaton.conformance
net.automatalib.util.automaton.fsa
net.automatalib.util.automaton.minimizer.hopcroft
net.automatalib.util.automaton.minimizer.paigetarjan

Uses of DFA in net.automatalib.automaton.fsa

Subinterfaces of DFA in net.automatalib.automaton.fsa

Modifier and Type	Interface	Description
interface	MutableDFA<S,I>

Classes in net.automatalib.automaton.fsa that implement DFA

Modifier and Type	Class	Description
class	CompactDFA<I>
class	FastDFA<I>

Uses of DFA in net.automatalib.automaton.procedural

Methods in net.automatalib.automaton.procedural that return types with arguments of type DFA

Modifier and Type	Method	Description
StackState<S,I,DFA<S,I>>	StackSBA.getInitialState()
StackState<S,I,DFA<S,I>>	StackSPA.getInitialState()
Map<I,DFA<?,I>>	EmptySBA.getProcedures()
Map<I,DFA<?,I>>	EmptySPA.getProcedures()
Map<I,DFA<?,I>>	StackSBA.getProcedures()
Map<I,DFA<?,I>>	StackSPA.getProcedures()
StackState<S,I,DFA<S,I>>	StackSBA.getTransition(StackState<S,I,DFA<S,I>> state, I input)
StackState<S,I,DFA<S,I>>	StackSPA.getTransition(StackState<S,I,DFA<S,I>> state, I input)

Method parameters in net.automatalib.automaton.procedural with type arguments of type DFA

Modifier and Type	Method	Description
StackState<S,I,DFA<S,I>>	StackSBA.getTransition(StackState<S,I,DFA<S,I>> state, I input)
StackState<S,I,DFA<S,I>>	StackSPA.getTransition(StackState<S,I,DFA<S,I>> state, I input)
boolean	StackSBA.isAccepting(StackState<S,I,DFA<S,I>> state)
boolean	StackSPA.isAccepting(StackState<S,I,DFA<S,I>> state)

Constructor parameters in net.automatalib.automaton.procedural with type arguments of type DFA

Constructor	Description
StackSBA(ProceduralInputAlphabet<I> alphabet, @Nullable I initialCall, Map<I,? extends DFA<? extends S,I>> procedures)
StackSPA(ProceduralInputAlphabet<I> alphabet, @Nullable I initialCall, Map<I,? extends DFA<? extends S,I>> procedures)

Uses of DFA in net.automatalib.brics

Classes in net.automatalib.brics that implement DFA

Modifier and Type	Class	Description
class	BricsDFA	Adapter class for wrapping a Brics automaton as a DFA.

Uses of DFA in net.automatalib.incremental.dfa.tree

Methods in net.automatalib.incremental.dfa.tree with parameters of type DFA

Modifier and Type	Method	Description
@Nullable Word<I>	IncrementalDFATreeBuilder.findSeparatingWord(DFA<?,I> target, Collection<? extends I> inputs, boolean omitUndefined)

Uses of DFA in net.automatalib.modelchecker.ltsmin

Methods in net.automatalib.modelchecker.ltsmin with parameters of type DFA

Modifier and Type	Method	Description
default void	LTSminDFA.automaton2ETF(DFA<?,I> automaton, Collection<? extends I> inputs, File etf)
default <S> void	LTSminDFA.dfa2ETF(DFA<S,I> dfa, Collection<? extends I> inputs, File etf)	Writes the given dfa to etf, while skipping rejecting states.

Uses of DFA in net.automatalib.modelchecker.ltsmin.ltl

Methods in net.automatalib.modelchecker.ltsmin.ltl with parameters of type DFA

Modifier and Type	Method	Description
@Nullable Lasso.DFALasso<I>	LTSminLTLDFA.findCounterExample(DFA<?,I> automaton, Collection<? extends I> inputs, String property)	Converts the FSM file to a Lasso.DFALasso.

Uses of DFA in net.automatalib.modelchecker.ltsmin.monitor

Methods in net.automatalib.modelchecker.ltsmin.monitor that return DFA

Modifier and Type	Method	Description
@Nullable DFA<?,I>	LTSminMonitorDFA.findCounterExample(DFA<?,I> automaton, Collection<? extends I> inputs, String property)	Converts the FSM file to a DFA.

Methods in net.automatalib.modelchecker.ltsmin.monitor with parameters of type DFA

Modifier and Type	Method	Description
@Nullable DFA<?,I>	LTSminMonitorDFA.findCounterExample(DFA<?,I> automaton, Collection<? extends I> inputs, String property)	Converts the FSM file to a DFA.

Uses of DFA in net.automatalib.modelchecking

Subinterfaces of DFA in net.automatalib.modelchecking

Modifier and Type	Interface	Description
static interface	Lasso.DFALasso<I>	A DFALasso is a lasso for DFAs.

Classes in net.automatalib.modelchecking that implement DFA

Modifier and Type	Class	Description
class	DFALassoImpl<I>	A DFALasso is a lasso for DFAs.

Uses of DFA in net.automatalib.serialization.etf.writer

Methods in net.automatalib.serialization.etf.writer with parameters of type DFA

Modifier and Type	Method	Description
protected void	DFA2ETFWriter.writeETF(PrintWriter pw, DFA<?,I> dfa, Alphabet<I> inputs)	Write DFA specific parts in the ETF.
void	DFA2ETFWriter.writeModel(OutputStream os, DFA<?,I> model, Alphabet<I> alphabet)

Uses of DFA in net.automatalib.serialization.learnlibv2

Methods in net.automatalib.serialization.learnlibv2 that return types with arguments of type DFA

Modifier and Type	Method	Description
InputModelData<Integer,DFA<Integer,Integer>>	LearnLibV2Serialization.readModel(InputStream is)

Methods in net.automatalib.serialization.learnlibv2 with parameters of type DFA

Modifier and Type	Method	Description
<I> void	LearnLibV2Serialization.writeGenericModel(OutputStream os, DFA<?,I> model, Alphabet<I> alphabet)
void	LearnLibV2Serialization.writeModel(OutputStream os, DFA<?,Integer> model, Alphabet<Integer> alphabet)

Uses of DFA in net.automatalib.serialization.saf

Methods in net.automatalib.serialization.saf that return types with arguments of type DFA

Modifier and Type	Method	Description
InputModelData<Integer,DFA<Integer,Integer>>	SAFSerializationDFA.readModel(InputStream is)

Methods in net.automatalib.serialization.saf with parameters of type DFA

Modifier and Type	Method	Description
<I> void	SAFOutput.writeDFA(DFA<?,I> automaton, Alphabet<I> alphabet)
void	SAFSerializationDFA.writeModel(OutputStream os, DFA<?,Integer> model, Alphabet<Integer> alphabet)

Uses of DFA in net.automatalib.serialization.taf

Methods in net.automatalib.serialization.taf that return types with arguments of type DFA

Modifier and Type	Method	Description
InputModelData<String,DFA<Integer,String>>	TAFSerializationDFA.readModel(InputStream is)

Methods in net.automatalib.serialization.taf with parameters of type DFA

Modifier and Type	Method	Description
void	TAFSerializationDFA.writeModel(OutputStream os, DFA<?,String> model, Alphabet<String> alphabet)

Uses of DFA in net.automatalib.serialization.taf.writer

Methods in net.automatalib.serialization.taf.writer with parameters of type DFA

Modifier and Type	Method	Description
static <I> void	TAFWriter.dfaToString(DFA<?,I> dfa, Collection<? extends I> inputs)
static <I> void	TAFWriter.writeDFA(DFA<?,I> dfa, Collection<? extends I> inputs, File out)
static <S,I> void	TAFWriter.writeDFA(DFA<S,I> dfa, Collection<? extends I> inputs, Appendable out)

Uses of DFA in net.automatalib.util.automaton.conformance

Constructor parameters in net.automatalib.util.automaton.conformance with type arguments of type DFA

Constructor	Description
SPATestsIterator(SPA<?,I> spa, BiFunction<DFA<?,I>,Collection<I>,Iterator<Word<I>>> conformanceTestProvider)
SPATestsIterator(SPA<?,I> spa, ProceduralInputAlphabet<I> alphabet, BiFunction<DFA<?,I>,Collection<I>,Iterator<Word<I>>> conformanceTestProvider)

Uses of DFA in net.automatalib.util.automaton.fsa

Methods in net.automatalib.util.automaton.fsa with type parameters of type DFA

Modifier and Type	Method	Description
static <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>> CompactDFA<I>	DFAs.minimize(A dfa)	Minimizes the given DFA.

Methods in net.automatalib.util.automaton.fsa with parameters of type DFA

Modifier and Type	Method	Description
static <S> boolean	DFAs.acceptsEmptyLanguage(DFA<S,?> dfa)	Computes whether the given DFA accepts the empty language.
static <I,S,A extends MutableDFA<S,I>> A	DFAs.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> 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,S,A extends MutableDFA<S,I>> A	DFAs.combine(DFA<?,I> dfa1, DFA<?,I> dfa2, Collection<? extends I> inputs, A out, AcceptanceCombiner combiner)	Most general way of combining two DFAs.
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,S,A extends MutableDFA<S,I>> A	DFAs.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> 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,S,A extends MutableDFA<S,I>> A	DFAs.complete(DFA<?,I> dfa, Collection<? extends I> inputs, A out)
static <I> CompactDFA<I>	DFAs.complete(DFA<?,I> dfa, Alphabet<I> inputs)
static <I,S,A extends MutableDFA<S,I>> A	DFAs.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> 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,S,A extends MutableDFA<S,I>> A	DFAs.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> 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> boolean	DFAs.isPrefixClosed(DFA<S,I> dfa, Collection<I> inputs)	Computes whether the language of the given DFA is prefix-closed.
static <I> CompactDFA<I>	DFAs.minimize(DFA<?,I> dfa, Alphabet<I> alphabet)	Minimizes the given DFA over the given alphabet.
static <I,S,A extends MutableDFA<S,I>> A	DFAs.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> 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,S,A extends MutableDFA<S,I>> A	DFAs.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.
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 DFA in net.automatalib.util.automaton.minimizer.hopcroft

Methods in net.automatalib.util.automaton.minimizer.hopcroft with type parameters of type DFA

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.

Methods in net.automatalib.util.automaton.minimizer.hopcroft with parameters of type DFA

Modifier and Type	Method	Description
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.
static <A extends MutableDFA<?,I>,I> A	HopcroftMinimization.minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet, HopcroftMinimization.PruningMode pruningMode, AutomatonCreator<A,I> creator)	Minimizes the given DFA.

Uses of DFA in net.automatalib.util.automaton.minimizer.paigetarjan

Methods in net.automatalib.util.automaton.minimizer.paigetarjan with type parameters of type DFA

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.

Methods in net.automatalib.util.automaton.minimizer.paigetarjan with parameters of type DFA

Modifier and Type	Method	Description
static <I> CompactDFA<I>	PaigeTarjanMinimization.minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet)	Minimizes the given DFA.
static <A extends MutableDFA<?,I>,I> A	PaigeTarjanMinimization.minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet, AutomatonCreator<A,I> creator)	Minimizes the given DFA.