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

  Synopsis    [Tells whether dead nodes are counted towards triggering
  reordering.]

  Description [Tells whether dead nodes are counted towards triggering
  reordering. Returns 1 if dead nodes are counted; 0 otherwise.]

  SideEffects [None]

  SeeAlso     [Cudd_TurnOnCountDead Cudd_TurnOffCountDead]

******************************************************************************/
Function
Synopsis    [Tells whether dead nodes are counted towards triggering
reordering.]

Description [Tells whether dead nodes are counted towards triggering
reordering. Returns 1 if dead nodes are counted; 0 otherwise.]




Function Synopsis [ Tells whether dead nodes are counted towards triggering reordering . ] Description [ Tells whether dead nodes are counted towards triggering reordering . Returns 1 if dead nodes are counted ; 0 otherwise . ]
int
Cudd_DeadAreCounted(
  DdManager * dd)
{
    return(dd->countDead == 0 ? 1 : 0);
}
int Cudd_DeadAreCounted ( DdManager * dd ) { return ( dd -> countDead == 0 ? 1 : 0 ) ; }
Function
Synopsis    [Tells whether dead nodes are counted towards triggering
reordering.]
Function Synopsis [ Tells whether dead nodes are counted towards triggering reordering . ]