/**Function********************************************************************
Synopsis [Substitutes a variable with its complement in a ZDD.]
Description [Substitutes a variable with its complement in a ZDD.
returns a pointer to the result if successful; NULL otherwise.]
SideEffects [None]
SeeAlso []
******************************************************************************/
DdNode *
Cudd_zddChange(
DdManager * dd,
DdNode * P,
int var)
{
DdNode *res;
if ((unsigned int) var >= CUDD_MAXINDEX - 1) return(NULL);
do {
dd->reordered = 0;
res = cuddZddChange(dd, P, var);
} while (dd->reordered == 1);
return(res);
} /* end of Cudd_zddChange */
/**
@brief Substitutes a variable with its complement in a %ZDD.
@return a pointer to the result if successful; NULL otherwise.
@sideeffect None
*/
DdNode *
Cudd_zddChange(
DdManager * dd,
DdNode * P,
int var)
{
DdNode *res;
if ((unsigned int) var >= CUDD_MAXINDEX - 1) return(NULL);
do {
dd->reordered = 0;
res = cuddZddChange(dd, P, var);
} while (dd->reordered == 1);
if (dd->errorCode == CUDD_TIMEOUT_EXPIRED && dd->timeoutHandler) {
dd->timeoutHandler(dd, dd->tohArg);
}
return(res);
} /* end of Cudd_zddChange */
