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

NAME

6       destroyBdd - removes the BDDs system
7

SYNOPSIS

9       #include "logmmm.h"
10       void destroyBdd(level)
11

PARAMETER

13       level               desallocate level
14

DESCRIPTION

16       destroyBdd()  removes the BDDs system. This function can be called only
17       after the initializeBdd() function. if level = 0 the  nodes  are  saved
18       and it's possible to go through the BDD for treatements that don't mod‐
19       ify the BDD (simulation for example).
20

EXAMPLE

22       #include "mutnnn.h"      /* mbk utilities */
23       #include "logmmm.h"
24
25       initializeBdd(MEDIUM_BDD);
26
27       /* application using BDD ... */
28
29       destroyBdd(1);
30

SEE ALSO

32       log(1), bdd(1), initializeBdd(3), gcNodeBdd(3), markAllBdd(3), numberN‐
33       odeAllBdd(3), resetBdd(3).
34
35
36
37
38
39ASIM/LIP6                       October 1, 1997                  DESTROYBDD(3)
Impressum