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

  Synopsis    [Computes the complement of an ADD a la C language.]

  Description [Computes the complement of an ADD a la C language: The
  complement of 0 is 1 and the complement of everything else is 0.
  Returns a pointer to the resulting ADD if successful; NULL otherwise.]

  SideEffects [None]

  SeeAlso     [Cudd_addNegate]

******************************************************************************/
Function
Synopsis    [Computes the complement of an ADD a la C language.]

Description [Computes the complement of an ADD a la C language: The
complement of 0 is 1 and the complement of everything else is 0.
Returns a pointer to the resulting ADD if successful; NULL otherwise.]




Function Synopsis [ Computes the complement of an ADD a la C language . ] Description [ Computes the complement of an ADD a la C language : The complement of 0 is 1 and the complement of everything else is 0 . Returns a pointer to the resulting ADD if successful ; NULL otherwise . ]
DdNode *
Cudd_addCmpl(
  DdManager * dd,
  DdNode * f)
{
    DdNode *res;
    do {
        dd->reordered = 0;
        res = cuddAddCmplRecur(dd,f);
    } while (dd->reordered == 1);
    return(res);
}
DdNode * Cudd_addCmpl ( DdManager * dd , DdNode * f ) { DdNode * res ; do { dd -> reordered = 0 ; res = cuddAddCmplRecur ( dd , f ) ; } while ( dd -> reordered == 1 ) ; return ( res ) ; }
Function
Synopsis    [Computes the complement of an ADD a la C language.]
Function Synopsis [ Computes the complement of an ADD a la C language . ]