Module Bddenum.Minterm

module Minterm: sig .. end

val iter : ([> Bddenum.typ ], [> Bddenum.typdef ]) #Bddenum.db ->
       Var.t -> (Bddenum.label -> unit) -> Bddreg.Minterm.t -> unit

Iter the function on all label of the given type contained in the minterm.

val map : ([> Bddenum.typ ] as 'a, [> Bddenum.typdef ]) #Bddenum.db ->
       Var.t -> (Bddenum.label -> 'a) -> Bddreg.Minterm.t -> 'a list

Apply the function to all label of the given type contained in the minterm and return the list of the results.