I
- input symbol typepublic class TTTDTNodeDFA<I> extends AbstractBaseDTNode<I,Boolean>
AbstractDTNode.SplitResult
nextElement, prevElement, splitData, temp
children, data, depth, discriminator, parent, parentOutcome
Constructor and Description |
---|
TTTDTNodeDFA() |
TTTDTNodeDFA(AbstractBaseDTNode<I,Boolean> parent,
Boolean parentEdgeLabel) |
Modifier and Type | Method and Description |
---|---|
protected AbstractBaseDTNode<I,Boolean> |
createChild(Boolean outcome,
TTTState<I,Boolean> data) |
protected Map<Boolean,AbstractBaseDTNode<I,Boolean>> |
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 TTTDTNodeDFA()
public TTTDTNodeDFA(AbstractBaseDTNode<I,Boolean> parent, Boolean parentEdgeLabel)
protected Map<Boolean,AbstractBaseDTNode<I,Boolean>> createChildMap()
createChildMap
in class AbstractDTNode<net.automatalib.words.Word<I>,Boolean,TTTState<I,Boolean>,AbstractBaseDTNode<I,Boolean>>
protected AbstractBaseDTNode<I,Boolean> createChild(Boolean outcome, TTTState<I,Boolean> data)
createChild
in class AbstractDTNode<net.automatalib.words.Word<I>,Boolean,TTTState<I,Boolean>,AbstractBaseDTNode<I,Boolean>>
Copyright © 2018. All rights reserved.