bddapron

Logico-numerical domain(s) based on BDDs and APRON
Legend:
Library
Module
Module type
Parameter
Class
Class type
Manual
type 'a t = 'a Apronexpr.t Cudd.Mtbdd.t
val of_expr : [> `Apron of 'a t ] -> 'a t
val to_expr : 'a t -> [> `Apron of 'a t ]
val of_apronexpr : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> 'a Apronexpr.t -> 'a t
val print : ( Format.formatter -> Cudd.Bdd.vt -> unit ) -> 'a Apronexpr.symbol -> Format.formatter -> 'a t -> unit
val is_zero : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> 'a Apronexpr.t -> bool
val is_one : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> 'a Apronexpr.t -> bool
val absorbant_zero : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> 'a Apronexpr.t Cudd.Mtbdd.unique -> 'a Apronexpr.t Cudd.Mtbdd.unique option
val absorbant_one : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> 'a Apronexpr.t Cudd.Mtbdd.unique -> 'a Apronexpr.t Cudd.Mtbdd.unique option
val cst : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> Apron.Coeff.t -> 'a t
val var : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> 'a -> 'a t
val add : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> ?typ:Apron.Texpr1.typ -> ?round:Apron.Texpr1.round -> 'a t -> 'a t -> 'a t
val sub : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> ?typ:Apron.Texpr1.typ -> ?round:Apron.Texpr1.round -> 'a t -> 'a t -> 'a t
val mul : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> ?typ:Apron.Texpr1.typ -> ?round:Apron.Texpr1.round -> 'a t -> 'a t -> 'a t
val div : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> ?typ:Apron.Texpr1.typ -> ?round:Apron.Texpr1.round -> 'a t -> 'a t -> 'a t
val gmod : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> ?typ:Apron.Texpr1.typ -> ?round:Apron.Texpr1.round -> 'a t -> 'a t -> 'a t
val negate : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> 'a t -> 'a t
val cast : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> ?typ:Apron.Texpr1.typ -> ?round:Apron.Texpr1.round -> 'a t -> 'a t
val sqrt : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> ?typ:Apron.Texpr1.typ -> ?round:Apron.Texpr1.round -> 'a t -> 'a t
val support_leaf : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> 'a t -> 'a PSette.t
val support_cond : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> 'a t -> Cudd.Bdd.vt
val substitute_linexpr : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> 'a Apronexpr.Lin.t -> ( 'a, [> `Apron of 'a t ] ) PMappe.t -> 'a t
val substitute_polyexpr : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> 'a Apronexpr.Poly.t -> ( 'a, [> `Apron of 'a t ] ) PMappe.t -> 'a t
val substitute_treeexpr : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> 'a Apronexpr.Tree.t -> ( 'a, [> `Apron of 'a t ] ) PMappe.t -> 'a t
val substitute : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> 'a Apronexpr.t -> ( 'a, [> `Apron of 'a t ] ) PMappe.t -> 'a t
module Condition : sig ... end