Generated on Sat Feb 7 2015 02:01:33 for Gecode by doxygen 1.8.9.1
mult.hpp File Reference

(Revision: 13292)

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

Go to the source code of this file.

Namespaces

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

Functions

long long int Gecode::Int::Arithmetic::mll (long long int x, long long int y)
 Multiply x and . More...
 
long long int Gecode::Int::Arithmetic::ll (int x)
 Cast x into a long long int. More...
 
long long int Gecode::Int::Arithmetic::ill (int x)
 Increment x by one. More...
 
long long int Gecode::Int::Arithmetic::dll (int x)
 Decrement x by one. More...
 
template<class View >
bool Gecode::Int::Arithmetic::pos (const View &x)
 Test whether x is postive. More...
 
template<class View >
bool Gecode::Int::Arithmetic::neg (const View &x)
 Test whether x is negative. More...
 
template<class View >
bool Gecode::Int::Arithmetic::any (const View &x)
 Test whether x is neither positive nor negative. More...
 
template<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 View >
ExecStatus Gecode::Int::Arithmetic::prop_mult_dom (Space &home, Propagator &p, View x0, View x1, View x2)