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

Functions

static double scaled_hypot (double x, double y, double scale, double unscale)
double hypot (double x, double y)

Function Documentation

◆ hypot()

double hypot ( double x,
double y )

◆ scaled_hypot()

double scaled_hypot ( double x,
double y,
double scale,
double unscale )
static