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

# markAllBdd(3)

marks all the nodes of the BDDs system

## NAME

**markAllBdd** - marks all the nodes of the BDDs system

## SYNOPSYS

```
#include "logmmm.h"
void markAllBdd(value)
short value;
```

## PARAMETER

- *value*

  value to assign

## DESCRIPTION

**markAllBdd()** assigns to *value* the marks of all the nodes used in the BDDs system.

## SEE ALSO

[**log**(1)](/log/1.md), [**bdd**(1)](/bdd/1.md), [**markBdd**(3)](/markBdd/3.md), [**numberNodeBdd**(3)](/numberNodeBdd/3.md), [**numberNodeAllBdd**(3)](/numberNodeAllBdd/3.md), [**supportChain\_listBdd**(3)](/supportChain_listBdd/3.md).