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

# resetBdd(3)

resets the BDDs system

## NAME

**resetBdd** - resets the BDDs system

## SYNOPSYS

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