Apronext.Texprext
APRON Expressions of level 1
Destination type for rounding
val of_linexpr : Apron.Linexpr1.t -> t
Conversion
val cst : Apron.Environment.t -> Apron.Coeff.t -> t
val var : Apron.Environment.t -> Apron.Var.t -> 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
Change the environment of the expression for a super-environment. Raise Failure
if it is not the case
val extend_environment_with : t -> Apron.Environment.t -> unit
Side-effet version of the previous function
val get_texpr0 : t -> Apron.Texpr0.t
Get the underlying expression of level 0 (which is not a copy).
val get_env : t -> Apron.Environment.t
Get the environment of the expression
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 : Stdlib.Format.formatter -> unop -> unit
val print_binop : Stdlib.Format.formatter -> binop -> unit
val print_typ : Stdlib.Format.formatter -> typ -> unit
val print_round : Stdlib.Format.formatter -> round -> unit
val print_expr : Stdlib.Format.formatter -> expr -> unit
Print a tree expression
val print : Stdlib.Format.formatter -> t -> unit
Print an abstract tree expression
val cst_f : float -> expr
constructors
val cst_i : int -> expr
val var_s : string -> expr