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

# supportChain\_listBdd(3)

returns a chained list of nodes that are used in a given BDD.

## NAME

**supportChain\_listBdd** - returns a chained list of nodes that are used in a given BDD.

## SYNOPSYS

```
#include "logmmm.h"
chain_list *supportChain_listBdd(pBdd)
pNode pBdd;
```

## PARAMETER

- *pBdd*

  BDD

## DESCRIPTION

**supportChain\_listBdd()** creates a chained list in wich all the nodes of *pBdd* are represented.

## 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);
pt = supportChain_listBdd(res);
while (pt)
   {
   printf("--- ");
   displayBdd((pNode) pt->DATA,0);	/* displays the node */
   pt = pt->NEXT;
   }
/* it will display
--- @nodeA   index = 2  LOW = ZERO    HIGH = ONE
--- @inter   index = 3  LOW = @nodeA  HIGH = ONE
--- @res     index = 4  LOW = @inter  HIGH = ONE
*/
destroyBdd(1);
```

## SEE ALSO

[**log**(1)](/log/1.md), [**bdd**(1)](/bdd/1.md), [**numberNodeBdd**(3)](/numberNodeBdd/3.md), [**addListBdd**(3)](/addListBdd/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).