Previous
Up
Next
Module
Cliquetree.CliqueTree.CVS
module
CVS
:
Set.S
with type elt = CliqueV.t
Set of original vertices