package ocamlgraph

  1. Overview
  2. Docs
A generic graph library for OCaml

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (4)

Authors

  1. S
    Sylvain Conchon
  2. J
    Jean-Christophe Filliâtre
  3. J
    Julien Signoles

Maintainers

  1. J
    jean-christophe.filliatre@cnrs.fr

Sources

ocamlgraph-2.0.0.tbz
sha256=20fe267797de5322088a4dfb52389b2ea051787952a8a4f6ed70fcb697482609
sha512=c4973ac03bdff52d1c8a1ed01c81e0fbe2f76486995e57ff4e4a11bcc7b1793556139d52a81ff14ee8c8de52f1b40e4bd359e60a2ae626cc630ebe8bccefb3f1

doc/ocamlgraph/Graph/Cliquetree/CliqueTree/index.html

Module Cliquetree.CliqueTreeSource

Parameters

module G : Sig.G

Signature

Sourcemodule CliqueV : sig ... end

Original graph vertex

Sourcemodule CVS : Set.S with type elt = CliqueV.t

Set of original vertices

Sourcemodule CliqueTreeV : sig ... end

Clique tree vertex type

Sourcemodule CliqueTreeE : sig ... end

The clique tree graph type

Sourceval mcs_clique : G.t -> G.V.t list * CliqueTree.t * CliqueTree.V.t

mcs_clique g return an perfect elimination order of g (if it is chordal), the clique tree of g and its root.

Sourceval is_chordal : G.t -> bool

is_chordal g uses the clique tree construction to test if a graph is chordal or not.

Sourceval maxwidth : G.t -> G.t -> CliqueTree.t -> int

maxwidth g tri tree returns the maxwidth characteristic of the triangulation tri of graph g given the clique tree tree of tri.