Class HypIntTrans<I>
- java.lang.Object
-
- de.learnlib.datastructure.list.IntrusiveListElemImpl<AbstractHypTrans<I>>
-
- de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans<I>
-
- de.learnlib.algorithm.observationpack.vpa.hypothesis.HypIntTrans<I>
-
- Type Parameters:
I
- input symbol type
- All Implemented Interfaces:
AccessSequenceProvider<I>
,IntrusiveListElem<AbstractHypTrans<I>>
public class HypIntTrans<I> extends AbstractHypTrans<I>
-
-
Field Summary
-
Fields inherited from class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans
prev
-
Fields inherited from class de.learnlib.datastructure.list.IntrusiveListElemImpl
next
-
-
Constructor Summary
Constructors Constructor Description HypIntTrans(HypLoc<I> src, I intSym)
-
Method Summary
-
Methods inherited from class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans
getAccessSequence, getNonTreeTarget, getTargetLocation, getTargetNode, getTreeTarget, isTree, makeTree, removeFromList, setNonTreeTarget
-
Methods inherited from class de.learnlib.datastructure.list.IntrusiveListElemImpl
getNextElement, setNextElement
-
-