Package de.learnlib.algorithm.observationpack.vpa

Class OPLearnerVPA<I>

java.lang.Object

de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner<I>

de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA<I>

Type Parameters:

I - input alphabet type

All Implemented Interfaces:

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

Direct Known Subclasses:

TTTLearnerVPA

public class OPLearnerVPA<I>
extends AbstractVPALearner<I>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	OPLearnerVPA.PrefixTransformAcex

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

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

Field Summary

Fields

Modifier and Type	Field	Description
protected AcexAnalyzer	analyzer

Fields inherited from class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

alphabet, dtree, hypothesis, openTransitions, oracle

Constructor Summary

Constructors

Constructor	Description
OPLearnerVPA(VPAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> oracle, AcexAnalyzer analyzer)

Method Summary

Modifier and Type	Method	Description
protected State<HypLoc<I>>	getDefinitiveSuccessor(State<HypLoc<I>> baseState, Word<I> suffix)
protected boolean	refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery)
protected Word<I>	transformAccessSequence(@Nullable StackContents contents)
protected Word<I>	transformAccessSequence(@Nullable StackContents contents, HypLoc<I> loc)
protected Word<I>	transformAccessSequence(State<HypLoc<I>> state)

Methods inherited from class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

closeTransitions, createLocation, getDiscriminationTree, getHypothesisModel, initializeLocation, link, makeTree, query, refineHypothesis, startLearning, updateDTTargets

Methods inherited from class java.lang.Object

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

Field Detail

analyzer

protected final AcexAnalyzer analyzer

Constructor Detail

OPLearnerVPA

public OPLearnerVPA(VPAlphabet<I> alphabet,
                    MembershipOracle.DFAMembershipOracle<I> oracle,
                    AcexAnalyzer analyzer)

Method Detail

getDefinitiveSuccessor

protected State<HypLoc<I>> getDefinitiveSuccessor(State<HypLoc<I>> baseState,
                                                  Word<I> suffix)

transformAccessSequence

protected Word<I> transformAccessSequence(State<HypLoc<I>> state)

transformAccessSequence

protected Word<I> transformAccessSequence(@Nullable StackContents contents)

transformAccessSequence

protected Word<I> transformAccessSequence(@Nullable StackContents contents,
                                          HypLoc<I> loc)

refineHypothesisSingle

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

Specified by:

refineHypothesisSingle in class AbstractVPALearner<I>