Functor Mcs_m.MaximalCardinalitySearch.I

module I: functor (Gr : Sig.I) -> sig .. end

Parameters:

Gr : Sig.I

type edgelist = (Gr.V.t * Gr.V.t) list

val mcsm : Gr.t -> (int * Gr.V.t) list * edgelist

mcsm g return a tuple (o, e) where o is a perfect elimination order of g' where g' is the triangulation e applied to g.

val triangulate : Gr.t -> unit

triangulate g triangulates g using the MCS-M algorithm