Module Cliquetree.CliqueTree

Parameters

module G : sig ... end

Signature

module CliqueV : sig ... end
module CVS : sig ... end
module CliqueTreeV : sig ... end
module CliqueTreeE : sig ... end
module CliqueTree : sig ... end
val mcs_clique : G.t -> G.V.t list * CliqueTree.t * CliqueTree.V.t
val is_chordal : G.t -> bool
val maxwidth : G.t -> G.t -> CliqueTree.t -> int