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

FreeBSD Manual Pages

  
 
  

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

NAME
       initializeBdd - initializes the BDDs system

SYNOPSIS
       #include	"logmmm.h"
       void initializeBdd(size)
       int size;

PARAMETER
       size		   First size of BDD system

DESCRIPTION
       initializeBdd()	initializes  the  BDDs	system.	 size  can be equal to
       SMALL_BDD, MEDIUM_BDD or	LARGE_BDD according to the  application	 size.
       This  function  creates	the zero and one node that correspond to the 0
       and 1 boolean constants.

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

       initializeBdd(MEDIUM_BDD);

       dislayBdd(one);
       /* it will display
       ONE
       */

       /* application using BDD	... */

       destroyBdd(1);

ERROR
       "initializeBdd :	error -	size out of bound"
       size must be included into SMALL_BDD and	LARGE_BDD.

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

ASIM/LIP6			October	1, 1997		      INITIALIZEBDD(3)

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

home | help