Uses of Interface
net.automatalib.automaton.fsa.FiniteStateAcceptor
-
Packages that use FiniteStateAcceptor Package Description net.automatalib.automaton.fsa net.automatalib.automaton.visualization net.automatalib.brics This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.net.automatalib.modelchecking -
-
Uses of FiniteStateAcceptor in net.automatalib.automaton.fsa
Classes in net.automatalib.automaton.fsa with type parameters of type FiniteStateAcceptor Modifier and Type Class Description static class
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
Subinterfaces of FiniteStateAcceptor in net.automatalib.automaton.fsa Modifier and Type Interface Description interface
DFA<S,I>
Deterministic finite state acceptor.interface
MutableDFA<S,I>
interface
MutableFSA<S,I>
interface
MutableNFA<S,I>
interface
NFA<S,I>
Nondeterministic finite state acceptor.Classes in net.automatalib.automaton.fsa that implement FiniteStateAcceptor Modifier and Type Class Description class
CompactDFA<I>
class
CompactNFA<I>
class
FastDFA<I>
class
FastNFA<I>
-
Uses of FiniteStateAcceptor in net.automatalib.automaton.visualization
Constructors in net.automatalib.automaton.visualization with parameters of type FiniteStateAcceptor Constructor Description FSAVisualizationHelper(FiniteStateAcceptor<S,I> automaton)
-
Uses of FiniteStateAcceptor in net.automatalib.brics
Classes in net.automatalib.brics that implement FiniteStateAcceptor Modifier and Type Class Description class
AbstractBricsAutomaton
Base class for Brics automata adapters.class
BricsDFA
Adapter class for wrapping a Brics automaton as aDFA
.class
BricsNFA
Adapter class for wrapping a Brics automaton as anNFA
. -
Uses of FiniteStateAcceptor in net.automatalib.modelchecking
Subinterfaces of FiniteStateAcceptor in net.automatalib.modelchecking Modifier and Type Interface Description static interface
Lasso.DFALasso<I>
A DFALasso is a lasso forDFA
s.Classes in net.automatalib.modelchecking that implement FiniteStateAcceptor Modifier and Type Class Description class
DFALassoImpl<I>
A DFALasso is a lasso forDFA
s.
-