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

# numberNodeBdd(3)

computes the number of nodes used in a BDD

## NAME

**numberNodeBdd** - computes the number of nodes used in a BDD

## SYNOPSYS

```
#include "logmmm.h"
int numberNodeBdd(pBdd)
pNode pBdd;
```

## PARAMETER

- *pBdd*

  BDD on wich the compute does

## DESCRIPTION

**numberNodeBdd()** computes the number of reduced nodes that are used in *pBdd*.

## 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(XOR,pt);
printf("number of nodes = %d",numberNodeBdd(res));
/* 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).