initializeBdd(2)

ORIGIN
Cao-vlsi libraries, log package, libbddmmm.a

NAME
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(2), resetBdd(2), markAllBdd(2), numberNodeAllBdd(2).

SUPPORT STATUS
if bugs arise, please e-mail to cao-vlsi@masi.ibp.fr