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

# numberNodeAllBdd(3)

count the number of nodes used in the BDD system

## NAME

**numberNodeAllBdd** - count the number of nodes used in the BDD system

## SYNOPSYS

```
#include "logmmm.h"
int numberNodeAllBdd()
```

## DESCRIPTION

**numberNodeAllBdd()** count the number of the nodes that are used in the BDD system

## EXAMPLE

```
#include "mutnnn.h"		/* mbk utilities */
#include "logmmm.h"
pNode nodeA,nodeB,nodeC;
pNode res;
chain_list *pt;
initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(3);
nodeB = createNodeTermBdd(3);
nodeC = createNodeTermBdd(4);
pt = NULL;
pt = addListBdd(pt,nodeA);
pt = addListBdd(pt,nodeB);
pt = addListBdd(pt,nodeC);
res = applyBdd(OR,pt);
printf("number of nodes = %d",numberNodeAllBdd());
/* it will display
number of nodes = 5
*/
destroyBdd(1);
```

## SEE ALSO

[**log**(1)](/log/1.md), [**bdd**(1)](/bdd/1.md), [**addListBdd**(3)](/addListBdd/3.md), [**numberNodeBdd**(3)](/numberNodeBdd/3.md), [**notBdd**(3)](/notBdd/3.md), [**constraintBdd**(3)](/constraintBdd/3.md), [**composeBdd**(3)](/composeBdd/3.md), [**displayBdd**(3)](/displayBdd/3.md), [**createNodeTermBdd**(3)](/createNodeTermBdd/3.md).