/**Function********************************************************************
Synopsis [Generates a Walsh matrix in ADD form.]
Description [Generates a Walsh matrix in ADD form. Returns a pointer
to the matrixi if successful; NULL otherwise.]
SideEffects [None]
******************************************************************************/
DdNode *
Cudd_addWalsh(
DdManager * dd,
DdNode ** x,
DdNode ** y,
int n)
{
DdNode *res;
do {
dd->reordered = 0;
res = addWalshInt(dd, x, y, n);
} while (dd->reordered == 1);
return(res);
} /* end of Cudd_addWalsh */
/**
@brief Generates a Walsh matrix in %ADD form.
@return a pointer to the matrixi if successful; NULL otherwise.
@sideeffect None
*/
DdNode *
Cudd_addWalsh(
DdManager * dd,
DdNode ** x,
DdNode ** y,
int n)
{
DdNode *res;
do {
dd->reordered = 0;
res = addWalshInt(dd, x, y, n);
} while (dd->reordered == 1);
if (dd->errorCode == CUDD_TIMEOUT_EXPIRED && dd->timeoutHandler) {
dd->timeoutHandler(dd, dd->tohArg);
}
return(res);
} /* end of Cudd_addWalsh */
