de.learnlib.algorithms.discriminationtree.vpda

Class DTLearnerVPDA<I>

java.lang.Object

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

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

Type Parameters:

I - input alphabet type

All Implemented Interfaces:

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

public class DTLearnerVPDA<I>
extends AbstractVPDALearner<I>

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	DTLearnerVPDA.PrefixTransformAcex

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 AcexAnalyzer	analyzer

Fields inherited from class de.learnlib.algorithms.discriminationtree.vpda.AbstractVPDALearner

alphabet, dtree, hypothesis, openTransitions, oracle

Constructor Summary

Constructors

Constructor and Description
DTLearnerVPDA(VPDAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, AcexAnalyzer analyzer)

Method Summary

Modifier and Type	Method and 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.algorithms.discriminationtree.vpda.AbstractVPDALearner

closeTransitions, createLocation, 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

DTLearnerVPDA

public DTLearnerVPDA(VPDAlphabet<I> alphabet,
                     MembershipOracle<I,Boolean> 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 AbstractVPDALearner<I>