package opam-solver

You can search for identifiers within the package.

in-package search v0.2.0

package opam-solver

opam-solver
- README
- Library opam-solver
  - OpamActionGraph
    
    ACTION
    
    Pkg
    
    Set
    
    Map
    
    MakeAction
    
    Pkg
    
    Set
    
    Map
    
    SIG
    
    V
    
    E
    
    Topological
    
    Parallel
    
    G
    
    V
    
    E
    
    Vertex
    
    Topological
    
    Dot
    
    Make
    
    V
    
    E
    
    Topological
    
    Parallel
    
    G
    
    V
    
    E
    
    Vertex
    
    Topological
    
    Dot
  - OpamBuiltin0install
  - OpamBuiltinMccs
  - OpamBuiltinZ3
  - OpamCudf
    
    Package
    
    Set
    
    Map
    
    Graph
    
    V
    
    E
    
    Action
    
    Pkg
    
    Set
    
    Map
    
    ActionGraph
    
    V
    
    E
    
    Topological
    
    Parallel
    
    G
    
    V
    
    E
    
    Vertex
    
    Topological
    
    Dot
    
    Json
  - OpamCudfSolver
    
    S
    
    Aspcud
    
    Aspcud_old
    
    Mccs
    
    Packup
  - OpamCudfSolverSig
    
    S
  - OpamSolver
    
    Action
    
    Pkg
    
    Set
    
    Map
    
    ActionGraph
    
    V
    
    E
    
    Topological
    
    Parallel
    
    G
    
    V
    
    E
    
    Vertex
    
    Topological
    
    Dot
    
    PkgGraph
  - OpamSolverConfig
    
    E
- Sources
  - opam-solver
    
    opamActionGraph.ml
    
    opamBuiltin0install.ml
    
    opamBuiltinMccs.ml
    
    opamBuiltinZ3.ml
    
    opamCudf.ml
    
    opamCudfSolver.ml
    
    opamCudfSolverSig.ml
    
    opamSolver.ml
    
    opamSolverConfig.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `OpamSolverConfig`Source

Configuration options for the solver lib (record, global reference, setter, initialisation)

Sourcemodule E : sig ... end

Sourcetype t = private {

cudf_file : string option;
solver : (module OpamCudfSolver.S) Lazy.t;
best_effort : bool;
solver_preferences_default : string option Lazy.t;
solver_preferences_upgrade : string option Lazy.t;
solver_preferences_fixup : string option Lazy.t;
solver_preferences_best_effort_prefix : string option Lazy.t;
solver_timeout : float option;
solver_allow_suboptimal : bool;
cudf_trim : string option;
dig_depth : int;
preprocess : bool;
version_lag_power : int;

}

Source

type 'a options_fun =
  ?cudf_file:string option ->
  ?solver:(module OpamCudfSolver.S) Lazy.t ->
  ?best_effort:bool ->
  ?solver_preferences_default:string option Lazy.t ->
  ?solver_preferences_upgrade:string option Lazy.t ->
  ?solver_preferences_fixup:string option Lazy.t ->
  ?solver_preferences_best_effort_prefix:string option Lazy.t ->
  ?solver_timeout:float option ->
  ?solver_allow_suboptimal:bool ->
  ?cudf_trim:string option ->
  ?dig_depth:int ->
  ?preprocess:bool ->
  ?version_lag_power:int ->
  'a

include OpamStd.Config.Sig
  with type t := t
   and type 'a options_fun := 'a options_fun

Sourceval default : t

Sourceval set : t -> (unit -> t) options_fun

Sourceval setk : (t -> 'a) -> t -> 'a options_fun

Sourceval r : t ref

Sourceval update : ?noop:'a -> (unit -> unit) options_fun

Sourceval init : ?noop:'a -> (unit -> unit) options_fun

Sourceval initk : 'a -> 'a options_fun

Source

val call_solver : 
  criteria:string ->
  Cudf.cudf ->
  Cudf.preamble option * Cudf.universe

Sourceval best_effort : unit -> bool

Checks if best_effort was set and is supported

Sourceval criteria : OpamTypes.solver_criteria -> string

package opam-solver

Module OpamSolverConfigSource

Module `OpamSolverConfig`Source