48 namespace Int {
namespace Unshare {
67 for (
int i=1;
i<
n;
i++)
93 for (
int i=1;
i<
n;
i++)
117 Support::quicksort<Var*,VarPtrLess<Var> >(y,
n,vpl);
120 for (
int i=0;
i<
n;) {
122 while ((
i<n) && y[j]->same(*y[
i]))
125 link(home,&y[j],i-j,icl);
134 if (home.
failed())
return;
140 if (home.
failed())
return;
bool failed(void) const
Check whether corresponding space is failed.
IntConLevel
Consistency levels for integer propagators.
Binary domain consistent equality propagator.
int size(void) const
Return size of array (number of elements)
T * alloc(long unsigned int n)
Allocate block of n objects of type T from region.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
n-ary domain consistent equality propagator
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
ExecStatus link(Home home, IntVar **x, int n, IntConLevel icl)
Return a fresh yet equal integer variable.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
n-ary Boolean equality propagator
Binary bounds consistent equality propagator.
void unshare(Home home, IntVarArgs &x, IntConLevel icl)
Replace multiple variable occurences in x by fresh variables.
Boolean equality propagator.
Passing integer variables.
ExecStatus unshare(Home home, VarArgArray< Var > &x, IntConLevel icl)
Replace unassigned shared variables by fresh, yet equal variables.
Passing Boolean variables.
Boolean integer variables.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Base class for variables.
Node * x
Pointer to corresponding Boolean expression node.
Sort order for variables.
bool assigned(View x, int v)
Whether x is assigned to value v.
The default consistency for a constraint.
n-ary bounds consistent equality propagator
Gecode toplevel namespace
Argument array for variables.
Home class for posting propagators
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
bool operator()(const Var *a, const Var *b)
Domain propagation or consistency.