de.learnlib.algorithms.adt.adt

Interface ADTNode<S,I,O>

Type Parameters:

S - (hypothesis) state type

I - input alphabet type

O - output alphabet type

All Superinterfaces:

net.automatalib.graphs.Graph<ADTNode<S,I,O>,ADTNode<S,I,O>>, net.automatalib.graphs.IndefiniteGraph<ADTNode<S,I,O>,ADTNode<S,I,O>>, net.automatalib.graphs.IndefiniteSimpleGraph<ADTNode<S,I,O>>, Iterable<ADTNode<S,I,O>>, net.automatalib.graphs.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>, net.automatalib.graphs.SimpleGraph<ADTNode<S,I,O>>

All Known Implementing Classes:

ADTLeafNode, ADTResetNode, ADTSymbolNode

public interface ADTNode<S,I,O>
extends net.automatalib.graphs.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>

The ADT equivalent of ADSNode. In contrast to regular adaptive distinguishing sequences, an ADT node may also represent a reset node that semantically separates multiple ADSs.

Author:

frohme

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	ADTNode.NodeType Utility enum to distinguish the 3 possible types of ADT nodes.

Nested classes/interfaces inherited from interface net.automatalib.graphs.SimpleGraph

net.automatalib.graphs.SimpleGraph.NormalGraphView<N,G extends net.automatalib.graphs.SimpleGraph<N>>

Method Summary

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.

Methods inherited from interface net.automatalib.graphs.ads.RecursiveADSNode

getChildren, getHypothesisState, getNodesForRoot, getOutgoingEdges, getParent, getSymbol, getTarget, setHypothesisState, setParent, setSymbol

Methods inherited from interface net.automatalib.graphs.Graph

asNormalGraph

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream

Methods inherited from interface net.automatalib.graphs.SimpleGraph

iterator, nodeIDs, nodesStream, size

Methods inherited from interface net.automatalib.graphs.IndefiniteSimpleGraph

adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Detail

sift

ADTNode<S,I,O> sift(SymbolQueryOracle<I,O> oracle,
                    net.automatalib.words.Word<I> prefix)
             throws UnsupportedOperationException

Utility method, that sifts a given word through this ADTNode. If this node is a

• symbol node, the symbol is applied to the system under learning and the corresponding child node (based on the observed output) is returned. If no matching child node is found, a new leaf node is returned instead
• reset node, the system under learning is reset and the provided prefix is reapplied to the system
• leaf node, an exception is thrown

Parameters:

oracle - the oracle used to query the system under learning

prefix - the prefix to be re-applied after encountering a reset node

Returns:

the corresponding child node

Throws:

UnsupportedOperationException - when invoked on a leaf node (see getNodeType().

getNodes

default Collection<ADTNode<S,I,O>> getNodes()

Specified by:

getNodes in interface net.automatalib.graphs.SimpleGraph<ADTNode<S,I,O>>

getVisualizationHelper

default net.automatalib.visualization.VisualizationHelper<ADTNode<S,I,O>,ADTNode<S,I,O>> getVisualizationHelper()

Specified by:

getVisualizationHelper in interface net.automatalib.graphs.Graph<ADTNode<S,I,O>,ADTNode<S,I,O>>

Specified by:

getVisualizationHelper in interface net.automatalib.graphs.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>

Specified by:

getVisualizationHelper in interface net.automatalib.graphs.SimpleGraph<ADTNode<S,I,O>>

isLeaf

default boolean isLeaf()

Specified by:

isLeaf in interface net.automatalib.graphs.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>

getNodeType

ADTNode.NodeType getNodeType()

Returns the node type of the current node.

Returns:

the node type