# 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