de.learnlib.algorithms.discriminationtree

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

java.lang.Object

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

All Implemented Interfaces:

LearningAlgorithm<M,I,O>

Direct Known Subclasses:

DTLearnerDFA, DTLearnerMealy

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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AbstractDTLearner.BuilderDefaults

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

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

Field Summary

Fields

Modifier and Type	Field and Description
protected DiscriminationTree<I,O,HState<I,O,SP,TP>>	dtree
protected DTLearnerHypothesis<I,O,SP,TP>	hypothesis

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
protected HState<I,O,SP,TP>	createState(HTransition<I,O,SP,TP> trans)
DiscriminationTree<I,O,HState<I,O,SP,TP>>	getDiscriminationTree()
DTLearnerHypothesis<I,O,SP,TP>	getHypothesisDS()
protected void	initializeState(HState<I,O,SP,TP> newState)
boolean	refineHypothesis(DefaultQuery<I,O> ceQuery)
protected boolean	refineHypothesisSingle(DefaultQuery<I,O> ceQuery)
protected abstract Query<I,O>	spQuery(HState<I,O,SP,TP> state)
void	startLearning()
protected abstract Query<I,O>	tpQuery(HTransition<I,O,SP,TP> transition)
protected void	updateHypothesis()
protected void	updateTransition(HTransition<I,O,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.LearningAlgorithm

getHypothesisModel

Field Detail

dtree

protected final DiscriminationTree<I,O,HState<I,O,SP,TP>> dtree

hypothesis

protected final DTLearnerHypothesis<I,O,SP,TP> hypothesis

Constructor Detail

AbstractDTLearner

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

Method Detail

refineHypothesis

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

Specified by:

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

startLearning

public void startLearning()

Specified by:

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

getDiscriminationTree

public DiscriminationTree<I,O,HState<I,O,SP,TP>> getDiscriminationTree()

getHypothesisDS

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

refineHypothesisSingle

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

initializeState

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

createState

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

updateTransition

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

updateHypothesis

protected void updateHypothesis()

spQuery

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

tpQuery

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