36 namespace Gecode {
namespace Int {
namespace Unary {
56 for ( ; (e->type() ==
Event::LRT) && (e->time() == time); e++)
57 if (
t[e->idx()].mandatory()) {
58 tasks.
set(static_cast<unsigned int>(e->idx()));
63 for ( ; (e->type() ==
Event::LCT) && (e->time() == time); e++)
64 tasks.
clear(static_cast<unsigned int>(e->idx()));
67 for ( ; (e->type() ==
Event::EST) && (e->time() == time); e++)
68 tasks.
set(static_cast<unsigned int>(e->idx()));
71 for ( ; (e->type() ==
Event::ZRO) && (e->time() == time); e++)
78 for ( ; (e->type() ==
Event::ERT) && (e->time() == time); e++)
79 if (
t[e->idx()].mandatory()) {
80 tasks.
clear(static_cast<unsigned int>(e->idx()));
85 }
else if (
t[e->idx()].optional() && !free) {
93 if (
t[j.val()].mandatory())