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

  Synopsis    [Returns true iff the argument is a one-literal clause.]

  Description [Returns true iff the argument is a one-literal clause.
  A one-litaral clause has the constant FALSE as second literal.
  Since the constant TRUE is never used, it is sufficient to test for
  a constant.]

  SideEffects [None]

  SeeAlso     []

******************************************************************************/
Function
Synopsis    [Returns true iff the argument is a one-literal clause.]

Description [Returns true iff the argument is a one-literal clause.
A one-litaral clause has the constant FALSE as second literal.
Since the constant TRUE is never used, it is sufficient to test for
a constant.]




Function Synopsis [ Returns true iff the argument is a one - literal clause . ] Description [ Returns true iff the argument is a one - literal clause . A one - litaral clause has the constant FALSE as second literal . Since the constant TRUE is never used it is sufficient to test for a constant . ]
static int
oneliteralp(
  DdHalfWord var)
{
    return(var == CUDD_MAXINDEX);
}
static int oneliteralp ( DdHalfWord var ) { return ( var == CUDD_MAXINDEX ) ; }
Function
Synopsis    [Returns true iff the argument is a one-literal clause.]
Function Synopsis [ Returns true iff the argument is a one - literal clause . ]