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

  Synopsis    [Returns the i-th element of the vars array.]

  Description [Returns the i-th element of the vars array if it falls
  within the array bounds; NULL otherwise. If i is the index of an
  existing variable, this function produces the same result as
  Cudd_bddIthVar. However, if the i-th var does not exist yet,
  Cudd_bddIthVar will create it, whereas Cudd_ReadVars will not.]

  SideEffects [None]

  SeeAlso     [Cudd_bddIthVar]

******************************************************************************/
Function
Synopsis    [Returns the i-th element of the vars array.]

Description [Returns the i-th element of the vars array if it falls
within the array bounds; NULL otherwise. If i is the index of an
existing variable, this function produces the same result as
Cudd_bddIthVar. However, if the i-th var does not exist yet,
Cudd_bddIthVar will create it, whereas Cudd_ReadVars will not.]




Function Synopsis [ Returns the i - th element of the vars array . ] Description [ Returns the i - th element of the vars array if it falls within the array bounds ; NULL otherwise . If i is the index of an existing variable this function produces the same result as Cudd_bddIthVar . However if the i - th var does not exist yet Cudd_bddIthVar will create it whereas Cudd_ReadVars will not . ]
DdNode *
Cudd_ReadVars(
  DdManager * dd,
  int  i)
{
    if (i < 0 || i > dd->size) return(NULL);
    return(dd->vars[i]);
}
DdNode * Cudd_ReadVars ( DdManager * dd , int i ) { if ( i < 0 || i > dd -> size ) return ( NULL ) ; return ( dd -> vars [ i ] ) ; }
Function
Synopsis    [Returns the i-th element of the vars array.]
Function Synopsis [ Returns the i - th element of the vars array . ]