47 namespace Gecode {
namespace Float {
73 namespace Gecode {
namespace Float {
#define GECODE_FLOAT_EXPORT
bool assigned(void) const
Test whether variable is assigned.
FloatNum min(void) const
Return minimum of domain.
const FloatNum max
Largest allowed float value.
FloatVal dom
Domain information.
int ModEvent
Type for modification events.
Base-class for propagators.
bool in(FloatNum n) const
Test whether n is contained in domain.
FloatVal domain(void) const
Return domain.
FloatVarImp(Space &home, bool share, FloatVarImp &x)
Constructor for cloning x.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
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.
static ModEvent me(const ModEventDelta &med)
Project modification event for this variable type from med.
Float variable implementation.
FloatDelta(void)
Create float delta as providing no information.
int PropCond
Type for propagation conditions.
FloatNum size(void) const
Return width of domain (distance between maximum and minimum)
Float delta information for advisors.
FloatVarImp * copy(Space &home, bool share)
Return copy of this variable.
ModEvent eq(Space &home, FloatNum n)
Restrict domain values to be equal to n.
Generic domain change information to be supplied to advisors.
bool zero_in(void) const
Test whether 0 is contained in domain.
FloatVal val(void) const
Return value of domain (only if assigned)
void reschedule(Space &home, Propagator &p, PropCond pc)
Re-schedule propagator p with propagation condition pc.
ModEvent fail(Space &home)
Run advisors to be run on failure and returns ME_GEN_FAILED.
Post propagator for SetVar x
FloatNum med(void) const
Return median of domain (closest representation)
FloatNum max(void) const
Return maximum of domain.
ModEvent gq(Space &home, FloatNum n)
Restrict domain values to be greater or equal than n.
Gecode toplevel namespace
static void schedule(Gecode::Space &home, Gecode::Propagator &p, Gecode::ModEvent me)
Schedule propagator p.
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.
ModEvent lq(Space &home, FloatNum n)
Restrict domain values to be less or equal than n.