bddapron

Logico-numerical domain(s) based on BDDs and APRON
Legend:
Library
Module
Module type
Parameter
Class
Class type
Manual
Module Bddapron . Apronexpr . Tree
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 symbol -> 'a t -> 'a PSette.t
val substitute_by_var : 'a t -> ( 'a, 'a ) PMappe.t -> 'a t
val print : 'a symbol -> Format.formatter -> 'a t -> unit
val compare : 'a symbol -> 'a t -> 'a t -> int
val of_expr : 'a symbol -> Apron.Texpr1.expr -> 'a t
val to_expr : 'a symbol -> 'a t -> Apron.Texpr1.expr