---
name: "markBdd"
section: "3"
platform: "linux"
package: "alliance"
version: "5.1.1-3"
release: "Debian 10 (Buster)"
platforms: ["linux"]
url: "https://carta.tech/man/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)](/man/log/1.md), [**bdd**(1)](/man/bdd/1.md), [**markAllBdd**(3)](/man/markAllBdd/3.md), [**numberNodeBdd**(3)](/man/numberNodeBdd/3.md), [**numberNodeAllBdd**(3)](/man/numberNodeAllBdd/3.md), [**gcNodeBdd**(3)](/man/gcNodeBdd/3.md).