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

  Synopsis    [Returns the time spent in reordering.]

  Description [Returns the number of milliseconds spent reordering
  variables since the manager was initialized. The time spent in collecting
  garbage before reordering is included.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadReorderings]

******************************************************************************/
Function
Synopsis    [Returns the time spent in reordering.]

Description [Returns the number of milliseconds spent reordering
variables since the manager was initialized. The time spent in collecting
garbage before reordering is included.]




Function Synopsis [ Returns the time spent in reordering . ] Description [ Returns the number of milliseconds spent reordering variables since the manager was initialized . The time spent in collecting garbage before reordering is included . ]
long
Cudd_ReadReorderingTime(
  DdManager * dd)
{
    return(dd->reordTime);
}
long Cudd_ReadReorderingTime ( DdManager * dd ) { return ( dd -> reordTime ) ; }
Function
Synopsis    [Returns the time spent in reordering.]
Function Synopsis [ Returns the time spent in reordering . ]