markBdd3
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 |
Overview
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).
Releases
4 releases since Debian 7 (Wheezy); the text changed 1 time.