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

  Synopsis    [Finds the number of digits for an arbitrary precision
  integer.]

  Description [Finds the number of digits for an arbitrary precision
  integer given the maximum number of binary digits.  The number of
  binary digits should be positive. Returns the number of digits if
  successful; 0 otherwise.]

  SideEffects [None]

  SeeAlso     []

******************************************************************************/
Function
Synopsis    [Finds the number of digits for an arbitrary precision
integer.]

Description [Finds the number of digits for an arbitrary precision
integer given the maximum number of binary digits.  The number of
binary digits should be positive. Returns the number of digits if
successful; 0 otherwise.]




Function Synopsis [ Finds the number of digits for an arbitrary precision integer . ] Description [ Finds the number of digits for an arbitrary precision integer given the maximum number of binary digits . The number of binary digits should be positive . Returns the number of digits if successful ; 0 otherwise . ]
int
Cudd_ApaNumberOfDigits(
  int  binaryDigits)
{
    int digits;
    digits = binaryDigits / DD_APA_BITS;
    if ((digits * DD_APA_BITS) != binaryDigits)
        digits++;
    return(digits);
}
int Cudd_ApaNumberOfDigits ( int binaryDigits ) { int digits ; digits = binaryDigits / DD_APA_BITS ; if ( ( digits * DD_APA_BITS ) != binaryDigits ) digits ++ ; return ( digits ) ; }
Function
Synopsis    [Finds the number of digits for an arbitrary precision
integer.]
Function Synopsis [ Finds the number of digits for an arbitrary precision integer . ]