Module Dose_algo.Strongconflicts_intSource

Strong Conflicts

include sig ... end
Sourceval it : Dose_common__Util.Info.t
Sourceval info : ('a, unit, string, unit) format4 -> 'a
Sourceval nt : Dose_common__Util.Notice.t
Sourceval notice : ('a, unit, string, unit) format4 -> 'a
Sourceval wt : Dose_common__Util.Warning.t
Sourceval warning : ('a, unit, string, unit) format4 -> 'a
Sourceval dt : Dose_common__Util.Debug.t
Sourceval debug : ('a, unit, string, unit) format4 -> 'a
Sourceval fatal : ('a, unit, string, 'b) format4 -> 'a
Sourcetype cfl_type =
  1. | Explicit
  2. | Conjunctive
  3. | Other of Diagnostic.reason_int list
Sourcemodule CflE : sig ... end
Sourcemodule CG : sig ... end

progress bar

timer

Sourcemodule S : sig ... end
Sourceval swap : ('a * 'a) -> 'a * 'a
Sourceval to_set : S.elt list -> S.t
Sourceval explicit : Cudf.universe -> (int * int, unit) ExtLib.Hashtbl.t
Sourceval triangle : S.elt list array -> S.t -> S.t -> S.t -> bool
Sourceval strongconflicts : Cudf.universe -> CG.t