14#ifndef OR_TOOLS_SAT_CUMULATIVE_ENERGY_H_
15#define OR_TOOLS_SAT_CUMULATIVE_ENERGY_H_
40 SchedulingConstraintHelper* helper,
47 SchedulingConstraintHelper* helper,
60 const std::vector<AffineExpression> energies_;
67 std::vector<int> task_to_start_event_;
70 std::vector<TaskTime> start_event_task_time_;
71 std::vector<bool> start_event_is_present_;
void RegisterWith(GenericLiteralWatcher *watcher)
CumulativeEnergyConstraint(std::vector< AffineExpression > energies, AffineExpression capacity, IntegerTrail *integer_trail, SchedulingConstraintHelper *helper)
void AddCumulativeOverloadChecker(const std::vector< AffineExpression > &demands, AffineExpression capacity, SchedulingConstraintHelper *helper, Model *model)
void AddCumulativeEnergyConstraint(std::vector< AffineExpression > energies, AffineExpression capacity, SchedulingConstraintHelper *helper, Model *model)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...