34 namespace Gecode {
namespace Int {
namespace Unary {
40 sort<typename TaskTraits<Task>::TaskViewFwd,
STO_EST,
true>(
f);
42 for (
int i=f.
size()-1;
i--; )
43 if (f[
i].lct() > f[
i+1].est())
ExecStatus ES_SUBSUMED(Propagator &p)
int size(void) const
Return size of array (number of elements)
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)
Post propagator for f(x \diamond_{\mathit{op}} y) \sim_r z \f$ void rel(Home home
ExecStatus subsumed(Space &home, Propagator &p, TaskArray< Task > &t)
Check tasks t for subsumption.
Gecode toplevel namespace