S
- (hypothesis) state typeI
- input alphabet typeO
- output alphabet typepublic interface ADTNode<S,I,O> extends net.automatalib.graphs.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>
ADSNode
. In contrast to regular adaptive distinguishing
sequences, an ADT node may also represent a reset node that semantically separates multiple ADSs.Modifier and Type | Interface and Description |
---|---|
static class |
ADTNode.NodeType
Utility enum to distinguish the 3 possible types of ADT nodes.
|
Modifier and Type | Method and Description |
---|---|
default Collection<ADTNode<S,I,O>> |
getNodes() |
ADTNode.NodeType |
getNodeType()
Returns the node type of the current node.
|
default net.automatalib.visualization.VisualizationHelper<ADTNode<S,I,O>,ADTNode<S,I,O>> |
getVisualizationHelper() |
default boolean |
isLeaf() |
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. |
getChildren, getHypothesisState, getNodesForRoot, getOutgoingEdges, getParent, getSymbol, getTarget, setHypothesisState, setParent, setSymbol
adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream
iterator, nodeIDs, nodesStream, size
adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected
forEach, spliterator
ADTNode<S,I,O> sift(SymbolQueryOracle<I,O> oracle, net.automatalib.words.Word<I> prefix) throws UnsupportedOperationException
this
ADTNode. If this
node is a oracle
- the oracle used to query the system under learningprefix
- the prefix to be re-applied after encountering a reset nodeUnsupportedOperationException
- when invoked on a leaf node (see getNodeType()
.default Collection<ADTNode<S,I,O>> getNodes()
default net.automatalib.visualization.VisualizationHelper<ADTNode<S,I,O>,ADTNode<S,I,O>> getVisualizationHelper()
getVisualizationHelper
in interface net.automatalib.graphs.Graph<ADTNode<S,I,O>,ADTNode<S,I,O>>
getVisualizationHelper
in interface net.automatalib.graphs.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>
getVisualizationHelper
in interface net.automatalib.graphs.SimpleGraph<ADTNode<S,I,O>>
default boolean isLeaf()
ADTNode.NodeType getNodeType()
Copyright © 2018. All rights reserved.