C++ Reference: class CumulativeIsAfterSubsetConstraint

Note: This documentation is automatically generated.

Given that the "tasks" are part of a cumulative constraint, this adds a constraint that propagate the fact that: var >= max(end of substasks) + offset.

TODO(user): I am not sure this is the best way, but it does at least push the level zero bound on the large cumulative instances.
Method
CumulativeIsAfterSubsetConstraint

Arguments: IntegerVariable var, AffineExpression capacity, const std::vector<int>& subtasks, const std::vector<IntegerValue>& offsets, SchedulingConstraintHelper* helper, SchedulingDemandHelper* demands, Model* model

Propagate

Return type: bool

RegisterWith

Return type: void

Arguments: GenericLiteralWatcher* watcher