markBdd(2)

ORIGIN
Cao-vlsi libraries, log package, libbddmmm.a

NAME
markBdd - marks all nodes of a BDD

SYNOPSIS
#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(2), numberNodeBdd(2), numberNodeAllBdd(2), gcNodeBdd(2).

SUPPORT STATUS
if bugs arise, please e-mail to cao-vlsi@masi.ibp.fr