hBDD-0.0.2: An abstraction layer for BDD libraries

Safe HaskellSafe-Infered

Data.Boolean.BF

Contents

Description

 

Synopsis

A data-structure based instance of Boolean.

data BF Source

An abstract syntax tree-ish instance of the Boolean interface, sometimes useful for debugging.

Note the Eq instance is not semantic equality.

Constructors

BFtrue 
BFfalse 
BFvar String 
BF BFand BF 
BF BFor BF 
BF BFxor BF 
BF BFimplies BF 
BF BFiff BF 
BFneg BF 
BFexists [BF] BF 
BFforall [BF] BF 
BFsubst [(BF, BF)] BF 

Instances