Generated on Tue May 22 09:40:28 2018 for Gecode by doxygen 1.6.3

subsumption.hpp File Reference

Go to the source code of this file.


namespace  Gecode

Gecode toplevel namespace

namespace  Gecode::Int

Finite domain integers.

namespace  Gecode::Int::Cumulative

Scheduling for cumulative resources


template<class Task >
ExecStatus Gecode::Int::Cumulative::subsumed (Space &home, Propagator &p, int c, TaskArray< Task > &t)
 Check for subsumption (all tasks must be assigned).