45 namespace Gecode {
namespace Float {
54 FloatDelta::min(
void)
const {
58 FloatDelta::max(
void)
const {
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
FloatDelta(void)
Create float delta as providing no information.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Gecode toplevel namespace
double FloatNum
Floating point number base type.