Module Bddapron.Cond

module Cond: sig .. end

type 'a cond = [ `Apron of 'a Bddapron.Apronexpr.Condition.t ] 

val print_cond : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
       Bddapron.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 Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
       Bddapron.Env.O.t -> 'a cond -> 'a cond

val support_cond : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
       Bddapron.Env.O.t -> [< 'a cond ] -> 'a PSette.t

module O: sig .. end

type 'a t = ('a, 'a Bddapron.Env.t) O.t 

val make : symbol:'a Bdd.Env.symbol ->
       ?bddindex0:int -> ?bddsize:int -> Cudd.Man.vt -> 'a t

val copy : 'a t -> 'a t

val print : 'a Bddapron.Env.t -> Format.formatter -> 'a t -> unit

type ('a, 'b) value = ('a, 'b) Bdd.Cond.value = {

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) Bddapron.Env.value) value -> 'b

val get_val0 : ('a, ('b, 'c) Bddapron.Env.value) value -> 'c