S
- (hypothesis) state typeI
- input alphabet typeO
- output alphabet type@ParametersAreNonnullByDefault public class ADTResetNode<S,I,O> extends Object implements ADTNode<S,I,O>, Serializable
ADTNode.NodeType
Constructor and Description |
---|
ADTResetNode(ADTNode<S,I,O> successor) |
Modifier and Type | Method and Description |
---|---|
Map<O,ADTNode<S,I,O>> |
getChildren() |
S |
getHypothesisState() |
ADTNode.NodeType |
getNodeType()
Returns the node type of the current node.
|
ADTNode<S,I,O> |
getParent() |
I |
getSymbol() |
void |
setHypothesisState(S state) |
void |
setParent(ADTNode<S,I,O> parent) |
void |
setSymbol(I symbol) |
ADTNode<S,I,O> |
sift(SymbolQueryOracle<I,O> oracle,
net.automatalib.words.Word<I> prefix)
Utility method, that sifts a given word through
this ADTNode. |
String |
toString() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getNodes, getVisualizationHelper, isLeaf
getNodesForRoot, getOutgoingEdges, getTarget
adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream
iterator, nodeIDs, nodesStream, size
adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected
forEach, spliterator
public I getSymbol()
public void setSymbol(I symbol) throws UnsupportedOperationException
public S getHypothesisState()
public void setHypothesisState(S state)
public ADTNode<S,I,O> sift(SymbolQueryOracle<I,O> oracle, net.automatalib.words.Word<I> prefix)
ADTNode
this
ADTNode. If this
node is a public ADTNode.NodeType getNodeType()
ADTNode
getNodeType
in interface ADTNode<S,I,O>
Copyright © 2018. All rights reserved.