Module Strongconflicts


module Strongconflicts: sig .. end
strongconflicts return the list of all strong conflicts in universe.

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


include struct ... end
module ICG: Strongconflicts_int.CG

type cfl_type =
| Explicit
| Conjunctive
| Other of Diagnostic.reason list
module CflE: sig .. end
module CG: Graph.Imperative.Graph.ConcreteLabeled(Defaultgraphs.PackageGraph.PkgV)(CflE)
val reason : Cudf.universe -> Diagnostic_int.reason 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