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

NAME

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

SYNOPSIS

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

PARAMETERS

14       BddSystem           The bdd system.
15

DESCRIPTION

17       reorderbddsystemsimple  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       reorderbddsystemsimple returns nothing.
23

EXAMPLE

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

SEE ALSO

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