module Common: sig .. end
val tcons0_array_of_cubecond : ('a, [> 'a Bddapron.Env.typ ] as 'b, [> 'a Bddapron.Env.typdef ] as 'c, 'd)
Bddapron.Env.O.t ->
('a, ('a, 'b, 'c, 'd) Bddapron.Env.O.t) Bddapron.Cond.O.t ->
Cudd.Bdd.vt -> Apron.Tcons0.t array
Converts a cube of conditions into an array of APRON constraints
val lvar_split : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'e)
Bddapron.Env.O.t -> 'a list -> Cudd.Man.v Cudd.Bdd.t * Apron.Dim.t array
Split the list of variable into a positive cube (support)
of Boolean variables and an array of APRON dimensions
val condition_of_tcons0 : ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
Bddapron.Env.O.t ->
Apron.Tcons0.t ->
[ `Bool of bool | `Cond of 'a Bddapron.Apronexpr.Condition.t ]
val bdd_of_tcons0 : ('a, [> 'a Bddapron.Env.typ ] as 'b, [> 'a Bddapron.Env.typdef ] as 'c, 'd)
Bddapron.Env.O.t ->
('a, ('a, 'b, 'c, 'd) Bddapron.Env.O.t) Bddapron.Cond.O.t ->
Apron.Tcons0.t -> Cudd.Bdd.vt
val bdd_of_tcons0_array : ('a, [> 'a Bddapron.Env.typ ] as 'b, [> 'a Bddapron.Env.typdef ] as 'c, 'd)
Bddapron.Env.O.t ->
('a, ('a, 'b, 'c, 'd) Bddapron.Env.O.t) Bddapron.Cond.O.t ->
Apron.Tcons0.t array -> Cudd.Bdd.vt