41namespace Gecode {
namespace Float {
50 FloatDelta::min(
void)
const {
54 FloatDelta::max(
void)
const {
FloatDelta(void)
Create float delta as providing no information.
double FloatNum
Floating point number base 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 .