From a08593730c02ccbfee9ceb2b9e7de7bd6d9563f4 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Wed, 8 Dec 2021 10:18:53 +1100 Subject: [PATCH] Fix the bound of the number of tests --- dlmo.mzn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dlmo.mzn b/dlmo.mzn index ae3a685..7db58d2 100644 --- a/dlmo.mzn +++ b/dlmo.mzn @@ -14,10 +14,10 @@ array[Patient] of var Horizon: critical_sample = [ min([i | i in -5..1 where sam % --- Decisions --- % First occasion: var Horizon: first_sample; % When to start sampling on the first occasion -var 1..length(Horizon)-1: first_num_samples; % How many samples to take on the first occasion +var 2..length(Horizon): first_num_samples; % How many samples to take on the first occasion % Second occasion: -var 1..length(Horizon)-1: second_num_samples; % How many samples to take on the second occasion +var 2..length(Horizon): second_num_samples; % How many samples to take on the second occasion % (Assumption: If the levels were to high in all samples during the first occasion, then we sample `second_num_samples` ending with the `first_sample`. % If the levels were to low in all samples during the first occasion, then we sample `second_num_samples` from `first_sample + first_num_samples`.)