43namespace Gecode {
namespace Float {
69namespace Gecode {
namespace Float {
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.
Base-class for Float-variable implementations.
static void schedule(Gecode::Space &home, Gecode::Propagator &p, Gecode::ModEvent me)
Schedule propagator p.
Float variable implementation.
bool zero_in(void) const
Test whether 0 is contained in domain.
void subscribe(Space &home, Propagator &p, PropCond pc, bool schedule=true)
Subscribe propagator p with propagation condition pc to variable.
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.
void reschedule(Space &home, Propagator &p, PropCond pc)
Re-schedule propagator p with propagation condition pc.
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.
Base-class for propagators.
ModEvent fail(Space &home)
static ModEvent me(const ModEventDelta &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.