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

SYNOPSIS
       #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)

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

home | help