image/svg+xml
# vaccines
Paris
Lille
R
W
R
W
We acquired 1000 doses!
x + 1000
x + 500
We acquired 500 doses!
???
T0: 5000
R
W
AcqDoses(1000)
R
W
AcqDoses(500)
T1: 6000
T2: 6500
T0: 5000
R
W
R
W
T1: [(T0, 6000),(T0, 5500)]
R
Now solve this!And write back!
x + 1000
x + 500
T0: (⊥, 5000)
W
W
incr(1000)
incr(500)
T1: (5000, {(a, 1000), (b, 500)})
R
6500
T0: (5000, ∅)