Safe Haskell	Safe-Inferred
Language	Haskell2010

OBDD.Property

Synopsis

null :: OBDD v -> Bool
satisfiable :: OBDD v -> Bool
number_of_models :: Ord v => Set v -> OBDD v -> Integer
paths :: Ord v => OBDD v -> [Map v Bool]
models :: Ord k => Set k -> OBDD k -> [Map k Bool]
size :: OBDD v -> Index

Documentation

null :: OBDD v -> Bool Source #

does the OBDD not have any models?

satisfiable :: OBDD v -> Bool Source #

does the OBDD have any models?

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

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.

paths :: Ord v => OBDD v -> [Map v Bool] Source #

list of all paths

models :: Ord k => Set k -> OBDD k -> [Map k Bool] Source #

list of all models (a.k.a. minterms)

size :: OBDD v -> Index Source #