module CliqueTreeV:sig
..end
Clique tree vertex type
typedata =
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