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;) {
IntPropLevel vbd(IntPropLevel ipl)
Extract value, bounds, or domain propagation from propagation level.
Binary domain consistent equality propagator.
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.
void unshare(Home home, IntVarArgs &x, IntPropLevel ipl)
Replace multiple variable occurences in x by fresh variables.
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 same(const VarImpVar< VarImp > &y) const
Test whether variable is the same as y.
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)