Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Float |
Floating point numbers. | |
namespace | Gecode::Float::Trigonometric |
Trigonometric propagators |
Macros | |
#define | I0__PI_2I FloatVal(0,pi_half_upper()) |
#define | POS(X) |
#define | ATANINF_DOWN r.atan_down(aTanIv.min()) |
#define | ATANSUP_UP r.atan_up(aTanIv.max()) |
#define | I0__PI_2I FloatVal(0,pi_half_upper()) |
#define | I0__PI_2I FloatVal(0,pi_half_upper()) |
Functions | |
template<class V> | |
void | Gecode::Float::Trigonometric::aTanProject (Rounding &r, const V &aTanIv, FloatNum &iv_min, FloatNum &iv_max, int &n_min, int &n_max) |
#define I0__PI_2I FloatVal(0,pi_half_upper()) |
#define ATANINF_DOWN r.atan_down(aTanIv.min()) |
#define ATANSUP_UP r.atan_up(aTanIv.max()) |
#define I0__PI_2I FloatVal(0,pi_half_upper()) |
#define I0__PI_2I FloatVal(0,pi_half_upper()) |