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

FreeBSD Manual Pages

  
 
  

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

NAME
       markAllBdd - marks all the nodes	of the BDDs system

SYNOPSYS
       #include	"logmmm.h"
       void markAllBdd(value)
       short value;

PARAMETER
       value		   value to assign

DESCRIPTION
       markAllBdd()  assigns  to  value	the marks of all the nodes used	in the
       BDDs system.

SEE ALSO
       log(1), bdd(1), markBdd(3), numberNodeBdd(3), numberNodeAllBdd(3), sup-
       portChain_listBdd(3).

ASIM/LIP6			October	1, 1997			 MARKALLBDD(3)

NAME | SYNOPSYS | PARAMETER | DESCRIPTION | SEE ALSO

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

home | help