bddapron 2.3.2 · OCaml Package

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

package bddapron