43 namespace Gecode {
namespace Float {
69 namespace Gecode {
namespace Float {
109 bool zero_in(
void)
const;
#define GECODE_FLOAT_EXPORT
const FloatNum max
Largest allowed float value.
FloatVal dom
Domain information.
int ModEvent
Type for modification events.
Base-class for propagators.
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.
Float variable implementation.
FloatDelta(void)
Create float delta as providing no information.
int PropCond
Type for propagation conditions.
void subscribe(Space &home, Propagator &p, IntSet &y)
Float delta information for advisors.
unsigned int size(I &i)
Size of all ranges of range iterator i.
Generic domain change information to be supplied to advisors.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
bool assigned(View x, int v)
Whether x is assigned to value v.
Post propagator for SetVar x
Gecode toplevel namespace
void reschedule(Space &home, Propagator &p, IntSet &y)
Base-class for Float-variable implementations.
int ModEventDelta
Modification event deltas.
double FloatNum
Floating point number base type.