Uses of Class
de.learnlib.algorithm.observationpack.vpa.hypothesis.HypLoc
-
Packages that use HypLoc Package Description de.learnlib.algorithm.observationpack.vpa This package (and sub-packages) provides the implementation of the VPA adaption of the Observation-Pack learning algorithm as discussed in the PhD thesis Foundations of Active Automata Learning: An Algorithmic Perspective by Malte Isberner.de.learnlib.algorithm.observationpack.vpa.hypothesis de.learnlib.algorithm.ttt.vpa This package (and sub-packages) provides the implementation of the VPA adaption of the TTT learning algorithm as presented in the PhD thesis Foundations of Active Automata Learning: An Algorithmic Perspective by Malte Isberner. -
-
Uses of HypLoc in de.learnlib.algorithm.observationpack.vpa
Methods in de.learnlib.algorithm.observationpack.vpa that return HypLoc Modifier and Type Method Description protected HypLoc<I>
AbstractVPALearner. createLocation(AbstractHypTrans<I> trans)
protected HypLoc<I>
AbstractVPALearner. makeTree(AbstractHypTrans<I> trans)
Methods in de.learnlib.algorithm.observationpack.vpa that return types with arguments of type HypLoc Modifier and Type Method Description State<HypLoc<I>>
OPLearnerVPA.PrefixTransformAcex. getBaseState()
protected State<HypLoc<I>>
OPLearnerVPA. getDefinitiveSuccessor(State<HypLoc<I>> baseState, Word<I> suffix)
Methods in de.learnlib.algorithm.observationpack.vpa with parameters of type HypLoc Modifier and Type Method Description protected void
AbstractVPALearner. initializeLocation(HypLoc<I> loc)
protected static <I> void
AbstractVPALearner. link(DTNode<I> leaf, HypLoc<I> loc)
protected Word<I>
OPLearnerVPA. transformAccessSequence(@Nullable StackContents contents, HypLoc<I> loc)
Method parameters in de.learnlib.algorithm.observationpack.vpa with type arguments of type HypLoc Modifier and Type Method Description protected State<HypLoc<I>>
OPLearnerVPA. getDefinitiveSuccessor(State<HypLoc<I>> baseState, Word<I> suffix)
protected Word<I>
OPLearnerVPA. transformAccessSequence(State<HypLoc<I>> state)
-
Uses of HypLoc in de.learnlib.algorithm.observationpack.vpa.hypothesis
Methods in de.learnlib.algorithm.observationpack.vpa.hypothesis that return HypLoc Modifier and Type Method 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.algorithm.observationpack.vpa.hypothesis that return types with arguments of type HypLoc Modifier and Type Method Description List<HypLoc<I>>
OneSEVPAHypothesis. getLocations()
Iterable<HypLoc<I>>
DTNode. subtreeLocations()
Iterator<HypLoc<I>>
DTNode. subtreeLocsIterator()
Methods in de.learnlib.algorithm.observationpack.vpa.hypothesis with parameters of type HypLoc Modifier and Type Method 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, int stackSym)
AbstractHypTrans<I>
OneSEVPAHypothesis. getReturnTransition(HypLoc<I> loc, I retSym, HypLoc<I> stackLoc, I callSym)
boolean
OneSEVPAHypothesis. isAcceptingLocation(HypLoc<I> loc)
void
AbstractHypTrans. makeTree(HypLoc<I> tgtLoc)
Method parameters in de.learnlib.algorithm.observationpack.vpa.hypothesis with type arguments of type HypLoc Modifier and Type Method Description @Nullable AbstractHypTrans<I>
OneSEVPAHypothesis. getInternalTransition(State<HypLoc<I>> state, I sym)
Constructors in de.learnlib.algorithm.observationpack.vpa.hypothesis with parameters of type HypLoc Constructor 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)
-
Uses of HypLoc in de.learnlib.algorithm.ttt.vpa
Fields in de.learnlib.algorithm.ttt.vpa declared as HypLoc Modifier and Type Field Description HypLoc<I>
Splitter. location
Methods in de.learnlib.algorithm.ttt.vpa that return types with arguments of type HypLoc Modifier and Type Method Description protected State<HypLoc<I>>
TTTLearnerVPA. getAnySuccessor(State<HypLoc<I>> state, I sym)
protected State<HypLoc<I>>
TTTLearnerVPA. getDefinitiveSuccessor(State<HypLoc<I>> baseState, Word<I> suffix)
Methods in de.learnlib.algorithm.ttt.vpa with parameters of type HypLoc Modifier and Type Method Description AbstractHypTrans<I>
TTTLearnerVPA. getSplitterTrans(HypLoc<I> loc, Splitter<I> splitter)
Method parameters in de.learnlib.algorithm.ttt.vpa with type arguments of type HypLoc Modifier and Type Method Description protected void
TTTLearnerVPA. determinize(State<HypLoc<I>> state, Word<I> suffix)
protected State<HypLoc<I>>
TTTLearnerVPA. getAnySuccessor(State<HypLoc<I>> state, I sym)
protected State<HypLoc<I>>
TTTLearnerVPA. getDefinitiveSuccessor(State<HypLoc<I>> baseState, Word<I> suffix)
Constructors in de.learnlib.algorithm.ttt.vpa with parameters of type HypLoc Constructor Description Splitter(I symbol, HypLoc<I> location, I otherSymbol, boolean call, DTNode<I> succSeparator)
-