Package de.learnlib.algorithm.aaar
Class TranslatingMooreMachine<S,AI,CI,T,O>
- java.lang.Object
-
- de.learnlib.algorithm.aaar.TranslatingMooreMachine<S,AI,CI,T,O>
-
- All Implemented Interfaces:
Iterable<S>
,Automaton<S,CI,T>
,DetOutputAutomaton<S,CI,T,Word<O>>
,DetSuffixOutputAutomaton<S,CI,T,Word<O>>
,FiniteRepresentation
,Output<CI,Word<O>>
,OutputAutomaton<S,CI,T,Word<O>>
,StateOutput<S,O>
,SuffixOutput<CI,Word<O>>
,DeterministicAutomaton<S,CI,T>
,SimpleAutomaton<S,CI>
,SimpleDeterministicAutomaton<S,CI>
,MooreMachine<S,CI,T,O>
,StateOutputAutomaton<S,CI,T,O>
,UniversalAutomaton<S,CI,T,O,Void>
,UniversalDeterministicAutomaton<S,CI,T,O,Void>
,DeterministicTransitionSystem<S,CI,T>
,DeterministicOutputTS<S,CI,T,O>
,DeterministicStateOutputTS<S,CI,T,O>
,MooreTransitionSystem<S,CI,T,O>
,SimpleDTS<S,CI>
,SimpleTS<S,CI>
,TransitionSystem<S,CI,T>
,UniversalDTS<S,CI,T,O,Void>
,UniversalTransitionSystem<S,CI,T,O,Void>
public class TranslatingMooreMachine<S,AI,CI,T,O> extends Object implements MooreMachine<S,CI,T,O>
-
-
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>
-
-
Constructor Summary
Constructors Constructor Description TranslatingMooreMachine(MooreMachine<S,CI,T,O> delegate, Function<CI,? extends AbstractAbstractionTree<AI,CI,?>> treeFetcher)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description @Nullable S
getInitialState()
O
getStateOutput(S s)
Collection<S>
getStates()
S
getSuccessor(T t)
@Nullable T
getTransition(S s, CI i)
-
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 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
-
-
-
-
Constructor Detail
-
TranslatingMooreMachine
public TranslatingMooreMachine(MooreMachine<S,CI,T,O> delegate, Function<CI,? extends AbstractAbstractionTree<AI,CI,?>> treeFetcher)
-
-
Method Detail
-
getStates
public Collection<S> getStates()
- Specified by:
getStates
in interfaceSimpleAutomaton<S,AI>
-
getStateOutput
public O getStateOutput(S s)
- Specified by:
getStateOutput
in interfaceStateOutput<S,AI>
-
getTransition
public @Nullable T getTransition(S s, CI i)
- Specified by:
getTransition
in interfaceDeterministicTransitionSystem<S,AI,CI>
-
getSuccessor
public S getSuccessor(T t)
- Specified by:
getSuccessor
in interfaceTransitionSystem<S,AI,CI>
-
getInitialState
public @Nullable S getInitialState()
- Specified by:
getInitialState
in interfaceSimpleDTS<S,AI>
-
-