de.learnlib.algorithms.adt.adt

Class ADTResetNode<S,I,O>

java.lang.Object

de.learnlib.algorithms.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>, Serializable, Iterable<ADTNode<S,I,O>>, net.automatalib.graphs.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>, 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>>, net.automatalib.graphs.SimpleGraph<ADTNode<S,I,O>>

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

Reset node implementation.

Author:

frohme

See Also:

Serialized Form

Nested Class Summary

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

ADTNode.NodeType

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

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Map<O,ADTNode<S,I,O>>	getChildren()
S	getHypothesisState()
ADTNode.NodeType	getNodeType() Returns the node type of the current node.
ADTNode<S,I,O>	getParent()
I	getSymbol()
void	setHypothesisState(S state)
void	setParent(ADTNode<S,I,O> parent)
void	setSymbol(I symbol)
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.
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.algorithms.adt.adt.ADTNode

getNodes, getVisualizationHelper, isLeaf

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

getNodesForRoot, getOutgoingEdges, getTarget

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

Constructor Detail

ADTResetNode

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

Method Detail

getSymbol

public I getSymbol()

Specified by:

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

setSymbol

public void setSymbol(I symbol)
               throws UnsupportedOperationException

Specified by:

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

Throws:

UnsupportedOperationException

getParent

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

Specified by:

getParent in interface net.automatalib.graphs.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.graphs.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.graphs.ads.RecursiveADSNode<S,I,O,ADTNode<S,I,O>>

getHypothesisState

public S getHypothesisState()

Specified by:

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

setHypothesisState

public void setHypothesisState(S state)

Specified by:

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

sift

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

Description copied from interface: ADTNode

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

Specified by:

sift in interface ADTNode<S,I,O>

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

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