initializeBdd.3alc man page

initializeBdd ā€” initializes the BDDs system

Synopsis

#include "logmmm.h"
void initializeBdd(size)
int size;

Parameter

size

First size of BDD system

Description

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.

Example

#include "mutnnn.h"		/* mbk utilities */
#include "logmmm.h"

initializeBdd(MEDIUM_BDD);

dislayBdd(one);
/* it will display
ONE
*/

/* application using BDD ... */

destroyBdd(1);

Error

"initializeBdd : error - size out of bound"
size must be included into SMALL_BDD and LARGE_BDD.

See Also

log(1), bdd(1), destroyBdd(3), resetBdd(3), markAllBdd(3), numberNodeAllBdd(3).

Referenced By

destroyBdd.3alc(3).

October 1, 1997 ASIM/LIP6 BDD functions