Module Bddapron.Env.O

module O: sig .. end

Opened signature

type ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd) t = ('a, [> 'a Bddapron.Env.typ ] as 'b, [> 'a Bddapron.Env.typdef ] as 'c, 'd)
       Bddapron.Env.t0

val make : symbol:'a Bddapron.Env.symbol ->
       copy_aext:('d -> 'd) ->
       ?bddindex0:int ->
       ?bddsize:int ->
       ?relational:bool ->
       Cudd.Man.vt ->
       'd ->
       ('a, [> 'a Bddapron.Env.typ ], [> 'a Bddapron.Env.typdef ], 'd)
       t

Create a new database. Default values for bddindex0,bddsize,relational are 0,100,false. bddincr is initialized to 1 if relational=false, 2 otherwise.

val print : (Format.formatter -> ([> 'a Bddapron.Env.typ ] as 'b) -> unit) ->
       (Format.formatter -> ([> 'a Bddapron.Env.typdef ] as 'c) -> unit) ->
       (Format.formatter -> 'd -> unit) ->
       Format.formatter -> ('a, 'b, 'c, 'd) t -> unit

Print an environment