Class MooreWrapper<S extends AbstractBasePTAState<S,O,Void>,I,O>
- java.lang.Object
-
- de.learnlib.datastructure.pta.wrapper.MooreWrapper<S,I,O>
-
- All Implemented Interfaces:
Iterable<S>
,Automaton<S,I,PTATransition<S>>
,DetOutputAutomaton<S,I,PTATransition<S>,Word<O>>
,DetSuffixOutputAutomaton<S,I,PTATransition<S>,Word<O>>
,FiniteRepresentation
,InputAlphabetHolder<I>
,Output<I,Word<O>>
,OutputAutomaton<S,I,PTATransition<S>,Word<O>>
,StateOutput<S,O>
,SuffixOutput<I,Word<O>>
,DeterministicAutomaton<S,I,PTATransition<S>>
,FiniteAlphabetAutomaton<S,I,PTATransition<S>>
,SimpleAutomaton<S,I>
,SimpleDeterministicAutomaton<S,I>
,MooreMachine<S,I,PTATransition<S>,O>
,StateOutputAutomaton<S,I,PTATransition<S>,O>
,UniversalAutomaton<S,I,PTATransition<S>,O,Void>
,UniversalDeterministicAutomaton<S,I,PTATransition<S>,O,Void>
,GraphViewable
,DeterministicTransitionSystem<S,I,PTATransition<S>>
,DeterministicOutputTS<S,I,PTATransition<S>,O>
,DeterministicStateOutputTS<S,I,PTATransition<S>,O>
,MooreTransitionSystem<S,I,PTATransition<S>,O>
,SimpleDTS<S,I>
,SimpleTS<S,I>
,TransitionSystem<S,I,PTATransition<S>>
,UniversalDTS<S,I,PTATransition<S>,O,Void>
,UniversalTransitionSystem<S,I,PTATransition<S>,O,Void>
public class MooreWrapper<S extends AbstractBasePTAState<S,O,Void>,I,O> extends Object implements MooreMachine<S,I,PTATransition<S>,O>, FiniteAlphabetAutomaton<S,I,PTATransition<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.transducer.MooreMachine
MooreMachine.MooreGraphView<S extends Object,I extends Object,T extends Object,O extends Object,A extends MooreMachine<S,I,T,O>>
-
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>
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description @Nullable S
getInitialState()
Alphabet<I>
getInputAlphabet()
O
getStateOutput(S state)
Collection<S>
getStates()
S
getSuccessor(PTATransition<S> transition)
@Nullable PTATransition<S>
getTransition(S state, I input)
-
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.output.DeterministicOutputTS
trace
-
Methods inherited from interface net.automatalib.ts.output.DeterministicStateOutputTS
trace
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransitions
-
Methods inherited from interface net.automatalib.automaton.concept.DetSuffixOutputAutomaton
computeOutput, computeSuffixOutput
-
Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton
getTransitions, graphView, transitionGraphView
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.automaton.transducer.MooreMachine
transitionGraphView
-
Methods inherited from interface net.automatalib.ts.output.MooreTransitionSystem
getStateProperty, getTransitionProperty, getTransitionProperty
-
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.automaton.transducer.StateOutputAutomaton
computeStateOutput
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
powersetView
-
Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton
fullIntAbstraction, fullIntAbstraction, stateIntAbstraction
-
-
-
-
Method Detail
-
getInputAlphabet
public Alphabet<I> getInputAlphabet()
- Specified by:
getInputAlphabet
in interfaceInputAlphabetHolder<S extends AbstractBasePTAState<S,O,Void>>
-
getStateOutput
public O getStateOutput(S state)
- Specified by:
getStateOutput
in interfaceStateOutput<S extends AbstractBasePTAState<S,O,Void>,I>
-
getStates
public Collection<S> getStates()
- Specified by:
getStates
in interfaceSimpleAutomaton<S extends AbstractBasePTAState<S,O,Void>,I>
-
getTransition
public @Nullable PTATransition<S> getTransition(S state, I input)
- Specified by:
getTransition
in interfaceDeterministicTransitionSystem<S extends AbstractBasePTAState<S,O,Void>,I,O>
-
getSuccessor
public S getSuccessor(PTATransition<S> transition)
- Specified by:
getSuccessor
in interfaceTransitionSystem<S extends AbstractBasePTAState<S,O,Void>,I,O>
-
getInitialState
public @Nullable S getInitialState()
- Specified by:
getInitialState
in interfaceSimpleDTS<S extends AbstractBasePTAState<S,O,Void>,I>
-
-