package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
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