41namespace Gecode {
namespace Float {
218 : perform_copy(home);
223 FloatVarImp::perform_copy(
Space& home) {
int n
Number of negative literals for node type.
Generic domain change information to be supplied to advisors.
bool zero_in(void) const
Test whether zero is included.
bool in(FloatNum n) const
Test whether n is included.
FloatNum med(void) const
Return median of float value.
friend FloatVal max(const FloatVal &x, const FloatVal &y)
friend FloatVal min(const FloatVal &x, const FloatVal &y)
bool tight(void) const
Test whether float is tight.
FloatNum size(void) const
Return size of float value (distance between maximum and minimum)
Float delta information for advisors.
Base-class for Float-variable implementations.
Gecode::ModEvent notify(Gecode::Space &home, Gecode::ModEvent me, Gecode::Delta &d)
Notify that variable implementation has been modified with modification event me and delta informatio...
Float variable implementation.
bool zero_in(void) const
Test whether 0 is contained in domain.
FloatNum min(void) const
Return minimum of domain.
FloatVarImp(Space &home, FloatVarImp &x)
Constructor for cloning x.
ModEvent eq(Space &home, FloatNum n)
Restrict domain values to be equal to n.
FloatNum max(void) const
Return maximum of domain.
FloatVal val(void) const
Return value of domain (only if assigned)
FloatVal dom
Domain information.
bool in(FloatNum n) const
Test whether n is contained in domain.
FloatVarImp * copy(Space &home)
Return copy of this variable.
FloatNum size(void) const
Return width of domain (distance between maximum and minimum)
FloatNum med(void) const
Return median of domain (closest representation)
ModEvent lq(Space &home, FloatNum n)
Restrict domain values to be less or equal than n.
ModEvent gq(Space &home, FloatNum n)
Restrict domain values to be greater or equal than n.
bool assigned(void) const
Test whether variable is assigned.
FloatVal domain(void) const
Return domain.
ModEvent fail(Space &home)
VarImp * forward(void) const
static ModEvent me(const ModEventDelta &med)
static ModEventDelta med(ModEvent me)
int ModEventDelta
Modification event deltas.
double FloatNum
Floating point number base type.
bool subset(const FloatVal &x, const FloatVal &y)
const Gecode::ModEvent ME_FLOAT_VAL
Domain operation has resulted in a value (assigned variable)
bool overlap(const FloatVal &x, const FloatVal &y)
FloatVal intersect(const FloatVal &x, const FloatVal &y)
const Gecode::ModEvent ME_FLOAT_BND
Domain operation has changed the minimum or maximum of the domain.
const Gecode::ModEvent ME_FLOAT_NONE
Domain operation has not changed domain.
Gecode toplevel namespace
void dom(Home home, FloatVar x, FloatVal n)
Propagates .
Post propagator for SetVar x
int ModEvent
Type for modification events.
#define GECODE_ASSUME(p)
Assert certain property.