34namespace Gecode {
namespace Int {
namespace Unary {
40 sort<typename TaskTraits<Task>::TaskViewFwd,
STO_EST,
true>(
f);
42 for (
int i=1;
i<
f.size();
i++)
43 if (
f[
i-1].lct() >
f[
i].est())
int p
Number of positive literals for node type.
Base-class for propagators.
ExecStatus ES_SUBSUMED(Propagator &p)
ExecStatus subsumed(Space &home, Propagator &p, TaskArray< Task > &t)
Check tasks t for subsumption.
@ STO_EST
Sort by earliest start times.
Gecode toplevel namespace
@ ES_OK
Execution is okay.
Gecode::IntArgs i({1, 2, 3, 4})