Module Cliquetree.CliqueTree.CliqueTreeV

module CliqueTreeV: sig .. end
Clique tree vertex type

type data = Cliquetree.CliqueTree.CliqueV.t list * Cliquetree.CliqueTree.CVS.t 
Trace of the algorithm as a list of markers Clique vertices
type label 
type t 
val compare : t ->
t -> int
val hash : t -> int
val equal : t ->
t -> bool
val create : data ->
label ->
t
val label : t ->
label
val data : t -> data