34namespace 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.
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 .