Module de.learnlib.algorithm.adt

Package de.learnlib.algorithm.adt.adt

Interface ADTNode<S,I,O>

Type Parameters:

S - (hypothesis) state type

I - input alphabet type

O - output alphabet type

All Superinterfaces:

FiniteRepresentation, Graph<ADTNode<S,I,O>,ADTNode<S,I,O>>, IndefiniteGraph<ADTNode<S,I,O>,ADTNode<S,I,O>>, IndefiniteSimpleGraph<ADTNode<S,I,O>>, Iterable<ADTNode<S,I,O>>, RecursiveADSNode<S,I,O,ADTNode<S,I,O>>, SimpleGraph<ADTNode<S,I,O>>

All Known Implementing Classes:

ADTLeafNode, ADTResetNode, ADTSymbolNode

public interface ADTNode<S,I,O>
extends 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.

Nested Class Summary

Nested Classes

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

Nested classes/interfaces inherited from interface net.automatalib.graph.Graph

Graph.IntAbstraction<E extends Object>

Method Summary

Modifier and Type	Method	Description
default ADTNode<S,I,O>	getChild(O output)	Convenience method for directly accessing this node's children.
default Collection<ADTNode<S,I,O>>	getNodes()
ADTNode.NodeType	getNodeType()	Returns the node type of the current node.
default VisualizationHelper<ADTNode<S,I,O>,ADTNode<S,I,O>>	getVisualizationHelper()
default boolean	isLeaf()

Methods inherited from interface net.automatalib.graph.Graph

getAdjacentNodes, getOutgoingEdgesIterator

Methods inherited from interface net.automatalib.graph.IndefiniteGraph

getAdjacentNodesIterator, getEdgesBetween

Methods inherited from interface net.automatalib.graph.IndefiniteSimpleGraph

isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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

getChildren, getNodesForRoot, getOutgoingEdges, getParent, getState, getSymbol, getTarget, setParent, setState, setSymbol

Methods inherited from interface net.automatalib.graph.SimpleGraph

createDynamicNodeMapping, createStaticNodeMapping, iterator, nodeIDs, size

Method Details

getChild

default ADTNode<S,I,O> getChild(O output)

Convenience method for directly accessing this node's children.

Parameters:

output - the output symbol to determine the child to returned

Returns:

the child node that is mapped to given output. May be null,

getNodes

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

Specified by:

getNodes in interface SimpleGraph<S>

getVisualizationHelper

default VisualizationHelper<ADTNode<S,I,O>,ADTNode<S,I,O>> getVisualizationHelper()

Specified by:

getVisualizationHelper in interface Graph<S,I>

Specified by:

getVisualizationHelper in interface RecursiveADSNode<S,I,O,ADTNode<S,I,O>>

Specified by:

getVisualizationHelper in interface SimpleGraph<S>

isLeaf

default boolean isLeaf()

Specified by:

isLeaf in interface RecursiveADSNode<S,I,O,ADTNode<S,I,O>>

getNodeType

ADTNode.NodeType getNodeType()

Returns the node type of the current node.

Returns:

the node type