abc/src/bdd/cudd/cuddZddSetop.c
/**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     []

******************************************************************************/
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.]




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 . ]
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);
}
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 ) ; }
Function
Synopsis [Substitutes a variable with its complement in a ZDD.]
Function Synopsis [ Substitutes a variable with its complement in a ZDD . ]