de.learnlib.algorithms.ttt.mealy

Class TTTLearnerMealy<I,O>

java.lang.Object

de.learnlib.algorithms.ttt.base.BaseTTTLearner<MealyMachine<?,I,?,O>,I,Word<O>>

de.learnlib.algorithms.ttt.mealy.TTTLearnerMealy<I,O>

All Implemented Interfaces:

AccessSequenceTransformer<I>, LearningAlgorithm<MealyMachine<?,I,?,O>,I,Word<O>>, Output<I,Word<O>>, SuffixOutput<I,Word<O>>

public class TTTLearnerMealy<I,O>
extends BaseTTTLearner<MealyMachine<?,I,?,O>,I,Word<O>>

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.algorithms.ttt.base.BaseTTTLearner

BaseTTTLearner.BuilderDefaults, BaseTTTLearner.Splitter<I,D>

Nested classes/interfaces inherited from interface de.learnlib.api.LearningAlgorithm

LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>

Field Summary

Fields inherited from class de.learnlib.algorithms.ttt.base.BaseTTTLearner

alphabet, blockList, dtree, hypothesis

Constructor Summary

Constructors

Constructor and Description
TTTLearnerMealy(Alphabet<I> alphabet, MembershipOracle<I,Word<O>> oracle, LocalSuffixFinder<? super I,? super Word<O>> suffixFinder)

Method Summary

Modifier and Type	Method and Description
protected Word<O>	computeHypothesisOutput(TTTState<I,Word<O>> state, Iterable<? extends I> suffix)
protected TTTTransition<I,Word<O>>	createTransition(TTTState<I,Word<O>> state, I sym)
MealyMachine<?,I,?,O>	getHypothesisModel()
protected Word<O>	predictSuccOutcome(TTTTransition<I,Word<O>> trans, DTNode<I,Word<O>> succSeparator)

Methods inherited from class de.learnlib.algorithms.ttt.base.BaseTTTLearner

addEventListener, chooseInnerNode, chooseLeaf, computeOutput, computeSuffixOutput, createMap, declareFinal, dtGraphView, finalizeAny, getDiscriminationTree, getHypothesisDOTHelper, getHypothesisDS, getState, getTarget, initializeState, isAccessSequence, query, query, refineHypothesis, removeEventListener, split, startLearning, transformAccessSequence

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TTTLearnerMealy

public TTTLearnerMealy(Alphabet<I> alphabet,
                       MembershipOracle<I,Word<O>> oracle,
                       LocalSuffixFinder<? super I,? super Word<O>> suffixFinder)

Method Detail

getHypothesisModel

public MealyMachine<?,I,?,O> getHypothesisModel()

createTransition

protected TTTTransition<I,Word<O>> createTransition(TTTState<I,Word<O>> state,
                                                    I sym)

Overrides:

createTransition in class BaseTTTLearner<MealyMachine<?,I,?,O>,I,Word<O>>

predictSuccOutcome

protected Word<O> predictSuccOutcome(TTTTransition<I,Word<O>> trans,
                                     DTNode<I,Word<O>> succSeparator)

Overrides:

predictSuccOutcome in class BaseTTTLearner<MealyMachine<?,I,?,O>,I,Word<O>>

computeHypothesisOutput

protected Word<O> computeHypothesisOutput(TTTState<I,Word<O>> state,
                                          Iterable<? extends I> suffix)

Specified by:

computeHypothesisOutput in class BaseTTTLearner<MealyMachine<?,I,?,O>,I,Word<O>>