package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
val check_typ2 : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd) Env.O.t -> [< 'a t ] -> [< 'a t ] -> 'a Env.typ
module Bool : sig ... end
module Bint : sig ... end
module Benum : sig ... end
module Apron : sig ... end
val typ_of_expr : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd) Env.O.t -> [< 'a t ] -> 'a Env.typ
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 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 permute_list : ?memo:Cudd.Memo.t -> 'a t list -> int array -> 'a t list
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_by_var_list : ?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 list -> ('a * 'a) list -> 'a t list
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 t) list -> 'a t
val substitute_list : ?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 list -> ('a * 'a t) list -> 'a t list
val support : ('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 PSette.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 t -> 'a Bool.t
val support_cond : Cudd.Man.vt -> 'a t -> Cudd.Bdd.vt
val conditions_support : ('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 -> Cudd.Bdd.vt
val conditions_support' : ('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 list -> Cudd.Bdd.vt
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
val print_bdd : ('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 -> Cudd.Bdd.vt -> unit
val normalize : ?reduce:bool -> ?careset:bool -> (('a, ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd) Env.O.t) Cond.O.t * 'a t list) -> ('a, ('a, 'b, 'c, 'd) Env.O.t) Cond.O.t * 'a t list
val compose_of_lvarexpr : ('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 list -> ('a * 'a t) list -> Cudd.Bdd.vt array option * ('a, 'a t) PMappe.t