ORIGIN¶
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at
LIP6 laboratory of Université Pierre et Marie CURIE, in Paris,
France.
Web :
http://asim.lip6.fr/recherche/alliance/
E-mail :
alliance-users@asim.lip6.fr
NAME¶
initializeBdd - initializes the BDDs system
SYNOPSYS¶
#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).
BUG REPORT¶
This tool is under development at the
ASIM department of the
LIP6
laboratory.
We need your feedback to improve documentation and tools.