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).