Module Bddapron.Apronexpr.Tree

module Tree: sig .. end

type unop = Apron.Texpr1.unop = 
| Neg
| Cast
| Sqrt
type binop = Apron.Texpr1.binop = 
| Add
| Sub
| Mul
| Div
| Mod
| Pow
type typ = Apron.Texpr1.typ = 
| Real
| Int
| Single
| Double
| Extended
| Quad
type round = Apron.Texpr1.round = 
| Near
| Zero
| Up
| Down
| Rnd
type 'a t = 
| Cst of Apron.Coeff.t
| Var of 'a
| Unop of unop * 'a t
* typ * round
| Binop of binop * 'a t
* 'a t * typ
* round
val support : 'a Bddapron.Apronexpr.symbol -> 'a t -> 'a PSette.t
val substitute_by_var : 'a t ->
('a, 'a) PMappe.t -> 'a t
val print : 'a Bddapron.Apronexpr.symbol ->
Format.formatter -> 'a t -> unit
val compare : 'a Bddapron.Apronexpr.symbol ->
'a t -> 'a t -> int
val of_expr : 'a Bddapron.Apronexpr.symbol ->
Apron.Texpr1.expr -> 'a t
val to_expr : 'a Bddapron.Apronexpr.symbol ->
'a t -> Apron.Texpr1.expr