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

NAME

6       resetBdd - resets the BDDs system
7

SYNOPSIS

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

DESCRIPTION

13       resetBdd()  resets  the  BDDs  system. This function can be only called
14       after the initializeBdd() function.
15

EXAMPLE

17       #include "mutnnn.h"      /* mbk utilities */
18       #include "logmmm.h"
19
20       initializeBdd(LARGE_BDD);
21
22       /* first application using BDD ... */
23
24       resetBdd();
25
26       /* second application using BDD ... */
27
28       destroyBdd(1);
29

SEE ALSO

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