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

  Synopsis    [Sets the looseUpTo parameter of the manager.]

  Description [Sets the looseUpTo parameter of the manager. This
  parameter of the manager controls the threshold beyond which no fast
  growth of the unique table is allowed. The threshold is given as a
  number of slots. If the value passed to this function is 0, the
  function determines a suitable value based on the available memory.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadLooseUpTo Cudd_SetMinHit]

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

Description [Sets the looseUpTo parameter of the manager. This
parameter of the manager controls the threshold beyond which no fast
growth of the unique table is allowed. The threshold is given as a
number of slots. If the value passed to this function is 0, the
function determines a suitable value based on the available memory.]




Function Synopsis [ Sets the looseUpTo parameter of the manager . ] Description [ Sets the looseUpTo parameter of the manager . This parameter of the manager controls the threshold beyond which no fast growth of the unique table is allowed . The threshold is given as a number of slots . If the value passed to this function is 0 the function determines a suitable value based on the available memory . ]
void
Cudd_SetLooseUpTo(
  DdManager * dd,
  unsigned int lut)
{
    if (lut == 0) {
        unsigned long datalimit = getSoftDataLimit();
        lut = (unsigned int) (datalimit / (sizeof(DdNode) *
                                           DD_MAX_LOOSE_FRACTION));
    }
    dd->looseUpTo = lut;
}
void Cudd_SetLooseUpTo ( DdManager * dd , unsigned int lut ) { if ( lut == 0 ) { unsigned long datalimit = getSoftDataLimit ( ) ; lut = ( unsigned int ) ( datalimit / ( sizeof ( DdNode ) * DD_MAX_LOOSE_FRACTION ) ) ; } dd -> looseUpTo = lut ; }
Function
Synopsis    [Sets the looseUpTo parameter of the manager.]
Function Synopsis [ Sets the looseUpTo parameter of the manager . ]