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, AbstractBricsAutomaton.GraphView, AbstractCompactGraph, AbstractCompactUniversalBidiGraph, AbstractCompactUniversalGraph, AbstractRecursiveADSLeafNode, AbstractRecursiveADSSymbolNode, ADSLeafNode, ADSSymbolNode, AutomatonGraphView, CFMPSGraphView, CompactGraph, CompactPMPG, CompactSimpleBidiGraph, CompactSimpleGraph, CompactUniversalBidiGraph, CompactUniversalGraph, FiniteStateAcceptor.FSAGraphView, MealyMachine.MealyGraphView, MMLTGraphView, ModalTransitionSystem.MTSGraphView, MooreMachine.MooreGraphView, ProceduralGraphView, SEVPAGraphView, SimpleMapGraph, SubsequentialTransducer.SSTGraphView, UniversalAutomatonGraphView, WitnessTree

public interface SimpleGraph<N> extends IndefiniteSimpleGraph<N>, FiniteRepresentation
The finite version of a IndefiniteSimpleGraph.
  • Method Details

    • getNodes

      Collection<N> getNodes()
      Retrieves an (unmodifiable) collection of the nodes in this graph.
      Returns:
      the nodes in this graph
    • nodeIDs

      default NodeIDs<N> nodeIDs()
    • iterator

      default Iterator<N> iterator()
      Specified by:
      iterator in interface Iterable<N>
    • size

      default int size()
      Retrieves the size (number of nodes) of this graph.
      Specified by:
      size in interface FiniteRepresentation
      Returns:
      the number of nodes of this graph
    • createStaticNodeMapping

      default <V> MutableMapping<N,V> createStaticNodeMapping()
      Description copied from interface: IndefiniteSimpleGraph
      Creates a MutableMapping allowing to associate arbitrary data with this graph's nodes. The returned mapping is however only guaranteed to work correctly if the transition system is not modified.
      Specified by:
      createStaticNodeMapping in interface IndefiniteSimpleGraph<N>
      Type Parameters:
      V - the value type of the mapping
      Returns:
      the mutable mapping
    • createDynamicNodeMapping

      default <V> MutableMapping<N,V> createDynamicNodeMapping()
      Description copied from interface: IndefiniteSimpleGraph
      Creates a MutableMapping allowing to associate arbitrary data with this graph's nodes. The returned mapping maintains the association even when the transition system is modified.
      Specified by:
      createDynamicNodeMapping in interface IndefiniteSimpleGraph<N>
      Type Parameters:
      V - the value type of the mapping
      Returns:
      the mutable mapping
    • getVisualizationHelper

      default VisualizationHelper<N,?> getVisualizationHelper()
      Returns the VisualizationHelper that contains information for displaying this graph.
      Returns:
      the visualization helper