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<net.automatalib.automata.vpda.OneSEVPA<?,I>,I,Boolean>

Direct Known Subclasses:

TTTLearnerVPDA

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

Method Summary

Modifier and Type	Method and Description
protected net.automatalib.automata.vpda.State<HypLoc<I>>	getDefinitiveSuccessor(net.automatalib.automata.vpda.State<HypLoc<I>> baseState, net.automatalib.words.Word<I> suffix)
protected boolean	refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery)
protected net.automatalib.words.Word<I>	transformAccessSequence(net.automatalib.automata.vpda.StackContents contents)
protected net.automatalib.words.Word<I>	transformAccessSequence(net.automatalib.automata.vpda.StackContents contents, HypLoc<I> loc)
protected net.automatalib.words.Word<I>	transformAccessSequence(net.automatalib.automata.vpda.State<HypLoc<I>> state)

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

closeTransitions, createLocation, 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(net.automatalib.words.VPDAlphabet<I> alphabet,
                     MembershipOracle<I,Boolean> oracle,
                     AcexAnalyzer analyzer)

Method Detail

getDefinitiveSuccessor

protected net.automatalib.automata.vpda.State<HypLoc<I>> getDefinitiveSuccessor(net.automatalib.automata.vpda.State<HypLoc<I>> baseState,
                                                                                net.automatalib.words.Word<I> suffix)

transformAccessSequence

protected net.automatalib.words.Word<I> transformAccessSequence(net.automatalib.automata.vpda.State<HypLoc<I>> state)

transformAccessSequence

protected net.automatalib.words.Word<I> transformAccessSequence(net.automatalib.automata.vpda.StackContents contents)

transformAccessSequence

protected net.automatalib.words.Word<I> transformAccessSequence(net.automatalib.automata.vpda.StackContents contents,
                                                                HypLoc<I> loc)

refineHypothesisSingle

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

Specified by:

refineHypothesisSingle in class AbstractVPDALearner<I>