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

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

  Description [Comparison function for the computed table of
  cuddBddLICMarkEdges. Returns 0 if the two nodes of the key are equal; 1
  otherwise.]

  SideEffects [None]

  SeeAlso     [Cudd_bddLICompaction]

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

Description [Comparison function for the computed table of
cuddBddLICMarkEdges. Returns 0 if the two nodes of the key are equal; 1
otherwise.]




Function Synopsis [ Comparison function for the computed table of cuddBddLICMarkEdges . ] Description [ Comparison function for the computed table of cuddBddLICMarkEdges . Returns 0 if the two nodes of the key are equal ; 1 otherwise . ]
static int
MarkCacheCompare(
  const char * ptr1,
  const char * ptr2)
{
    MarkCacheKey *entry1, *entry2;
    entry1 = (MarkCacheKey *) ptr1;
    entry2 = (MarkCacheKey *) ptr2;
    return((entry1->f != entry2->f) || (entry1->c != entry2->c));
}
static int MarkCacheCompare ( const char * ptr1 , const char * ptr2 ) { MarkCacheKey * entry1 , * entry2 ; entry1 = ( MarkCacheKey * ) ptr1 ; entry2 = ( MarkCacheKey * ) ptr2 ; return ( ( entry1 -> f != entry2 -> f ) || ( entry1 -> c != entry2 -> c ) ) ; }
Function
Synopsis    [Comparison function for the computed table of
cuddBddLICMarkEdges.]
Function Synopsis [ Comparison function for the computed table of cuddBddLICMarkEdges . ]