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,ipl);
IntPropLevel vbd(IntPropLevel ipl)
Extract value, bounds, or domain propagation from propagation level.
int size(void) const
Return size of array (number of elements)
Binary domain consistent equality propagator.
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.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
n-ary Boolean equality propagator
Simple propagation levels.
Binary bounds consistent equality propagator.
Boolean equality propagator.
Passing integer variables.
Passing Boolean variables.
Boolean integer variables.
Post propagator for SetVar SetOpType SetVar SetRelType r
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
IntPropLevel
Propagation levels for integer propagators.
ExecStatus link(Home home, IntVar **x, int n, IntPropLevel ipl)
Return a fresh yet equal integer variable.
Post propagator for SetVar SetOpType SetVar y
Base class for variables.
Sort order for variables.
bool assigned(View x, int v)
Whether x is assigned to value v.
Domain propagation Preferences: prefer speed or memory.
Post propagator for SetVar x
n-ary bounds consistent equality propagator
ExecStatus unshare(Home home, VarArgArray< Var > &x, IntPropLevel ipl)
Replace unassigned shared variables by fresh, yet equal variables.
Gecode toplevel namespace
Argument array for variables.
#define GECODE_POST
Check for failure in a constraint post function.
Home class for posting propagators
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
bool operator()(const Var *a, const Var *b)