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

FreeBSD Manual Pages

  
 
  

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

NAME
       resetBdd	- resets the BDDs system

SYNOPSIS
       #include	"logmmm.h"
       void resetBdd()

DESCRIPTION
       resetBdd() resets the BDDs system. This function	can be only called af-
       ter the initializeBdd() function.

EXAMPLE
       #include	"mutnnn.h"	/* mbk utilities */
       #include	"logmmm.h"

       initializeBdd(LARGE_BDD);

       /* first	application using BDD ... */

       resetBdd();

       /* second application using BDD ... */

       destroyBdd(1);

SEE ALSO
       log(1),	bdd(1),	 destroyBdd(3),	 gcNodeBdd(3), markAllBdd(3), numberN-
       odeAllBdd(3), resetBdd(3).

ASIM/LIP6			October	1, 1997			   RESETBDD(3)

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

home | help