Class DFAWrapper<S extends AbstractBasePTAState<S,Boolean,Void>,I>
- java.lang.Object
-
- de.learnlib.datastructure.pta.wrapper.DFAWrapper<S,I>
-
- All Implemented Interfaces:
Iterable<S>
,Automaton<S,I,S>
,DetOutputAutomaton<S,I,S,Boolean>
,DetSuffixOutputAutomaton<S,I,S,Boolean>
,FiniteRepresentation
,InputAlphabetHolder<I>
,Output<I,Boolean>
,OutputAutomaton<S,I,S,Boolean>
,SuffixOutput<I,Boolean>
,DeterministicAutomaton<S,I,S>
,FiniteAlphabetAutomaton<S,I,S>
,DFA<S,I>
,FiniteStateAcceptor<S,I>
,NFA<S,I>
,SimpleAutomaton<S,I>
,SimpleDeterministicAutomaton<S,I>
,UniversalAutomaton<S,I,S,Boolean,Void>
,UniversalDeterministicAutomaton<S,I,S,Boolean,Void>
,GraphViewable
,AcceptorTS<S,I>
,DeterministicAcceptorTS<S,I>
,DeterministicTransitionSystem<S,I,S>
,SimpleDTS<S,I>
,SimpleTS<S,I>
,TransitionSystem<S,I,S>
,UniversalDTS<S,I,S,Boolean,Void>
,UniversalTransitionSystem<S,I,S,Boolean,Void>
public class DFAWrapper<S extends AbstractBasePTAState<S,Boolean,Void>,I> extends Object implements DFA<S,I>, FiniteAlphabetAutomaton<S,I,S>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.DeterministicAutomaton
DeterministicAutomaton.FullIntAbstraction<T extends Object>, DeterministicAutomaton.IntAbstraction<T extends Object>, DeterministicAutomaton.StateIntAbstraction<I extends Object,T extends Object>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor
FiniteStateAcceptor.FSAGraphView<S extends Object,I extends Object,A extends FiniteStateAcceptor<S,I>>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton
UniversalDeterministicAutomaton.FullIntAbstraction<T extends Object,SP extends Object,TP extends Object>, UniversalDeterministicAutomaton.IntAbstraction<T extends Object,SP extends Object,TP extends Object>, UniversalDeterministicAutomaton.StateIntAbstraction<I extends Object,T extends Object,SP extends Object,TP extends Object>
-
-
Field Summary
-
Fields inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor
STATE_PROPERTIES, TRANSITION_PROPERTIES
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description S
getInitialState()
Alphabet<I>
getInputAlphabet()
Collection<S>
getStates()
@Nullable S
getTransition(S state, I input)
boolean
isAccepting(S state)
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.ts.acceptor.AcceptorTS
getStateProperty, getSuccessor, getTransitionProperty
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransitions
-
Methods inherited from interface net.automatalib.automaton.fsa.DFA
accepts, computeOutput, computeStateOutput, computeSuffixOutput, isAccepting
-
Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton
getTransitions, graphView, transitionGraphView
-
Methods inherited from interface net.automatalib.automaton.fsa.FiniteStateAcceptor
transitionGraphView
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, iterator, size, stateIDs
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
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
-
-
-
-
Method Detail
-
getInputAlphabet
public Alphabet<I> getInputAlphabet()
- Specified by:
getInputAlphabet
in interfaceInputAlphabetHolder<S extends AbstractBasePTAState<S,Boolean,Void>>
-
getStates
public Collection<S> getStates()
- Specified by:
getStates
in interfaceSimpleAutomaton<S extends AbstractBasePTAState<S,Boolean,Void>,I>
-
getTransition
public @Nullable S getTransition(S state, I input)
- Specified by:
getTransition
in interfaceDeterministicTransitionSystem<S extends AbstractBasePTAState<S,Boolean,Void>,I,S extends AbstractBasePTAState<S,Boolean,Void>>
-
isAccepting
public boolean isAccepting(S state)
- Specified by:
isAccepting
in interfaceAcceptorTS<S extends AbstractBasePTAState<S,Boolean,Void>,I>
-
getInitialState
public S getInitialState()
- Specified by:
getInitialState
in interfaceSimpleDTS<S extends AbstractBasePTAState<S,Boolean,Void>,I>
-
-