Package | Description |
---|---|
de.learnlib.algorithms.discriminationtree.hypothesis.vpda | |
de.learnlib.algorithms.discriminationtree.vpda | |
de.learnlib.algorithms.ttt.vpda |
Modifier and Type | Method and Description |
---|---|
HypLoc<I> |
OneSEVPAHypothesis.createLocation(boolean accepting,
AbstractHypTrans<I> treeIncoming) |
HypLoc<I> |
OneSEVPAHypothesis.createLocation(boolean accepting,
net.automatalib.words.Word<I> aseq) |
HypLoc<I> |
OneSEVPAHypothesis.getInitialLocation() |
HypLoc<I> |
OneSEVPAHypothesis.getInternalSuccessor(HypLoc<I> loc,
I intSym) |
HypLoc<I> |
OneSEVPAHypothesis.getLocation(int id) |
HypLoc<I> |
OneSEVPAHypothesis.getReturnSuccessor(HypLoc<I> loc,
I retSym,
int stackSym) |
HypLoc<I> |
AbstractHypTrans.getTargetLocation() |
HypLoc<I> |
AbstractHypTrans.getTreeTarget() |
HypLoc<I> |
OneSEVPAHypothesis.initialize() |
Modifier and Type | Method and Description |
---|---|
List<HypLoc<I>> |
OneSEVPAHypothesis.getLocations() |
Iterable<HypLoc<I>> |
DTNode.subtreeLocations() |
Iterator<HypLoc<I>> |
DTNode.subtreeLocsIterator() |
Modifier and Type | Method and Description |
---|---|
protected DTNode<I> |
DTNode.createChild(Boolean outcome,
HypLoc<I> data) |
HypLoc<I> |
OneSEVPAHypothesis.getInternalSuccessor(HypLoc<I> loc,
I intSym) |
AbstractHypTrans<I> |
OneSEVPAHypothesis.getInternalTransition(HypLoc<I> loc,
I intSym) |
int |
OneSEVPAHypothesis.getLocationId(HypLoc<I> loc) |
HypLoc<I> |
OneSEVPAHypothesis.getReturnSuccessor(HypLoc<I> loc,
I retSym,
int stackSym) |
AbstractHypTrans<I> |
OneSEVPAHypothesis.getReturnTransition(HypLoc<I> loc,
I retSym,
HypLoc<I> stackLoc,
I callSym) |
AbstractHypTrans<I> |
OneSEVPAHypothesis.getReturnTransition(HypLoc<I> loc,
I retSym,
HypLoc<I> stackLoc,
I callSym) |
AbstractHypTrans<I> |
OneSEVPAHypothesis.getReturnTransition(HypLoc<I> loc,
I retSym,
int stackSym) |
boolean |
OneSEVPAHypothesis.isAcceptingLocation(HypLoc<I> loc) |
void |
AbstractHypTrans.makeTree(HypLoc<I> tgtLoc) |
Modifier and Type | Method and Description |
---|---|
AbstractHypTrans<I> |
OneSEVPAHypothesis.getInternalTransition(net.automatalib.automata.vpda.State<HypLoc<I>> state,
I sym) |
Constructor and Description |
---|
DTNode(DTNode<I> parent,
boolean parentLabel,
HypLoc<I> data) |
HypIntTrans(HypLoc<I> src,
I intSym) |
HypRetTrans(HypLoc<I> src,
I retSym,
I callSym,
HypLoc<I> stackLoc) |
HypRetTrans(HypLoc<I> src,
I retSym,
I callSym,
HypLoc<I> stackLoc) |
Modifier and Type | Method and Description |
---|---|
protected HypLoc<I> |
AbstractVPDALearner.createLocation(AbstractHypTrans<I> trans) |
protected HypLoc<I> |
AbstractVPDALearner.createLocation(net.automatalib.words.Word<I> as) |
protected HypLoc<I> |
AbstractVPDALearner.makeTree(AbstractHypTrans<I> trans) |
Modifier and Type | Method and Description |
---|---|
net.automatalib.automata.vpda.State<HypLoc<I>> |
DTLearnerVPDA.PrefixTransformAcex.getBaseState() |
protected net.automatalib.automata.vpda.State<HypLoc<I>> |
DTLearnerVPDA.getDefinitiveSuccessor(net.automatalib.automata.vpda.State<HypLoc<I>> baseState,
net.automatalib.words.Word<I> suffix) |
Modifier and Type | Method and Description |
---|---|
protected void |
AbstractVPDALearner.initializeLocation(HypLoc<I> loc) |
protected static <I> void |
AbstractVPDALearner.link(DTNode<I> leaf,
HypLoc<I> loc) |
protected net.automatalib.words.Word<I> |
DTLearnerVPDA.transformAccessSequence(net.automatalib.automata.vpda.StackContents contents,
HypLoc<I> loc) |
Modifier and Type | Method and Description |
---|---|
protected net.automatalib.automata.vpda.State<HypLoc<I>> |
DTLearnerVPDA.getDefinitiveSuccessor(net.automatalib.automata.vpda.State<HypLoc<I>> baseState,
net.automatalib.words.Word<I> suffix) |
protected net.automatalib.words.Word<I> |
DTLearnerVPDA.transformAccessSequence(net.automatalib.automata.vpda.State<HypLoc<I>> state) |
Modifier and Type | Field and Description |
---|---|
HypLoc<I> |
Splitter.location |
Modifier and Type | Method and Description |
---|---|
protected net.automatalib.automata.vpda.State<HypLoc<I>> |
TTTLearnerVPDA.getAnySuccessor(net.automatalib.automata.vpda.State<HypLoc<I>> state,
I sym) |
protected net.automatalib.automata.vpda.State<HypLoc<I>> |
TTTLearnerVPDA.getDefinitiveSuccessor(net.automatalib.automata.vpda.State<HypLoc<I>> baseState,
net.automatalib.words.Word<I> suffix) |
Modifier and Type | Method and Description |
---|---|
AbstractHypTrans<I> |
TTTLearnerVPDA.getSplitterTrans(HypLoc<I> loc,
Splitter<I> splitter) |
Modifier and Type | Method and Description |
---|---|
protected void |
TTTLearnerVPDA.determinize(net.automatalib.automata.vpda.State<HypLoc<I>> state,
net.automatalib.words.Word<I> suffix) |
protected net.automatalib.automata.vpda.State<HypLoc<I>> |
TTTLearnerVPDA.getAnySuccessor(net.automatalib.automata.vpda.State<HypLoc<I>> state,
I sym) |
protected net.automatalib.automata.vpda.State<HypLoc<I>> |
TTTLearnerVPDA.getDefinitiveSuccessor(net.automatalib.automata.vpda.State<HypLoc<I>> baseState,
net.automatalib.words.Word<I> suffix) |
Constructor and Description |
---|
Splitter(I symbol,
HypLoc<I> location,
I otherSymbol,
boolean call,
DTNode<I> succSeparator) |
Copyright © 2018. All rights reserved.