SE547: BDDs: Implementing BDDs [15/22]

Implementation trick: use the flyweight pattern. What is this? Why does it help?

(Other names for this kind of flyweighting: dynamic programming, memoization...)

A very simple implementation of BDDs is in simplebdd.bool.BoolPred in file:simplebdd.zip (approx. 150loc!).