debian man page for markbdd

MARKBDD(3)							   BDD functions							MARKBDD(3)

ORIGIN
       This  software  belongs	to  the  ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite 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.

ASIM
/LIP6							  October 1, 1997							MARKBDD(3)