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

NAME

6       reorderbddsystemdynamic - specifies the dynamic bdd reorder parameters.
7

SYNOPSIS

9       #include "bdd101.h"
10       void reorderbddsystemdynamic( BddSystem, ReorderFunc, ReorderLow, ReorderRatio )
11         bddsystem ∗BddSystem;
12         void     (∗ReorderFunc)();
13         long       ReorderLow;
14         long       ReorderRatio;
15

PARAMETERS

17       BddSystem           The bdd system.
18
19       ReorderFunc         The dynamic reorder method.
20
21       ReorderLow          The minimum number of bdd nodes.
22
23       ReorderRatio        The reorder ratio in percent.
24

DESCRIPTION

26       reorderbddsystemdynamic specifies to parameters for the dynamic reorder
27       in the bdd system BddSystem.  If a null pointer is given,  the  default
28       bdd  system  is  used.   If  the  number  of  bdd nodes is greater than
29       ReorderLow, then the dynamic reorder function  ReorderFunc  is  called.
30       The  new  reorder limit is computed as the product of the number of bdd
31       nodes and the ReorderRatio value plus 100.  If this limit is less  than
32       ReorderLow  then  the new limit is fixed to ReorderLow. If the function
33       ReorderFunc is a null pointer, then  the  dynamic  reorder  process  is
34       skipped.
35

RETURN VALUE

37       reorderbddsystemdynamic returns nothing.
38

EXAMPLE

40       #include "bdd101.h"
41          bddsystem ∗BddSystem;
42          BddSystem = createbddsystem( 100, 1000, 100, 50000 );
43          reorderbddsystemdynamic( BddSystem, reorderbddsystemwindow, 1000, 50 );
44          ...
45          destroybddsystem( BddSystem );
46

SEE ALSO

48       bdd(1)
49
50
51
52
53
54
55ASIM/LIP6                       October 1, 1997     REORDERBDDSYSTEMDYNAMIC(3)