Module de.learnlib.algorithm.ttt.vpa

Package de.learnlib.algorithm.ttt.vpa

Class TTTLearnerVPA<I>

java.lang.Object

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

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

de.learnlib.algorithm.ttt.vpa.TTTLearnerVPA<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

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

public class TTTLearnerVPA<I>
extends OPLearnerVPA<I>

A SEVPA-based adoption of the "TTT" algorithm.

Nested Class Summary

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

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 inherited from class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA

analyzer

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

alphabet, dtree, hypothesis, openTransitions, oracle

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
protected boolean	computeHypothesisOutput(net.automatalib.word.Word<I> word)
protected void	declareFinal(DTNode<I> blockRoot)
protected void	determinize(net.automatalib.automaton.vpa.State<HypLoc<I>> state, net.automatalib.word.Word<I> suffix)
protected boolean	finalizeAny()
protected net.automatalib.automaton.vpa.State<HypLoc<I>>	getAnySuccessor(net.automatalib.automaton.vpa.State<HypLoc<I>> state, I sym)
protected net.automatalib.automaton.vpa.State<HypLoc<I>>	getDefinitiveSuccessor(net.automatalib.automaton.vpa.State<HypLoc<I>> baseState, net.automatalib.word.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.algorithm.observationpack.vpa.OPLearnerVPA

transformAccessSequence, transformAccessSequence, transformAccessSequence

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

Constructor Detail

TTTLearnerVPA

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

Overrides:

getDefinitiveSuccessor in class OPLearnerVPA<I>

refineHypothesisSingle

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

Overrides:

refineHypothesisSingle in class OPLearnerVPA<I>

computeHypothesisOutput

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

finalizeAny

protected boolean finalizeAny()

getAnySuccessor

protected net.automatalib.automaton.vpa.State<HypLoc<I>> getAnySuccessor(net.automatalib.automaton.vpa.State<HypLoc<I>> state,
                                                                         I sym)

declareFinal

protected void declareFinal(DTNode<I> blockRoot)

getSplitterTrans

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

determinize

protected void determinize(net.automatalib.automaton.vpa.State<HypLoc<I>> state,
                           net.automatalib.word.Word<I> suffix)