Dekker1/dlmo-model
Archived
1
0
Fork 0
Code

Fix the bound of the number of tests

Browse Source
This commit is contained in:
Jip J. Dekker 2021-12-08 10:18:53 +11:00
parent 574aa7dcc3
commit a08593730c
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
dlmo.mzn
View File

@ -14,10 +14,10 @@ array[Patient] of var Horizon: critical_sample = [ min([i | i in -5..1 where sam
% --- Decisions --- % --- Decisions ---
% First occasion: % First occasion:
var Horizon: first_sample; % When to start sampling on the 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: % 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`. % (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`.) % 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`.)