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.