Module Texpr0

module Texpr0: sig .. end

type t 

type unop = 

type binop = 

type typ = 

type round = 

APRON tree expressions of level 0

NOTE: Expressions are not totally ordered. As of 0.9.15, they do not implement the polymorphic compare function to avoid confusion. As a consequence, the polymorphic =, <=, etc. operators cannot be used. Use equal instead.

type expr = 

Constructors and Destructor

val of_expr : expr -> t

val copy : t -> t

val of_linexpr : Linexpr0.t -> t

val to_expr : t -> expr

Incremental constructors

val cst : Coeff.t -> t

val dim : Dim.t -> t

val unop : unop -> t -> typ -> round -> t

val binop : binop ->
       typ -> round -> t -> t -> t

Tests

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 equal : t -> t -> bool

val hash : t -> int

Printing

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 : (Dim.t -> string) -> Stdlib.Format.formatter -> expr -> unit

val print : (Dim.t -> string) -> Stdlib.Format.formatter -> t -> unit

Internal usage for level 1

val print_sprint_unop : unop -> typ -> round -> string

val print_sprint_binop : binop -> typ -> round -> string

val print_precedence_of_unop : unop -> int

val print_precedence_of_binop : binop -> int