Idris2Doc : Data.Graph.Indexed.Ring.Bonds

Data.Graph.Indexed.Ring.Bonds

(source)
Definitions
addEdges : IGraph k e n -> EdgeSet k -> Subgraph k e n -> EdgeSet k
  Adds the edges of a subgraph to an edge set

  Totality: total
  Visibility: export
ringBonds : IGraph k e n -> EdgeSet k
  Computes the cyclic bonds in a graph.
  
  This justs collects the edges from the biconnected components.

  Totality: total
  Visibility: export