abc/src/bdd/cudd/cuddSymmetry.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
ddSymmUniqueCompare(
  int * ptrX,
  int * ptrY)
{
#if 0
    if (entry[*ptrY] == entry[*ptrX]) {
        return((*ptrX) - (*ptrY));
    }
#endif
    return(entry[*ptrY] - entry[*ptrX]);
}
static int ddSymmUniqueCompare ( 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 . ]