package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
type (!'a, !'b) man = ('a, 'b) PMtbdddomain0.man = {
  1. man : ('a, 'b) Mtbdddomain0.man;
  2. papron : 'b Apron.Policy.man;
  3. ptable : 'b DPolicy.table;
  4. betable : 'a DDDnf.table;
  5. symbol : 'a Env.symbol;
}
type 'a t = 'a PMtbdddomain0.t
val manager_get_manager : ('a, 'b) man -> ('a, 'b) Mtbdddomain0.man
val make_man : ?global:bool -> symbol:'a Env.symbol -> 'b Apron.Policy.man -> ('a, 'b) man
val equal : 'a -> 'b t -> 'b t -> bool
val print : ('a, 'b) man -> 'c Env.t -> 'c Cond.t -> Format.formatter -> 'b t -> unit
val meet_condition_apply : ('a, 'b) man -> 'a Env.t -> 'a Cond.t -> 'b t -> 'b Mtbdddomain0.t -> 'a Expr0.Bool.t -> 'b Mtbdddomain0.t
val meet_condition_improve : ('a, 'b) man -> 'a Env.t -> 'a Cond.t -> 'b t option -> 'b Mtbdddomain0.t -> 'a Expr0.Bool.t -> 'b t