34 namespace Gecode {
namespace Int {
46 IntDelta::min(
void)
const {
50 IntDelta::max(
void)
const {
54 IntDelta::width(
void)
const {
55 return static_cast<unsigned int>(_max - _min + 1);
58 IntDelta::any(
void)
const {
IntDelta(void)
Create integer delta as providing no information.
const FloatNum max
Largest allowed float value.
const FloatNum min
Smallest allowed float value.