Package de.learnlib.algorithm.observationpack

Class AbstractOPLearner<M extends SuffixOutput<I,D>,I,D,SP,TP>

java.lang.Object

de.learnlib.algorithm.observationpack.AbstractOPLearner<M,I,D,SP,TP>

All Implemented Interfaces:

LearningAlgorithm<M,I,D>, Resumable<OPLearnerState<I,D,SP,TP>>, SupportsGrowingAlphabet<I>

Direct Known Subclasses:

OPLearnerDFA, OPLearnerMealy, OPLearnerMoore

public abstract class AbstractOPLearner<M extends SuffixOutput<I,D>,I,D,SP,TP>
extends Object
implements LearningAlgorithm<M,I,D>, SupportsGrowingAlphabet<I>, Resumable<OPLearnerState<I,D,SP,TP>>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	AbstractOPLearner.BuilderDefaults

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>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractOPLearner(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	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()
OPLearnerHypothesis<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(OPLearnerState<I,D,SP,TP> state)
protected abstract @Nullable Query<I,D>	spQuery(HState<I,D,SP,TP> state)
void	startLearning()
OPLearnerState<I,D,SP,TP>	suspend()
protected abstract @Nullable Query<I,D>	tpQuery(HTransition<I,D,SP,TP> transition)
protected void	updateHypothesis()
protected void	updateTransitions()

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.algorithm.LearningAlgorithm

getHypothesisModel

Constructor Detail

AbstractOPLearner

protected AbstractOPLearner(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 SuffixOutput<I,D>,I,D>

refineHypothesis

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

Specified by:

refineHypothesis in interface LearningAlgorithm<M extends 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()

updateTransitions

protected void updateTransitions()

spQuery

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

tpQuery

protected abstract @Nullable 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 OPLearnerHypothesis<I,D,SP,TP> getHypothesisDS()

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface SupportsGrowingAlphabet<M extends SuffixOutput<I,D>>

suspend

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

Specified by:

suspend in interface Resumable<M extends SuffixOutput<I,D>>

resume

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

Specified by:

resume in interface Resumable<M extends SuffixOutput<I,D>>