de.learnlib.algorithms.ttt.dfa

Class TTTDTNodeDFA<I>

java.lang.Object

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

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

de.learnlib.algorithms.ttt.base.AbstractBaseDTNode<I,Boolean>

de.learnlib.algorithms.ttt.dfa.TTTDTNodeDFA<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

IntrusiveListElem<AbstractBaseDTNode<I,Boolean>>, Serializable

Direct Known Subclasses:

PrefixTTTLearnerDFA.ExtDTNode

public class TTTDTNodeDFA<I>
extends AbstractBaseDTNode<I,Boolean>

Binary discrimination tree node specialization.

Author:

frohme

See Also:

Serialized Form

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, temp

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

children, data, depth, discriminator, parent, parentOutcome

Constructor Summary

Constructors

Constructor and Description
TTTDTNodeDFA()
TTTDTNodeDFA(AbstractBaseDTNode<I,Boolean> parent, Boolean parentEdgeLabel)

Method Summary

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

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

anyChild, anySubtreeState, getIncoming, subtreeNodesIterator, subtreeStates, subtreeStatesIterator

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

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, 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

TTTDTNodeDFA

public TTTDTNodeDFA()

TTTDTNodeDFA

public TTTDTNodeDFA(AbstractBaseDTNode<I,Boolean> parent,
                    Boolean parentEdgeLabel)

Method Detail

createChildMap

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

Specified by:

createChildMap in class AbstractDTNode<net.automatalib.words.Word<I>,Boolean,TTTState<I,Boolean>,AbstractBaseDTNode<I,Boolean>>

createChild

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

Specified by:

createChild in class AbstractDTNode<net.automatalib.words.Word<I>,Boolean,TTTState<I,Boolean>,AbstractBaseDTNode<I,Boolean>>