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

  
 
  

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

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(3), numberNodeBdd(3), numberNodeAllBdd(3), gcN-
     odeBdd(3).

ASIM/LIP6			 October 1, 1997		      MARKBDD(3)

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

home | help