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

# markBdd(3)

marks all nodes of a BDD

## NAME

**markBdd** - marks all nodes of a BDD

## SYNOPSYS

```
#include "logmmm.h"
void markBdd(pBdd,value)
pNode pBdd;
short value;
```

## PARAMETERS

- *pBdd*

  BDD to mark

- *value*

  value to assign

## DESCRIPTION

**markBdd()** assigns to *value* the field *mark* of all the nodes used in *pBdd*. This function is used for the garbage collection. When a node is created, its mark is set to 0 (the default value).

## SEE ALSO

[**log**(1)](/log/1.md), [**bdd**(1)](/bdd/1.md), [**markAllBdd**(3)](/markAllBdd/3.md), [**numberNodeBdd**(3)](/numberNodeBdd/3.md), [**numberNodeAllBdd**(3)](/numberNodeAllBdd/3.md), [**gcNodeBdd**(3)](/gcNodeBdd/3.md).