Module de.learnlib.algorithm.ttt

Package de.learnlib.algorithm.ttt.base

Class AbstractBaseDTNode<I,D>

java.lang.Object

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

de.learnlib.datastructure.discriminationtree.model.AbstractTemporaryIntrusiveDTNode<net.automatalib.word.Word<I>,D,TTTState<I,D>,IntrusiveList<TTTTransition<I,D>>,AbstractBaseDTNode<I,D>>

de.learnlib.algorithm.ttt.base.AbstractBaseDTNode<I,D>

All Implemented Interfaces:

IntrusiveListEntry<AbstractBaseDTNode<I,D>>, net.automatalib.common.smartcollection.ElementReference, net.automatalib.common.smartcollection.LinkedListEntry<AbstractBaseDTNode<I,D>,IntrusiveListEntry<AbstractBaseDTNode<I,D>>>

Direct Known Subclasses:

TTTDTNodeDFA, TTTDTNodeMealy, TTTDTNodeMoore

public abstract class AbstractBaseDTNode<I,D>
extends AbstractTemporaryIntrusiveDTNode<net.automatalib.word.Word<I>,D,TTTState<I,D>,IntrusiveList<TTTTransition<I,D>>,AbstractBaseDTNode<I,D>>
implements IntrusiveListEntry<AbstractBaseDTNode<I,D>>

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
AbstractBaseDTNode()
AbstractBaseDTNode(AbstractBaseDTNode<I,D> parent, D parentEdgeLabel)

Method Summary

Modifier and Type	Method	Description
TTTState<I,D>	anySubtreeState()
AbstractBaseDTNode<I,D>	getElement()
IntrusiveList<TTTTransition<I,D>>	getIncoming()
Iterator<AbstractBaseDTNode<I,D>>	subtreeNodesIterator()
Iterable<TTTState<I,D>>	subtreeStates()
Iterator<TTTState<I,D>>	subtreeStatesIterator()

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

anyChild, getNext, getPrev, getSplitData, isBlockRoot, isInner, isTemp, setChild, setNext, setPrev, setSplitData, setTemp

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

getNext, getPrev, setNext, setPrev

Constructor Detail

AbstractBaseDTNode

public AbstractBaseDTNode()

AbstractBaseDTNode

public AbstractBaseDTNode(AbstractBaseDTNode<I,D> parent,
                          D parentEdgeLabel)

Method Detail

anySubtreeState

public TTTState<I,D> anySubtreeState()

subtreeStates

public Iterable<TTTState<I,D>> subtreeStates()

subtreeStatesIterator

public Iterator<TTTState<I,D>> subtreeStatesIterator()

getIncoming

public IntrusiveList<TTTTransition<I,D>> getIncoming()

subtreeNodesIterator

public Iterator<AbstractBaseDTNode<I,D>> subtreeNodesIterator()

getElement

public AbstractBaseDTNode<I,D> getElement()

Specified by:

getElement in interface net.automatalib.common.smartcollection.LinkedListEntry<I,D>