int.icc File Reference

(Revision: 6311)

Go to the source code of this file.

Namespaces
namespace	Test
namespace	Test::Int
Functions
	Test::Test (const std::string &s, int a, const Gecode::IntSet &d, bool r, Gecode::IntConLevel i, Gecode::PropKind p)
	Test::Test (const std::string &s, int a, int min, int max, bool r, Gecode::IntConLevel i, Gecode::PropKind p)
std::string	Test::str (Gecode::PropKind pk)
std::string	Test::str (Gecode::IntConLevel icl)
std::string	Test::str (Gecode::IntRelType irt)
std::string	Test::str (Gecode::BoolOpType bot)
std::string	Test::str (int i)
template<class T>
bool	Test::cmp (T x, Gecode::IntRelType r, T y)