ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
pow.c File Reference
#include <math.h>
#include <stdint.h>
#include <limits.h>
Include dependency graph for pow.c:

Functions

static double pow_by_squaring (double x, uint32_t n)
double pow (double x, double y)
double __pow (double base, double exponent)

Function Documentation

◆ __pow()

double __pow ( double base,
double exponent )

◆ pow()

double pow ( double x,
double y )

◆ pow_by_squaring()

double pow_by_squaring ( double x,
uint32_t n )
static