Module GobApron.Lincons1

type t = Apron.Lincons1.t = {
  1. mutable lincons0 : Apron.Lincons0.t;
  2. mutable env : Apron.Environment.t;
}
and earray = Apron.Lincons1.earray = {
  1. mutable lincons0_array : Apron.Lincons0.t array;
  2. mutable array_env : Apron.Environment.t;
}
type typ = Apron.Lincons0.typ =
  1. | EQ
  2. | SUPEQ
  3. | SUP
  4. | DISEQ
  5. | EQMOD of Apron.Scalar.t
val make : Apron.Linexpr1.t -> typ -> t
val copy : t -> t
val string_of_typ : typ -> string
val print : Stdlib.Format.formatter -> t -> unit
val get_typ : t -> typ
val iter : (Apron.Coeff.t -> Apron.Var.t -> unit) -> t -> unit
val get_cst : t -> Apron.Coeff.t
val set_typ : t -> typ -> 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 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 make_unsat : Apron.Environment.t -> t
val is_unsat : t -> bool
val extend_environment : t -> Apron.Environment.t -> t
val extend_environment_with : t -> Apron.Environment.t -> unit
val get_env : t -> Apron.Environment.t
val get_linexpr1 : t -> Apron.Linexpr1.t
val get_lincons0 : t -> Apron.Lincons0.t
val array_make : Apron.Environment.t -> int -> earray
val array_print : ?first:(unit, Stdlib.Format.formatter, unit) Stdlib.format -> ?sep:(unit, Stdlib.Format.formatter, unit) Stdlib.format -> ?last:(unit, Stdlib.Format.formatter, unit) Stdlib.format -> Stdlib.Format.formatter -> earray -> unit
val array_length : earray -> int
val array_get_env : earray -> Apron.Environment.t
val array_get : earray -> int -> t
val array_set : earray -> int -> t -> unit
val array_extend_environment : earray -> Apron.Environment.t -> earray
val array_extend_environment_with : earray -> Apron.Environment.t -> unit
val show : t -> string
val compare : t -> t -> int
val num_vars : {Lincons1}4.t -> int