de.learnlib.algorithms.ttt.vpda

Class TTTLearnerVPDA<I>

java.lang.Object

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

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

de.learnlib.algorithms.ttt.vpda.TTTLearnerVPDA<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

LearningAlgorithm<net.automatalib.automata.vpda.OneSEVPA<?,I>,I,Boolean>

public class TTTLearnerVPDA<I>
extends DTLearnerVPDA<I>

Author:

Malte Isberner

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.algorithms.discriminationtree.vpda.DTLearnerVPDA

DTLearnerVPDA.PrefixTransformAcex

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

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

Field Summary

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

analyzer

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

alphabet, dtree, hypothesis, openTransitions, oracle

Constructor Summary

Constructors

Constructor and Description
TTTLearnerVPDA(net.automatalib.words.VPDAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, AcexAnalyzer analyzer)

Method Summary

Modifier and Type	Method and Description
protected boolean	computeHypothesisOutput(net.automatalib.words.Word<I> word)
protected void	declareFinal(DTNode<I> blockRoot)
protected DTLearnerVPDA.PrefixTransformAcex	deriveAcex(de.learnlib.algorithms.ttt.vpda.OutputInconsistency<I> outIncons)
protected void	determinize(net.automatalib.automata.vpda.State<HypLoc<I>> state, net.automatalib.words.Word<I> suffix)
protected boolean	finalizeAny()
protected net.automatalib.automata.vpda.State<HypLoc<I>>	getAnySuccessor(net.automatalib.automata.vpda.State<HypLoc<I>> state, I sym)
protected net.automatalib.automata.vpda.State<HypLoc<I>>	getDefinitiveSuccessor(net.automatalib.automata.vpda.State<HypLoc<I>> baseState, net.automatalib.words.Word<I> suffix)
AbstractHypTrans<I>	getSplitterTrans(HypLoc<I> loc, Splitter<I> splitter)
protected boolean	refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery)

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

transformAccessSequence, transformAccessSequence, transformAccessSequence

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

closeTransitions, createLocation, createLocation, getHypothesisModel, initializeLocation, link, makeTree, query, refineHypothesis, startLearning, updateDTTarget

Methods inherited from class java.lang.Object

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

Constructor Detail

TTTLearnerVPDA

public TTTLearnerVPDA(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)

Overrides:

getDefinitiveSuccessor in class DTLearnerVPDA<I>

refineHypothesisSingle

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

Overrides:

refineHypothesisSingle in class DTLearnerVPDA<I>

computeHypothesisOutput

protected boolean computeHypothesisOutput(net.automatalib.words.Word<I> word)

finalizeAny

protected boolean finalizeAny()

getAnySuccessor

protected net.automatalib.automata.vpda.State<HypLoc<I>> getAnySuccessor(net.automatalib.automata.vpda.State<HypLoc<I>> state,
                                                                         I sym)

deriveAcex

protected DTLearnerVPDA.PrefixTransformAcex deriveAcex(de.learnlib.algorithms.ttt.vpda.OutputInconsistency<I> outIncons)

declareFinal

protected void declareFinal(DTNode<I> blockRoot)

getSplitterTrans

public AbstractHypTrans<I> getSplitterTrans(HypLoc<I> loc,
                                            Splitter<I> splitter)

determinize

protected void determinize(net.automatalib.automata.vpda.State<HypLoc<I>> state,
                           net.automatalib.words.Word<I> suffix)