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

  Synopsis    [Returns the logic zero constant of the manager.]

  Description [Returns the zero constant of the manager. The logic zero
  constant is the complement of the one constant, and is distinct from
  the arithmetic zero.]

  SideEffects [None]

  SeeAlso [Cudd_ReadOne Cudd_ReadZero]

******************************************************************************/
Function
Synopsis    [Returns the logic zero constant of the manager.]

Description [Returns the zero constant of the manager. The logic zero
constant is the complement of the one constant, and is distinct from
the arithmetic zero.]




Function Synopsis [ Returns the logic zero constant of the manager . ] Description [ Returns the zero constant of the manager . The logic zero constant is the complement of the one constant and is distinct from the arithmetic zero . ]
DdNode *
Cudd_ReadLogicZero(
  DdManager * dd)
{
    return(Cudd_Not(DD_ONE(dd)));
}
DdNode * Cudd_ReadLogicZero ( DdManager * dd ) { return ( Cudd_Not ( DD_ONE ( dd ) ) ) ; }
Function
Synopsis    [Returns the logic zero constant of the manager.]
Function Synopsis [ Returns the logic zero constant of the manager . ]