Module Env.O

module O: sig .. end

Opened signature

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

val make : symbol:'a Env.symbol ->
       copy_aext:('b -> 'b) ->
       ?bddindex0:int ->
       ?bddsize:int ->
       ?relational:bool ->
       Cudd.Man.vt -> 'b -> ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'b) 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 -> ([> 'b Env.typ ] as 'a) -> unit) ->
       (Format.formatter -> ([> 'b Env.typdef ] as 'c) -> unit) ->
       (Format.formatter -> 'd -> unit) ->
       Format.formatter -> ('b, 'a, 'c, 'd) t -> unit

Print an environment