sqrt.icc File Reference
(Revision: 7348)
#include <cmath>
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::Int |
namespace | Gecode::Int::Arithmetic |
Classes | |
class | Gecode::Int::Arithmetic::RangesMapSqr |
Mapping ranges to squares. More... | |
class | Gecode::Int::Arithmetic::RangesMapSqrt |
Mapping integer to square root. More... | |
Functions | |
template<class View> | |
ExecStatus | Gecode::Int::Arithmetic::prop_sqrt_bnd (Space *home, View x0, View x1) |