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

Class DTNode<I>

java.lang.Object

de.learnlib.datastructure.discriminationtree.model.AbstractDTNode<DSCR,O,D,N>

de.learnlib.datastructure.discriminationtree.model.AbstractTemporaryIntrusiveDTNode<ContextPair<I>,Boolean,HypLoc<I>,TransList<I>,DTNode<I>>

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

Type Parameters:

I - input symbol type

All Implemented Interfaces:

IntrusiveListElem<DTNode<I>>

public class DTNode<I>
extends AbstractTemporaryIntrusiveDTNode<ContextPair<I>,Boolean,HypLoc<I>,TransList<I>,DTNode<I>>
implements IntrusiveListElem<DTNode<I>>

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode

AbstractDTNode.SplitResult

Field Summary

Fields inherited from class de.learnlib.datastructure.discriminationtree.model.AbstractTemporaryIntrusiveDTNode

nextElement, prevElement, splitData

Fields inherited from class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode

children, data, depth, discriminator, parent, parentOutcome

Constructor Summary

Constructors

Constructor	Description
DTNode(DTNode<I> parent, boolean parentLabel)
DTNode(DTNode<I> parent, boolean parentLabel, HypLoc<I> data)

Method Summary

Modifier and Type	Method	Description
void	addIncoming(AbstractHypTrans<I> trans)
protected DTNode<I>	createChild(Boolean outcome, HypLoc<I> data)
protected Map<Boolean,DTNode<I>>	createChildMap()
TransList<I>	getIncoming()
void	split(ContextPair<I> discriminator, Map<Boolean,DTNode<I>> children)
Iterable<HypLoc<I>>	subtreeLocations()
Iterator<HypLoc<I>>	subtreeLocsIterator()
void	updateIncoming()

Methods inherited from class de.learnlib.datastructure.discriminationtree.model.AbstractTemporaryIntrusiveDTNode

anyChild, getNextElement, getPrevElement, getSplitData, isBlockRoot, isInner, isTemp, removeFromBlockList, setChild, setNextElement, setPrevElement, setSplitData, setTemp

Methods inherited from class de.learnlib.datastructure.discriminationtree.model.AbstractDTNode

addChild, child, child, getChild, getChildEntries, getChildren, getData, getDepth, getDiscriminator, getParent, getParentOutcome, isLeaf, isRoot, replaceChildren, setData, setDiscriminator, split, split, split, subtreeLabel

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.IntrusiveListElem

getNextElement, setNextElement

Constructor Detail

DTNode

public DTNode(DTNode<I> parent,
              boolean parentLabel)

DTNode

public DTNode(DTNode<I> parent,
              boolean parentLabel,
              HypLoc<I> data)

Method Detail

updateIncoming

public void updateIncoming()

split

public void split(ContextPair<I> discriminator,
                  Map<Boolean,DTNode<I>> children)

subtreeLocsIterator

public Iterator<HypLoc<I>> subtreeLocsIterator()

subtreeLocations

public Iterable<HypLoc<I>> subtreeLocations()

addIncoming

public void addIncoming(AbstractHypTrans<I> trans)

getIncoming

public TransList<I> getIncoming()

createChildMap

protected Map<Boolean,DTNode<I>> createChildMap()

Specified by:

createChildMap in class AbstractDTNode<ContextPair<I>,Boolean,HypLoc<I>,DTNode<I>>

createChild

protected DTNode<I> createChild(Boolean outcome,
                                HypLoc<I> data)

Specified by:

createChild in class AbstractDTNode<ContextPair<I>,Boolean,HypLoc<I>,DTNode<I>>