module CudfAdd:sig
..end
val equal : Cudf.package -> Cudf.package -> bool
val compare : Cudf.package -> Cudf.package -> int
val hash : Cudf.package -> int
val sort : Cudf.package list -> Cudf.package list
module Cudf_hashtbl:Hashtbl.S
with type key = Cudf.package
module Cudf_set:Set.S
with type elt = Cudf.package
val to_set : Cudf_set.elt list -> Cudf_set.t
val who_provides : Cudf.universe -> Cudf_types.vpkg -> Cudf.package list
val resolve_deps : Cudf.universe -> Cudf_types.vpkglist -> Cudf.package list
val who_depends : Cudf.universe -> Cudf.package -> Cudf.package list list
typectable =
(int, int list Pervasives.ref) ExtLib.Hashtbl.t
val init_conflicts : Cudf.universe -> ctable
val who_conflicts : ctable -> Cudf.universe -> Cudf.package -> Cudf.package list
val resolve_vpkg_int : Cudf.universe -> Cudf_types.vpkg -> int list
val resolve_vpkgs_int : Cudf.universe -> Cudf_types.vpkglist -> int list
val encode : string -> string
Replaces all the "not allowed" characters with their ASCII code (in hexadecimal format), prefixed with a '%' sign.
Only "allowed" characters are letters, numbers and these: @/+().-
,
all the others are replaced.
Examples:
encode "ab" = "ab"
encode "|" = "%7c"
encode "a|b" = "a%7cb"
val decode : string -> string
encode
function.
Replaces all the encoded "not allowed" characters in the string by their original (i.e. not encoded) versions.
Examples:
decode "ab" = "ab"
decode "%7c" = "|"
decode "a%7cb" = "a|b"
val latest : Cudf.package list -> Cudf.package list
module StringSet:Set.S
with type elt = ExtLib.String.t
val pkgnames : Cudf.universe -> StringSet.t
val add_properties : Cudf.preamble -> Cudf_types.typedecl -> Cudf.preamble
val get_property : string -> Cudf.package -> string
val is_essential : Cudf.package -> bool
val realversionmap : Cudf.package list ->
(Cudf_types.pkgname * string, Cudf.package) ExtLib.Hashtbl.t
val vartoint : Cudf.universe -> Cudf.package -> int
val inttovar : Cudf.universe -> int -> Cudf.package
val cudfop : (string * string) option ->
([> `Eq | `Geq | `Gt | `Leq | `Lt | `Neq ] * string) option
val compute_pool : Cudf.universe -> int list list array * int list array
val add_to_package_list : ('a, 'b list Pervasives.ref) ExtLib.Hashtbl.t -> 'a -> 'b -> unit
val get_package_list : ('a, 'b list Pervasives.ref) ExtLib.Hashtbl.t -> 'a -> 'b list
val normalize_set : int list -> int list
val string_of : (Format.formatter -> 'a -> 'b) -> 'a -> string
val pp_version : Format.formatter -> Cudf.package -> unit
val pp_package : Format.formatter -> Cudf.package -> unit
val string_of_version : Cudf.package -> string
val string_of_package : Cudf.package -> string
typepp =
Cudf.package -> string * string * (string * (string * bool)) list
val pp : (Cudf_types.pkgname * Cudf_types.version -> 'a * Cudf_types.pkgname) ->
?fields:string list -> ?decode:(Cudf_types.pkgname -> string) -> pp
pp ?decode from_cudf pkg
package pretty printer.
from_cudf
a function that gets a (name,cudfversion) pair and returns a (name,realversion).
?fields
additional fields to print.
?decode
a function that decode the package name and version.
returns : a pair (name,versiom,property list)
note that if the package has version less then 0, then the version is printed
as "nan"
val default_pp : pp
default_pp
default package printer. Extracts string values from a
cudf package : Name, Version, Fields. Where Fields is a list of
field name , value pairs . If the version of the package is
a negative number, the version version if printed as "nan".val pp_vpkg : pp -> Format.formatter -> Cudf_types.vpkg -> unit
val pp_vpkglist : pp -> Format.formatter -> Cudf_types.vpkglist -> unit