Package net.automatalib.modelchecking
Interface Lasso.DFALasso<I>
-
- Type Parameters:
I
- the input type
- All Superinterfaces:
AcceptorTS<Integer,I>
,Automaton<Integer,I,Integer>
,DeterministicAcceptorTS<Integer,I>
,DeterministicAutomaton<Integer,I,Integer>
,DeterministicTransitionSystem<Integer,I,Integer>
,DetOutputAutomaton<Integer,I,Integer,Boolean>
,DetSuffixOutputAutomaton<Integer,I,Integer,Boolean>
,DFA<Integer,I>
,FiniteRepresentation
,FiniteStateAcceptor<Integer,I>
,InputAlphabetHolder<I>
,Iterable<Integer>
,Lasso<I,Boolean>
,NFA<Integer,I>
,Output<I,Boolean>
,OutputAutomaton<Integer,I,Integer,Boolean>
,SimpleAutomaton<Integer,I>
,SimpleDeterministicAutomaton<Integer,I>
,SimpleDTS<Integer,I>
,SimpleTS<Integer,I>
,SuffixOutput<I,Boolean>
,TransitionSystem<Integer,I,Integer>
,UniversalAutomaton<Integer,I,Integer,Boolean,Void>
,UniversalDeterministicAutomaton<Integer,I,Integer,Boolean,Void>
,UniversalDTS<Integer,I,Integer,Boolean,Void>
,UniversalTransitionSystem<Integer,I,Integer,Boolean,Void>
- All Known Implementing Classes:
DFALassoImpl
public static interface Lasso.DFALasso<I> extends Lasso<I,Boolean>, DFA<Integer,I>
A DFALasso is a lasso forDFA
s.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.DeterministicAutomaton
DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
-
Nested classes/interfaces inherited from interface net.automatalib.modelchecking.Lasso
Lasso.DFALasso<I>, Lasso.MealyLasso<I,O>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton
UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
-
-
Field Summary
-
Fields inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor
STATE_PROPERTIES, TRANSITION_PROPERTIES
-
-
Method Summary
-
Methods inherited from interface net.automatalib.ts.acceptor.AcceptorTS
getStateProperty, getSuccessor, getTransitionProperty, isAccepting
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransition, getTransitions
-
Methods inherited from interface net.automatalib.automaton.fsa.DFA
accepts, computeOutput, computeStateOutput, computeSuffixOutput, isAccepting
-
Methods inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor
transitionGraphView
-
Methods inherited from interface net.automatalib.automaton.concept.InputAlphabetHolder
getInputAlphabet
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.modelchecking.Lasso
getAutomaton, getLoop, getLoopBeginIndices, getOutput, getPrefix, getUnfolds, getWord
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
getSuccessors
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
powersetView
-
Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton
fullIntAbstraction, fullIntAbstraction, stateIntAbstraction
-
Methods inherited from interface net.automatalib.ts.UniversalDTS
getTransitionProperty
-
-