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

  Synopsis    [Returns the number of look-ups in the unique table.]

  Description [Returns the number of look-ups in the unique table if the
  keeping of this statistic is enabled; -1 otherwise. This statistic is
  enabled only if the package is compiled with DD_UNIQUE_PROFILE defined.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadUniqueLinks]

******************************************************************************/
Function
Synopsis    [Returns the number of look-ups in the unique table.]

Description [Returns the number of look-ups in the unique table if the
keeping of this statistic is enabled; -1 otherwise. This statistic is
enabled only if the package is compiled with DD_UNIQUE_PROFILE defined.]




Function Synopsis [ Returns the number of look - ups in the unique table . ] Description [ Returns the number of look - ups in the unique table if the keeping of this statistic is enabled ; - 1 otherwise . This statistic is enabled only if the package is compiled with DD_UNIQUE_PROFILE defined . ]
double
Cudd_ReadUniqueLookUps(
  DdManager * dd)
{
#ifdef DD_UNIQUE_PROFILE
    return(dd->uniqueLookUps);
#else
    return(-1.0);
#endif
}
double Cudd_ReadUniqueLookUps ( DdManager * dd ) { #ifdef DD_UNIQUE_PROFILE return ( dd -> uniqueLookUps ) ; #else return ( -1.0 ) ; #endif }
Function
Synopsis    [Returns the number of look-ups in the unique table.]
Function Synopsis [ Returns the number of look - ups in the unique table . ]