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