Package de.learnlib.algorithm.ttt.moore

Class TTTDTNodeMoore<I,D>

java.lang.Object

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

de.learnlib.datastructure.discriminationtree.model.AbstractTemporaryIntrusiveDTNode<Word<I>,D,TTTState<I,D>,IncomingList<I,D>,AbstractBaseDTNode<I,D>>

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

de.learnlib.algorithm.ttt.moore.TTTDTNodeMoore<I,D>

Type Parameters:

I - input symbol type

D - output symbol type

All Implemented Interfaces:

IntrusiveListElem<AbstractBaseDTNode<I,D>>

public class TTTDTNodeMoore<I,D>
extends AbstractBaseDTNode<I,D>

A MooreMachine-based specialization of the DT node.

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

Method Summary

Modifier and Type	Method	Description
protected AbstractBaseDTNode<I,D>	createChild(D outcome, TTTState<I,D> data)
protected Map<D,AbstractBaseDTNode<I,D>>	createChildMap()

Methods inherited from class de.learnlib.algorithm.ttt.base.AbstractBaseDTNode

anySubtreeState, getIncoming, subtreeNodesIterator, subtreeStates, subtreeStatesIterator

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

TTTDTNodeMoore

public TTTDTNodeMoore()

TTTDTNodeMoore

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

Method Detail

createChildMap

protected Map<D,AbstractBaseDTNode<I,D>> createChildMap()

Specified by:

createChildMap in class AbstractDTNode<Word<I>,D,TTTState<I,D>,AbstractBaseDTNode<I,D>>

createChild

protected AbstractBaseDTNode<I,D> createChild(D outcome,
                                                    TTTState<I,D> data)

Specified by:

createChild in class AbstractDTNode<Word<I>,D,TTTState<I,D>,AbstractBaseDTNode<I,D>>