Package de.learnlib.algorithm.adt.adt
Class ADTSymbolNode<S,I,O>
- java.lang.Object
-
- net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode<S,I,O,ADTNode<S,I,O>>
-
- de.learnlib.algorithm.adt.adt.ADTSymbolNode<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 ADTSymbolNode<S,I,O> extends AbstractRecursiveADSSymbolNode<S,I,O,ADTNode<S,I,O>> implements ADTNode<S,I,O>
Symbol 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>
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ADTNode.NodeType
getNodeType()
Returns the node type of the current node.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 net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
getChildren, getHypothesisState, getParent, getSymbol, isLeaf, setHypothesisState, setParent, setSymbol
-
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
getChildren, getHypothesisState, getNodesForRoot, getOutgoingEdges, getParent, getSymbol, getTarget, setHypothesisState, setParent, setSymbol
-
Methods inherited from interface net.automatalib.graph.SimpleGraph
iterator, nodeIDs, size
-
-
-
-
Method Detail
-
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
-
-