I
- input alphabet typepublic class DTLearnerVPDA<I> extends AbstractVPDALearner<I>
Modifier and Type | Class and Description |
---|---|
protected class |
DTLearnerVPDA.PrefixTransformAcex |
LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>
Modifier and Type | Field and Description |
---|---|
protected AcexAnalyzer |
analyzer |
alphabet, dtree, hypothesis, openTransitions, oracle
Constructor and Description |
---|
DTLearnerVPDA(net.automatalib.words.VPDAlphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
AcexAnalyzer analyzer) |
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) |
closeTransitions, createLocation, createLocation, getHypothesisModel, initializeLocation, link, makeTree, query, refineHypothesis, startLearning, updateDTTarget
protected final AcexAnalyzer analyzer
public DTLearnerVPDA(net.automatalib.words.VPDAlphabet<I> alphabet, MembershipOracle<I,Boolean> oracle, AcexAnalyzer analyzer)
protected net.automatalib.automata.vpda.State<HypLoc<I>> getDefinitiveSuccessor(net.automatalib.automata.vpda.State<HypLoc<I>> baseState, net.automatalib.words.Word<I> suffix)
protected net.automatalib.words.Word<I> transformAccessSequence(net.automatalib.automata.vpda.State<HypLoc<I>> state)
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 boolean refineHypothesisSingle(DefaultQuery<I,Boolean> ceQuery)
refineHypothesisSingle
in class AbstractVPDALearner<I>
Copyright © 2018. All rights reserved.