Strongconflicts (dose3.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 = Strongconflicts_int.CG

type cfl_type =

module CflE : sig ... end

module CG : sig ... end

val reason : 
  Cudf.universe ->
  Diagnostic.reason_int list ->
  Diagnostic.reason list

val cvt : Cudf.universe -> Strongconflicts_int.cfl_type -> cfl_type

strongconflicts return the list of all strong conflicts in universe.

invariant: the universe must contain only edos-installable packages : see Depsolver.trim.

val strongconflicts : Cudf.universe -> CG.t