package 0install-solver

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

0install-solver
- Library 0install-solver
  - Zeroinstall_solver
    
    S
    
    CORE_MODEL
    
    Role
    
    SOLVER_INPUT
    
    Role
    
    SELECTIONS
    
    Role
    
    RoleMap
    
    SOLVER_RESULT
    
    Input
    
    Role
    
    Role
    
    RoleMap
    
    Make
    
    Output
    
    Input
    
    Role
    
    RoleMap
    
    Diagnostics
    
    Note
    
    Component
    
    Sat
    
    USER
    
    Make
- Sources
  - 0install-solver
    
    diagnostics.ml
    
    s.ml
    
    sat.ml
    
    solver_core.ml
    
    zeroinstall_solver.ml
    
    zeroinstall_solver__.ml

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

Module `Zeroinstall_solver.Diagnostics`Source

Explaining why a solve failed or gave an unexpected answer.

Parameters

module Result : S.SOLVER_RESULT

Signature

Sourcemodule Note : sig ... end

An item of information to display for a component.

Sourcemodule Component : sig ... end

Information about a single role in the example (failed) selections produced by the solver.

Sourcetype t = Component.t Result.RoleMap.t

An analysis of why the solve failed.

Sourceval of_result : Result.t -> t

of_result r is an analysis of failed solver result r. We take the partial solution from the solver and discover, for each component we couldn't select, which constraints caused the candidates to be rejected.

Sourceval get_failure_reason : ?verbose:bool -> Result.t -> string

get_failure_reason r analyses r with of_result and formats the analysis as a string.

package 0install-solver

Module Zeroinstall_solver.DiagnosticsSource

Parameters

Signature

Module `Zeroinstall_solver.Diagnostics`Source