Module GobApron.Linexpr0

type t = Apron.Linexpr0.t
val make : int option -> t
val of_list : int option -> (Apron.Coeff.t * Apron.Dim.t) list -> Apron.Coeff.t option -> t
val of_array : int option -> (Apron.Coeff.t * Apron.Dim.t) array -> Apron.Coeff.t option -> t
val minimize : t -> unit
val copy : t -> t
val cmp : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val get_size : t -> int
val get_cst : t -> Apron.Coeff.t
val get_coeff : t -> int -> Apron.Coeff.t
val set_list : t -> (Apron.Coeff.t * Apron.Dim.t) list -> Apron.Coeff.t option -> unit
val set_array : t -> (Apron.Coeff.t * Apron.Dim.t) array -> Apron.Coeff.t option -> unit
val set_cst : t -> Apron.Coeff.t -> unit
val set_coeff : t -> int -> Apron.Coeff.t -> unit
val iter : (Apron.Coeff.t -> Apron.Dim.t -> unit) -> t -> unit
val print : (Apron.Dim.t -> string) -> Stdlib.Format.formatter -> t -> unit
val neg : t -> t

Negate linear expression.