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

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

  Description [Causes the dead nodes not to be counted towards
  triggering reordering. This causes less frequent reorderings. By
  default dead nodes are not counted. Therefore there is no need to
  call this function unless Cudd_TurnOnCountDead has been previously
  called.]

  SideEffects [Changes the manager.]

  SeeAlso     [Cudd_TurnOnCountDead Cudd_DeadAreCounted]

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

Description [Causes the dead nodes not to be counted towards
triggering reordering. This causes less frequent reorderings. By
default dead nodes are not counted. Therefore there is no need to
call this function unless Cudd_TurnOnCountDead has been previously
called.]

SideEffects [Changes the manager.]


Function Synopsis [ Causes the dead nodes not to be counted towards triggering reordering . ] Description [ Causes the dead nodes not to be counted towards triggering reordering . This causes less frequent reorderings . By default dead nodes are not counted . Therefore there is no need to call this function unless Cudd_TurnOnCountDead has been previously called . ] SideEffects [ Changes the manager . ]
void
Cudd_TurnOffCountDead(
  DdManager * dd)
{
    dd->countDead = ~0;
}
void Cudd_TurnOffCountDead ( DdManager * dd ) { dd -> countDead = ~ 0 ; }
Function
Synopsis    [Causes the dead nodes not to be counted towards triggering
reordering.]
Function Synopsis [ Causes the dead nodes not to be counted towards triggering reordering . ]