OBDD.Operation

Documentation

(&&) :: Ord v => OBDD v -> OBDD v -> OBDD v

(||) :: Ord v => OBDD v -> OBDD v -> OBDD v

not :: Ord v => OBDD v -> OBDD v

FIXME this is a silly implementation. Negation should be done by switching values in Leaves (?)

and :: Ord v => [OBDD v] -> OBDD v

or :: Ord v => [OBDD v] -> OBDD v

unary :: Ord v => (Bool -> Bool) -> OBDD v -> OBDD v

binary :: Ord v => (Bool -> Bool -> Bool) -> OBDD v -> OBDD v -> OBDD v

instantiate :: Ord v => v -> Bool -> OBDD v -> OBDD v

replace variable by value

exists :: Ord v => v -> OBDD v -> OBDD v

remove variable existentially TODO: needs better implementation

exists_many :: Ord v => Set v -> OBDD v -> OBDD v

remove variables existentially TODO: needs better implementation

fold :: Ord v => (Bool -> a) -> (v -> a -> a -> a) -> OBDD v -> a

foldM :: (Monad m, Ord v) => (Bool -> m a) -> (v -> a -> a -> m a) -> OBDD v -> m a