18 #ifndef HLIDAC_PES_NUMERIC_CONSTANTS_H
19 #define HLIDAC_PES_NUMERIC_CONSTANTS_H
37 constexpr
double F32_INF = std::numeric_limits<float>::infinity();
38 constexpr
double F32_MIN = std::numeric_limits<float>::lowest();
39 constexpr
double F32_MAX = std::numeric_limits<float>::max();
40 constexpr
double F32_EPS = std::numeric_limits<float>::epsilon();
42 constexpr
double F64_INF = std::numeric_limits<double>::infinity();
43 constexpr
double F64_MIN = std::numeric_limits<double>::lowest();
44 constexpr
double F64_MAX = std::numeric_limits<double>::max();
45 constexpr
double F64_EPS = std::numeric_limits<double>::epsilon();
constexpr double CRITERION_RTOL
A maximal relative tolerance of the criterion error imposed by the piece-wise linearization of energy...
constexpr double TIME_ERR
Minimal recognizable difference in the time.
constexpr double TIME_TOL
A minimal time difference that is considered significant for a solution.