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

Macros

#define remquo_def( type, name, isnan_func, isinf_func, llrint_func, remainder_func)

Functions

 remquo_def (float, remquof, isnan, isinf, llrintf, remainderf)
 remquo_def (double, remquo, isnan, isinf, llrint, remainder)
 remquo_def (long double, remquol, isnan, isinf, llrintl, remainderl)

Macro Definition Documentation

◆ remquo_def

#define remquo_def ( type,
name,
isnan_func,
isinf_func,
llrint_func,
remainder_func )

Function Documentation

◆ remquo_def() [1/3]

remquo_def ( double ,
remquo ,
isnan ,
isinf ,
llrint ,
remainder  )

◆ remquo_def() [2/3]

remquo_def ( float ,
remquof ,
isnan ,
isinf ,
llrintf ,
remainderf  )

◆ remquo_def() [3/3]

remquo_def ( long double ,
remquol ,
isnan ,
isinf ,
llrintl ,
remainderl  )