Package de.learnlib.algorithm.ttt.mealy
Class TTTHypothesisMealy<I,O>
- java.lang.Object
-
- de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis<TTTState<I,Word<O>>,I,Word<O>,TTTTransitionMealy<I,O>>
-
- de.learnlib.algorithm.ttt.mealy.TTTHypothesisMealy<I,O>
-
- All Implemented Interfaces:
Iterable<TTTState<I,Word<O>>>
,SupportsGrowingAlphabet<I>
,Automaton<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>>
,DetOutputAutomaton<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,Word<O>>
,DetSuffixOutputAutomaton<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,Word<O>>
,FiniteRepresentation
,InputAlphabetHolder<I>
,Output<I,Word<O>>
,OutputAutomaton<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,Word<O>>
,SuffixOutput<I,Word<O>>
,TransitionOutput<TTTTransitionMealy<I,O>,O>
,DeterministicAutomaton<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>>
,DeterministicAutomaton.FullIntAbstraction<TTTTransitionMealy<I,O>>
,DeterministicAutomaton.IntAbstraction<TTTTransitionMealy<I,O>>
,FiniteAlphabetAutomaton<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>>
,SimpleAutomaton<TTTState<I,Word<O>>,I>
,SimpleDeterministicAutomaton<TTTState<I,Word<O>>,I>
,SimpleDeterministicAutomaton.FullIntAbstraction
,SimpleDeterministicAutomaton.IntAbstraction
,MealyMachine<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,O>
,TransitionOutputAutomaton<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,O>
,UniversalAutomaton<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,Void,O>
,UniversalDeterministicAutomaton<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,Void,O>
,UniversalDeterministicAutomaton.FullIntAbstraction<TTTTransitionMealy<I,O>,Void,O>
,UniversalDeterministicAutomaton.IntAbstraction<TTTTransitionMealy<I,O>,Void,O>
,GraphViewable
,DeterministicTransitionSystem<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>>
,DeterministicOutputTS<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,O>
,DeterministicTransitionOutputTS<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,O>
,MealyTransitionSystem<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,O>
,SimpleDTS<TTTState<I,Word<O>>,I>
,SimpleTS<TTTState<I,Word<O>>,I>
,TransitionSystem<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>>
,UniversalDTS<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,Void,O>
,UniversalTransitionSystem<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,Void,O>
public class TTTHypothesisMealy<I,O> extends AbstractTTTHypothesis<TTTState<I,Word<O>>,I,Word<O>,TTTTransitionMealy<I,O>> implements MealyMachine<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,O>, UniversalDeterministicAutomaton.FullIntAbstraction<TTTTransitionMealy<I,O>,Void,O>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
AbstractTTTHypothesis.GraphView, AbstractTTTHypothesis.TTTEdge<I,D>
-
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>
-
-
Field Summary
-
Fields inherited from class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
states
-
Fields inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
INVALID_STATE
-
-
Constructor Summary
Constructors Constructor Description TTTHypothesisMealy(Alphabet<I> alphabet)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description UniversalDeterministicAutomaton.FullIntAbstraction<TTTTransitionMealy<I,O>,Void,O>
fullIntAbstraction(Alphabet<I> alphabet)
Void
getStateProperty(int state)
TTTState<I,Word<O>>
getSuccessor(TTTTransitionMealy<I,O> transition)
O
getTransitionOutput(TTTTransitionMealy<I,O> transition)
O
getTransitionProperty(TTTTransitionMealy<I,O> transition)
protected TTTTransitionMealy<I,O>
mapTransition(TTTTransition<I,Word<O>> internalTransition)
protected TTTState<I,Word<O>>
newState(int alphabetSize, TTTTransition<I,Word<O>> parent, int id)
-
Methods inherited from class de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis
addAlphabetSymbol, createState, getInitialState, getInputAlphabet, getInternalTransition, getInternalTransition, getIntInitialState, getIntSuccessor, getStates, getTransition, getTransition, graphView, initialize, isInitialized, numInputs, size
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction
getSuccessor, getTransition
-
Methods inherited from interface net.automatalib.automaton.DeterministicAutomaton.IntAbstraction
getIntSuccessor
-
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, getTransition, getTransitions
-
Methods inherited from interface net.automatalib.automaton.concept.DetSuffixOutputAutomaton
computeOutput, computeSuffixOutput
-
Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton
getTransitions, transitionGraphView
-
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
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.FullIntAbstraction
numInputs
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
getIntInitialState
-
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.automaton.transducer.TransitionOutputAutomaton
computeStateOutput
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
powersetView
-
Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton
fullIntAbstraction, stateIntAbstraction
-
Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction
getTransitionProperty
-
Methods inherited from interface net.automatalib.ts.UniversalDTS
getTransitionProperty
-
-
-
-
Method Detail
-
getSuccessor
public TTTState<I,Word<O>> getSuccessor(TTTTransitionMealy<I,O> transition)
- Specified by:
getSuccessor
in interfaceTransitionSystem<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>>
-
mapTransition
protected TTTTransitionMealy<I,O> mapTransition(TTTTransition<I,Word<O>> internalTransition)
- Specified by:
mapTransition
in classAbstractTTTHypothesis<TTTState<I,Word<O>>,I,Word<O>,TTTTransitionMealy<I,O>>
-
newState
protected TTTState<I,Word<O>> newState(int alphabetSize, TTTTransition<I,Word<O>> parent, int id)
-
fullIntAbstraction
public UniversalDeterministicAutomaton.FullIntAbstraction<TTTTransitionMealy<I,O>,Void,O> fullIntAbstraction(Alphabet<I> alphabet)
- Specified by:
fullIntAbstraction
in interfaceDeterministicAutomaton<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>>
- Specified by:
fullIntAbstraction
in interfaceSimpleDeterministicAutomaton<I,O>
- Specified by:
fullIntAbstraction
in interfaceUniversalDeterministicAutomaton<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,Void,O>
- Overrides:
fullIntAbstraction
in classAbstractTTTHypothesis<TTTState<I,Word<O>>,I,Word<O>,TTTTransitionMealy<I,O>>
-
getTransitionOutput
public O getTransitionOutput(TTTTransitionMealy<I,O> transition)
- Specified by:
getTransitionOutput
in interfaceTransitionOutput<I,O>
-
getStateProperty
public Void getStateProperty(int state)
- Specified by:
getStateProperty
in interfaceUniversalDeterministicAutomaton.IntAbstraction<TTTTransitionMealy<I,O>,Void,O>
-
getTransitionProperty
public O getTransitionProperty(TTTTransitionMealy<I,O> transition)
- Specified by:
getTransitionProperty
in interfaceMealyTransitionSystem<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,O>
- Specified by:
getTransitionProperty
in interfaceUniversalDeterministicAutomaton.IntAbstraction<TTTTransitionMealy<I,O>,Void,O>
- Specified by:
getTransitionProperty
in interfaceUniversalTransitionSystem<TTTState<I,Word<O>>,I,TTTTransitionMealy<I,O>,Void,O>
-
-