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

  Synopsis    [Returns true iff the two arguments are identical clauses.]

  Description [Returns true iff the two arguments are identical
  clauses.  Since literals are sorted, we only need to compare
  literals in the same position.]

  SideEffects [None]

  SeeAlso     [beforep]

******************************************************************************/
Function
Synopsis    [Returns true iff the two arguments are identical clauses.]

Description [Returns true iff the two arguments are identical
clauses.  Since literals are sorted, we only need to compare
literals in the same position.]




Function Synopsis [ Returns true iff the two arguments are identical clauses . ] Description [ Returns true iff the two arguments are identical clauses . Since literals are sorted we only need to compare literals in the same position . ]
static int
equalp(
  DdHalfWord var1a,
  short phase1a,
  DdHalfWord var1b,
  short phase1b,
  DdHalfWord var2a,
  short phase2a,
  DdHalfWord var2b,
  short phase2b)
{
    return(var1a == var2a && phase1a == phase2a &&
           var1b == var2b && phase1b == phase2b);
}
static int equalp ( DdHalfWord var1a , short phase1a , DdHalfWord var1b , short phase1b , DdHalfWord var2a , short phase2a , DdHalfWord var2b , short phase2b ) { return ( var1a == var2a && phase1a == phase2a && var1b == var2b && phase1b == phase2b ) ; }
Function
Synopsis    [Returns true iff the two arguments are identical clauses.]
Function Synopsis [ Returns true iff the two arguments are identical clauses . ]