Package net.automatalib.graph.ads

Class AbstractRecursiveADSSymbolNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>>

java.lang.Object

net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode<S,I,O,N>

Type Parameters:

S - (hypothesis) state type

I - input alphabet type

O - output alphabet type

N - the concrete node type

All Implemented Interfaces:

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

Direct Known Subclasses:

ADSSymbolNode

public abstract class AbstractRecursiveADSSymbolNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>>
extends Object
implements RecursiveADSNode<S,I,O,N>

An abstract implementation of a symbol node, that may be used by other ADS-extending classes.

Nested Class Summary

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

Graph.IntAbstraction<E>

Constructor Summary

Constructors

Constructor	Description
AbstractRecursiveADSSymbolNode(@Nullable N parent, I symbol)

Method Summary

Modifier and Type	Method	Description
Map<O,N>	getChildren()	Returns a mapping to the child nodes of this ADS node.
@Nullable S	getHypothesisState()	Returns the hypothesis state associated with this ADS node.
@Nullable N	getParent()	Returns the parent node of this node.
I	getSymbol()	Returns the input symbol associated with this ADS node.
boolean	isLeaf()	A utility method indicating whether this node represents a leaf of an ADS (and therefore referencing a hypothesis state) or an inner node (and therefore referencing an input symbol).
void	setHypothesisState(S state)	See RecursiveADSNode.getHypothesisState().
void	setParent(N parent)
void	setSymbol(I symbol)	See RecursiveADSNode.getSymbol().
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

createDynamicNodeMapping, createStaticNodeMapping, isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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

getNodesForRoot, getOutgoingEdges, getTarget, getVisualizationHelper

Methods inherited from interface net.automatalib.graph.SimpleGraph

getNodes, iterator, nodeIDs, size

Constructor Detail

AbstractRecursiveADSSymbolNode

public AbstractRecursiveADSSymbolNode(@Nullable N parent,
                                      I symbol)

Method Detail

getSymbol

public I getSymbol()

Description copied from interface: RecursiveADSNode

Returns the input symbol associated with this ADS node.

Specified by:

getSymbol in interface RecursiveADSNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>>

Returns:

null if this is a leaf node (see RecursiveADSNode.isLeaf()), the associated input symbol otherwise.

setSymbol

public void setSymbol(I symbol)

Description copied from interface: RecursiveADSNode

See RecursiveADSNode.getSymbol().

Specified by:

setSymbol in interface RecursiveADSNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>>

Parameters:

symbol - the input symbol to be associated with this ADS node.

getParent

public @Nullable N getParent()

Description copied from interface: RecursiveADSNode

Returns the parent node of this node.

Specified by:

getParent in interface RecursiveADSNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>>

Returns:

The parent node of this ADS node. May be null, if this is the root node of an ADS.

setParent

public void setParent(N parent)

Specified by:

setParent in interface RecursiveADSNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>>

getChildren

public Map<O,N> getChildren()

Description copied from interface: RecursiveADSNode

Returns a mapping to the child nodes of this ADS node.

Specified by:

getChildren in interface RecursiveADSNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>>

Returns:

A mapping from hypothesis outputs to child ADS nodes. May be empty/unmodifiable (for leaf nodes), but never null.

isLeaf

public boolean isLeaf()

Description copied from interface: RecursiveADSNode

A utility method indicating whether this node represents a leaf of an ADS (and therefore referencing a hypothesis state) or an inner node (and therefore referencing an input symbol).

Specified by:

isLeaf in interface RecursiveADSNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>>

Returns:

true if this is a leaf of an ADS, false otherwise.

getHypothesisState

public @Nullable S getHypothesisState()

Description copied from interface: RecursiveADSNode

Returns the hypothesis state associated with this ADS node.

Specified by:

getHypothesisState in interface RecursiveADSNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>>

Returns:

null if this is an inner node (see RecursiveADSNode.isLeaf()), the associated hypothesis state otherwise.

setHypothesisState

public void setHypothesisState(S state)

Description copied from interface: RecursiveADSNode

See RecursiveADSNode.getHypothesisState().

Specified by:

setHypothesisState in interface RecursiveADSNode<S,I,O,N extends RecursiveADSNode<S,I,O,N>>

Parameters:

state - the hypothesis state to be associated with this ADS node.

toString

public String toString()

Overrides:

toString in class Object