Generated on Thu Mar 7 2013 10:21:46 for Gecode by doxygen 1.8.3.1
sqr.hpp File Reference

(Revision: 12253)

#include <cmath>

Go to the source code of this file.

Classes

class  Gecode::Int::Arithmetic::ValuesMapSqr
 Mapping integer to square. More...
 
class  Gecode::Int::Arithmetic::ValuesMapSqrt
 Mapping integer to square root. More...
 

Namespaces

namespace  Gecode
 Gecode toplevel namespace
 
namespace  Gecode::Int
 Finite domain integers.
 
namespace  Gecode::Int::Arithmetic
 Numerical (arithmetic) propagators.
 

Functions

template<class VA , class VB >
ExecStatus Gecode::Int::Arithmetic::prop_sqr_plus_bnd (Space &home, VA x0, VB x1)