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.


val label : string
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.PkgV)(CflE)
val reason : Cudf.universe -> Diagnostic_int.reason list -> Diagnostic.reason list
val cvt : Cudf.universe -> Strongconflicts_int.cfl_type -> cfl_type
val strongconflicts : Cudf.universe -> CG.t