Module de.learnlib.algorithm.observationpack.vpa

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 symbol type

All Implemented Interfaces:

LearningAlgorithm<net.automatalib.automaton.vpa.OneSEVPA<?,I>,I,Boolean>

Direct Known Subclasses:

TTTLearnerVPA

public class OPLearnerVPA<I>
extends AbstractVPALearner<I>

A SEVPA-based adoption of the "observation pack" algorithm.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	OPLearnerVPA.PrefixTransformAcex

Nested classes/interfaces inherited from class de.learnlib.algorithm.observationpack.vpa.AbstractVPALearner

AbstractVPALearner.BuilderDefaults

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(net.automatalib.alphabet.VPAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> oracle, AcexAnalyzer analyzer)

Method Summary

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

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

closeTransitions, createLocation, getDiscriminationTree, getHypothesisModel, initializeLocation, link, makeTree, 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(net.automatalib.alphabet.VPAlphabet<I> alphabet,
                    MembershipOracle.DFAMembershipOracle<I> oracle,
                    AcexAnalyzer analyzer)

Method Detail

getDefinitiveSuccessor

protected net.automatalib.automaton.vpa.State<HypLoc<I>> getDefinitiveSuccessor(net.automatalib.automaton.vpa.State<HypLoc<I>> baseState,
                                                                                net.automatalib.word.Word<I> suffix)

transformAccessSequence

protected net.automatalib.word.Word<I> transformAccessSequence(net.automatalib.automaton.vpa.State<HypLoc<I>> state)

transformAccessSequence

protected net.automatalib.word.Word<I> transformAccessSequence(@Nullable net.automatalib.automaton.vpa.StackContents contents)

transformAccessSequence

protected net.automatalib.word.Word<I> transformAccessSequence(@Nullable net.automatalib.automaton.vpa.StackContents contents,
                                                               HypLoc<I> loc)

refineHypothesisSingle

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

Specified by:

refineHypothesisSingle in class AbstractVPALearner<I>