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

  Synopsis    [Returns the zero constant of the manager.]

  Description [Returns the zero constant of the manager. The zero
  constant is the arithmetic zero, rather than the logic zero. The
  latter is the complement of the one constant.]

  SideEffects [None]

  SeeAlso [Cudd_ReadOne Cudd_ReadLogicZero]

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

Description [Returns the zero constant of the manager. The zero
constant is the arithmetic zero, rather than the logic zero. The
latter is the complement of the one constant.]




Function Synopsis [ Returns the zero constant of the manager . ] Description [ Returns the zero constant of the manager . The zero constant is the arithmetic zero rather than the logic zero . The latter is the complement of the one constant . ]
DdNode *
Cudd_ReadZero(
  DdManager * dd)
{
    return(DD_ZERO(dd));
}
DdNode * Cudd_ReadZero ( DdManager * dd ) { return ( DD_ZERO ( dd ) ) ; }
Function
Synopsis    [Returns the zero constant of the manager.]
Function Synopsis [ Returns the zero constant of the manager . ]