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

  Synopsis    [Returns a new BDD variable.]

  Description [Creates a new BDD variable.  The new variable has an
  index equal to the largest previous index plus 1.  Returns a
  pointer to the new variable if successful; NULL otherwise.]

  SideEffects [None]

  SeeAlso     [Cudd_addNewVar Cudd_bddIthVar Cudd_bddNewVarAtLevel]

******************************************************************************/
Function
Synopsis    [Returns a new BDD variable.]

Description [Creates a new BDD variable.  The new variable has an
index equal to the largest previous index plus 1.  Returns a
pointer to the new variable if successful; NULL otherwise.]




Function Synopsis [ Returns a new BDD variable . ] Description [ Creates a new BDD variable . The new variable has an index equal to the largest previous index plus 1 . Returns a pointer to the new variable if successful ; NULL otherwise . ]
DdNode *
Cudd_bddNewVar(
  DdManager * dd)
{
    DdNode *res;
    if ((unsigned int) dd->size >= CUDD_MAXINDEX - 1) return(NULL);
    res = cuddUniqueInter(dd,dd->size,dd->one,Cudd_Not(dd->one));
    return(res);
}
DdNode * Cudd_bddNewVar ( DdManager * dd ) { DdNode * res ; if ( ( unsigned int ) dd -> size >= CUDD_MAXINDEX - 1 ) return ( NULL ) ; res = cuddUniqueInter ( dd , dd -> size , dd -> one , Cudd_Not ( dd -> one ) ) ; return ( res ) ; }
Function
Synopsis    [Returns a new BDD variable.]
Function Synopsis [ Returns a new BDD variable . ]