Module de.learnlib.datastructure

Package de.learnlib.datastructure.discriminationtree.model

Class AbstractTemporaryIntrusiveDTNode<DSCR,O,D,T,N extends AbstractTemporaryIntrusiveDTNode<DSCR,O,D,T,N>>

java.lang.Object

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

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

Type Parameters:

DSCR - discriminator type

O - output symbol type

D - node data type

T - link structure type

N - node type

All Implemented Interfaces:

IntrusiveListEntry<N>, net.automatalib.common.smartcollection.ElementReference, net.automatalib.common.smartcollection.LinkedListEntry<N,IntrusiveListEntry<N>>

Direct Known Subclasses:

AbstractBaseDTNode, DTNode

public abstract class AbstractTemporaryIntrusiveDTNode<DSCR,O,D,T,N extends AbstractTemporaryIntrusiveDTNode<DSCR,O,D,T,N>>
extends AbstractDTNode<DSCR,O,D,N>
implements IntrusiveListEntry<N>

An extension of the AbstractDTNode that adds the concept of temporary splitters as well as linking discrimination tree nodes outside their regular tree structure. Currently used by the TTT algorithm (both regular and VPA) and the DT algorithm (VPA variant).

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

children, data, depth, discriminator, parent, parentOutcome

Constructor Summary

Constructors

Constructor	Description
AbstractTemporaryIntrusiveDTNode(N parent, O parentOutcome, D data)

Method Summary

Modifier and Type	Method	Description
N	anyChild()
@Nullable IntrusiveListEntry<N>	getNext()
@Nullable IntrusiveListEntry<N>	getPrev()
SplitData<O,T>	getSplitData()
boolean	isBlockRoot()
boolean	isInner()
boolean	isTemp()
void	setChild(O label, N newChild)
void	setNext(@Nullable IntrusiveListEntry<N> nextBlock)
void	setPrev(@Nullable IntrusiveListEntry<N> prevElement)
void	setSplitData(SplitData<O,T> splitData)
void	setTemp(boolean temp)

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

addChild, child, child, createChild, createChildMap, 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.IntrusiveListEntry

removeFromList

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

getElement

Constructor Detail

AbstractTemporaryIntrusiveDTNode

public AbstractTemporaryIntrusiveDTNode(N parent,
                                        O parentOutcome,
                                        D data)

Method Detail

setChild

public void setChild(O label,
                     N newChild)

isTemp

public boolean isTemp()

setTemp

public void setTemp(boolean temp)

getSplitData

public SplitData<O,T> getSplitData()

setSplitData

public void setSplitData(SplitData<O,T> splitData)

anyChild

public N anyChild()

isInner

public boolean isInner()

isBlockRoot

public boolean isBlockRoot()

getNext

public @Nullable IntrusiveListEntry<N> getNext()

Specified by:

getNext in interface net.automatalib.common.smartcollection.LinkedListEntry<DSCR,O>

setNext

public void setNext(@Nullable IntrusiveListEntry<N> nextBlock)

Specified by:

setNext in interface net.automatalib.common.smartcollection.LinkedListEntry<DSCR,O>

getPrev

public @Nullable IntrusiveListEntry<N> getPrev()

Specified by:

getPrev in interface net.automatalib.common.smartcollection.LinkedListEntry<DSCR,O>

setPrev

public void setPrev(@Nullable IntrusiveListEntry<N> prevElement)

Specified by:

setPrev in interface net.automatalib.common.smartcollection.LinkedListEntry<DSCR,O>