34namespace Gecode {
namespace Int {
36 template<
class OptTask,
class PL>
41 if (
t[i].excluded()) {
42 t[i].cancel(home,
p,PL::pc);
t[i]=
t[--
n];
49 template<
class OptTask,
class PL,
class Cap>
54 if (
t[i].excluded()) {
55 t[i].cancel(home,
p,PL::pc);
t[i]=
t[--
n];
61 else if (c.
min() <
t[0].c())
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
friend FloatVal min(const FloatVal &x, const FloatVal &y)
Base-class for propagators.
struct Gecode::Space::@61::@63 c
Data available only during copying.
ExecStatus ES_SUBSUMED(Propagator &p)
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
ExecStatus purge(Space &home, Propagator &p, TaskArray< OptTask > &t)
Purge optional tasks that are excluded and possibly rewrite propagator.
Gecode toplevel namespace
@ ES_OK
Execution is okay.