mult.icc File Reference

(Revision: 7352)

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

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::Int
namespace	Gecode::Int::Arithmetic
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<class Val>
int	Gecode::Int::Arithmetic::c_d_p (int x, Val y)
	Compute where x and y are non-negative.
template<class Val>
int	Gecode::Int::Arithmetic::f_d_p (int x, Val y)
	Compute 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 .
int	Gecode::Int::Arithmetic::c_d (int x, int y)
	Compute .
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)