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<OneSEVPA<?,I>,I,Boolean>
public class TTTLearnerVPA<I> extends OPLearnerVPA<I>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class de.learnlib.algorithm.observationpack.vpa.OPLearnerVPA
OPLearnerVPA.PrefixTransformAcex
-
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(VPAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> oracle, AcexAnalyzer analyzer)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected boolean
computeHypothesisOutput(Word<I> word)
protected void
declareFinal(DTNode<I> blockRoot)
protected void
determinize(State<HypLoc<I>> state, Word<I> suffix)
protected boolean
finalizeAny()
protected State<HypLoc<I>>
getAnySuccessor(State<HypLoc<I>> state, I sym)
protected State<HypLoc<I>>
getDefinitiveSuccessor(State<HypLoc<I>> baseState, 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, query, refineHypothesis, startLearning, updateDTTargets
-
-
-
-
Constructor Detail
-
TTTLearnerVPA
public TTTLearnerVPA(VPAlphabet<I> alphabet, MembershipOracle.DFAMembershipOracle<I> oracle, AcexAnalyzer analyzer)
-
-
Method Detail
-
getDefinitiveSuccessor
protected State<HypLoc<I>> getDefinitiveSuccessor(State<HypLoc<I>> baseState, Word<I> suffix)
- Overrides:
getDefinitiveSuccessor
in classOPLearnerVPA<I>
-
refineHypothesisSingle
protected boolean refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery)
- Overrides:
refineHypothesisSingle
in classOPLearnerVPA<I>
-
finalizeAny
protected boolean finalizeAny()
-
-