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