SE547: BDDs: Implementing BDDs [16/22]

BDDs are just about binary data, but we can code up fixed-width arithmetic...

How do we code an n-bit integer variable?

How do we code an n-bit integer expression?

How do we code n-bit integer arithmetic?

A partial implementation is in simplebdd.integer.IntPred in file:simplebdd.zip (approx. 200loc).