mult.hpp File Reference

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

Namespaces
namespace	Gecode
	Gecode toplevel namespace
namespace	Gecode::Int
	Finite domain integers.
namespace	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 .
long long int	Gecode::Int::Arithmetic::ll (int x)
	Cast x into a long long int.
long long int	Gecode::Int::Arithmetic::ill (int x)
	Increment x by one.
long long int	Gecode::Int::Arithmetic::dll (int x)
	Decrement x by one.
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 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)

Namespaces