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

  Synopsis    [Returns the threshold for the next dynamic reordering.]

  Description [Returns the threshold for the next dynamic reordering.
  The threshold is in terms of number of nodes and is in effect only
  if reordering is enabled. The count does not include the dead nodes,
  unless the countDead parameter of the manager has been changed from
  its default setting.]

  SideEffects [None]

  SeeAlso     [Cudd_SetNextReordering]

******************************************************************************/
Function
Synopsis    [Returns the threshold for the next dynamic reordering.]

Description [Returns the threshold for the next dynamic reordering.
The threshold is in terms of number of nodes and is in effect only
if reordering is enabled. The count does not include the dead nodes,
unless the countDead parameter of the manager has been changed from
its default setting.]




Function Synopsis [ Returns the threshold for the next dynamic reordering . ] Description [ Returns the threshold for the next dynamic reordering . The threshold is in terms of number of nodes and is in effect only if reordering is enabled . The count does not include the dead nodes unless the countDead parameter of the manager has been changed from its default setting . ]
unsigned int
Cudd_ReadNextReordering(
  DdManager *dd)
{
    return(dd->nextDyn);
}
unsigned int Cudd_ReadNextReordering ( DdManager * dd ) { return ( dd -> nextDyn ) ; }
Function
Synopsis    [Returns the threshold for the next dynamic reordering.]
Function Synopsis [ Returns the threshold for the next dynamic reordering . ]