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

# destroyBdd(3)

removes the BDDs system

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