Package de.learnlib.algorithm.lambda.ttt

Class AbstractTTTLambda<M extends net.automatalib.automaton.concept.SuffixOutput<I,D>,I,D>

java.lang.Object

de.learnlib.algorithm.lambda.ttt.AbstractTTTLambda<M,I,D>

All Implemented Interfaces:

LearningAlgorithm<M,I,D>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>, net.automatalib.automaton.concept.FiniteRepresentation

Direct Known Subclasses:

TTTLambdaDFA, TTTLambdaMealy

public abstract class AbstractTTTLambda<M extends net.automatalib.automaton.concept.SuffixOutput<I,D>,I,D>
extends Object
implements LearningAlgorithm<M,I,D>, net.automatalib.alphabet.SupportsGrowingAlphabet<I>, net.automatalib.automaton.concept.FiniteRepresentation

Nested Class Summary

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

LearningAlgorithm.DFALearner<I extends Object>, LearningAlgorithm.MealyLearner<I extends Object,O extends Object>, LearningAlgorithm.MooreLearner<I extends Object,O extends Object>, LearningAlgorithm.NFALearner<I extends Object>

Field Summary

Fields

Modifier and Type	Field	Description
protected PrefixTree<I,D>	ptree
protected SuffixTrie<I>	strie

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractTTTLambda(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,D> ceqs)

Method Summary

Modifier and Type	Method	Description
void	addAlphabetSymbol(I symbol)
protected abstract AbstractDecisionTree<I,D>	dtree()
protected abstract DTLeaf<I,D>	getState(net.automatalib.word.Word<I> prefix)
protected abstract int	maxSearchIndex(int ceLength)
boolean	refineHypothesis(DefaultQuery<I,D> counterexample)
void	startLearning()

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.concept.FiniteRepresentation

size

Methods inherited from interface de.learnlib.algorithm.LearningAlgorithm

getHypothesisModel

Field Detail

strie

protected final SuffixTrie<I> strie

ptree

protected final PrefixTree<I,D> ptree

Constructor Detail

AbstractTTTLambda

protected AbstractTTTLambda(net.automatalib.alphabet.Alphabet<I> alphabet,
                            MembershipOracle<I,D> ceqs)

Method Detail

maxSearchIndex

protected abstract int maxSearchIndex(int ceLength)

getState

protected abstract DTLeaf<I,D> getState(net.automatalib.word.Word<I> prefix)

dtree

protected abstract AbstractDecisionTree<I,D> dtree()

startLearning

public void startLearning()

Specified by:

startLearning in interface LearningAlgorithm<M extends net.automatalib.automaton.concept.SuffixOutput<I,D>,I,D>

refineHypothesis

public boolean refineHypothesis(DefaultQuery<I,D> counterexample)

Specified by:

refineHypothesis in interface LearningAlgorithm<M extends net.automatalib.automaton.concept.SuffixOutput<I,D>,I,D>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface net.automatalib.alphabet.SupportsGrowingAlphabet<M extends net.automatalib.automaton.concept.SuffixOutput<I,D>>