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

  Synopsis    [Returns the total number of slots of the unique table.]

  Description [Returns the total number of slots of the unique table.
  This number ismainly for diagnostic purposes.]

  SideEffects [None]

******************************************************************************/
Function
Synopsis    [Returns the total number of slots of the unique table.]

Description [Returns the total number of slots of the unique table.
This number ismainly for diagnostic purposes.]


Function Synopsis [ Returns the total number of slots of the unique table . ] Description [ Returns the total number of slots of the unique table . This number ismainly for diagnostic purposes . ]
unsigned int
Cudd_ReadSlots(
  DdManager * dd)
{
    return(dd->slots);
}
unsigned int Cudd_ReadSlots ( DdManager * dd ) { return ( dd -> slots ) ; }
Function
Synopsis    [Returns the total number of slots of the unique table.]
Function Synopsis [ Returns the total number of slots of the unique table . ]