BDD::ithval (...) now returns a BDD !
Class BDDNode replaced by class BDD.
Class BDD replaced by class BDDEnv.
BDDEnv provides a way to spawn variables with method ithval, and a basic version of apply specialized for operator &. It takes BDD*'s variables and return a BDD*.
Previous dump functions now renommed with prefix __ (they are
debugging-purpose only). Possibility to dump a BDD in a dot file.
Operators AND, OR, NOT implemented.
Possibility to spawn variable without specifying a name for them :).