de.learnlib.algorithms.discriminationtree.vpda

Class AbstractVPDALearner<I>

java.lang.Object

de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner<I>

Type Parameters:

I - input alphabet type

All Implemented Interfaces:

LearningAlgorithm<OneSEVPA<?,I>,I,Boolean>

Direct Known Subclasses:

DTLearnerVPDA

public abstract class AbstractVPDALearner<I>
extends Object
implements LearningAlgorithm<OneSEVPA<?,I>,I,Boolean>

Author:

Malte Isberner

Nested Class Summary

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 VPDAlphabet<I>	alphabet
protected DTree<I>	dtree
protected OneSEVPAHypothesis<I>	hypothesis
protected TransList<I>	openTransitions
protected MembershipOracle<I,Boolean>	oracle

Constructor Summary

Constructors

Constructor and Description
AbstractVPDALearner(VPDAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle)

Method Summary

Modifier and Type	Method and Description
protected void	closeTransitions()
protected HypLoc<I>	createLocation(AbstractHypTrans<I> trans)
OneSEVPA<?,I>	getHypothesisModel()
protected void	initializeLocation(HypLoc<I> loc)
protected static <I> void	link(DTNode<I> leaf, HypLoc<I> loc)
protected HypLoc<I>	makeTree(AbstractHypTrans<I> trans)
protected Boolean	query(AccessSequenceProvider<I> asp, ContextPair<I> context)
boolean	refineHypothesis(DefaultQuery<I,Boolean> ceQuery)
protected abstract boolean	refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery)
void	startLearning()
protected List<DTNode<I>>	updateDTTargets(List<AbstractHypTrans<I>> trans, boolean hard)

Methods inherited from class java.lang.Object

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

Field Detail

alphabet

protected final VPDAlphabet<I> alphabet

oracle

protected final MembershipOracle<I,Boolean> oracle

dtree

protected final DTree<I> dtree

hypothesis

protected final OneSEVPAHypothesis<I> hypothesis

openTransitions

protected final TransList<I> openTransitions

Constructor Detail

AbstractVPDALearner

public AbstractVPDALearner(VPDAlphabet<I> alphabet,
                           MembershipOracle<I,Boolean> oracle)

Method Detail

startLearning

public void startLearning()

Specified by:

startLearning in interface LearningAlgorithm<OneSEVPA<?,I>,I,Boolean>

refineHypothesis

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

Specified by:

refineHypothesis in interface LearningAlgorithm<OneSEVPA<?,I>,I,Boolean>

refineHypothesisSingle

protected abstract boolean refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery)

getHypothesisModel

public OneSEVPA<?,I> getHypothesisModel()

Specified by:

getHypothesisModel in interface LearningAlgorithm<OneSEVPA<?,I>,I,Boolean>

link

protected static <I> void link(DTNode<I> leaf,
                               HypLoc<I> loc)

initializeLocation

protected void initializeLocation(HypLoc<I> loc)

closeTransitions

protected void closeTransitions()

updateDTTargets

protected List<DTNode<I>> updateDTTargets(List<AbstractHypTrans<I>> trans,
                                          boolean hard)

makeTree

protected HypLoc<I> makeTree(AbstractHypTrans<I> trans)

createLocation

protected HypLoc<I> createLocation(AbstractHypTrans<I> trans)

query

protected Boolean query(AccessSequenceProvider<I> asp,
                        ContextPair<I> context)