---
name: "initializeBdd"
section: "3"
platform: "linux"
package: "alliance"
version: "5.1.1-3"
release: "Debian 10 (Buster)"
platforms: ["linux"]
url: "https://new.carta.tech/initializeBdd"
---

# initializeBdd(3)

initializes the BDDs system

## NAME

**initializeBdd** - initializes the BDDs system

## SYNOPSYS

```
#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)](/log/1.md), [**bdd**(1)](/bdd/1.md), [**destroyBdd**(3)](/destroyBdd/3.md), [**resetBdd**(3)](/resetBdd/3.md), [**markAllBdd**(3)](/markAllBdd/3.md), [**numberNodeAllBdd**(3)](/numberNodeAllBdd/3.md).