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