Module Dose_algo.Strongconflicts_int

Strong Conflicts

val it : Dose_common__Util.Info.t
val info : ( 'a, unit, string, unit ) Stdlib.format4 -> 'a
val nt : Dose_common__Util.Notice.t
val notice : ( 'a, unit, string, unit ) Stdlib.format4 -> 'a
val wt : Dose_common__Util.Warning.t
val warning : ( 'a, unit, string, unit ) Stdlib.format4 -> 'a
val dt : Dose_common__Util.Debug.t
val debug : ( 'a, unit, string, unit ) Stdlib.format4 -> 'a
val fatal : ( 'a, unit, string, 'b ) Stdlib.format4 -> 'a
type cfl_type =
| Explicit
| Conjunctive
| Other of Diagnostic.reason_int list
module CflE : sig ... end
module IG = Graph.Imperative.Matrix.Graph
module CG : sig ... end

progress bar

timer

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