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

  
 
  

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 after
     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.1.quarterly>

home | help