Module de.learnlib.algorithm.adt

Package de.learnlib.algorithm.adt.adt

Class ADTResetNode<S,I,O>

java.lang.Object

de.learnlib.algorithm.adt.adt.ADTResetNode<S,I,O>

Type Parameters:

S - (hypothesis) state type

I - input alphabet type

O - output alphabet type

All Implemented Interfaces:

ADTNode<S,I,O>, Iterable<ADTNode<S,I,O>>, net.automatalib.automaton.concept.FiniteRepresentation, net.automatalib.graph.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>, net.automatalib.graph.Graph<ADTNode<S,I,O>,ADTNode<S,I,O>>, net.automatalib.graph.IndefiniteGraph<ADTNode<S,I,O>,ADTNode<S,I,O>>, net.automatalib.graph.IndefiniteSimpleGraph<ADTNode<S,I,O>>, net.automatalib.graph.SimpleGraph<ADTNode<S,I,O>>

public class ADTResetNode<S,I,O>
extends Object
implements ADTNode<S,I,O>

Reset node implementation.

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.algorithm.adt.adt.ADTNode

ADTNode.NodeType

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

net.automatalib.graph.Graph.IntAbstraction<E extends Object>

Constructor Summary

Constructors

Constructor	Description
ADTResetNode(ADTNode<S,I,O> successor)

Method Summary

Modifier and Type	Method	Description
Map<O,ADTNode<S,I,O>>	getChildren()
ADTNode.NodeType	getNodeType()	Returns the node type of the current node.
ADTNode<S,I,O>	getParent()
S	getState()
I	getSymbol()
void	setParent(ADTNode<S,I,O> parent)
void	setState(S state)
void	setSymbol(I symbol)
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.algorithm.adt.adt.ADTNode

getChild, getNodes, getVisualizationHelper, 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

getNodesForRoot, getOutgoingEdges, getTarget

Methods inherited from interface net.automatalib.graph.SimpleGraph

createDynamicNodeMapping, createStaticNodeMapping, iterator, nodeIDs, size

Constructor Detail

ADTResetNode

public ADTResetNode(ADTNode<S,I,O> successor)

Method Detail

getSymbol

public I getSymbol()

Specified by:

getSymbol in interface net.automatalib.graph.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>

setSymbol

public void setSymbol(I symbol)

Specified by:

setSymbol in interface net.automatalib.graph.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>

getParent

public ADTNode<S,I,O> getParent()

Specified by:

getParent in interface net.automatalib.graph.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>

setParent

public void setParent(ADTNode<S,I,O> parent)

Specified by:

setParent in interface net.automatalib.graph.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>

getChildren

public Map<O,ADTNode<S,I,O>> getChildren()

Specified by:

getChildren in interface net.automatalib.graph.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>

getState

public S getState()

Specified by:

getState in interface net.automatalib.graph.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>

setState

public void setState(S state)

Specified by:

setState in interface net.automatalib.graph.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>

getNodeType

public ADTNode.NodeType getNodeType()

Description copied from interface: ADTNode

Returns the node type of the current node.

Specified by:

getNodeType in interface ADTNode<S,I,O>

Returns:

the node type

toString

public String toString()

Overrides:

toString in class Object