|size||First size of BDD system|
initializeBdd() initializes the BDDs system. size can be equal to SMALL_BDD, MEDIUM_BDD or LARGE_BDD according to the application size. This function creates the zero and one node that correspond to the 0 and 1 boolean constants.
#include "mutnnn.h" /* mbk utilities */ #include "logmmm.h"
dislayBdd(one); /* it will display ONE */
/* application using BDD ... */
"initializeBdd : error - size out of bound"
size must be included into SMALL_BDD and LARGE_BDD.
|ASIM/LIP6||INITIALIZEBDD (3)||October 1, 1997|