apron

APRON numerical abstract domain library
Manual
Module Apron . Texpr1
type t = {
mutable texpr0 : Texpr0.t;
mutable env : Environment.t;
}
type unop = Texpr0.unop =
| Neg
| Cast
| Sqrt
type binop = Texpr0.binop =
| Add
| Sub
| Mul
| Div
| Mod
| Pow
type typ = Texpr0.typ =
| Real
| Int
| Single
| Double
| Extended
| Quad
type round = Texpr0.round =
| Near
| Zero
| Up
| Down
| Rnd
type expr =
| Cst of Coeff.t
| Var of Var.t
| Unop of unop * expr * typ * round
| Binop of binop * expr * expr * typ * round
val of_expr : Environment.t -> expr -> t
val copy : t -> t
val of_linexpr : Linexpr1.t -> t
val to_expr : t -> expr
val cst : Environment.t -> Coeff.t -> t
val var : Environment.t -> Var.t -> t
val unop : Texpr0.unop -> t -> Texpr0.typ -> Texpr0.round -> t
val binop : Texpr0.binop -> t -> t -> Texpr0.typ -> Texpr0.round -> t
val is_interval_cst : t -> bool
val is_interval_linear : t -> bool
val is_interval_polynomial : t -> bool
val is_interval_polyfrac : t -> bool
val is_scalar : t -> bool
val extend_environment : t -> Environment.t -> t
val extend_environment_with : t -> Environment.t -> unit
val get_texpr0 : t -> Texpr0.t
val get_env : t -> Environment.t
val string_of_unop : unop -> string
val string_of_binop : binop -> string
val string_of_typ : typ -> string
val string_of_round : round -> string
val print_unop : Format.formatter -> unop -> unit
val print_binop : Format.formatter -> binop -> unit
val print_typ : Format.formatter -> typ -> unit
val print_round : Format.formatter -> round -> unit
val print_expr : Format.formatter -> expr -> unit
val print : Format.formatter -> t -> unit