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 : ?sparse:bool -> Environment.t -> t

val minimize : t -> unit

val copy : t -> t

val print : Format.formatter -> t -> unit

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

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

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

val get_cst : t -> Coeff.t

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

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

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

val extend_environment : t -> Environment.t -> t

val extend_environment_with : t -> Environment.t -> unit

val is_integer : t -> bool

val is_real : t -> bool

val get_linexpr0 : t -> Linexpr0.t

val get_env : t -> Environment.t