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

# displayBdd(3)

displays a BDD

## NAME

**displayBdd** - displays a BDD

## SYNOPSYS

```
#include "logmmm.h"
void displayBdd(pBdd,level)
pNode pBdd;
int level;
```

## PARAMETERS

- *pBdd*

  BDD to display

- *level*

  displaying level

## DESCRIPTION

**displayBdd()** displays *pBDD*. if *level= 1*, this function displays all the nodes of *pBdd*, if *level = 0* the function displays the root node of *pBdd*.

## EXAMPLE

```
#include "mutnnn.h"		/* mbk utilities */
#include "logmmm.h"
pNode nodeA,nodeB,nodeC;
pNode res;
initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(3);
nodeB = createNodeTermBdd(3);
nodeC = createNodeTermBdd(4);
res = applyBinBdd(OR,applyBinBdd(AND,nodeB,nodeC),nodeA);
		/* corresponding to  (OR (AND b c) a) */
displayBdd(res,1);
/* it will display
@res      INDEX = 4   LOW = @nodeA   HIGH = @inter1
@nodeA    INDEX = 2   LOW = ZERO     HIGH = ONE
@inter1   INDEX = 3   LOW = @nodeA   HIGH = ONE
*/
displayBdd(res,0);
/* it will display
@res      INDEX = 4   LOW = @nodeA   HIGH = @inter1
*/
destroyBdd(1);
```

## SEE ALSO

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