You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In the definition of variables, allow named int ranges and sets for value domains and in array ranges. Also allow to define and use two-dimensional arrays (in addition to one-dimensional).
Most probably, only the diagnosis component needs to be extended for this.
At the end it shall be possible, to diagnose MZN programs such as the following (extended sample.mzn):
% This is an explanatory example for minimal diagnoses.
% You may define constants and use them for domains of variables.
int: max = 4;
set of int: MaxRange = 1..max; %NEW
% Define only one variable in each row!
% Use only types int, min..max, enum and bool!
var 1..max: x1;
array[MaxRange, MaxRange] of var MaxRange: n; %NEW
...
The text was updated successfully, but these errors were encountered:
falknera
changed the title
Extend diagnosis: Allow named ranges and two-dimensional arrays
Extend diagnosis: allow named ranges and two-dimensional arrays
Dec 21, 2017
In the definition of variables, allow named int ranges and sets for value domains and in array ranges. Also allow to define and use two-dimensional arrays (in addition to one-dimensional).
Most probably, only the diagnosis component needs to be extended for this.
At the end it shall be possible, to diagnose MZN programs such as the following (extended sample.mzn):
The text was updated successfully, but these errors were encountered: