34 namespace Gecode {
namespace Int {
36 template<
class OptTask,
class PL>
41 if (t[
i].excluded()) {
49 template<
class OptTask,
class PL,
class Cap>
54 if (t[
i].excluded()) {
61 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.
void cancel(Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND)
Cancel subscription of propagator p for all tasks.
Gecode toplevel namespace
ExecStatus purge(Space &home, Propagator &p, TaskArray< OptTask > &t)
Purge optional tasks that are excluded and possibly rewrite propagator.
int size(void) const
Return size of array (number of elements)