abc/src/bdd/extrab/extraBddTime.c
/**Function********************************************************************

  Synopsis [Takes the AND of two BDDs and simultaneously abstracts the
  variables in cube.]

  Description [Takes the AND of two BDDs and simultaneously abstracts
  the variables in cube. The variables are existentially abstracted.
  Returns a pointer to the result is successful; NULL otherwise.
  Cudd_bddAndAbstract implements the semiring matrix multiplication
  algorithm for the boolean semiring.]

  SideEffects [None]

  SeeAlso     [Cudd_addMatrixMultiply Cudd_addTriangle Cudd_bddAnd]

******************************************************************************/
Function
Synopsis [Takes the AND of two BDDs and simultaneously abstracts the
variables in cube.]

Description [Takes the AND of two BDDs and simultaneously abstracts
the variables in cube. The variables are existentially abstracted.
Returns a pointer to the result is successful; NULL otherwise.
Cudd_bddAndAbstract implements the semiring matrix multiplication
algorithm for the boolean semiring.]




Function Synopsis [ Takes the AND of two BDDs and simultaneously abstracts the variables in cube . ] Description [ Takes the AND of two BDDs and simultaneously abstracts the variables in cube . The variables are existentially abstracted . Returns a pointer to the result is successful ; NULL otherwise . Cudd_bddAndAbstract implements the semiring matrix multiplication algorithm for the boolean semiring . ]
DdNode *
Extra_bddAndAbstractTime(
  DdManager * manager,
  DdNode * f,
  DdNode * g,
  DdNode * cube,
  int TimeOut)
{
    DdNode *res;
    int Counter = 0;
    do {
    manager->reordered = 0;
    res = cuddBddAndAbstractRecurTime(manager, f, g, cube, &Counter, TimeOut);
    } while (manager->reordered == 1);
    return(res);
}
DdNode * Extra_bddAndAbstractTime ( DdManager * manager , DdNode * f , DdNode * g , DdNode * cube , int TimeOut ) { DdNode * res ; int Counter = 0 ; do { manager -> reordered = 0 ; res = cuddBddAndAbstractRecurTime ( manager , f , g , cube , & Counter , TimeOut ) ; } while ( manager -> reordered == 1 ) ; return ( res ) ; }
Function
Synopsis [Takes the AND of two BDDs and simultaneously abstracts the
variables in cube.]
Function Synopsis [ Takes the AND of two BDDs and simultaneously abstracts the variables in cube . ]