Package net.automatalib.graph.ads
Interface ADSNode<S,I,O>
-
- Type Parameters:
S
- (hypothesis) state typeI
- input alphabet typeO
- output alphabet type
- All Superinterfaces:
FiniteRepresentation
,Graph<ADSNode<S,I,O>,ADSNode<S,I,O>>
,IndefiniteGraph<ADSNode<S,I,O>,ADSNode<S,I,O>>
,IndefiniteSimpleGraph<ADSNode<S,I,O>>
,Iterable<ADSNode<S,I,O>>
,RecursiveADSNode<S,I,O,ADSNode<S,I,O>>
,SimpleGraph<ADSNode<S,I,O>>
- All Known Implementing Classes:
ADSLeafNode
,ADSSymbolNode
public interface ADSNode<S,I,O> extends RecursiveADSNode<S,I,O,ADSNode<S,I,O>>
A (simplified) node in an adaptive distinguishing sequence. SeeRecursiveADSNode
.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.graph.Graph
Graph.IntAbstraction<E>
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default Collection<ADSNode<S,I,O>>
getNodes()
Retrieves an (unmodifiable) collection of the nodes in this graph.-
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
-
-
-
-
Method Detail
-
getNodes
default Collection<ADSNode<S,I,O>> getNodes()
Description copied from interface:SimpleGraph
Retrieves an (unmodifiable) collection of the nodes in this graph.- Specified by:
getNodes
in interfaceSimpleGraph<S>
- Returns:
- the nodes in this graph
-
-