34namespace Gecode {
namespace Int {
namespace Cumulative {
47 for ( ; (e->type() ==
Event::LRT) && (e->time() == time); e++)
50 for ( ; (e->type() ==
Event::ZRO) && (e->time() == time); e++)
51 if (c <
t[e->idx()].c())
54 for ( ; (e->type() ==
Event::ERT) && (e->time() == time); e++) {
int p
Number of positive literals for node type.
Time-tabling event for task.
static Event * events(Region &r, const TaskArray< Task > &t, bool &assigned)
Allocate from r and initialize event array with tasks t.
@ ZRO
Zero-length task start time.
@ ERT
Earliest required time of task.
@ LRT
Latest required time of task.
Base-class for propagators.
ExecStatus ES_SUBSUMED(Propagator &p)
ExecStatus subsumed(Space &home, Propagator &p, int c, TaskArray< Task > &t)
Check for subsumption (all tasks must be assigned)
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
@ ES_OK
Execution is okay.
@ ES_FAILED
Execution has resulted in failure.