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

FreeBSD Manual Pages

  
 
  

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

NAME
       destroyBdd - removes the	BDDs system

SYNOPSYS
       #include	"logmmm.h"
       void destroyBdd(level)

PARAMETER
       level		   desallocate level

DESCRIPTION
       destroyBdd()  removes the BDDs system. This function can	be called only
       after the initializeBdd() function. if level = 0	the  nodes  are	 saved
       and it's	possible to go through the BDD for treatements that don't mod-
       ify the BDD (simulation for example).

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

       initializeBdd(MEDIUM_BDD);

       /* application using BDD	... */

       destroyBdd(1);

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

ASIM/LIP6			October	1, 1997			 DESTROYBDD(3)

NAME | SYNOPSYS | PARAMETER | DESCRIPTION | EXAMPLE | SEE ALSO

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

home | help