41 namespace Gecode {
namespace Set {
68 if (
x.size() != sx.
size())
70 if ((
p < 0.0) || (
p > 1.0))
73 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)
union Gecode::@579::NNF::@61 u
Union depending on nodetype t.
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.
Iterator for the greatest lower bound ranges of a set variable.
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.
Post propagator for SetVar SetOpType SetVar SetRelType r
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)
Post propagator for SetVar x
Gecode toplevel namespace
Home class for posting propagators
Exception: Arguments are of different size