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.