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

  Synopsis    [Returns the ZDD for the constant 1 function.]

  Description [Returns the ZDD for the constant 1 function.
  The representation of the constant 1 function as a ZDD depends on
  how many variables it (nominally) depends on. The index of the
  topmost variable in the support is given as argument <code>i</code>.]

  SideEffects [None]

  SeeAlso [Cudd_ReadOne]

******************************************************************************/
Function
Synopsis    [Returns the ZDD for the constant 1 function.]

Description [Returns the ZDD for the constant 1 function.
The representation of the constant 1 function as a ZDD depends on
how many variables it (nominally) depends on. The index of the
topmost variable in the support is given as argument i.]




Function Synopsis [ Returns the ZDD for the constant 1 function . ] Description [ Returns the ZDD for the constant 1 function . The representation of the constant 1 function as a ZDD depends on how many variables it ( nominally ) depends on . The index of the topmost variable in the support is given as argument i . ]
DdNode *
Cudd_ReadZddOne(
  DdManager * dd,
  int  i)
{
    if (i < 0)
        return(NULL);
    return(i < dd->sizeZ ? dd->univ[i] : DD_ONE(dd));
}
DdNode * Cudd_ReadZddOne ( DdManager * dd , int i ) { if ( i < 0 ) return ( NULL ) ; return ( i < dd -> sizeZ ? dd -> univ [ i ] : DD_ONE ( dd ) ) ; }
Function
Synopsis    [Returns the ZDD for the constant 1 function.]
Function Synopsis [ Returns the ZDD for the constant 1 function . ]