next up previous index
Next: Constant Functions Up: User's Manual Previous: Initializing and Shutting Down

Setting Parameters


The package provides several functions to set the parameters that control various functions. For instance, the package has an automatic way of determining whether a larger unique  table would make the application run faster. In that case, the package enters a ``fast growth " mode in which resizing of the unique subtables is favored over garbage  collection. When the unique table reaches a given size, however, the package returns to the normal ``slow growth" mode, even though the conditions that caused the transition to fast growth still prevail. The limit size for fast growth  can be read by Cudd_ReadLooseUpTo  and changed by Cudd_SetLooseUpTo . Similar pairs of functions exist for several other parameters. See also Section 4.8.

Fabio Somenzi
Tue May 12 18:47:58 MDT 1998