markBdd.3alc - Man Page

#include "logmmm.h"
void markBdd(pBdd,value)
pNode pBdd;
short value;

pBdd

BDD to mark

value

value to assign

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

log(1), bdd(1), markAllBdd(3), numberNodeBdd(3), numberNodeAllBdd(3), gcNodeBdd(3).

gcNodeBdd.3alc(3), markAllBdd.3alc(3).