abc/src/bdd/cudd/cuddAPI.c
/**Function********************************************************************

  Synopsis    [Sets the maxCacheHard parameter of the manager.]

  Description [Sets the maxCacheHard parameter of the manager. The
  cache cannot grow larger than maxCacheHard entries. This parameter
  allows an application to control the trade-off of memory versus
  speed. If the value passed to this function is 0, the function
  determines a suitable maximum cache size based on the available memory.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadMaxCacheHard Cudd_SetMaxCache]

******************************************************************************/
Function
Synopsis    [Sets the maxCacheHard parameter of the manager.]

Description [Sets the maxCacheHard parameter of the manager. The
cache cannot grow larger than maxCacheHard entries. This parameter
allows an application to control the trade-off of memory versus
speed. If the value passed to this function is 0, the function
determines a suitable maximum cache size based on the available memory.]




Function Synopsis [ Sets the maxCacheHard parameter of the manager . ] Description [ Sets the maxCacheHard parameter of the manager . The cache cannot grow larger than maxCacheHard entries . This parameter allows an application to control the trade - off of memory versus speed . If the value passed to this function is 0 the function determines a suitable maximum cache size based on the available memory . ]
void
Cudd_SetMaxCacheHard(
  DdManager * dd,
  unsigned int mc)
{
    if (mc == 0) {
        unsigned long datalimit = getSoftDataLimit();
        mc = (unsigned int) (datalimit / (sizeof(DdCache) *
                                          DD_MAX_CACHE_FRACTION));
    }
    dd->maxCacheHard = mc;
}
void Cudd_SetMaxCacheHard ( DdManager * dd , unsigned int mc ) { if ( mc == 0 ) { unsigned long datalimit = getSoftDataLimit ( ) ; mc = ( unsigned int ) ( datalimit / ( sizeof ( DdCache ) * DD_MAX_CACHE_FRACTION ) ) ; } dd -> maxCacheHard = mc ; }
Function
Synopsis    [Sets the maxCacheHard parameter of the manager.]
Function Synopsis [ Sets the maxCacheHard parameter of the manager . ]