Module de.learnlib.algorithm.observationpack.vpa

Package de.learnlib.algorithm.observationpack.vpa.hypothesis

Class HypRetTrans<I>

java.lang.Object

net.automatalib.common.smartcollection.AbstractBasicLinkedListEntry<T,IntrusiveListEntry<T>>

de.learnlib.datastructure.list.AbstractIntrusiveListEntryImpl<AbstractHypTrans<I>>

de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans<I>

de.learnlib.algorithm.observationpack.vpa.hypothesis.HypRetTrans<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

AccessSequenceProvider<I>, IntrusiveListEntry<AbstractHypTrans<I>>, net.automatalib.common.smartcollection.ElementReference, net.automatalib.common.smartcollection.LinkedListEntry<AbstractHypTrans<I>,IntrusiveListEntry<AbstractHypTrans<I>>>

public class HypRetTrans<I>
extends AbstractHypTrans<I>

Return transition.

Constructor Summary

Constructors

Constructor	Description
HypRetTrans(HypLoc<I> src, I retSym, I callSym, HypLoc<I> stackLoc)

Method Summary

Methods inherited from class de.learnlib.algorithm.observationpack.vpa.hypothesis.AbstractHypTrans

getAccessSequence, getElement, getNonTreeTarget, getTargetLocation, getTargetNode, getTreeTarget, isTree, makeTree, setNonTreeTarget

Methods inherited from class net.automatalib.common.smartcollection.AbstractBasicLinkedListEntry

getNext, getPrev, setNext, setPrev

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.datastructure.list.IntrusiveListEntry

removeFromList

Methods inherited from interface net.automatalib.common.smartcollection.LinkedListEntry

getNext, getPrev, setNext, setPrev

Constructor Detail

HypRetTrans

public HypRetTrans(HypLoc<I> src,
                   I retSym,
                   I callSym,
                   HypLoc<I> stackLoc)