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¶
markBdd - marks all nodes of a BDD
SYNOPSYS¶
#include "logmmm.h"
void markBdd(pBdd,value)
pNode pBdd;
short value;
PARAMETERS¶
- pBdd
- BDD to mark
- value
- value to assign
DESCRIPTION¶
markBdd() assigns to
value the field
mark of all the nodes
used in
pBdd. This function is used for the garbage collection. When a
node is created, its mark is set to 0 (the default value).
SEE ALSO¶
log(1),
bdd(1),
markAllBdd(3),
numberNodeBdd(3),
numberNodeAllBdd(3),
gcNodeBdd(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.