40 namespace Gecode {
namespace Int {
namespace Unary {
60 for ( ; (e->type() ==
Event::LRT) && (e->time() == time); e++)
61 if (
t[e->idx()].mandatory()) {
62 tasks.
set(
static_cast<unsigned int>(e->idx()));
67 for ( ; (e->type() ==
Event::LCT) && (e->time() == time); e++)
68 tasks.
clear(
static_cast<unsigned int>(e->idx()));
71 for ( ; (e->type() ==
Event::EST) && (e->time() == time); e++)
72 tasks.
set(
static_cast<unsigned int>(e->idx()));
75 for ( ; (e->type() ==
Event::ZRO) && (e->time() == time); e++)
82 for ( ; (e->type() ==
Event::ERT) && (e->time() == time); e++)
83 if (
t[e->idx()].mandatory()) {
84 tasks.
clear(
static_cast<unsigned int>(e->idx()));
89 }
else if (
t[e->idx()].optional() && !free) {
97 if (
t[j.val()].mandatory())