Package net.automatalib.graph.ads
Class ADSSymbolNode<S,I,O>
- java.lang.Object
-
- net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode<S,I,O,ADSNode<S,I,O>>
-
- net.automatalib.graph.ads.ADSSymbolNode<S,I,O>
-
- Type Parameters:
S
- (hypothesis) state typeI
- input alphabet typeO
- output alphabet type
- All Implemented Interfaces:
Iterable<ADSNode<S,I,O>>
,FiniteRepresentation
,ADSNode<S,I,O>
,RecursiveADSNode<S,I,O,ADSNode<S,I,O>>
,Graph<ADSNode<S,I,O>,ADSNode<S,I,O>>
,IndefiniteGraph<ADSNode<S,I,O>,ADSNode<S,I,O>>
,IndefiniteSimpleGraph<ADSNode<S,I,O>>
,SimpleGraph<ADSNode<S,I,O>>
public class ADSSymbolNode<S,I,O> extends AbstractRecursiveADSSymbolNode<S,I,O,ADSNode<S,I,O>> implements ADSNode<S,I,O>
An ADS-specific implementation of a symbol node.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.graph.Graph
Graph.IntAbstraction<E>
-
-
Method Summary
-
Methods inherited from class net.automatalib.graph.ads.AbstractRecursiveADSSymbolNode
getChildren, getHypothesisState, getParent, getSymbol, isLeaf, setHypothesisState, setParent, setSymbol, 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
getChildren, getHypothesisState, getNodesForRoot, getOutgoingEdges, getParent, getSymbol, getTarget, getVisualizationHelper, isLeaf, setHypothesisState, setParent, setSymbol
-
Methods inherited from interface net.automatalib.graph.SimpleGraph
iterator, nodeIDs, size
-
-