36namespace Gecode {
namespace Support {
51 template<
class IntType>
63 static const signed char min = SCHAR_MIN;
65 static const signed char max = SCHAR_MAX;
78 static const unsigned char min = 0;
80 static const unsigned char max = UCHAR_MAX;
89 typedef unsigned short int utype;
93 static const signed short int min = SHRT_MIN;
95 static const signed short int max = SHRT_MAX;
108 static const unsigned short int min = 0;
110 static const unsigned short int max = USHRT_MAX;
123 static const signed int min = INT_MIN;
125 static const signed int max = INT_MAX;
138 static const unsigned int min = 0;
140 static const unsigned int max = UINT_MAX;
150 else if (
n < USHRT_MAX)
158 if ((
n > SCHAR_MIN) && (
n < SCHAR_MAX))
160 else if ((
n > SHRT_MIN) && (
n < SHRT_MAX))
int n
Number of negative literals for node type.
unsigned char utype
Corresponding unsigned type.
signed char stype
Corresponding signed type.
signed int stype
Corresponding signed type.
unsigned int utype
Corresponding unsigned type.
signed short int stype
Corresponding signed type.
unsigned short int utype
Corresponding unsigned type.
signed char stype
Corresponding signed type.
unsigned char utype
Corresponding unsigned type.
signed int stype
Corresponding signed type.
unsigned int utype
Corresponding unsigned type.
unsigned short int utype
Corresponding unsigned type.
signed short int stype
Corresponding signed type.
Traits to for information about integer types.
IntType u_type(unsigned int n)
Return type required to represent n.
IntType s_type(signed int n)
Return type required to represent n.
IntType
Description of integer types.
@ IT_CHAR
char integer type
@ IT_SHRT
short integer type
Gecode toplevel namespace
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .