Package de.learnlib.algorithm.ttt.moore
Class TTTHypothesisMoore<I,O>
- java.lang.Object
-
- de.learnlib.algorithm.ttt.base.AbstractTTTHypothesis<TTTStateMoore<I,O>,I,Word<O>,TTTStateMoore<I,O>>
-
- de.learnlib.algorithm.ttt.moore.TTTHypothesisMoore<I,O>
-
- Type Parameters:
I
- input symbol typeO
- output symbol type
- All Implemented Interfaces:
Iterable<TTTStateMoore<I,O>>
,SupportsGrowingAlphabet<I>
,Automaton<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>>
,DetOutputAutomaton<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,Word<O>>
,DetSuffixOutputAutomaton<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,Word<O>>
,FiniteRepresentation
,InputAlphabetHolder<I>
,Output<I,Word<O>>
,OutputAutomaton<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,Word<O>>
,StateOutput<TTTStateMoore<I,O>,O>
,SuffixOutput<I,Word<O>>
,DeterministicAutomaton<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>>
,DeterministicAutomaton.FullIntAbstraction<TTTStateMoore<I,O>>
,DeterministicAutomaton.IntAbstraction<TTTStateMoore<I,O>>
,FiniteAlphabetAutomaton<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>>
,SimpleAutomaton<TTTStateMoore<I,O>,I>
,SimpleDeterministicAutomaton<TTTStateMoore<I,O>,I>
,SimpleDeterministicAutomaton.FullIntAbstraction
,SimpleDeterministicAutomaton.IntAbstraction
,MooreMachine<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,O>
,StateOutputAutomaton<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,O>
,UniversalAutomaton<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,O,Void>
,UniversalDeterministicAutomaton<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,O,Void>
,UniversalDeterministicAutomaton.FullIntAbstraction<TTTStateMoore<I,O>,O,Void>
,UniversalDeterministicAutomaton.IntAbstraction<TTTStateMoore<I,O>,O,Void>
,GraphViewable
,DeterministicTransitionSystem<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>>
,DeterministicOutputTS<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,O>
,DeterministicStateOutputTS<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,O>
,MooreTransitionSystem<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,O>
,SimpleDTS<TTTStateMoore<I,O>,I>
,SimpleTS<TTTStateMoore<I,O>,I>
,TransitionSystem<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>>
,UniversalDTS<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,O,Void>
,UniversalTransitionSystem<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,O,Void>
public class TTTHypothesisMoore<I,O> extends AbstractTTTHypothesis<TTTStateMoore<I,O>,I,Word<O>,TTTStateMoore<I,O>> implements MooreMachine<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,O>, UniversalDeterministicAutomaton.FullIntAbstraction<TTTStateMoore<I,O>,O,Void>
AMooreMachine
-based specialization of the TTT hypothesis.
-
-
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.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>
-
-
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 TTTHypothesisMoore(Alphabet<I> alphabet)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description UniversalDeterministicAutomaton.FullIntAbstraction<TTTStateMoore<I,O>,O,Void>
fullIntAbstraction(Alphabet<I> alphabet)
O
getStateOutput(TTTStateMoore<I,O> state)
O
getStateProperty(int state)
TTTStateMoore<I,O>
getSuccessor(TTTStateMoore<I,O> transition)
Void
getTransitionProperty(TTTStateMoore<I,O> state)
protected TTTStateMoore<I,O>
mapTransition(TTTTransition<I,Word<O>> internalTransition)
protected TTTStateMoore<I,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.DeterministicStateOutputTS
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.MooreMachine
transitionGraphView
-
Methods inherited from interface net.automatalib.ts.output.MooreTransitionSystem
getStateProperty, getTransitionProperty
-
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.StateOutputAutomaton
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
-
-
-
-
Method Detail
-
mapTransition
protected TTTStateMoore<I,O> mapTransition(TTTTransition<I,Word<O>> internalTransition)
- Specified by:
mapTransition
in classAbstractTTTHypothesis<TTTStateMoore<I,O>,I,Word<O>,TTTStateMoore<I,O>>
-
getStateProperty
public O getStateProperty(int state)
- Specified by:
getStateProperty
in interfaceUniversalDeterministicAutomaton.IntAbstraction<TTTStateMoore<I,O>,O,Void>
-
newState
protected TTTStateMoore<I,O> newState(int alphabetSize, TTTTransition<I,Word<O>> parent, int id)
- Specified by:
newState
in classAbstractTTTHypothesis<TTTStateMoore<I,O>,I,Word<O>,TTTStateMoore<I,O>>
-
fullIntAbstraction
public UniversalDeterministicAutomaton.FullIntAbstraction<TTTStateMoore<I,O>,O,Void> fullIntAbstraction(Alphabet<I> alphabet)
- Specified by:
fullIntAbstraction
in interfaceDeterministicAutomaton<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>>
- Specified by:
fullIntAbstraction
in interfaceSimpleDeterministicAutomaton<I,O>
- Specified by:
fullIntAbstraction
in interfaceUniversalDeterministicAutomaton<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,O,Void>
- Overrides:
fullIntAbstraction
in classAbstractTTTHypothesis<TTTStateMoore<I,O>,I,Word<O>,TTTStateMoore<I,O>>
-
getStateOutput
public O getStateOutput(TTTStateMoore<I,O> state)
- Specified by:
getStateOutput
in interfaceStateOutput<I,O>
-
getSuccessor
public TTTStateMoore<I,O> getSuccessor(TTTStateMoore<I,O> transition)
- Specified by:
getSuccessor
in interfaceTransitionSystem<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>>
-
getTransitionProperty
public Void getTransitionProperty(TTTStateMoore<I,O> state)
- Specified by:
getTransitionProperty
in interfaceMooreTransitionSystem<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,O>
- Specified by:
getTransitionProperty
in interfaceUniversalDeterministicAutomaton.IntAbstraction<TTTStateMoore<I,O>,O,Void>
- Specified by:
getTransitionProperty
in interfaceUniversalTransitionSystem<TTTStateMoore<I,O>,I,TTTStateMoore<I,O>,O,Void>
-
-