Go to the documentation of this file.
43 namespace Gecode {
namespace Float {
69 namespace Gecode {
namespace Float {
Post propagator for SetVar x
FloatVarImp(Space &home, FloatVarImp &x)
Constructor for cloning x.
bool zero_in(void) const
Test whether 0 is contained in domain.
ModEvent fail(Space &home)
Run advisors to be run on failure and returns ME_GEN_FAILED.
ModEvent lq(Space &home, FloatNum n)
Restrict domain values to be less or equal than n.
bool assigned(void) const
Test whether variable is assigned.
const FloatNum min
Smallest allowed float value.
FloatNum max(void) const
Return maximum of domain.
ModEvent gq(Space &home, FloatNum n)
Restrict domain values to be greater or equal than n.
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p with propagation condition pc to variable.
Gecode toplevel namespace
Base-class for propagators.
static void schedule(Gecode::Space &home, Gecode::Propagator &p, Gecode::ModEvent me)
Schedule propagator p.
struct Gecode::@602::NNF::@65::@67 a
For atomic nodes.
Float variable implementation.
Generic domain change information to be supplied to advisors.
ModEvent eq(Space &home, FloatNum n)
Restrict domain values to be equal to n.
FloatDelta(void)
Create float delta as providing no information.
double FloatNum
Floating point number base type.
#define GECODE_FLOAT_EXPORT
void reschedule(Space &home, Propagator &p, PropCond pc)
Re-schedule propagator p with propagation condition pc.
FloatNum min(void) const
Return minimum of domain.
FloatNum size(void) const
Return width of domain (distance between maximum and minimum)
FloatNum med(void) const
Return median of domain (closest representation)
int ModEvent
Type for modification events.
int PropCond
Type for propagation conditions.
Base-class for Float-variable implementations.
FloatVal dom
Domain information.
bool in(FloatNum n) const
Test whether n is contained in domain.
static ModEvent me(const ModEventDelta &med)
Project modification event for this variable type from med.
Float delta information for advisors.
FloatVal domain(void) const
Return domain.
int n
Number of negative literals for node type.
int ModEventDelta
Modification event deltas.
FloatVal val(void) const
Return value of domain (only if assigned)
FloatVarImp * copy(Space &home)
Return copy of this variable.
int p
Number of positive literals for node type.
const FloatNum max
Largest allowed float value.