OBDD.Data

the data type

data OBDD v

size

for external use

null

satisfiable

number_of_models

some_model

all_models

fold

foldM

toDot

for internal use

data Node v i

make

register

checked_register

cached

top

access