package dose3

  1. Overview
  2. Docs
package dose3
Legend:
Library
Module
Module type
Parameter
Class
Class type
module R : sig ... end
module S : sig ... end
type solver = {
  1. constraints : S.state;
  2. map : Common.Util.projection;
}
type dep_t = (Cudf_types.vpkg list * int list) list * (Cudf_types.vpkg * int list) list
and pool = dep_t array
and t = [
  1. | `CudfPool of pool
  2. | `SolverPool of pool
]
type result =
  1. | Success of unit -> int list
  2. | Failure of unit -> Diagnostic.reason_int list
val init_pool_univ : global_constraints:bool -> Cudf.universe -> [> `CudfPool of pool ]
val init_solver_pool : Common.Util.projection -> [< `CudfPool of pool ] -> 'a list -> [> `SolverPool of pool ]
val init_solver_cache : ?buffer:bool -> ?explain:bool -> [< `SolverPool of pool ] -> S.state
val solve : ?tested:bool array -> explain:bool -> solver -> (int option * int list) -> Diagnostic.result_int
val pkgcheck : bool -> ((Diagnostic.result_int * (int option * int list)) -> 'a) option -> bool -> solver -> bool array -> int -> bool
val init_solver_univ : ?global_constraints:bool -> ?buffer:bool -> ?explain:bool -> Cudf.universe -> solver
val init_solver_closure : ?buffer:bool -> [< `CudfPool of pool ] -> int list -> solver
val copy_solver : solver -> solver
val reverse_dependencies : Cudf.universe -> int list array
val dependency_closure_cache : ?maxdepth:int -> ?conjunctive:bool -> [< `CudfPool of pool ] -> int list -> S.var list
val dependency_closure : ?maxdepth:int -> ?conjunctive:bool -> ?global_constraints:bool -> Cudf.universe -> Cudf.package list -> Cudf.package list
val reverse_dependency_closure : ?maxdepth:int -> int list array -> int list -> int list
val progressbar_init : Common.Util.Progress.t
val progressbar_univcheck : Common.Util.Progress.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct