Package net.automatalib.graph
Interface SimpleGraph<N>
-
- Type Parameters:
N- node type
- All Superinterfaces:
FiniteRepresentation,IndefiniteSimpleGraph<N>,Iterable<N>
- All Known Subinterfaces:
AcceptanceGraph<N,E>,ADSNode<S,I,O>,BidirectionalGraph<N,E>,FiniteKripkeStructure<N,E,AP>,FiniteLabeledGraph<N,E,L>,Graph<N,E>,MutableGraph<N,E,NP,EP>,MutableProceduralModalProcessGraph<N,L,E,AP,TP>,MutableUniversalBidirectionalGraph<N,E,NP,EP>,ProceduralModalProcessGraph<N,L,E,AP,TP>,RecursiveADSNode<S,I,O,N>,ShrinkableGraph<N,E>,UndirectedGraph<N,E>,UniversalBidirectionalGraph<N,E,NP,EP>,UniversalGraph<N,E,NP,EP>
- All Known Implementing Classes:
AbstractAutomatonGraphView,AutomatonGraphView,CFMPSGraphView,FiniteStateAcceptor.FSAGraphView,MealyMachine.MealyGraphView,ModalTransitionSystem.MTSGraphView,MooreMachine.MooreGraphView,ProceduralGraphView,SEVPAGraphView,SubsequentialTransducer.SSTGraphView,UniversalAutomatonGraphView
public interface SimpleGraph<N> extends IndefiniteSimpleGraph<N>, FiniteRepresentation
The finite version of aIndefiniteSimpleGraph.
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static interfaceSimpleGraph.IntAbstractionBasic interface for integer abstractions of graphs.
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description Collection<N>getNodes()Retrieves an (unmodifiable) collection of the nodes in this graph.default VisualizationHelper<N,?>getVisualizationHelper()Returns theVisualizationHelperthat contains information for displaying this graph.default Iterator<N>iterator()default NodeIDs<N>nodeIDs()default intsize()Retrieves the size (number of nodes) of this graph.-
Methods inherited from interface net.automatalib.graph.IndefiniteSimpleGraph
createDynamicNodeMapping, createStaticNodeMapping, getAdjacentNodesIterator, isConnected
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
-
-
-
Method Detail
-
getNodes
Collection<N> getNodes()
Retrieves an (unmodifiable) collection of the nodes in this graph.- Returns:
- the nodes in this graph
-
getVisualizationHelper
default VisualizationHelper<N,?> getVisualizationHelper()
Returns theVisualizationHelperthat contains information for displaying this graph.- Returns:
- the visualization helper
-
size
default int size()
Retrieves the size (number of nodes) of this graph.- Specified by:
sizein interfaceFiniteRepresentation- Returns:
- the number of nodes of this graph
-
-