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

  Synopsis    [Hash function for the computed table of cuddBddLICMarkEdges.]

  Description [Hash function for the computed table of
  cuddBddLICMarkEdges.  Returns the bucket number.]

  SideEffects [None]

  SeeAlso     [Cudd_bddLICompaction]

******************************************************************************/
Function
Synopsis    [Hash function for the computed table of cuddBddLICMarkEdges.]

Description [Hash function for the computed table of
cuddBddLICMarkEdges.  Returns the bucket number.]




Function Synopsis [ Hash function for the computed table of cuddBddLICMarkEdges . ] Description [ Hash function for the computed table of cuddBddLICMarkEdges . Returns the bucket number . ]
static int
MarkCacheHash(
  const char * ptr,
  int  modulus)
{
    int val = 0;
    MarkCacheKey *entry;
    entry = (MarkCacheKey *) ptr;
    val = (int) (ptrint) entry->f;
    val = val * 997 + (int) (ptrint) entry->c;
    return ((val < 0) ? -val : val) % modulus;
}
static int MarkCacheHash ( const char * ptr , int modulus ) { int val = 0 ; MarkCacheKey * entry ; entry = ( MarkCacheKey * ) ptr ; val = ( int ) ( ptrint ) entry -> f ; val = val * 997 + ( int ) ( ptrint ) entry -> c ; return ( ( val < 0 ) ? - val : val ) % modulus ; }
Function
Synopsis    [Hash function for the computed table of cuddBddLICMarkEdges.]
Function Synopsis [ Hash function for the computed table of cuddBddLICMarkEdges . ]