1REORDERBDDSYSTEMWINDOW(3)        BDD FUNCTIONS       REORDERBDDSYSTEMWINDOW(3)
2
3
4

NAME

6       reorderbddsystemwindow - reorders the bdd nodes of a bdd system.
7

SYNOPSIS

9       #include "bdd101.h"
10       void reorderbddsystemwindow( BddSystem )
11         bddsystem ∗BddSystem;
12

PARAMETERS

14       BddSystem           The bdd system.
15

DESCRIPTION

17       reorderbddsystemwindow  reorders  all  the  bdd nodes of the bdd system
18       BddSystem, in order to minimize the total number of bdd  nodes.   If  a
19       null pointer is given, the default bdd system is used.
20

RETURN VALUE

22       reorderbddsystemwindow returns nothing.
23

EXAMPLE

25       #include "bdd101.h"
26          bddsystem ∗BddSystem;
27          BddSystem = createbddsystem( 100, 1000, 100, 50000 );
28          ...
29          reorderbddsystemwindow( BddSystem );
30          ...
31          destroybddsystem( BddSystem );
32

SEE ALSO

34       bdd(1)
35
36
37
38
39
40
41ASIM/LIP6                       October 1, 1997      REORDERBDDSYSTEMWINDOW(3)