Module GobApron.Linexpr1

type t = Apron.Linexpr1.t = {
  1. mutable linexpr0 : Apron.Linexpr0.t;
  2. mutable env : Apron.Environment.t;
}
val make : ?sparse:bool -> Apron.Environment.t -> t
val minimize : t -> unit
val copy : t -> t
val print : Stdlib.Format.formatter -> t -> unit
val set_list : t -> (Apron.Coeff.t * Apron.Var.t) list -> Apron.Coeff.t option -> unit
val set_array : t -> (Apron.Coeff.t * Apron.Var.t) array -> Apron.Coeff.t option -> unit
val iter : (Apron.Coeff.t -> Apron.Var.t -> unit) -> t -> unit
val get_cst : t -> Apron.Coeff.t
val set_cst : t -> Apron.Coeff.t -> unit
val get_coeff : t -> Apron.Var.t -> Apron.Coeff.t
val set_coeff : t -> Apron.Var.t -> Apron.Coeff.t -> unit
val extend_environment : t -> Apron.Environment.t -> t
val extend_environment_with : t -> Apron.Environment.t -> unit
val is_integer : t -> bool
val is_real : t -> bool
val get_linexpr0 : t -> Apron.Linexpr0.t
val get_env : t -> Apron.Environment.t
val neg : t -> t

Negate linear expression.