obdd-0.6.1: Ordered Reduced Binary Decision Diagrams

Safe HaskellNone
LanguageHaskell98

OBDD.Make

Description

builds basic OBDDs

Synopsis

Documentation

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 #

false :: Ord v => OBDD v Source #

true :: Ord v => OBDD v Source #