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

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

  Description [Sets 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_ReadNextReordering]

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

Description [Sets 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 [ Sets the threshold for the next dynamic reordering . ] Description [ Sets 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 . ]
void
Cudd_SetNextReordering(
  DdManager *dd,
  unsigned int next)
{
    dd->nextDyn = next;
}
void Cudd_SetNextReordering ( DdManager * dd , unsigned int next ) { dd -> nextDyn = next ; }
Function
Synopsis    [Sets the threshold for the next dynamic reordering.]
Function Synopsis [ Sets the threshold for the next dynamic reordering . ]