38 namespace Gecode {
namespace Int {
40 template<
class OptTask,
class PL>
45 if (
t[
i].excluded()) {
46 t[
i].cancel(home,
p,PL::pc);
t[
i]=
t[--
n];
53 template<
class OptTask,
class PL,
class Cap>
58 if (
t[
i].excluded()) {
59 t[
i].cancel(home,
p,PL::pc);
t[
i]=
t[--
n];
65 else if (
c.
min() <
t[0].c())
ExecStatus ES_SUBSUMED(Propagator &p)
Base-class for propagators.
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Gecode toplevel namespace
friend FloatVal min(const FloatVal &x, const FloatVal &y)
ExecStatus purge(Space &home, Propagator &p, TaskArray< OptTask > &t)
Purge optional tasks that are excluded and possibly rewrite propagator.