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

  Synopsis    [Prints an arbitrary precision integer in hexadecimal format.]

  Description [Prints an arbitrary precision integer in hexadecimal format.
  Returns 1 if successful; 0 otherwise.]

  SideEffects [None]

  SeeAlso     [Cudd_ApaPrintDecimal Cudd_ApaPrintExponential]

******************************************************************************/
Function
Synopsis    [Prints an arbitrary precision integer in hexadecimal format.]

Description [Prints an arbitrary precision integer in hexadecimal format.
Returns 1 if successful; 0 otherwise.]




Function Synopsis [ Prints an arbitrary precision integer in hexadecimal format . ] Description [ Prints an arbitrary precision integer in hexadecimal format . Returns 1 if successful ; 0 otherwise . ]
int
Cudd_ApaPrintHex(
  FILE * fp,
  int  digits,
  DdApaNumber  number)
{
    int i, result;
    for (i = 0; i < digits; i++) {
        result = fprintf(fp,DD_APA_HEXPRINT,number[i]);
        if (result == EOF)
            return(0);
    }
    return(1);
}
int Cudd_ApaPrintHex ( FILE * fp , int digits , DdApaNumber number ) { int i , result ; for ( i = 0 ; i < digits ; i ++ ) { result = fprintf ( fp , DD_APA_HEXPRINT , number [ i ] ) ; if ( result == EOF ) return ( 0 ) ; } return ( 1 ) ; }
Function
Synopsis    [Prints an arbitrary precision integer in hexadecimal format.]
Function Synopsis [ Prints an arbitrary precision integer in hexadecimal format . ]