38 namespace Gecode {
namespace Int {
50 IntDelta::min(
void)
const {
54 IntDelta::max(
void)
const {
58 IntDelta::any(
void)
const {
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
IntDelta(void)
Create integer delta as providing no information.
Gecode toplevel namespace