obdd-0.8.4: Ordered Reduced Binary Decision Diagrams

Safe Haskell	None
Language	Haskell2010

OBDD.Make

Description

builds basic OBDDs

Synopsis

constant :: Ord v => Bool -> OBDD v
unit :: Ord v => v -> Bool -> OBDD v
variable :: Ord v => v -> OBDD v

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 #