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.