always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix

Browse Source
This commit is contained in:
Laurent Perron
2019-05-27 16:25:42 +02:00
parent 8a48695ac8
commit 2ee67f50d1
1 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
examples/python/bus_driver_scheduling_sat.py
View File

@@ -157,7 +157,7 @@ def bus_driver_scheduling(minimize_drivers, max_num_drivers):
driving_times = []
working_drivers = []
# Objective
# Weighted Objective
delay_literals = []
delay_weights = []
@@ -186,7 +186,7 @@ def bus_driver_scheduling(minimize_drivers, max_num_drivers):
visit_node = performed[d, s]
# Arc from source to shift.
# - sets the start time of the driver
# - set the start time of the driver
# - increase driving time and driving time since break
source_lit = model.NewBoolVar('%i from source to %i' % (d, s))
arcs.append([0, s + 1, source_lit])
@@ -198,8 +198,8 @@ def bus_driver_scheduling(minimize_drivers, max_num_drivers):
starting_shifts[d, s] = source_lit
# Arc from shift to sink
# - sets the end time of the driver
# - sets the driving times of the driver
# - set the end time of the driver
# - set the driving times of the driver
sink_lit = model.NewBoolVar('%i from %i to sink' % (d, s))
arcs.append([s + 1, 0, sink_lit])
model.Add(end_times[d] == shift[4]).OnlyEnforceIf(sink_lit)
@@ -207,8 +207,8 @@ def bus_driver_scheduling(minimize_drivers, max_num_drivers):
sink_lit)
# Node not performed
# - sets both driving time to 0
# - adds a looping arc on the node
# - set both driving times to 0
# - add a looping arc on the node
model.Add(total_driving[d, s] == 0).OnlyEnforceIf(visit_node.Not())
model.Add(no_break_driving[d, s] == 0).OnlyEnforceIf(
visit_node.Not())
@@ -250,13 +250,13 @@ def bus_driver_scheduling(minimize_drivers, max_num_drivers):
model.Add(driving_times[d] == 0).OnlyEnforceIf(working.Not())
working_drivers.append(working)
arcs.append([0, 0, working.Not()])
# conditional working time constraints
# Conditional working time constraints
model.Add(end_times[d] - start_times[d] + setup_time + cleanup_time
<= max_working_time) # no need for enforcement
model.Add(end_times[d] - start_times[d] + setup_time + cleanup_time
>= min_working_time).OnlyEnforceIf(working)
else:
# working time constraints
# Working time constraints
model.Add(end_times[d] - start_times[d] <=
max_working_time - setup_time - cleanup_time)
model.Add(end_times[d] - start_times[d] >=