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

  Synopsis    [Returns true iff the argument is the sentinel clause.]

  Description [Returns true iff the argument is the sentinel clause.
  A sentinel clause has both variables equal to 0.]

  SideEffects [None]

  SeeAlso     []

******************************************************************************/
Function
Synopsis    [Returns true iff the argument is the sentinel clause.]

Description [Returns true iff the argument is the sentinel clause.
A sentinel clause has both variables equal to 0.]




Function Synopsis [ Returns true iff the argument is the sentinel clause . ] Description [ Returns true iff the argument is the sentinel clause . A sentinel clause has both variables equal to 0 . ]
static int
sentinelp(
  DdHalfWord var1,
  DdHalfWord var2)
{
    return(var1 == 0 && var2 == 0);
}
static int sentinelp ( DdHalfWord var1 , DdHalfWord var2 ) { return ( var1 == 0 && var2 == 0 ) ; }
Function
Synopsis    [Returns true iff the argument is the sentinel clause.]
Function Synopsis [ Returns true iff the argument is the sentinel clause . ]