38 namespace Gecode {
namespace Int {
namespace Unary {
44 sort<typename TaskTraits<Task>::TaskViewFwd,
STO_EST,
true>(f);
46 for (
int i=f.
size()-1;
i--; )
47 if (f[
i].lct() > f[
i+1].est())
ExecStatus ES_SUBSUMED(Propagator &p)
Base-class for propagators.
Sort by earliest start times.
int p
Number of positive literals for node type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int size(void) const
Return size of array (number of elements)
ExecStatus subsumed(Space &home, Propagator &p, TaskArray< Task > &t)
Check tasks t for subsumption.
Gecode toplevel namespace