Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
MARKBDD(3)			 BDD functions			    MARKBDD(3)

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

ASIM/LIP6			October	1, 1997			    MARKBDD(3)

NAME | SYNOPSYS | PARAMETERS | DESCRIPTION | SEE ALSO

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=markBdd&sektion=3&manpath=FreeBSD+12.0-RELEASE+and+Ports>

home | help