Commit 8e81f836 authored by Vladislav Kiselev's avatar Vladislav Kiselev

Bug fixed.

parent 67d4ca3f
...@@ -436,7 +436,7 @@ subject to { ...@@ -436,7 +436,7 @@ subject to {
forall (op in 1..n_operations, t in 0..(n_intervals + 1) : (is_moving_operation[op] == 0)) ( forall (op in 1..n_operations, t in 0..(n_intervals + 1) : (is_moving_operation[op] == 0)) (
(cargo_op_intensity[op, t] > 0) => (op_status[op, t] == 1) (cargo_op_intensity[op, t] > 0) => (op_status[op, t] == 1)
); );
forall (op in 1..n_operations, t in 0..(n_intervals + 1) : (is_moving_operation[op] == 0)) ( forall (op in 1..n_operations, t in 0..(n_intervals + 1) : (is_moving_operation[op] == 1)) (
cargo_op_intensity[op, t] == 0 cargo_op_intensity[op, t] == 0
); );
forall (op in 1..n_operations, t in 0..(n_intervals + 1) : (is_moving_operation[op] == 0)) ( forall (op in 1..n_operations, t in 0..(n_intervals + 1) : (is_moving_operation[op] == 0)) (
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment