43namespace Gecode {
namespace Float {
69namespace Gecode {
namespace Float {
76 class FloatVarImp :
public FloatVarImpBase {
81 FloatVarImp(Space& home, FloatVarImp&
x);
84 FloatVarImp(Space& home,
const FloatVal& d);
89 FloatVal domain(
void)
const;
95 FloatVal val(
void)
const;
106 bool assigned(
void)
const;
109 bool zero_in(
void)
const;
113 bool in(
const FloatVal&
n)
const;
121 ModEvent eq(Space& home,
const FloatVal&
n);
125 ModEvent lq(Space& home,
const FloatVal&
n);
129 ModEvent gq(Space& home,
const FloatVal&
n);
170 FloatVarImp* copy(Space& home);
176 static FloatNum min(
const Delta& d);
178 static FloatNum max(
const Delta& d);
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Generic domain change information to be supplied to advisors.
Float delta information for advisors.
FloatDelta(void)
Create float delta as providing no information.
static void schedule(Gecode::Space &home, Gecode::Propagator &p, Gecode::ModEvent me)
Schedule propagator p.
ModEvent fail(Space &home)
Run advisors to be run on failure and returns ME_GEN_FAILED.
static ModEvent me(const ModEventDelta &med)
Project modification event for this variable type from med.
#define GECODE_FLOAT_EXPORT
int ModEventDelta
Modification event deltas.
double FloatNum
Floating point number base type.
Gecode toplevel namespace
int PropCond
Type for propagation conditions.
Post propagator for SetVar x
int ModEvent
Type for modification events.