Scroll to navigation

MARKBDD(3) BDD functions MARKBDD(3)

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.

October 1, 1997 ASIM/LIP6