From d82875516767c215000c1db2fae7daa0759e5cd5 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Tue, 27 Jul 2021 22:29:02 +1000 Subject: [PATCH] Fix long line in intro example code --- assets/listing/intro_open_shop.mod | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/assets/listing/intro_open_shop.mod b/assets/listing/intro_open_shop.mod index dc3c570..f0e379a 100644 --- a/assets/listing/intro_open_shop.mod +++ b/assets/listing/intro_open_shop.mod @@ -6,10 +6,10 @@ var start {1..Machines, 1..Jobs} integer >= 0;@\Vlabel{line:intro:var:start}@ var end_time integer >= 0;@\Vlabel{line:intro:var:end}@ minimize goal: end_time;@\Vlabel{line:intro:goal}@ -subject to job_exclusive {m in 1..Machines, j1 in 1..Jobs, j2 in j1+1..Jobs}:@\Vlabel{line:intro:con:start}@ +subject to job_excl {m in 1..Machines, j1 in 1..Jobs, j2 in j1+1..Jobs}:@\Vlabel{line:intro:con:start}@ start[m,j1] + Duration[m,j1] <= start[m,j2] or start[m,j2] + Duration[m,j2] <= start[m,j1]; -subject to machine_exclusive {j in 1..Jobs, m1 in 1..Machines, m2 in m1+1..Machines}: +subject to machine_excl {j in 1..Jobs, m1 in 1..Machines, m2 in m1+1..Machines}: start[m1,j] + Duration[m1,j] <= start[m2,j] or start[m2,j] + Duration[m2,j] <= start[m1,j]; subject to push_end_time {m in 1..Machines, j in 1..Jobs}: