Package de.learnlib.algorithm.aaar
Class TranslatingMealyMachine<S,AI,CI,T,O>
- java.lang.Object
-
- de.learnlib.algorithm.aaar.TranslatingMealyMachine<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>>
,SuffixOutput<CI,Word<O>>
,TransitionOutput<T,O>
,DeterministicAutomaton<S,CI,T>
,SimpleAutomaton<S,CI>
,SimpleDeterministicAutomaton<S,CI>
,MealyMachine<S,CI,T,O>
,TransitionOutputAutomaton<S,CI,T,O>
,UniversalAutomaton<S,CI,T,Void,O>
,UniversalDeterministicAutomaton<S,CI,T,Void,O>
,DeterministicTransitionSystem<S,CI,T>
,DeterministicOutputTS<S,CI,T,O>
,DeterministicTransitionOutputTS<S,CI,T,O>
,MealyTransitionSystem<S,CI,T,O>
,SimpleDTS<S,CI>
,SimpleTS<S,CI>
,TransitionSystem<S,CI,T>
,UniversalDTS<S,CI,T,Void,O>
,UniversalTransitionSystem<S,CI,T,Void,O>
public class TranslatingMealyMachine<S,AI,CI,T,O> extends Object implements MealyMachine<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.MealyMachine
MealyMachine.MealyGraphView<S extends Object,I extends Object,T extends Object,O extends Object,A extends MealyMachine<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 TranslatingMealyMachine(MealyMachine<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()
Collection<S>
getStates()
S
getSuccessor(T t)
@Nullable T
getTransition(S s, CI i)
O
getTransitionOutput(T t)
-
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.DeterministicTransitionOutputTS
getOutput, 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.MealyMachine
transitionGraphView
-
Methods inherited from interface net.automatalib.ts.output.MealyTransitionSystem
getStateProperty, 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.TransitionOutputAutomaton
computeStateOutput
-
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
-
-
-
-
Constructor Detail
-
TranslatingMealyMachine
public TranslatingMealyMachine(MealyMachine<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>
-
getTransitionOutput
public O getTransitionOutput(T t)
- Specified by:
getTransitionOutput
in interfaceTransitionOutput<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>
-
-