38 namespace Gecode {
namespace Int {
namespace Cumulative {
40 template<
class ManTask,
class Cap>
55 template<
class OptTask,
class Cap>
ExecStatus optpost(Home home, Cap c, TaskArray< OptTask > &t, IntPropLevel ipl)
Gecode::FloatVal c(-8, 8)
Use basic propagation algorithm.
ExecStatus manpost(Home home, Cap c, TaskArray< ManTask > &t, IntPropLevel ipl)
Use advanced propagation algorithm.
IntPropLevel
Propagation levels for integer propagators.
IntPropLevel ba(IntPropLevel ipl)
Extract basic or advanced from propagation level.
Gecode toplevel namespace
static ExecStatus post(Home home, Cap c, TaskArray< ManTask > &t)
Post propagator that schedules tasks on cumulative resource.
Home class for posting propagators
#define GECODE_NEVER
Assert that this command is never executed.
static ExecStatus post(Home home, Cap c, TaskArray< OptTask > &t)
Post propagator that schedules tasks on cumulative resource.