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

  Synopsis    [Sets the hit rate that causes resizinig of the computed
  table.]

  Description [Sets the minHit parameter of the manager. This
  parameter controls the resizing of the computed table. If the hit
  rate is larger than the specified value, and the cache is not
  already too large, then its size is doubled.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadMinHit]

******************************************************************************/
Function
Synopsis    [Sets the hit rate that causes resizinig of the computed
table.]

Description [Sets the minHit parameter of the manager. This
parameter controls the resizing of the computed table. If the hit
rate is larger than the specified value, and the cache is not
already too large, then its size is doubled.]




Function Synopsis [ Sets the hit rate that causes resizinig of the computed table . ] Description [ Sets the minHit parameter of the manager . This parameter controls the resizing of the computed table . If the hit rate is larger than the specified value and the cache is not already too large then its size is doubled . ]
void
Cudd_SetMinHit(
  DdManager * dd,
  unsigned int hr)
{
    dd->minHit = (double) hr / (100.0 - (double) hr);
}
void Cudd_SetMinHit ( DdManager * dd , unsigned int hr ) { dd -> minHit = ( double ) hr / ( 100.0 - ( double ) hr ) ; }
Function
Synopsis    [Sets the hit rate that causes resizinig of the computed
table.]
Function Synopsis [ Sets the hit rate that causes resizinig of the computed table . ]
/* Internally, the package manipulates the ratio of hits to
    ** misses instead of the ratio of hits to accesses. */