bddapron 2.3.1 · OCaml Package

type 'a t = 'a ApronexprDD.t

val of_expr : 'a expr -> 'a t

val to_expr : 'a t -> 'a expr

val cst : 'a Env.t -> 'a Cond.t -> Apron.Coeff.t -> 'a t

val var : 'a Env.t -> 'a Cond.t -> 'a -> 'a t

val add : 
  'a Env.t ->
  'a Cond.t ->
  ?typ:Apron.Texpr1.typ ->
  ?round:Apron.Texpr1.round ->
  'a t ->
  'a t ->
  'a t

val sub : 
  'a Env.t ->
  'a Cond.t ->
  ?typ:Apron.Texpr1.typ ->
  ?round:Apron.Texpr1.round ->
  'a t ->
  'a t ->
  'a t

val mul : 
  'a Env.t ->
  'a Cond.t ->
  ?typ:Apron.Texpr1.typ ->
  ?round:Apron.Texpr1.round ->
  'a t ->
  'a t ->
  'a t

val div : 
  'a Env.t ->
  'a Cond.t ->
  ?typ:Apron.Texpr1.typ ->
  ?round:Apron.Texpr1.round ->
  'a t ->
  'a t ->
  'a t

val gmod : 
  'a Env.t ->
  'a Cond.t ->
  ?typ:Apron.Texpr1.typ ->
  ?round:Apron.Texpr1.round ->
  'a t ->
  'a t ->
  'a t

val negate : 'a Env.t -> 'a Cond.t -> 'a t -> 'a t

val cast : 
  'a Env.t ->
  'a Cond.t ->
  ?typ:Apron.Texpr1.typ ->
  ?round:Apron.Texpr1.round ->
  'a t ->
  'a t

val sqrt : 
  'a Env.t ->
  'a Cond.t ->
  ?typ:Apron.Texpr1.typ ->
  ?round:Apron.Texpr1.round ->
  'a t ->
  'a t

val supeq : 'a Env.t -> 'a Cond.t -> 'a t -> 'a Bool.t

val sup : 'a Env.t -> 'a Cond.t -> 'a t -> 'a Bool.t

val eq : 'a Env.t -> 'a Cond.t -> 'a t -> 'a Bool.t

val ite : 'a Env.t -> 'a Cond.t -> 'a Bool.t -> 'a t -> 'a t -> 'a t

val cofactor : 'a t -> 'a Bool.t -> 'a t

val restrict : 'a t -> 'a Bool.t -> 'a t

val tdrestrict : 'a t -> 'a Bool.t -> 'a t

val permute : ?memo:Cudd.Memo.t -> 'a t -> int array -> 'a t

val varmap : 'a t -> 'a t

val substitute_by_var : 
  ?memo:Cudd.Memo.t ->
  'a Env.t ->
  'a Cond.t ->
  'a t ->
  ('a * 'a) list ->
  'a t

val substitute : 
  ?memo:Cudd.Memo.t ->
  'a Env.t ->
  'a Cond.t ->
  'a t ->
  ('a * 'a expr) list ->
  'a t

val print : 'a Env.t -> 'a Cond.t -> Format.formatter -> 'a t -> unit

package bddapron