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

  Synopsis    [Computes a BDD in the interval between L and U with a
  simple sum-of-produuct cover.]

  Description [Computes a BDD in the interval between L and U with a
  simple sum-of-produuct cover. This procedure is similar to
  Cudd_zddIsop, but it does not return the ZDD for the cover. Returns
  a pointer to the BDD if successful; NULL otherwise.]

  SideEffects [None]

  SeeAlso     [Cudd_zddIsop]

******************************************************************************/
Function
Synopsis    [Computes a BDD in the interval between L and U with a
simple sum-of-produuct cover.]

Description [Computes a BDD in the interval between L and U with a
simple sum-of-produuct cover. This procedure is similar to
Cudd_zddIsop, but it does not return the ZDD for the cover. Returns
a pointer to the BDD if successful; NULL otherwise.]




Function Synopsis [ Computes a BDD in the interval between L and U with a simple sum - of - produuct cover . ] Description [ Computes a BDD in the interval between L and U with a simple sum - of - produuct cover . This procedure is similar to Cudd_zddIsop but it does not return the ZDD for the cover . Returns a pointer to the BDD if successful ; NULL otherwise . ]
DdNode  *
Cudd_bddIsop(
  DdManager * dd,
  DdNode * L,
  DdNode * U)
{
    DdNode      *res;
    do {
        dd->reordered = 0;
        res = cuddBddIsop(dd, L, U);
    } while (dd->reordered == 1);
    return(res);
}
DdNode * Cudd_bddIsop ( DdManager * dd , DdNode * L , DdNode * U ) { DdNode * res ; do { dd -> reordered = 0 ; res = cuddBddIsop ( dd , L , U ) ; } while ( dd -> reordered == 1 ) ; return ( res ) ; }
Function
Synopsis    [Computes a BDD in the interval between L and U with a
simple sum-of-produuct cover.]
Function Synopsis [ Computes a BDD in the interval between L and U with a simple sum - of - produuct cover . ]