package apron

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

val make : int option -> t

val of_list : int option -> (Coeff.t * Dim.t) list -> Coeff.t option -> t

val of_array : int option -> (Coeff.t * Dim.t) array -> Coeff.t option -> t

val minimize : t -> unit

val copy : t -> t

val compare : t -> t -> int

val hash : t -> int

val get_size : t -> int

val get_cst : t -> Coeff.t

val get_coeff : t -> int -> Coeff.t

val set_list : t -> (Coeff.t * Dim.t) list -> Coeff.t option -> unit

val set_array : t -> (Coeff.t * Dim.t) array -> Coeff.t option -> unit

val set_cst : t -> Coeff.t -> unit

val set_coeff : t -> int -> Coeff.t -> unit

val iter : (Coeff.t -> Dim.t -> unit) -> t -> unit

val print : (Dim.t -> string) -> Format.formatter -> t -> unit