CliqueTree.CliqueTreeE
type t = int * CVS.t
val compare : t -> t -> int
val default : t
val create : int -> CVS.t -> t
val vertices : t -> CVS.t
Vertices in the clique tree edge (intersection of the two clique extremities).