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

  Synopsis [Computes the negative cofactor of a ZDD w.r.t. a variable.]

  Description [Computes the negative cofactor of a ZDD w.r.t. a
  variable. In terms of combinations, the result is the set of all
  combinations in which the variable is negated. Returns a pointer to
  the result if successful; NULL otherwise.]

  SideEffects [None]

  SeeAlso     [Cudd_zddSubset1]

******************************************************************************/
Function
Synopsis [Computes the negative cofactor of a ZDD w.r.t. a variable.]

Description [Computes the negative cofactor of a ZDD w.r.t. a
variable. In terms of combinations, the result is the set of all
combinations in which the variable is negated. Returns a pointer to
the result if successful; NULL otherwise.]




Function Synopsis [ Computes the negative cofactor of a ZDD w . r . t . a variable . ] Description [ Computes the negative cofactor of a ZDD w . r . t . a variable . In terms of combinations the result is the set of all combinations in which the variable is negated . Returns a pointer to the result if successful ; NULL otherwise . ]
DdNode *
Cudd_zddSubset0(
  DdManager * dd,
  DdNode * P,
  int  var)
{
    DdNode      *r;
    do {
        dd->reordered = 0;
        r = cuddZddSubset0(dd, P, var);
    } while (dd->reordered == 1);
    return(r);
}
DdNode * Cudd_zddSubset0 ( DdManager * dd , DdNode * P , int var ) { DdNode * r ; do { dd -> reordered = 0 ; r = cuddZddSubset0 ( dd , P , var ) ; } while ( dd -> reordered == 1 ) ; return ( r ) ; }
Function
Synopsis [Computes the negative cofactor of a ZDD w.r.t.
Function Synopsis [ Computes the negative cofactor of a ZDD w . r . t .