Previous  Up  Next

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