OBDD.Make
Description
builds basic OBDDs
constant :: Ord v => Bool -> OBDD v Source #
unit :: Ord v => v -> Bool -> OBDD v Source #
Variable with given parity
variable :: Ord v => v -> OBDD v Source #