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