bddapron 2.3.3 · OCaml Package

type 'a t = 'a ApronexprDD.t

val of_expr : [> `Apron of 'a t ] -> 'a t

val to_expr : 'a t -> [> `Apron of 'a t ]

val cst : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  apron_coeff ->
  'a t

val var : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  'a ->
  'a t

val add : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  ?typ:apron_typ ->
  ?round:apron_round ->
  'a t ->
  'a t ->
  'a t

val sub : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  ?typ:apron_typ ->
  ?round:apron_round ->
  'a t ->
  'a t ->
  'a t

val mul : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  ?typ:apron_typ ->
  ?round:apron_round ->
  'a t ->
  'a t ->
  'a t

val div : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  ?typ:apron_typ ->
  ?round:apron_round ->
  'a t ->
  'a t ->
  'a t

val gmod : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  ?typ:apron_typ ->
  ?round:apron_round ->
  'a t ->
  'a t ->
  'a t

val negate : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  'a t ->
  'a t

val cast : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  ?typ:apron_typ ->
  ?round:apron_round ->
  'a t ->
  'a t

val sqrt : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  ?typ:apron_typ ->
  ?round:apron_round ->
  'a t ->
  'a t

val supeq : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  'a t ->
  'a Bool.t

val sup : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  'a t ->
  'a Bool.t

val eq : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  'a t ->
  'a Bool.t

val ite : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.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, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  'a t ->
  ('a * 'a) list ->
  'a t

val substitute : 
  ?memo:Cudd.Memo.t ->
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  'a t ->
  ('a * 'a expr) list ->
  'a t

val print : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t ->
  ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t ->
  Format.formatter ->
  'a t ->
  unit

package bddapron