1MARKALLBDD(3)                    BDD functions                   MARKALLBDD(3)
2
3
4

NAME

6       markAllBdd - marks all the nodes of the BDDs system
7

SYNOPSIS

9       #include "logmmm.h"
10       void markAllBdd(value)
11       short value;
12

PARAMETER

14       value               value to assign
15

DESCRIPTION

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

SEE ALSO

21       log(1), bdd(1), markBdd(3), numberNodeBdd(3), numberNodeAllBdd(3), sup‐
22       portChain_listBdd(3).
23
24
25
26
27
28ASIM/LIP6                       October 1, 1997                  MARKALLBDD(3)
Impressum