de.learnlib.algorithms.ttt.dfa

Class PrefixTTTLearnerDFA.ExtDTNode<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>

de.learnlib.algorithms.ttt.dfa.PrefixTTTLearnerDFA.ExtDTNode<I>

All Implemented Interfaces:

IntrusiveListElem<AbstractBaseDTNode<I,Boolean>>, Serializable

Enclosing class:

PrefixTTTLearnerDFA<I>

protected static class PrefixTTTLearnerDFA.ExtDTNode<I>
extends TTTDTNodeDFA<I>

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
ExtDTNode()
ExtDTNode(PrefixTTTLearnerDFA.ExtDTNode<I> parent, Boolean parentOut)

Method Summary

Modifier and Type	Method and Description
void	addUnlabeled(PrefixTTTLearnerDFA.ExtDTNode<I> node)
protected PrefixTTTLearnerDFA.ExtDTNode<I>	createChild(Boolean outcome, TTTState<I,Boolean> data)
boolean	hasUnlabeled()
void	removeFromUnlabeledList()
Iterable<PrefixTTTLearnerDFA.ExtDTNode<I>>	unlabeled()
Iterator<PrefixTTTLearnerDFA.ExtDTNode<I>>	unlabeledIterator()

Methods inherited from class de.learnlib.algorithms.ttt.dfa.TTTDTNodeDFA

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

ExtDTNode

public ExtDTNode()

ExtDTNode

public ExtDTNode(PrefixTTTLearnerDFA.ExtDTNode<I> parent,
                 Boolean parentOut)

Method Detail

removeFromUnlabeledList

public void removeFromUnlabeledList()

createChild

protected PrefixTTTLearnerDFA.ExtDTNode<I> createChild(Boolean outcome,
                                                       TTTState<I,Boolean> data)

Overrides:

createChild in class TTTDTNodeDFA<I>

hasUnlabeled

public boolean hasUnlabeled()

addUnlabeled

public void addUnlabeled(PrefixTTTLearnerDFA.ExtDTNode<I> node)

unlabeled

public Iterable<PrefixTTTLearnerDFA.ExtDTNode<I>> unlabeled()

unlabeledIterator

public Iterator<PrefixTTTLearnerDFA.ExtDTNode<I>> unlabeledIterator()