package dose3

You can search for identifiers within the package.

in-package search v0.2.0

Dose library (part of Mancoosi tools)

Install

Dune Dependency

www.mancoosi.org Edit opam file Versions (5)

Authors

Maintainers

Sources

dose3-6.1.tar.gz

md5=dedc2f58f2c2b59021f484abc6681d93

sha512=603462645bac190892a816ecb36ef7b9c52f0020f8d7710dc430e2db65122090fdedb24a8d2e03c32bf53a96515f5b51499603b839680d0a7a2146d6e0fb6e34

doc/dose3.algo/Dose_algo/Strongconflicts_int/index.html

Module `Dose_algo.Strongconflicts_int`Source

Strong Conflicts

include sig ... end

Sourceval it : Dose_common__Util.Info.t

Sourceval info : ('a, unit, string, unit) format4 -> 'a

Sourceval nt : Dose_common__Util.Notice.t

Sourceval notice : ('a, unit, string, unit) format4 -> 'a

Sourceval wt : Dose_common__Util.Warning.t

Sourceval warning : ('a, unit, string, unit) format4 -> 'a

Sourceval dt : Dose_common__Util.Debug.t

Sourceval debug : ('a, unit, string, unit) format4 -> 'a

Sourceval fatal : ('a, unit, string, 'b) format4 -> 'a

Sourcemodule SG = Defaultgraphs.IntPkgGraph.G

Sourcemodule PkgV = Defaultgraphs.IntPkgGraph.PkgV

Sourcetype cfl_type =

| Explicit
| Conjunctive
| Other of Diagnostic.reason_int list

Sourcemodule CflE : sig ... end

Sourcemodule IG = Graph.Imperative.Matrix.Graph

Sourcemodule CG : sig ... end

Sourceval seedingbar : Dose_common.Util.Progress.t

progress bar

Sourceval localbar : Dose_common.Util.Progress.t

Sourceval sctimer : Dose_common.Util.Timer.t

timer

Sourcemodule S : sig ... end

Sourceval swap : ('a * 'a) -> 'a * 'a

Sourceval to_set : S.elt list -> S.t

Sourceval explicit : Cudf.universe -> (int * int, unit) ExtLib.Hashtbl.t

Sourceval triangle : S.elt list array -> S.t -> S.t -> S.t -> bool

Sourceval strongconflicts : Cudf.universe -> CG.t