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

NAME

6       markBdd - marks all nodes of a BDD
7

SYNOPSIS

9       #include "logmmm.h"
10       void markBdd(pBdd,value)
11       pNode pBdd;
12       short value;
13

PARAMETERS

15       pBdd                BDD to mark
16
17       value               value to assign
18

DESCRIPTION

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

SEE ALSO

25       log(1),  bdd(1),  markAllBdd(3), numberNodeBdd(3), numberNodeAllBdd(3),
26       gcNodeBdd(3).
27
28
29
30
31
32ASIM/LIP6                       October 1, 1997                     MARKBDD(3)
Impressum