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.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