Serialized Form

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

Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.AbstractHypTrans extends IntrusiveListElemImpl<AbstractHypTrans<I>> implements Serializable

Serialized Fields

aseq

net.automatalib.words.Word<I> aseq

prev

IntrusiveListElemImpl<T> prev

treeTarget

HypLoc<I> treeTarget

nonTreeTarget

DTNode<I> nonTreeTarget

Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.BlockList extends IntrusiveList<DTNode<I>> implements Serializable

Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTNode extends AbstractTemporaryIntrusiveDTNode<ContextPair<I>,Boolean,HypLoc<I>,TransList<I>,DTNode<I>> implements Serializable

Serialized Fields

nonTreeIncoming

TransList<I> nonTreeIncoming

Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.DTree extends AbstractDiscriminationTree<ContextPair<I>,I,Boolean,HypLoc<I>,DTNode<I>> implements Serializable

Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypIntTrans extends AbstractHypTrans<I> implements Serializable

Serialized Fields

intSymbol

Object intSymbol

Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.HypRetTrans extends AbstractHypTrans<I> implements Serializable

Class de.learnlib.algorithms.discriminationtree.hypothesis.vpda.TransList extends IntrusiveList<AbstractHypTrans<I>> implements Serializable