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