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 typeI
- input alphabet typeO
- output alphabet type
- All Implemented Interfaces:
ADTNode<S,I,O>
,Iterable<ADTNode<S,I,O>>
,FiniteRepresentation
,RecursiveADSNode<S,I,O,ADTNode<S,I,O>>
,Graph<ADTNode<S,I,O>,ADTNode<S,I,O>>
,IndefiniteGraph<ADTNode<S,I,O>,ADTNode<S,I,O>>
,IndefiniteSimpleGraph<ADTNode<S,I,O>>
,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
Graph.IntAbstraction<E extends Object>
-
-
Constructor Summary
Constructors Constructor Description ADTResetNode(ADTNode<S,I,O> successor)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Map<O,ADTNode<S,I,O>>
getChildren()
@Nullable S
getHypothesisState()
ADTNode.NodeType
getNodeType()
Returns the node type of the current node.ADTNode<S,I,O>
getParent()
@Nullable 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, Word<I> prefix)
Utility method, that sifts a given word throughthis
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.algorithm.adt.adt.ADTNode
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
createDynamicNodeMapping, createStaticNodeMapping, 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
iterator, nodeIDs, size
-
-
-
-
Method Detail
-
getSymbol
public @Nullable I getSymbol()
-
setSymbol
public void setSymbol(I symbol)
-
getChildren
public Map<O,ADTNode<S,I,O>> getChildren()
- Specified by:
getChildren
in interfaceRecursiveADSNode<S,I,O,ADTNode<S,I,O>>
-
getHypothesisState
public @Nullable S getHypothesisState()
- Specified by:
getHypothesisState
in interfaceRecursiveADSNode<S,I,O,ADTNode<S,I,O>>
-
setHypothesisState
public void setHypothesisState(S state)
- Specified by:
setHypothesisState
in interfaceRecursiveADSNode<S,I,O,ADTNode<S,I,O>>
-
sift
public ADTNode<S,I,O> sift(SymbolQueryOracle<I,O> oracle, Word<I> prefix)
Description copied from interface:ADTNode
Utility method, that sifts a given word throughthis
ADTNode. Ifthis
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
-
getNodeType
public ADTNode.NodeType getNodeType()
Description copied from interface:ADTNode
Returns the node type of the current node.- Specified by:
getNodeType
in interfaceADTNode<S,I,O>
- Returns:
- the node type
-
-