...
Note that you may use a simpler syntax in other MiniZinc versions.
For generic model model generic_attributes.mzn, this is one possible data input file (lines starting with % are comments, and they are not needed in the file):
| Code Block |
|---|
numElements |
| Code Block |
maxTime = 53; numLoaders = 1; maxTime = 5; noConflict = [| true , true , true , true , true | true , true , true , true , true | false , true , false , true , false |]; elementSlotCapacity false= [1, false 2, false 1, false 3, false3]; % | true , false , true , false , true |]; slotCapacity = [5, 5, 5, 5, 5]; Since the (unique) loader has virtually % infinity capacity, we assign the number % of elements as capacity. loaderCapacity = [| 53, 53, 53, 53, 5 3 |]; numAttributes = 0; attributesRange = []; % attributes = []; does not work on version 2.2.1 attributes = array2d(1..numElements, 1..numAttributes, []); % attributeConcurrencyLimit = []; does not work on version 2.2.1 attributeConcurrencyLimit = array2d(1..numAttributes, 1..maxTime, []); |
This request will represent the information gathered by the Scheduler Optimizer to be passed to the Mini Zinc schedule optimizer engine.
...