obdd-0.3.2: Ordered Reduced Binary Decision Diagrams
OBDD.Make
Description
builds basic OBDDs
Synopsis
constant :: Ord v => Bool -> OBDD v Source
unit :: Ord v => v -> Bool -> OBDD v Source
Variable with given parity