Idris2Doc : Data.Graph.Indexed.Ring.Relevant

Data.Graph.Indexed.Ring.Relevant

(source)
Reexports
import public Data.Graph.Indexed.Ring.Relevant.Types
Definitions
computeCyclomaticN : IGraph k e n -> Nat
  Totality: total
  Visibility: export
componentCycles : Subgraph k e n -> CycleSets k
  computes the relevant cycles and minimum cycle basis
  for a biconnected component in a graph.

  Totality: total
  Visibility: export
computeCrAndMCB : IGraph k e n -> CycleSets k
  computes the relevant cycles and minimum cycle basis for a graph

  Totality: total
  Visibility: export