Generated on Fri Aug 24 2012 04:52:22 for Gecode by doxygen 1.8.1.1
mult.hpp File Reference

(Revision: 11014)

#include <cmath>
#include <climits>
#include <gecode/int/support-values.hh>

Go to the source code of this file.

Namespaces

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

Functions

template<class Val >
Val Gecode::Int::Arithmetic::m (int x, int y)
 Multiply x and y as type Val.
template<class Val >
Val Gecode::Int::Arithmetic::m (int x, double y)
 Multiply x and y as type Val.
template<>
double Gecode::Int::Arithmetic::m (int x, int y)
 Multiply x and y as type Val.
template<>
double Gecode::Int::Arithmetic::m (int x, double y)
 Multiply x and y as type Val.
template<class Val >
int Gecode::Int::Arithmetic::c_d_p (int x, Val y)
 Compute $\lceil x/y\rceil$ where x and y are non-negative.
template<class Val >
int Gecode::Int::Arithmetic::f_d_p (int x, Val y)
 Compute $\lfloor x/y\rfloor$ where x and y are non-negative.
template<>
int Gecode::Int::Arithmetic::c_d_p< int > (int x, int y)
template<>
int Gecode::Int::Arithmetic::c_d_p< double > (int x, double y)
template<>
int Gecode::Int::Arithmetic::f_d_p< int > (int x, int y)
template<>
int Gecode::Int::Arithmetic::f_d_p< double > (int x, double y)
int Gecode::Int::Arithmetic::f_d (int x, int y)
 Compute $\lfloor x/y\rfloor$.
int Gecode::Int::Arithmetic::c_d (int x, int y)
 Compute $\lceil x/y\rceil$.
template<class View >
bool Gecode::Int::Arithmetic::pos (const View &x)
 Test whether x is postive.
template<class View >
bool Gecode::Int::Arithmetic::neg (const View &x)
 Test whether x is negative.
template<class View >
bool Gecode::Int::Arithmetic::any (const View &x)
 Test whether x is neither positive nor negative.
template<class Val , class VA , class VB , class VC >
ExecStatus Gecode::Int::Arithmetic::prop_mult_plus_bnd (Space &home, Propagator &p, VA x0, VB x1, VC x2)
template<class Val , class View >
ExecStatus Gecode::Int::Arithmetic::prop_mult_dom (Space &home, Propagator &p, View x0, View x1, View x2)