Module Strongconflicts_int

module Strongconflicts_int: sig .. end
Strong Conflicts

val label : string
include struct ... end
module SG: Defaultgraphs.IntPkgGraph.G
module PkgV: Defaultgraphs.IntPkgGraph.PkgV
type cfl_type = 
| Explicit
| Conjunctive
| Other of Diagnostic_int.reason list
module CflE: sig .. end
module IG: Graph.Imperative.Matrix.Graph
module CG: Graph.Imperative.Graph.ConcreteLabeled(PkgV)(CflE)
val seedingbar : Common.Util.Progress.t
progress bar
val localbar : Common.Util.Progress.t
val sctimer : Common.Util.Timer.t
timer
module S: Set.Make(sig
type t = int 
val compare : 'a -> 'a -> int
end)
val swap : 'a * 'a -> 'a * 'a
val to_set : S.elt list -> S.t
val explicit : Cudf.universe -> (int * int, unit) ExtLib.Hashtbl.t
val triangle : S.elt list array ->
S.t ->
S.t -> S.t -> bool
val strongconflicts : Cudf.universe -> CG.t