41 namespace Gecode {
namespace Set {
69 if ((p < 0.0) || (p > 1.0))
72 Search::relax<SetVarArgs,Set::Relax>(home,
x,sx,
r,
p,ir);
Exception: Value out of limits
int size(void) const
Return size of array (number of elements)
ExecStatus operator()(Home home, IntVar x, IntVar sx)
Post the actual equality for non-relaxed variables.
int p
Number of positive literals for node type.
union Gecode::@554::NNF::@60 u
Union depending on nodetype t.
Iterator for the greatest lower bound ranges of a set variable.
ModEvent includeI(Space &home, I &i)
Include range sequence described by i in greatest lower bound.
Iterator for the least upper bound ranges of a set variable.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
ModEvent intersectI(Space &home, I &iter)
Intersect least upper bound with range sequence described by i.
Set view for set variables
Class for posting equalities for non-relaxed variables.
void relax(Home home, const FloatVarArgs &x, const FloatVarArgs &sx, Rnd r, double p)
Node * x
Pointer to corresponding Boolean expression node.
Gecode toplevel namespace
Home class for posting propagators
Exception: Arguments are of different size