47 namespace Gecode {
namespace Float {
73 namespace Gecode {
namespace Float {
#define GECODE_FLOAT_EXPORT
FloatNum min(void) const
Return minimum of domain.
bool assigned(void) const
Test whether variable is assigned.
const FloatNum max
Largest allowed float value.
void cancel(Space &home, Propagator &p, PropCond pc)
Cancel subscription of propagator p with propagation condition pc.
FloatVal dom
Domain information.
bool zero_in(void) const
Test whether 0 is contained in domain.
int ModEvent
Type for modification events.
static void schedule(Space &home, Propagator &p, ModEvent me, bool force=false)
Schedule propagator p with modification event me.
Base-class for propagators.
FloatVarImp(Space &home, bool share, FloatVarImp &x)
Constructor for cloning x.
FloatNum size(void) const
Return width of domain (distance between maximum and minimum)
int p
Number of positive literals for node type.
const FloatNum min
Smallest allowed float value.
int n
Number of negative literals for node type.
FloatNum med(void) const
Return median of domain (closest representation)
static ModEvent me(const ModEventDelta &med)
Project modification event for this variable type from med.
bool in(FloatNum n) const
Test whether n is contained in domain.
Float variable implementation.
FloatDelta(void)
Create float delta as providing no information.
int PropCond
Type for propagation conditions.
Float delta information for advisors.
FloatVarImp * copy(Space &home, bool share)
Return copy of this variable.
FloatVal val(void) const
Return value of domain (only if assigned)
ModEvent eq(Space &home, FloatNum n)
Restrict domain values to be equal to n.
Node * x
Pointer to corresponding Boolean expression node.
Generic domain change information to be supplied to advisors.
FloatVal domain(void) const
Return domain.
ModEvent gq(Space &home, FloatNum n)
Restrict domain values to be greater or equal than n.
Gecode toplevel namespace
FloatNum max(void) const
Return maximum of domain.
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p with propagation condition pc to variable.
Base-class for Float-variable implementations.
int ModEventDelta
Modification event deltas.
double FloatNum
Floating point number base type.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
ModEvent lq(Space &home, FloatNum n)
Restrict domain values to be less or equal than n.