I - input symbol typeD - output symbol typepublic class TTTDTNodeMealy<I,D> extends AbstractBaseDTNode<I,D>
AbstractDTNode.SplitResultnextElement, prevElement, splitData, tempchildren, 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, subtreeStatesIteratorgetNextElement, getPrevElement, getSplitData, isBlockRoot, isInner, isTemp, removeFromBlockList, setChild, setNextElement, setPrevElement, setSplitData, setTempaddChild, child, child, getChild, getChildEntries, getChildren, getData, getDepth, getDiscriminator, getParent, getParentOutcome, isLeaf, isRoot, replaceChildren, setData, setDiscriminator, split, split, subtreeLabelclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetNextElement, setNextElementpublic 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.