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

  Synopsis    [Returns a function included in the intersection of f and g.]

  Description [Computes a function included in the intersection of f and
  g. (That is, a witness that the intersection is not empty.)
  Cudd_bddIntersect tries to build as few new nodes as possible. If the
  only result of interest is whether f and g intersect,
  Cudd_bddLeq should be used instead.]

  SideEffects [None]

  SeeAlso     [Cudd_bddLeq Cudd_bddIteConstant]

******************************************************************************/
Function
Synopsis    [Returns a function included in the intersection of f and g.]

Description [Computes a function included in the intersection of f and
g. (That is, a witness that the intersection is not empty.)
Cudd_bddIntersect tries to build as few new nodes as possible. If the
only result of interest is whether f and g intersect,
Cudd_bddLeq should be used instead.]




Function Synopsis [ Returns a function included in the intersection of f and g . ] Description [ Computes a function included in the intersection of f and g . ( That is a witness that the intersection is not empty . ) Cudd_bddIntersect tries to build as few new nodes as possible . If the only result of interest is whether f and g intersect Cudd_bddLeq should be used instead . ]
DdNode *
Cudd_bddIntersect(
  DdManager * dd ,
  DdNode * f ,
  DdNode * g )
{
    DdNode *res;
    do {
        dd->reordered = 0;
        res = cuddBddIntersectRecur(dd,f,g);
    } while (dd->reordered == 1);
    return(res);
}
DdNode * Cudd_bddIntersect ( DdManager * dd , DdNode * f , DdNode * g ) { DdNode * res ; do { dd -> reordered = 0 ; res = cuddBddIntersectRecur ( dd , f , g ) ; } while ( dd -> reordered == 1 ) ; return ( res ) ; }
Function
Synopsis    [Returns a function included in the intersection of f and g.]
Function Synopsis [ Returns a function included in the intersection of f and g . ]
/* manager */ /* first operand */ /* second operand */