package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
val is_bottom : 'a Apron.Manager.t -> 'a elt -> bool
val meet_cube : 'a Apron.Manager.t -> ('b, [> 'b Env.typ ] as 'c, [> 'b Env.typdef ] as 'd, 'e) Env.O.t -> ('b, ('b, 'c, 'd, 'e) Env.O.t) Cond.O.t -> 'a elt -> Cudd.Bdd.vt -> 'a elt
val forget : 'a Apron.Manager.t -> 'a elt -> Cudd.Bdd.vt -> Apron.Dim.t array -> 'a elt