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

  Synopsis    [Comparison function used by qsort.]

  Description [Comparison function used by qsort to order the variables
  according to the number of keys in the subtables.  Returns the
  difference in number of keys between the two variables being
  compared.]

  SideEffects [None]

******************************************************************************/
Function
Synopsis    [Comparison function used by qsort.]

Description [Comparison function used by qsort to order the variables
according to the number of keys in the subtables.  Returns the
difference in number of keys between the two variables being
compared.]


Function Synopsis [ Comparison function used by qsort . ] Description [ Comparison function used by qsort to order the variables according to the number of keys in the subtables . Returns the difference in number of keys between the two variables being compared . ]
static int
zddUniqueCompareGroup(
  int * ptrX,
  int * ptrY)
{
#if 0
    if (entry[*ptrY] == entry[*ptrX]) {
        return((*ptrX) - (*ptrY));
    }
#endif
    return(entry[*ptrY] - entry[*ptrX]);
}
static int zddUniqueCompareGroup ( int * ptrX , int * ptrY ) { #if 0 if ( entry [ * ptrY ] == entry [ * ptrX ] ) { return ( ( * ptrX ) - ( * ptrY ) ) ; } #endif return ( entry [ * ptrY ] - entry [ * ptrX ] ) ; }
Function
Synopsis    [Comparison function used by qsort.]
Function Synopsis [ Comparison function used by qsort . ]