home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / imports / math.lcl < prev    next >
Text File  |  2000-06-12  |  3KB  |  79 lines
  1. /*
  2. ** math.h
  3. */
  4.  
  5. int errno, signgam;
  6.  
  7. typedef struct exception {
  8.  int ttype ; /* should be type */
  9.  char *name ;
  10.  double arg1 ;
  11.  double arg2 ;
  12.  double retval ;
  13. } __exception ;
  14.  
  15. double acos(double __x ) { ensures true; }
  16. double acosh(double __x ) { ensures true; }
  17. double asin(double __x ) { ensures true; }
  18. double asinh(double __x ) { ensures true; }
  19. double atan(double __x ) { ensures true; }
  20. double atanh(double __x) { ensures true; }
  21. double atan2(double __x,double __y ) { ensures true; }
  22. double cbrt(double __x ) { ensures true; }
  23. double ceil(double __x ) { ensures true; }
  24. double cos(double __x ) { ensures true; }
  25. double cosh(double __x ) { ensures true; }
  26. double exp(double __x ) { ensures true; }
  27. double fabs(double __x ) { ensures true; }
  28. double floor(double __x ) { ensures true; }
  29. double fmod(double __x,double __y ) { ensures true; }
  30. double frexp(double __value, int *__eptr ) { ensures true; }
  31. double ldexp(double __value, int __exp ) { ensures true; }
  32. double log(double __x ) { ensures true; }
  33. double log10(double __x ) { ensures true; }
  34. double modf(double __value,double *__iptr) { ensures true; }
  35. double pow(double __x,double __y ) { ensures true; }
  36. double rint(double __x ) { ensures true; }
  37. double sin(double __x ) { ensures true; }
  38. double sinh(double __x ) { ensures true; }
  39. double sqrt(double __x ) { ensures true; }
  40. double tan(double __x ) { ensures true; }
  41. double tanh(double __x ) { ensures true; }
  42. double trunc(double __x ) { ensures true; }
  43.  
  44. double j0(double __x ) { ensures true; }
  45. double j1(double __x ) { ensures true; }
  46. double jn( int __n,double __x ) { ensures true; }
  47. double y0(double __x ) { ensures true; }
  48. double y1(double __x ) { ensures true; }
  49. double yn( int __n,double __x ) { ensures true; }
  50. double erf(double __x ) { ensures true; }
  51. double erfc(double __x ) { ensures true; }
  52. double gamma(double __x ) { ensures true; }
  53. double   lgamma(double __x ) { ensures true; }
  54. double hypot(double __x,double __y ) { ensures true; }
  55. | int : bool | isnan() { ensures true; }
  56. int matherr(struct exception *__x) { ensures true; }
  57.  
  58. constant double M_E;
  59. constant double M_LOG2E;
  60. constant double M_LOG10E;
  61. constant double M_LN2;
  62. constant double M_LN10;
  63. constant double M_PI ;
  64. constant double M_PI_2 ;
  65. constant double M_PI_4 ;
  66. constant double M_1_PI ;
  67. constant double M_2_PI ;
  68. constant double M_2_SQRTPI ;
  69. constant double M_SQRT2 ;
  70. constant double M_SQRT1_2 ;
  71.  
  72. constant double MAXFLOAT;
  73. constant double HUGE;
  74.  
  75. enum { DOMAIN, SING, OVERFLOW,
  76.        UNDERFLOW, TLOSS, PLOSS } _matherrors;
  77.  
  78.  
  79.