package ocamlgraph

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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.

OCaml

Innovation. Community. Security.