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

  Synopsis    [Causes the dead nodes to be counted towards triggering
  reordering.]

  Description [Causes the dead nodes to be counted towards triggering
  reordering. This causes more frequent reorderings. By default dead
  nodes are not counted.]

  SideEffects [Changes the manager.]

  SeeAlso     [Cudd_TurnOffCountDead Cudd_DeadAreCounted]

******************************************************************************/
Function
Synopsis    [Causes the dead nodes to be counted towards triggering
reordering.]

Description [Causes the dead nodes to be counted towards triggering
reordering. This causes more frequent reorderings. By default dead
nodes are not counted.]

SideEffects [Changes the manager.]


Function Synopsis [ Causes the dead nodes to be counted towards triggering reordering . ] Description [ Causes the dead nodes to be counted towards triggering reordering . This causes more frequent reorderings . By default dead nodes are not counted . ] SideEffects [ Changes the manager . ]
void
Cudd_TurnOnCountDead(
  DdManager * dd)
{
    dd->countDead = 0;
}
void Cudd_TurnOnCountDead ( DdManager * dd ) { dd -> countDead = 0 ; }
Function
Synopsis    [Causes the dead nodes to be counted towards triggering
reordering.]
Function Synopsis [ Causes the dead nodes to be counted towards triggering reordering . ]