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

  Synopsis    [Returns the number of times reordering has occurred.]

  Description [Returns the number of times reordering has occurred in the
  manager. The number includes both the calls to Cudd_ReduceHeap from
  the application program and those automatically performed by the
  package. However, calls that do not even initiate reordering are not
  counted. A call may not initiate reordering if there are fewer than
  minsize live nodes in the manager, or if CUDD_REORDER_NONE is specified
  as reordering method. The calls to Cudd_ShuffleHeap are not counted.]

  SideEffects [None]

  SeeAlso [Cudd_ReduceHeap Cudd_ReadReorderingTime]

******************************************************************************/
Function
Synopsis    [Returns the number of times reordering has occurred.]

Description [Returns the number of times reordering has occurred in the
manager. The number includes both the calls to Cudd_ReduceHeap from
the application program and those automatically performed by the
package. However, calls that do not even initiate reordering are not
counted. A call may not initiate reordering if there are fewer than
minsize live nodes in the manager, or if CUDD_REORDER_NONE is specified
as reordering method. The calls to Cudd_ShuffleHeap are not counted.]




Function Synopsis [ Returns the number of times reordering has occurred . ] Description [ Returns the number of times reordering has occurred in the manager . The number includes both the calls to Cudd_ReduceHeap from the application program and those automatically performed by the package . However calls that do not even initiate reordering are not counted . A call may not initiate reordering if there are fewer than minsize live nodes in the manager or if CUDD_REORDER_NONE is specified as reordering method . The calls to Cudd_ShuffleHeap are not counted . ]
int
Cudd_ReadReorderings(
  DdManager * dd)
{
    return(dd->reorderings);
}
int Cudd_ReadReorderings ( DdManager * dd ) { return ( dd -> reorderings ) ; }
Function
Synopsis    [Returns the number of times reordering has occurred.]
Function Synopsis [ Returns the number of times reordering has occurred . ]