module CudfAdd: sig
.. end
compare two cudf packages only using name and version
module OCAMLHashtbl: Hashtbl
module OCAMLSet: Set
include struct ... end
val id : Cudf.package -> Cudf_types.pkgname * Cudf_types.version
val compare : Cudf.package -> Cudf.package -> int
compare two cudf packages only using name and version
val hash : Cudf.package -> int
has a cudf package only using name and version
val equal : Cudf.package -> Cudf.package -> bool
two cudf packages are equal if name and version are the same
module Cudf_hashtbl: OCAMLHashtbl.Make
(
sig
type
t = Cudf.package
val equal : Cudf.package -> Cudf.package -> bool
val hash : Cudf.package -> int
end
)
specialized Hash table for cudf packages
module Cudf_set: OCAMLSet.Make
(
sig
type
t = Cudf.package
val compare : Cudf.package -> Cudf.package -> int
end
)
specialized Set for cudf packages
val to_set : Cudf_set.elt list -> Cudf_set.t
additional functions on Cudf data type.
val encode : string -> string
val decode : string -> string
val add_properties : Cudf.preamble -> (string * Cudf_types.typedecl1) list -> Cudf.preamble
val buf : Buffer.t
val buf_formatter : Format.formatter
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
val is_essential : Cudf.package -> bool
module StringSet: OCAMLSet.Make
(
ExtLib.String
)
val pkgnames : Cudf.universe -> StringSet.t
val realversionmap : Cudf.package list ->
(Cudf_types.pkgname * string, Cudf.package) ExtLib.Hashtbl.t
build an hash table that associates (package name, String version) to
* cudf packages
val vartoint : Cudf.universe -> Cudf.package -> int
val inttovar : Cudf.universe -> int -> Cudf.package
val pkgid : Cudf.package -> Cudf_types.pkgname * Cudf_types.version
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 unique : 'a list -> 'a list
val normalize_set : int list -> int list
val who_provides : Cudf.universe -> Cudf_types.pkgname * Cudf_types.constr -> Cudf.package list
val resolve_vpkg_int : Cudf.universe -> Cudf_types.pkgname * Cudf_types.constr -> int list
val resolve_vpkgs_int : Cudf.universe -> (Cudf_types.pkgname * Cudf_types.constr) list -> int list
val resolve_deps : Cudf.universe ->
(Cudf_types.pkgname * Cudf_types.constr) list -> Cudf.package list
val who_depends : Cudf.universe -> Cudf.package -> Cudf.package list list
val who_conflicts : (int, int list Pervasives.ref) ExtLib.Hashtbl.t ->
Cudf.universe -> Cudf.package -> Cudf.package list
val init_conflicts : Cudf.universe -> (int, int list Pervasives.ref) ExtLib.Hashtbl.t
val compute_pool : Cudf.universe -> int list list array * int list array
val cudfop : (string * string) option ->
([> `Eq | `Geq | `Gt | `Leq | `Lt ] * string) option