package bddapron

  1. Overview
  2. Docs
type (!'a, !'b, !'c, !'d, !'e, !'f) man = ('a, 'b, 'c, 'd, 'e, 'f) PDomain0.man = {
  1. man : ('a, 'b, 'c, 'd) Domain0.man;
  2. pman : 'e;
  3. print : 'e -> 'a Env.t -> 'a Cond.t -> Format.formatter -> 'f -> unit;
  4. meet_condition_apply : 'e -> 'a Env.t -> 'a Cond.t -> 'f -> 'd -> 'a Expr0.Bool.t -> 'd;
  5. meet_condition_improve : 'e -> 'a Env.t -> 'a Cond.t -> 'f option -> 'd -> 'a Expr0.Bool.t -> 'f;
}
type (!'a, !'b) mtbdd = ('a, 'b, ('a, 'b) Mtbdddomain0.man, 'b Mtbdddomain0.t, ('a, 'b) PMtbdddomain0.man, 'b PMtbdddomain0.t) man
val manager_get_manager : ('a, 'b, 'c, 'd, 'e, 'f) man -> ('a, 'b, 'c, 'd) Domain0.man
val print : ('a, 'b, 'c, 'd, 'e, 'f) man -> 'a Env.t -> 'a Cond.t -> Format.formatter -> 'f -> unit
val meet_condition_apply : ('a, 'b, 'c, 'd, 'e, 'f) man -> 'a Env.t -> 'a Cond.t -> 'f -> 'd -> 'a Expr0.Bool.t -> 'd
val meet_condition_improve : ('a, 'b, 'c, 'd, 'e, 'f) man -> 'a Env.t -> 'a Cond.t -> 'f option -> 'd -> 'a Expr0.Bool.t -> 'f
val make_mtbdd : ?global:bool -> symbol:'a Env.symbol -> 'b Apron.Policy.man -> ('a, 'b) mtbdd
OCaml

Innovation. Community. Security.