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

  Synopsis    [Returns the number of links followed in the unique table.]

  Description [Returns the number of links followed during look-ups in the
  unique table if the keeping of this statistic is enabled; -1 otherwise.
  If an item is found in the first position of its collision list, the
  number of links followed is taken to be 0. If it is in second position,
  the number of links is 1, and so on. This statistic is enabled only if
  the package is compiled with DD_UNIQUE_PROFILE defined.]

  SideEffects [None]

  SeeAlso     [Cudd_ReadUniqueLookUps]

******************************************************************************/
Function
Synopsis    [Returns the number of links followed in the unique table.]

Description [Returns the number of links followed during look-ups in the
unique table if the keeping of this statistic is enabled; -1 otherwise.
If an item is found in the first position of its collision list, the
number of links followed is taken to be 0. If it is in second position,
the number of links is 1, and so on. This statistic is enabled only if
the package is compiled with DD_UNIQUE_PROFILE defined.]




Function Synopsis [ Returns the number of links followed in the unique table . ] Description [ Returns the number of links followed during look - ups in the unique table if the keeping of this statistic is enabled ; - 1 otherwise . If an item is found in the first position of its collision list the number of links followed is taken to be 0 . If it is in second position the number of links is 1 and so on . This statistic is enabled only if the package is compiled with DD_UNIQUE_PROFILE defined . ]
double
Cudd_ReadUniqueLinks(
  DdManager * dd)
{
#ifdef DD_UNIQUE_PROFILE
    return(dd->uniqueLinks);
#else
    return(-1.0);
#endif
}
double Cudd_ReadUniqueLinks ( DdManager * dd ) { #ifdef DD_UNIQUE_PROFILE return ( dd -> uniqueLinks ) ; #else return ( -1.0 ) ; #endif }
Function
Synopsis    [Returns the number of links followed in the unique table.]
Function Synopsis [ Returns the number of links followed in the unique table . ]