GobApron.Lincons1
val string_of_typ : typ -> string
val print : Stdlib.Format.formatter -> t -> unit
val iter : (Apron.Coeff.t -> Apron.Var.t -> unit) -> t -> unit
val get_cst : t -> Apron.Coeff.t
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_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_extend_environment_with : earray -> Apron.Environment.t -> unit
val pp : Stdlib.Format.formatter -> t -> unit