Module ECC


module ECC: sig .. end

type t 
val is_clique_cover : Graph.t -> IntSet.t list -> bool
val make : Graph.t -> t
val make1 : Graph.t -> Graph.t -> t
val reduce_rule1 : t -> bool * t
val reduce_rule2 : t -> bool * t
val reduce_rule3 : t -> bool * t
val reduce_rule4 : t -> bool * t
val g : t -> Graph.t
val k : t -> int
val k_used_up : t -> bool
val all_covered : t -> bool
val branching_edge : t -> int * int
val restore : t -> IntSet.t list -> IntSet.t list
val set_max_k : t -> int -> t
val cover : t -> IntSet.t -> t
val reduce : t -> t
val use_rule1 : bool Pervasives.ref
val use_rule2 : bool Pervasives.ref
val use_rule3 : bool Pervasives.ref
val use_rule4 : bool Pervasives.ref
val rule1_counter : Int64.t Pervasives.ref
val rule2_counter : Int64.t Pervasives.ref
val rule3_counter : Int64.t Pervasives.ref
val rule4_counter : Int64.t Pervasives.ref