Uses of Class
de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypLoc

Packages that use HypLoc

Package	Description
de.learnlib.algorithms.discriminationtree.hypothesis.vpda
de.learnlib.algorithms.discriminationtree.vpda

Uses of HypLoc in de.learnlib.algorithms.discriminationtree.hypothesis.vpda

Methods in de.learnlib.algorithms.discriminationtree.hypothesis.vpda that return HypLoc

Modifier and Type	Method and Description
HypLoc<I>	OneSEVPAHypothesis.createLocation(boolean accepting, AbstractHypTrans<I> treeIncoming)
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()

Methods in de.learnlib.algorithms.discriminationtree.hypothesis.vpda that return types with arguments of type HypLoc

Modifier and Type	Method and Description
List<HypLoc<I>>	OneSEVPAHypothesis.getLocations()
Iterable<HypLoc<I>>	DTNode.subtreeLocations()
Iterator<HypLoc<I>>	DTNode.subtreeLocsIterator()

Methods in de.learnlib.algorithms.discriminationtree.hypothesis.vpda with parameters of type HypLoc

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)

Method parameters in de.learnlib.algorithms.discriminationtree.hypothesis.vpda with type arguments of type HypLoc

Modifier and Type	Method and Description
AbstractHypTrans<I>	OneSEVPAHypothesis.getInternalTransition(State<HypLoc<I>> state, I sym)

Constructors in de.learnlib.algorithms.discriminationtree.hypothesis.vpda with parameters of type HypLoc

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)

Uses of HypLoc in de.learnlib.algorithms.discriminationtree.vpda

Methods in de.learnlib.algorithms.discriminationtree.vpda that return HypLoc

Modifier and Type	Method and Description
protected HypLoc<I>	AbstractVPDALearner.createLocation(AbstractHypTrans<I> trans)
protected HypLoc<I>	AbstractVPDALearner.makeTree(AbstractHypTrans<I> trans)

Methods in de.learnlib.algorithms.discriminationtree.vpda that return types with arguments of type HypLoc

Modifier and Type	Method and Description
State<HypLoc<I>>	DTLearnerVPDA.PrefixTransformAcex.getBaseState()
protected State<HypLoc<I>>	DTLearnerVPDA.getDefinitiveSuccessor(State<HypLoc<I>> baseState, Word<I> suffix)

Methods in de.learnlib.algorithms.discriminationtree.vpda with parameters of type HypLoc

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 Word<I>	DTLearnerVPDA.transformAccessSequence(@Nullable StackContents contents, HypLoc<I> loc)

Method parameters in de.learnlib.algorithms.discriminationtree.vpda with type arguments of type HypLoc

Modifier and Type	Method and Description
protected State<HypLoc<I>>	DTLearnerVPDA.getDefinitiveSuccessor(State<HypLoc<I>> baseState, Word<I> suffix)
protected Word<I>	DTLearnerVPDA.transformAccessSequence(State<HypLoc<I>> state)