bddapron

Logico-numerical domain(s) based on BDDs and APRON
Legend:
Library
Module
Module type
Parameter
Class
Class type
Manual
Module Bddapron . Common
val tcons0_array_of_cubecond : ( 'a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd ) Env.O.t -> ( 'a, ( 'a, 'b, 'c, 'd ) Env.O.t ) Cond.O.t -> Cudd.Bdd.vt -> Apron.Tcons0.t array
val lvar_split : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'e ) Env.O.t -> 'a list -> Cudd.Man.v Cudd.Bdd.t * Apron.Dim.t array
val condition_of_tcons0 : ( 'a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd ) Env.O.t -> Apron.Tcons0.t -> [ `Bool of bool | `Cond of 'a Apronexpr.Condition.t ]
val bdd_of_tcons0 : ( 'a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd ) Env.O.t -> ( 'a, ( 'a, 'b, 'c, 'd ) Env.O.t ) Cond.O.t -> Apron.Tcons0.t -> Cudd.Bdd.vt
val bdd_of_tcons0_array : ( 'a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'c, 'd ) Env.O.t -> ( 'a, ( 'a, 'b, 'c, 'd ) Env.O.t ) Cond.O.t -> Apron.Tcons0.t array -> Cudd.Bdd.vt