OBDD.Data

the data type

data OBDD v

size

for external use

null

satisfiable

number_of_models

some_model

all_models

for internal use

data Node v i

make

register

cached

top

access