Package de.learnlib.algorithm.ttt.mealy
Class TTTDTNodeMealy<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.mealy.TTTDTNodeMealy<I,D>
-
- Type Parameters:
I
- input symbol typeD
- output symbol type
- All Implemented Interfaces:
IntrusiveListElem<AbstractBaseDTNode<I,D>>
public class TTTDTNodeMealy<I,D> extends AbstractBaseDTNode<I,D>
Generic n-ary discrimination tree node specialization.
-
-
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 TTTDTNodeMealy()
TTTDTNodeMealy(AbstractBaseDTNode<I,D> parent, D parentEdgeLabel)
-
Method Summary
All Methods Instance Methods Concrete Methods 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
-
TTTDTNodeMealy
public TTTDTNodeMealy()
-
TTTDTNodeMealy
public TTTDTNodeMealy(AbstractBaseDTNode<I,D> parent, D parentEdgeLabel)
-
-
Method Detail
-
createChildMap
protected Map<D,AbstractBaseDTNode<I,D>> createChildMap()
- Specified by:
createChildMap
in classAbstractDTNode<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 classAbstractDTNode<Word<I>,D,TTTState<I,D>,AbstractBaseDTNode<I,D>>
-
-