de.learnlib.algorithms.discriminationtree

Class AbstractDTLearner<M extends net.automatalib.automata.concepts.SuffixOutput<I,D>,I,D,SP,TP>

java.lang.Object

de.learnlib.algorithms.discriminationtree.AbstractDTLearner<M,I,D,SP,TP>

All Implemented Interfaces:

ResumableLearner<DTLearnerState<I,D,SP,TP>>, SupportsGrowingAlphabet<I>, LearningAlgorithm<M,I,D>

Direct Known Subclasses:

DTLearnerDFA, DTLearnerMealy

public abstract class AbstractDTLearner<M extends net.automatalib.automata.concepts.SuffixOutput<I,D>,I,D,SP,TP>
extends Object
implements LearningAlgorithm<M,I,D>, SupportsGrowingAlphabet<I>, ResumableLearner<DTLearnerState<I,D,SP,TP>>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AbstractDTLearner.BuilderDefaults

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

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

Field Summary

Fields

Modifier and Type	Field and Description
protected net.automatalib.words.Alphabet<I>	alphabet
protected AbstractWordBasedDiscriminationTree<I,D,HState<I,D,SP,TP>>	dtree
protected DTLearnerHypothesis<I,D,SP,TP>	hypothesis

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractDTLearner(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,D> oracle, LocalSuffixFinder<? super I,? super D> suffixFinder, boolean repeatedCounterexampleEvaluation, AbstractWordBasedDiscriminationTree<I,D,HState<I,D,SP,TP>> dtree)

Method Summary

Modifier and Type	Method and Description
void	addAlphabetSymbol(I symbol)
protected HState<I,D,SP,TP>	createState(HTransition<I,D,SP,TP> trans)
AbstractWordBasedDiscriminationTree<I,D,HState<I,D,SP,TP>>	getDiscriminationTree()
DTLearnerHypothesis<I,D,SP,TP>	getHypothesisDS()
protected void	initializeState(HState<I,D,SP,TP> newState)
boolean	refineHypothesis(DefaultQuery<I,D> ceQuery)
protected boolean	refineHypothesisSingle(DefaultQuery<I,D> ceQuery)
void	resume(DTLearnerState<I,D,SP,TP> state)
protected abstract Query<I,D>	spQuery(HState<I,D,SP,TP> state)
void	startLearning()
DTLearnerState<I,D,SP,TP>	suspend()
protected abstract Query<I,D>	tpQuery(HTransition<I,D,SP,TP> transition)
protected void	updateHypothesis()
protected void	updateTransition(HTransition<I,D,SP,TP> trans)

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.api.algorithm.LearningAlgorithm

getHypothesisModel

Field Detail

alphabet

protected net.automatalib.words.Alphabet<I> alphabet

dtree

protected AbstractWordBasedDiscriminationTree<I,D,HState<I,D,SP,TP>> dtree

hypothesis

protected DTLearnerHypothesis<I,D,SP,TP> hypothesis

Constructor Detail

AbstractDTLearner

protected AbstractDTLearner(net.automatalib.words.Alphabet<I> alphabet,
                            MembershipOracle<I,D> oracle,
                            LocalSuffixFinder<? super I,? super D> suffixFinder,
                            boolean repeatedCounterexampleEvaluation,
                            AbstractWordBasedDiscriminationTree<I,D,HState<I,D,SP,TP>> dtree)

Method Detail

startLearning

public void startLearning()

Specified by:

startLearning in interface LearningAlgorithm<M extends net.automatalib.automata.concepts.SuffixOutput<I,D>,I,D>

refineHypothesis

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

Specified by:

refineHypothesis in interface LearningAlgorithm<M extends net.automatalib.automata.concepts.SuffixOutput<I,D>,I,D>

refineHypothesisSingle

protected boolean refineHypothesisSingle(DefaultQuery<I,D> ceQuery)

initializeState

protected void initializeState(HState<I,D,SP,TP> newState)

updateHypothesis

protected void updateHypothesis()

updateTransition

protected void updateTransition(HTransition<I,D,SP,TP> trans)

spQuery

protected abstract Query<I,D> spQuery(HState<I,D,SP,TP> state)

tpQuery

protected abstract Query<I,D> tpQuery(HTransition<I,D,SP,TP> transition)

createState

protected HState<I,D,SP,TP> createState(HTransition<I,D,SP,TP> trans)

getDiscriminationTree

public AbstractWordBasedDiscriminationTree<I,D,HState<I,D,SP,TP>> getDiscriminationTree()

getHypothesisDS

public DTLearnerHypothesis<I,D,SP,TP> getHypothesisDS()

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface SupportsGrowingAlphabet<I>

suspend

public DTLearnerState<I,D,SP,TP> suspend()

Specified by:

suspend in interface ResumableLearner<DTLearnerState<I,D,SP,TP>>

resume

public void resume(DTLearnerState<I,D,SP,TP> state)

Specified by:

resume in interface ResumableLearner<DTLearnerState<I,D,SP,TP>>