Module `Dose_algo__Strongconflicts`

include sig ... end

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

module ICG = Dose_algo.Strongconflicts_int.CG

type cfl_type = | Explicit | Conjunctive | Other of Dose_algo.Diagnostic.reason list

module CflE : sig ... end

module CG : sig ... end

val reason : Cudf.universe -> Dose_algo.Diagnostic.reason_int list -> Dose_algo.Diagnostic.reason list
val cvt : Cudf.universe -> Dose_algo.Strongconflicts_int.cfl_type -> cfl_type

val strongconflicts : Cudf.universe -> CG.t