40 namespace Gecode {
namespace Support {
55 template<
class IntType>
67 static const signed char min = SCHAR_MIN;
69 static const signed char max = SCHAR_MAX;
82 static const unsigned char min = 0;
84 static const unsigned char max = UCHAR_MAX;
93 typedef unsigned short int utype;
97 static const signed short int min = SHRT_MIN;
99 static const signed short int max = SHRT_MAX;
112 static const unsigned short int min = 0;
114 static const unsigned short int max = USHRT_MAX;
127 static const signed int min = INT_MIN;
129 static const signed int max = INT_MAX;
142 static const unsigned int min = 0;
144 static const unsigned int max = UINT_MAX;
154 else if (n < USHRT_MAX)
162 if ((n > SCHAR_MIN) && (n < SCHAR_MAX))
164 else if ((n > SHRT_MIN) && (n < SHRT_MAX))
signed char stype
Corresponding signed type.
unsigned short int utype
Corresponding unsigned type.
signed char stype
Corresponding signed type.
unsigned short int utype
Corresponding unsigned type.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
IntType u_type(unsigned int n)
Return type required to represent n.
unsigned int utype
Corresponding unsigned type.
IntType s_type(signed int n)
Return type required to represent n.
int n
Number of negative literals for node type.
signed short int stype
Corresponding signed type.
unsigned char utype
Corresponding unsigned type.
Traits to for information about integer types.
signed int stype
Corresponding signed type.
unsigned int utype
Corresponding unsigned type.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
unsigned char utype
Corresponding unsigned type.
signed int stype
Corresponding signed type.
signed short int stype
Corresponding signed type.
Gecode toplevel namespace
IntType
Description of integer types.