OBDD.Property

Documentation

null :: OBDD v -> Bool

does the OBDD not have any models?

satisfiable :: OBDD v -> Bool

does the OBDD have any models?

number_of_models :: Ord v => Set v -> OBDD v -> Integer

Number of satisfying assignments with given set of variables. The set of variables must be given since the current OBDD may not contain all variables that were used to construct it, since some nodes may have been removed because they had identical children.

some_model :: Ord v => OBDD v -> IO (Maybe (Map v Bool))

randomly select one model, if possible

all_models :: Ord v => OBDD v -> [Map v Bool]

list of all models (WARNING not using variables that had been deleted)

size :: OBDD v -> Index