module type Level0 = sig .. end
type ('a, 'b) man
BDDAPRON Manager. The type parameter 'b indicates the
underlying APRON abstract domain, as in type 'b
Apron.Abstract0.t, and 'a the type of symbols.
type 'b t
BDDAPRON Abstract value. The type parameter 'b indicates
the underlying APRON abstract domain, as in type 'b
Apron.Abstract0.t, and 'a the type of symbols.
val size : ('a, 'b) man ->
'b t -> int
val print : ?print_apron:((int -> string) ->
Format.formatter -> 'b Apron.Abstract0.t -> unit) ->
'a Bddapron.Env.t ->
Format.formatter -> 'b t -> unit
val bottom : ('a, 'b) man ->
'a Bddapron.Env.t -> 'b t
val top : ('a, 'b) man ->
'a Bddapron.Env.t -> 'b t
val of_apron : ('a, 'b) man ->
'a Bddapron.Env.t ->
'b Apron.Abstract0.t -> 'b t
val of_bddapron : ('a, 'b) man ->
'a Bddapron.Env.t ->
('a Bddapron.Expr0.Bool.t * 'b Apron.Abstract0.t) list ->
'b t
val is_bottom : ('a, 'b) man ->
'b t -> bool
val is_top : ('a, 'b) man ->
'b t -> bool
val is_leq : ('a, 'b) man ->
'b t ->
'b t -> bool
val is_eq : ('a, 'b) man ->
'b t ->
'b t -> bool
val to_bddapron : ('a, 'b) man ->
'b t ->
('a Bddapron.Expr0.Bool.t * 'b Apron.Abstract0.t) list
val meet : ('a, 'b) man ->
'b t ->
'b t -> 'b t
val join : ('a, 'b) man ->
'b t ->
'b t -> 'b t
val meet_condition : ('a, 'b) man ->
'a Bddapron.Env.t ->
'a Bddapron.Cond.t ->
'b t ->
'a Bddapron.Expr0.Bool.t -> 'b t
val assign_lexpr : ?relational:bool ->
?nodependency:bool ->
('a, 'b) man ->
'a Bddapron.Env.t ->
'a Bddapron.Cond.t ->
'b t ->
'a list ->
'a Bddapron.Expr0.t list ->
'b t option -> 'b t
val substitute_lexpr : ('a, 'b) man ->
'a Bddapron.Env.t ->
'a Bddapron.Cond.t ->
'b t ->
'a list ->
'a Bddapron.Expr0.t list ->
'b t option -> 'b t
val forget_list : ('a, 'b) man ->
'a Bddapron.Env.t ->
'b t ->
'a list -> 'b t
val widening : ('a, 'b) man ->
'b t ->
'b t -> 'b t
val widening_threshold : ('a, 'b) man ->
'b t ->
'b t ->
Apron.Lincons0.t array -> 'b t
val apply_change : bottom:'b t ->
('a, 'b) man ->
'b t ->
Bddapron.Env.change -> 'b t
val apply_permutation : ('a, 'b) man ->
'b t ->
int array option * Apron.Dim.perm option -> 'b t