package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a cond = [
  1. | `Apron of 'a Apronexpr.Condition.t
]
val print_cond : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd) Env.O.t -> Format.formatter -> [< 'a cond ] -> unit
val compare_cond : 'a Bdd.Env.symbol -> [< 'a cond ] -> [< 'a cond ] -> int
val negate_cond : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd) Env.O.t -> 'a cond -> 'a cond
val support_cond : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd) Env.O.t -> [< 'a cond ] -> 'a PSette.t
module O : sig ... end
type !'a t = ('a, 'a Env.t) O.t
val make : symbol:'a Bdd.Env.symbol -> ?bddindex0:int -> ?bddsize:int -> ?bddmax:int -> Cudd.Man.vt -> 'a t
val copy : 'a t -> 'a t
val print : 'a Env.t -> Format.formatter -> 'a t -> unit
type (!'a, !'b) value = ('a, 'b) Bdd.Cond.value = {
  1. cond : 'a;
  2. val1 : 'b;
}
val make_value : 'a -> 'b -> ('a, 'b) value
val get_cond : ('a, 'b) value -> 'a
val get_val1 : ('a, 'b) value -> 'b
val get_env : ('a, ('b, 'c) Env.value) value -> 'b
val get_val0 : ('a, ('b, 'c) Env.value) value -> 'c