C++ Reference: class ReservoirTimeTabling

Note: This documentation is automatically generated.

The piecewise constant function must be below the given capacity. The initial function value is zero. Note that a negative capacity will thus be trivially infeasible.

Note that we take for the definition of the function at time t to be the sum of all delta with time <= t. But because we check for the capacity over the full horizon, we could have taken < t with no behavior change.
Method
Propagate

Return type: bool

ReservoirTimeTabling

Arguments: const std::vector<AffineExpression>& times, const std::vector<IntegerValue>& deltas, const std::vector<Literal>& presences, IntegerValue capacity, Model* model