package bddapron

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.