module ApronexprDD: sig .. end
type 'a t = 'a Bddapron.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 Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t -> 'a Bddapron.Apronexpr.t -> 'a t
val print : (Format.formatter -> Cudd.Bdd.vt -> unit) ->
'a Bddapron.Apronexpr.symbol ->
Format.formatter -> 'a t -> unit
val is_zero : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t -> 'a Bddapron.Apronexpr.t -> bool
val is_one : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t -> 'a Bddapron.Apronexpr.t -> bool
val absorbant_zero : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t ->
'a Bddapron.Apronexpr.t Cudd.Mtbdd.unique ->
'a Bddapron.Apronexpr.t Cudd.Mtbdd.unique option
val absorbant_one : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t ->
'a Bddapron.Apronexpr.t Cudd.Mtbdd.unique ->
'a Bddapron.Apronexpr.t Cudd.Mtbdd.unique option
val cst : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t -> Apron.Coeff.t -> 'a t
val var : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t -> 'a -> 'a t
val add : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t ->
?typ:Apron.Texpr1.typ ->
?round:Apron.Texpr1.round ->
'a t ->
'a t -> 'a t
val sub : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t ->
?typ:Apron.Texpr1.typ ->
?round:Apron.Texpr1.round ->
'a t ->
'a t -> 'a t
val mul : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t ->
?typ:Apron.Texpr1.typ ->
?round:Apron.Texpr1.round ->
'a t ->
'a t -> 'a t
val div : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t ->
?typ:Apron.Texpr1.typ ->
?round:Apron.Texpr1.round ->
'a t ->
'a t -> 'a t
val gmod : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t ->
?typ:Apron.Texpr1.typ ->
?round:Apron.Texpr1.round ->
'a t ->
'a t -> 'a t
val negate : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t -> 'a t -> 'a t
val cast : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t ->
?typ:Apron.Texpr1.typ ->
?round:Apron.Texpr1.round ->
'a t -> 'a t
val sqrt : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t ->
?typ:Apron.Texpr1.typ ->
?round:Apron.Texpr1.round ->
'a t -> 'a t
val support_leaf : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t -> 'a t -> 'a PSette.t
val support_cond : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t -> 'a t -> Cudd.Bdd.vt
val substitute_linexpr : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t ->
'a Bddapron.Apronexpr.Lin.t ->
('a, [> `Apron of 'a t ]) PMappe.t ->
'a t
val substitute_polyexpr : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t ->
'a Bddapron.Apronexpr.Poly.t ->
('a, [> `Apron of 'a t ]) PMappe.t ->
'a t
val substitute_treeexpr : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t ->
'a Bddapron.Apronexpr.Tree.t ->
('a, [> `Apron of 'a t ]) PMappe.t ->
'a t
val substitute : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t ->
'a Bddapron.Apronexpr.t ->
('a, [> `Apron of 'a t ]) PMappe.t ->
'a t
module Condition: sig .. end