simplebdd.bool

Interfaces

• BoolPred
• BoolPredFactory
• BoolPredFunctions