Uses of Class
de.learnlib.algorithm.ttt.base.TTTState
-
Packages that use TTTState Package Description de.learnlib.algorithm.ttt.base de.learnlib.algorithm.ttt.dfa de.learnlib.algorithm.ttt.mealy de.learnlib.algorithm.ttt.moore -
-
Uses of TTTState in de.learnlib.algorithm.ttt.base
Classes in de.learnlib.algorithm.ttt.base with type parameters of type TTTState Modifier and Type Class Description class
AbstractTTTHypothesis<S extends TTTState<I,D>,I,D,T>
Hypothesis DFA for theTTT algorithm
.Fields in de.learnlib.algorithm.ttt.base declared as TTTState Modifier and Type Field Description TTTState<I,D>
OutputInconsistency. srcState
TTTState<I,D>
AbstractTTTHypothesis.TTTEdge. target
Methods in de.learnlib.algorithm.ttt.base that return TTTState Modifier and Type Method Description TTTState<I,D>
AbstractBaseDTNode. anySubtreeState()
protected TTTState<I,D>
AbstractTTTLearner. getAnySuccessor(TTTState<I,D> state, I sym)
protected TTTState<I,D>
AbstractTTTLearner. getAnySuccessor(TTTState<I,D> state, Iterable<? extends I> suffix)
protected TTTState<I,D>
AbstractTTTLearner. getAnyTarget(TTTTransition<I,D> trans)
Retrieves the target state of a given transition.protected TTTState<I,D>
AbstractTTTLearner. getDeterministicState(TTTState<I,D> start, Word<I> word)
TTTState<I,D>
TTTTransition. getSource()
TTTState<I,D>
AbstractTTTHypothesis.GraphView. getTarget(AbstractTTTHypothesis.TTTEdge<I,D> edge)
TTTState<I,D>
TTTTransition. getTarget()
TTTState<I,D>
TTTTransition. getTreeTarget()
protected TTTState<I,D>
AbstractTTTLearner. makeTree(TTTTransition<I,D> trans)
Methods in de.learnlib.algorithm.ttt.base that return types with arguments of type TTTState Modifier and Type Method Description Collection<TTTState<I,D>>
AbstractTTTHypothesis.GraphView. getNodes()
protected Set<TTTState<I,D>>
AbstractTTTLearner. getNondetSuccessors(Collection<? extends TTTState<I,D>> states, I sym)
VisualizationHelper<TTTState<I,D>,AbstractTTTHypothesis.TTTEdge<I,D>>
AbstractTTTHypothesis.GraphView. getVisualizationHelper()
Iterable<TTTState<I,D>>
AbstractBaseDTNode. subtreeStates()
Iterator<TTTState<I,D>>
AbstractBaseDTNode. subtreeStatesIterator()
Methods in de.learnlib.algorithm.ttt.base with parameters of type TTTState Modifier and Type Method Description protected abstract D
AbstractTTTLearner. computeHypothesisOutput(TTTState<I,D> state, Word<I> suffix)
protected TTTTransition<I,D>
AbstractTTTLearner. createTransition(TTTState<I,D> state, I sym)
protected TTTState<I,D>
AbstractTTTLearner. getAnySuccessor(TTTState<I,D> state, I sym)
protected TTTState<I,D>
AbstractTTTLearner. getAnySuccessor(TTTState<I,D> state, Iterable<? extends I> suffix)
protected TTTState<I,D>
AbstractTTTLearner. getDeterministicState(TTTState<I,D> start, Word<I> word)
TTTTransition<I,D>
AbstractTTTHypothesis. getInternalTransition(TTTState<I,D> state, int input)
TTTTransition<I,D>
AbstractTTTHypothesis. getInternalTransition(TTTState<I,D> state, I input)
Retrieves the internal transition (i.e., theTTTTransition
object) for a given state and input.Collection<AbstractTTTHypothesis.TTTEdge<I,D>>
AbstractTTTHypothesis.GraphView. getOutgoingEdges(TTTState<I,D> node)
protected void
AbstractTTTLearner. initializeState(TTTState<I,D> state)
Initializes a state.protected static <I,D>
voidAbstractTTTLearner. link(AbstractBaseDTNode<I,D> dtNode, TTTState<I,D> state)
Establish the connection between a node in the discrimination tree and a state of the hypothesis.Method parameters in de.learnlib.algorithm.ttt.base with type arguments of type TTTState Modifier and Type Method Description protected Set<TTTState<I,D>>
AbstractTTTLearner. getNondetSuccessors(Collection<? extends TTTState<I,D>> states, I sym)
Constructors in de.learnlib.algorithm.ttt.base with parameters of type TTTState Constructor Description OutputInconsistency(TTTState<I,D> srcState, Word<I> suffix, D targetOut)
TTTEdge(TTTTransition<I,D> transition, TTTState<I,D> target)
TTTTransition(TTTState<I,D> source, I input)
-
Uses of TTTState in de.learnlib.algorithm.ttt.dfa
Subclasses of TTTState in de.learnlib.algorithm.ttt.dfa Modifier and Type Class Description class
TTTStateDFA<I>
Methods in de.learnlib.algorithm.ttt.dfa that return TTTState Modifier and Type Method Description protected TTTState<I,Boolean>
PrefixTTTLearnerDFA. makeTree(TTTTransition<I,Boolean> trans)
Methods in de.learnlib.algorithm.ttt.dfa with parameters of type TTTState Modifier and Type Method Description protected Boolean
TTTLearnerDFA. computeHypothesisOutput(TTTState<I,Boolean> state, Word<I> suffix)
protected PrefixTTTLearnerDFA.ExtDTNode<I>
PrefixTTTLearnerDFA.ExtDTNode. createChild(Boolean outcome, TTTState<I,Boolean> data)
protected AbstractBaseDTNode<I,Boolean>
TTTDTNodeDFA. createChild(Boolean outcome, TTTState<I,Boolean> data)
protected void
TTTLearnerDFA. initializeState(TTTState<I,Boolean> state)
-
Uses of TTTState in de.learnlib.algorithm.ttt.mealy
Methods in de.learnlib.algorithm.ttt.mealy that return TTTState Modifier and Type Method Description TTTState<I,Word<O>>
TTTHypothesisMealy. getSuccessor(TTTTransitionMealy<I,O> transition)
protected TTTState<I,Word<O>>
TTTHypothesisMealy. newState(int alphabetSize, TTTTransition<I,Word<O>> parent, int id)
Methods in de.learnlib.algorithm.ttt.mealy with parameters of type TTTState Modifier and Type Method Description protected Word<O>
TTTLearnerMealy. computeHypothesisOutput(TTTState<I,Word<O>> state, Word<I> suffix)
protected AbstractBaseDTNode<I,D>
TTTDTNodeMealy. createChild(D outcome, TTTState<I,D> data)
protected TTTTransition<I,Word<O>>
TTTLearnerMealy. createTransition(TTTState<I,Word<O>> state, I sym)
Constructors in de.learnlib.algorithm.ttt.mealy with parameters of type TTTState Constructor Description TTTTransitionMealy(TTTState<I,Word<O>> source, I input)
-
Uses of TTTState in de.learnlib.algorithm.ttt.moore
Subclasses of TTTState in de.learnlib.algorithm.ttt.moore Modifier and Type Class Description class
TTTStateMoore<I,O>
AMooreMachine
-specific state of theTTTHypothesisMoore
class.Methods in de.learnlib.algorithm.ttt.moore with parameters of type TTTState Modifier and Type Method Description protected Word<O>
TTTLearnerMoore. computeHypothesisOutput(TTTState<I,Word<O>> state, Word<I> suffix)
protected AbstractBaseDTNode<I,D>
TTTDTNodeMoore. createChild(D outcome, TTTState<I,D> data)
protected void
TTTLearnerMoore. initializeState(TTTState<I,Word<O>> state)
-