source: CIVL/text/include/math.cvl@ dfb0fef

/* CIVL model of math.h */

#ifdef __MATH_CIVL__
#else
#define __MATH_CIVL__

$abstract double sin(double x);

$abstract float sinf(float x);

$abstract double cos(double x);
     
$abstract long double sinl(long double x);

$abstract double sqrt(double x);

$abstract double ceil(double x);

$abstract double exp(double x);

$abstract double tan(double x);
     
$abstract float tanf(float x);
     
$abstract long double tanl(long double x);

$abstract double pow(double x, double y);

$abstract double fmod(double x, double y);

double fabs(double x){
  if(x>=0)
    return x;
  else return (-x);
}

$abstract double log(double x);

#endif