---
name: "resetBdd"
section: "3"
platform: "linux"
package: "alliance"
version: "5.1.1-3"
release: "Debian 10 (Buster)"
platforms: ["linux"]
url: "https://carta.tech/man/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)](/man/log/1.md), [**bdd**(1)](/man/bdd/1.md), [**destroyBdd**(3)](/man/destroyBdd/3.md), [**gcNodeBdd**(3)](/man/gcNodeBdd/3.md), [**markAllBdd**(3)](/man/markAllBdd/3.md), [**numberNodeAllBdd**(3)](/man/numberNodeAllBdd/3.md), [**resetBdd**(3)](/man/resetBdd/3.md).