I
- input symbol typeD
- output symbol typepublic class TTTDTNodeMealy<I,D> extends AbstractBaseDTNode<I,D>
AbstractDTNode.SplitResult
nextElement, prevElement, splitData, temp
children, data, depth, discriminator, parent, parentOutcome
Constructor and Description |
---|
TTTDTNodeMealy() |
TTTDTNodeMealy(AbstractBaseDTNode<I,D> parent,
D parentEdgeLabel) |
Modifier and Type | Method and Description |
---|---|
protected AbstractBaseDTNode<I,D> |
createChild(D outcome,
TTTState<I,D> data) |
protected Map<D,AbstractBaseDTNode<I,D>> |
createChildMap() |
anyChild, anySubtreeState, getIncoming, subtreeNodesIterator, subtreeStates, subtreeStatesIterator
getNextElement, getPrevElement, getSplitData, isBlockRoot, isInner, isTemp, removeFromBlockList, setChild, setNextElement, setPrevElement, setSplitData, setTemp
addChild, child, child, getChild, getChildEntries, getChildren, getData, getDepth, getDiscriminator, getParent, getParentOutcome, isLeaf, isRoot, replaceChildren, setData, setDiscriminator, split, split, subtreeLabel
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getNextElement, setNextElement
public TTTDTNodeMealy()
public TTTDTNodeMealy(AbstractBaseDTNode<I,D> parent, D parentEdgeLabel)
protected Map<D,AbstractBaseDTNode<I,D>> createChildMap()
createChildMap
in class AbstractDTNode<net.automatalib.words.Word<I>,D,TTTState<I,D>,AbstractBaseDTNode<I,D>>
protected AbstractBaseDTNode<I,D> createChild(D outcome, TTTState<I,D> data)
createChild
in class AbstractDTNode<net.automatalib.words.Word<I>,D,TTTState<I,D>,AbstractBaseDTNode<I,D>>
Copyright © 2018. All rights reserved.