41 namespace Gecode {
namespace Float {
65 if ((p < 0.0) || (p > 1.0))
68 Search::relax<FloatVarArgs,Float::Relax>(home,
x,sx,
r,
p,fr);
Class for posting equalities for non-relaxed variables.
int size(void) const
Return size of array (number of elements)
Exception: Value out of limits
FloatVal val(void) const
Return assigned value.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
int p
Number of positive literals for node type.
Execution has resulted in failure.
Float view for float variables.
Post propagator for SetVar SetOpType SetVar SetRelType r
void relax(Home home, const FloatVarArgs &x, const FloatVarArgs &sx, Rnd r, double p)
Exception: Arguments are of different size
Post propagator for SetVar x
Gecode toplevel namespace
Home class for posting propagators
ExecStatus operator()(Home home, FloatVar x, FloatVar sx)
Post the actual equality for non-relaxed variables.
bool me_failed(ModEvent me)
Check whether modification event me is failed.