| int bdd_setminfreenodes | ( | int | mf | ) |
Set minimum number of nodes to be reclaimed after gbc (as a percentage).
Whenever a garbage collection is executed the number of free nodes left are checked to see if a resize of the node table is required. If (bdd_getnodenum() - bdd_getallocnum())*100/bdd_getallocnum() <= mf then a resize is initiated. The range of mf is of course 
and has some influence on how fast the package is. A low number means harder attempts to avoid resizing and saves space, and a high number reduces the time used in garbage collections. The default value is 20.
- Returns:
- The old threshold on success, otherwise a negative error code.
- See also:
- bdd_setmaxnodenum, bdd_setmaxincrease
