obdd-0.2.3: Ordered Reduced Binary Decision Diagrams

Safe HaskellNone

OBDD.Make

Description

builds basic OBDDs

Synopsis

Documentation

unit :: Ord v => v -> Bool -> OBDD vSource

Variable with given parity