module P:
Parameters: |
|
typeedgelist =
(G.V.t * G.V.t) list
val mcsm : G.t -> (int * G.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 : G.t -> G.t
triangulate g
computes a triangulation of g
using the MCS-M algorithm