removes the BDDs system
destroyBdd() removes the BDDs system. This function can be called only after the initializeBdd() function. if level = 0 the nodes are saved and it's possible to go through the BDD for treatements that don't modify the BDD (simulation for example).
#include "mutnnn.h" /* mbk utilities */
/* application using BDD ... */