File: zimplerr.tex

package info (click to toggle)
zimpl 3.7.0%2Bds-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 4,772 kB
  • sloc: ansic: 21,719; yacc: 993; lex: 370; sh: 349; makefile: 278
file content (498 lines) | stat: -rw-r--r-- 23,700 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
\begin{description}
%
% zimpl.c
%
\item[101 Bad filename]\ \\
   The name given with the \code{-o} option is either missing, 
   a directory name, or starts with a dot.
\item[102 File write error]\ \\
   Some error occurred when writing to an output file. A description of 
   the error follows on the next line. For the meaning 
   consult your OS documentation.
\item[103 Output format not supported, using LP format]\ \\
   You tried to select another format than \code{lp}, \code{mps},
   \code{hum}, \code{rlp}, or \code{pip}.
\item[104 File open failed]\ \\
   Some error occurred when trying to open a file for writing. A description of 
   the error follows on the next line. For the meaning 
   consult your OS documentation.
%
% inst.c
%
\item[105 Duplicate constraint name ``xxx'']\ \\
   Two \code{subto} statements have the same name.
\item[106 Empty LHS, constraint trivially violated]\ \\
   One side of your constraint is empty and the other not equal to
   zero. Most frequently this happens, when a set to be summed up is empty.
\item[107 Range must be $l\leq x\leq u$, or $u \geq x\geq l$]\ \\
   If you specify a range you must have the same comparison operators
   on both sides.
\item[108 Empty Term with nonempty LHS/RHS, constraint trivially
   violated]\ \\
   The middle of your constraint is empty and either the left- or
   right-hand side of the range is not zero.
   This most frequently happens, when a set to be summed up is empty.
\item[109 LHS/RHS contradiction, constraint trivially violated]\ \\
   The lower side of your range is bigger than the upper side, e.g.
   $15\leq x\leq 2$. 
\item[110 Division by zero]\ \\
   You tried to divide by zero. This is not a good idea.
\item[111 Modulo by zero]\ \\
   You tried to compute a number modulo zero. This does not work well.
\item[112 Exponent value \code{xxx} is too big or not an integer]\ \\
   It is only allowed to raise a number to the power of integers. Also trying to
   raise a number to the power of more than two billion is 
   prohibited.\footnote{The behavior of this operation could 
   easily be implemented as \code{for(;;)} or in a more elaborate way as 
   \code{void f()\{f();\}}.}
\item[113 Factorial value \code{xxx} is too big or not an integer]\ \\
   You can only compute the factorial of integers.
   Also computing the factorial of a number bigger then two billion
   is generally a bad idea. See also Error 115.
\item[114 Negative factorial value]\ \\
   To compute the factorial of a number it has to be positive.
   In case you need it for a negative number, remember that for all 
   even numbers the outcome will be positive and for all odd number negative.
\item[115 Timeout!]\ \\
   You tried to compute a number bigger than $1000!$. 
   See also the footnote to Error 112.
\item[116 Illegal value type in min: \code{xxx} only numbers are
   possible]\ \\
   You tried to build the minimum of some strings.
\item[117 Illegal value type in max: \code{xxx} only numbers are
   possible]\ \\
   You tried to build the maximum of some strings.
\item[118 Comparison of different types]\ \\
   You tried to compare apples with oranges, i.e, numbers with
   strings. Note that the use of an undefined parameter can also
   lead to this message.
\item[119 \code{xxx} of sets with different dimension]\ \\
   To apply Operation \code{xxx} (union, minus, intersection, symmetric
   difference) on two sets, 
   both must have the same dimension tuples,\ie
   the tuples must have the same number of components.
\item[120 Minus of incompatible sets]\ \\
   To apply Operation \code{xxx} (union, minus, intersection, symmetric
   difference) on two sets, 
   both must have tuples of the same type,\ie
   the components of the tuples must have the same type (number,
   string).
\item[121 Negative exponent on variable]\ \\
   The exponent to a variable was negative. This is not supported.
%\item[122]\ \\
\item[123 ``from'' value \code{xxx} is too big or not an
   integer]\ \\
   To generate a set, the ``from'' number must be an integer with an
   absolute value of less than two billion.
\item[124 ``upto'' value \code{xxx} is too big or not an
   integer]\ \\
   To generate a set, the ``upto'' number must be an integer with an
   absolute value of less than two billion.
\item[125 ``step'' value \code{xxx} is too big or not an
   integer]\ \\
   To generate a set, the ``step'' number must be an integer with an
   absolute value of less than two billion.
\item[126 Zero ``step'' value in range]\ \\
   The given ``step'' value for the generation of a set is
   zero. So the ``upto'' value can never be reached. 
\item[127 Illegal value type in tuple: \code{xxx} only numbers are
   possible]\ \\
   The selection tuple in a call to the \code{proj} function can
   only contain numbers.
\item[128 Index value \code{xxx} in proj too big or not an integer]\ \\
   The value given in a selection tuple of a \code{proj} function is
   not an integer or bigger than two billion.
\item[129 Illegal index \code{xxx}, set has only dimension
   \code{yyy}]\ \\
   The index value given in a selection tuple is bigger than the
   dimension of the tuples in the set.
% Removed in 2.02
%\item[130 Duplicate index \code{xxx} for initialization]\ \\
%   In the initialization of a indexed set, two initialization elements
%   have the same index. 
%   E.g, \code{set A[] := $<$1$>$ \{ 1 \}, $<$1$>$ \{ 2 \};}
\item[131 Illegal element \code{xxx} for symbol]\ \\
   The index tuple used in the initialization list of a index set, is
   not member of the index set of the set.
   E.g, \code{set A[\{ 1 to 5 \}] := $<$1$>$ \{ 1 \}, $<$6$>$ \{ 2 \};}
\item[132 Values in parameter list missing, probably wrong read
  template]\ \\
  Probably the template of a read statement looks
  like \code{"$<$1n$>$"} only having a tuple, instead of \code{"$<$1n$>$ 2n"}.
\item[133 Unknown symbol \code{xxx}]\ \\
  A name was used that is not defined anywhere in scope.
\item[134 Illegal element \code{xxx} for symbol]\ \\
  The index tuple given in the initialization is not member of the
  index set of the parameter.
\item[135 Index set for parameter \code{xxx} is empty]\ \\
  The attempt was made to declare an indexed parameter with the
  empty set as index set. Most likely the index set has a \code{with}
  clause which has rejected all elements.
\item[136 Permutation on non one-dimensional set]\ \\
  Only sets with one dimension elements can be permuted.
\item[137 Set to permute is empty]\ \\
  The set to be permuted is empty.
\item[138 Set size \code{xxx} > 12 is too big]\ \\
  Since the resulting set will have number of elements of input set
  factorial elements, a set size of 12 is the maximum allowed.
\item[139 Lower bound for integral var \code{xxx} truncated to
  \code{yyy}] (warning)\ \\
  An integral variable can only have an integral bound. So the given
  non integral bound was adjusted.
\item[140 Upper bound for integral var \code{xxx} truncated to
  \code{yyy}] (warning)\ \\
  An integral variable can only have an integral bound. So the given
  non integral bound was adjusted.
\item[141 Infeasible due to conflicting bounds for var \code{xxx}]\ \\
  The upper bound given for a variable was smaller than the lower bound.
\item[142 Unknown index \code{xxx} for symbol \code{yyy}]\ \\
  The index tuple given is not member of the index set of the symbol.
\item[143 Size for subsets \code{xxx} is too big or not an integer]\ \\
  The cardinality for the subsets to generate must be given as an
  integer smaller than two billion.
\item[144 Tried to build subsets of empty set]\ \\
  The set given to build the subsets of, was the empty set.
\item[145 Illegal size for subsets \code{xxx}, should be between 1 
  and \code{yyy}]\ \\
  The cardinality for the subsets to generate must be between 1 
  and the cardinality of the base set.
\item[146 Tried to build powerset of empty set ]\ \\
  The set given to build the powerset of, was the empty set.
%
% iread.c
%
\item[147 use value \code{xxx} is too big or not an integer]\ \\
  The use value must be given as an integer smaller than two billion.
\item[148 use value \code{xxx} is not positive]\ \\
  Negative or zero values for the use parameter are not allowed.
\item[149 skip value \code{xxx} is too big or not an integer]\ \\
  The skip value must be given as an integer smaller than two billion.
\item[150 skip value \code{xxx} is not positive]\ \\
  Negative or zero values for the skip parameter are not allowed.
\item[151 Not a valid read template]\ \\
  A read template must look something like \code{"$<$1n,2n$>$"}.
  There have to be a $<$ and a $>$ in this order.
\item[152 Invalid read template syntax]\ \\
  Apart from any delimiters like \code{$<$}, \code{$>$}, and commas a
  template must consists of number character pairs like \code{1n}, \code{3s}.
\item[153 Invalid field number \code{xxx}]\ \\
  The field numbers in a template have to be between 1 and 255.
\item[154 Invalid field type \code{xxx}]\ \\
  The only possible field types are \code{n} and \code{s}.
\item[155 Invalid read template, not enough fields]\ \\
  There has to be at least one field inside the delimiters.
\item[156 Not enough fields in data]\ \\
  The template specified a field number that is higher than the actual
  number of field found in the data. 
\item[157 Not enough fields in data (value)]\ \\
  The template specified a field number that is higher than the actual
  number of field found in the data. The error occurred after the 
  index tuple in the value field.
%\item[158 ]\ \\

%
% code.c
%  
\item[159 Type error, expected \code{xxx} got \code{yyy}]\ \\
  The type found was not the expected one, e.g. subtracting 
  a string from a number would result in this message.
%
% elem.c
% 
\item[160 Comparison of elements with different types \code{xxx} /
  \code{yyy}]\ \\
  Two elements from different tuples were compared and found to be 
  of different types. 
%
% load.c
%
\item[161 Line \code{xxx}: Unterminated string]\ \\
  This line has an odd number of \code{"} characters. 
  A String was started, but not ended.
\item[162 Line \code{xxx}: Trailing \code{"yyy"} ignored] (warning)\ \\
  Something was found after the last semicolon in the file.
\item[163 Line \code{xxx}: Syntax Error]\ \\
  A new statement was not started with one of the keywords:
  \code{set}, \code{param}, \code{var}, \code{minimize}, 
  \code{maximize}, \code{subto}, or \code{do}.
%
% set.c
%
\item[164 Duplicate element \code{xxx} for set rejected] (warning)\ \\
   An element was added to a set that was already in it.
\item[165 Comparison of different dimension sets] (warning)\ \\
   Two sets were compared, but have different dimension tuples.
   (This means they never had a chance to
   be equal, other than being empty sets.)
%
% symbol.c
%
\item[166 Duplicate element \code{xxx} for symbol \code{yyy} rejected]
   (warning)\ \\
  An element that was already there was added to a symbol.
%
% tuple.c
%
\item[167 Comparison of different dimension tuples] (warning)\ \\
  Two tuples with different dimensions were compared.
%
% zimpl.c
%
\item[168 No program statements to execute]\ \\
  No \zimpl statements were found in the files loaded.
%
% code.c
%
\item[169 Execute must return void element]\ \\
  This should not happen. If you encounter
  this error please email the \code{.zpl} file to \url{mailto:koch@zib.de}.
%
% inst.c
%
\item[170 Uninitialized local parameter \code{xxx} in call of
  define \code{yyy}]\ \\
  A define was called and one of the arguments was a ``name'' 
  (of a variable) for which no value was defined.
\item[171 Wrong number of arguments (\code{xxx} instead of \code{yyy})
  for call of define \code{zzz}]\ \\
  A define was called with a different number of arguments than in
  its definition.
\item[172 Wrong number of entries (\code{xxx}) in table line, 
  expected \code{yyy} entries]\ \\
  Each line of a parameter initialization table must have
  exactly the same number of entries as the index (first) line of
  the table.
\item[173 Illegal type in element \code{xxx} for symbol]\ \\
  A parameter can only have a single value type. Either numbers or
  strings. In the initialization both types were present.
%
% iread.c
%
\item[174 Numeric field \code{xxx} read as \code{"yyy"}. This is not a
  number]\ \\
  It was tried to read a field with an 'n' designation in the template,
  but what was read is not a valid number.
%
% zimpl.c
%
\item[175 Illegal syntax for command line define \code{"xxx"} --
  ignored] (warning)\\
  A parameter definition using the command line \code{-D} flag, must
  have the form \code{name=value}. The \code{name} must be a legal
  identifier, \ie it has to start with a letter and may consist only out
  of letters and numbers including the underscore. 
%
% vinst.c
%
\item[176 Empty LHS, in Boolean constraint] (warning)\ \\
   The left hand side, \ie the term with the variables, is empty. 
\item[177 Boolean constraint not all integer]\ \\
   No continuous (real) variables are allowed in a Boolean constraint.
\item[178 Conditional always true or false due to bounds] (warning)\ \\
   All or part of a Boolean constraint are always either true or
   false, due to the bounds of variables.
\item[179 Conditional only possible on bounded constraints]\ \\
   A Boolean constraint has at least one variable without finite bounds.
\item[180 Conditional constraint always true due to bounds] (warning)\ \\
   The result part of a conditional constraint is always true anyway. 
   This is due to the bounds of the variables involved.
\item[181 Empty LHS, not allowed in conditional constraint]\ \\
   The result part of a conditional constraint may not be empty.
\item[182 Empty LHS, in variable vabs]\ \\
   There are no variables in the argument to a \code{vabs} function.
   Either everything is zero, or just use \code{abs}.
\item[183 vabs term not all integer]\ \\
   There are non integer variables in the argument to a \code{vabs} function.
   Due to numerical reasons continuous variables are not allowed as
   arguments to \code{vabs}. 
\item[184 vabs term not bounded]\ \\
   The term inside a \code{vabs} has at least one unbounded variable.
\item[185 Term in Boolean constraint not bounded]\ \\
   The term inside a \code{vif} has at least one unbounded variable.
%
% inst.c
%
\item[186 Minimizing over empty set -- zero assumed] (warning)\ \\
   The index expression for the minimization was empty. The result
   used for this expression was zero.
\item[187 Maximizing over empty set -- zero assumed] (warning)\ \\
   The index expression for the maximization was empty. The result
   used for this expression was zero.
\item[188 Index tuple has wrong dimension]\ \\
   The number of elements in an index tuple is different from the
   dimension of the tuples in the set that is indexed.
   This might occur, when the index tuple of an entry in a parameter initialization list has
   not the same dimension as the indexing set of the parameter. 
   This might occur, when the index tuple of an entry in a set
   initialization list has
   not the same dimension as the indexing set of the set. 
   If you use a \code{powerset} or \code{subset} instruction, the index
   set has to be one dimension.
\item[189 Tuple number \code{xxx} is too big or not an integer]\ \\
  The tuple number must be given as an integer smaller than two
  billion.
\item[190 Component number \code{xxx} is too big or not an integer]\ \\
  The component number must be given as an integer smaller than two
  billion.
\item[191 Tuple number \code{xxx} is not a valid value between 1..\code{yyy}]\ \\
  The tuple number must be between one and the cardinality of the set.
\item[192 Component number \code{xxx} is not a valid value between 1..\code{yyy}]\ \\
  The component number must be between one and the dimension of the set.
\item[193 Different dimension tuples in set initialization]\ \\
  The tuples that should be part of the list have different dimension.
\item[195 Genuine empty set as index set] (warning)\ \\
  The set of an index set is always the empty set.
\item[197 Empty index set for set]\ \\
  The index set for a set is empty.
\item[198 Incompatible index tuple]\ \\
  The index tuple given had fixed components. The type of such a
  component was not the same as the type of the same component of tuples
  from the set.
\item[199 Constants are not allowed in SOS declarations]\ \\
  When declaring an SOS, weights are only allowed together with
  variables. A weight alone does not make sense.
\item[200 Weights are not unique for SOS \code{xxx} (warning)]\ \\
  All weights assigned to variables in an special ordered set have to
  be unique. 
\item[201 Invalid read template, only one field allowed]\ \\
  When reading a single parameter value, the read template must
  consist of a single field specification.
\item[202 Indexing over empty set] (warning)\ \\
  The indexing set turns out to be empty.
\item[203 Indexing tuple is fixed] (warning)\ \\
  The indexing tuple of an index expression is completely fixed. As a
  result only this one element will be searched for.
\item[204 Random function parameter minimum= \code{xxx} $>=$ maximum=
  \code{yyy}]\ \\
  The second parameter to the function \code{random} has to be
  strictly greater than the first parameter.
\item[205 \code{xxx} excess entries for symbol \code{yyy} ignored ]
  (warning)\ \\
  When reading the data for symbol \code{yyy} there were 
  \code{xxx} more entries in the file than indices for the symbol.
  The excess entries were ignored.  
\item[206 argmin/argmax over empty set] (warning)\ \\
   The index expression for the \code{argmin} or \code{argmax} was
   empty. The result is the empty set.
\item[207 ``size'' value \code{xxx} is too big or not an integer]\ \\
   The size argument for an \code{argmin} or \code{argmax} function
   must be an integer with an absolute value of less than two billion.
\item[208 ``size'' value \code{xxx} not >= 1]\ \\
   The size argument for an \code{argmin} or \code{argmax} function
   must be at least one, since it represents the maximum cardinality
   of the resulting set.
\item[209 MIN of set with more than one dimension]\ \\
   The expressions \code{min(A)} is only allowed if the elements of 
   set A consist of 1-tuples containing numbers.  
\item[210 MAX of set with more than one dimension]\ \\
   The expressions \code{max(A)} is only allowed if the elements of 
   set A consist of 1-tuples containing numbers.  
\item[211 MIN of set containing non number elements]\ \\
   The expressions \code{min(A)} is only allowed if the elements of 
   set A consist of 1-tuples containing numbers.  
\item[212 MAX of set containing non number elements]\ \\
   The expressions \code{max(A)} is only allowed if the elements of 
   set A consist of 1-tuples containing numbers.  
\item[213 More than 65535 input fields in line \code{xxx} of
   \code{yyy} (warning)]\ \\
   Input data beyond field number 65535 in line \code{xxx} of file
   \code{yyy} are ignored. Insert some newlines into your data!
\item[214 Wrong type of set elements -- wrong read template?]\ \\
   Most likely you have tried read in a set from a stream using
   \code{"n+"} instead of \code{"<n+>"} in the template. 
\item[215 Startvals violate constraint, \ldots (warning)]\ \\
   If the given startvals are summed up, they violate the
   constraint. Details about the sum of the LHS and the RHS are given
   in the message.
\item[216 Redefinition of parameter \code{xxx} ignored]\ \\
   A parameter was declared a second time with the same name. The
   typical use would be to declare default values for a parameter in
   the \zimpl file and override them by command-line defined.
\item[217 begin value \code{xxx} in substr too big or not an integer]\ \\
   The begin argument for an \code{substr} function
   must be an integer with an absolute value of less than two billion.
\item[218 length value \code{xxx} in substr too big or not an integer]\ \\
   The length argument for an \code{substr} function
   must be an integer with an absolute value of less than two billion.
\item[219 length value \code{xxx} in substr is negative]\ \\
   The length argument for an \code{substr} function
   must be greater or equal to zero.
\item[220 Illegal size for subsets \code{xxx}, should be between \code{yyy} 
  and \code{zzz}]\ \\
  The cardinality of the subsets to generate must be between the
  given lower bound and the cardinality of the base set.
%\item[221 The objective function has to be linear or quadratic]\ \\
%   Only objective functions with linear or quadratic constraints are allowed.
% vinst.c
\item[222 Term inside a then or else constraint not linear]\ \\
  The term inside a \code{then} or \code{else} is not linear.
% inst.c
\item[223 Objective function \code{xxx} overwrites existing one
  (warning)]\ \\
  Another objective function declaration has been encountered,
  superceeding the previous one. 
% xlpglue.c
\item[301 variable priority has to be integral] (warning)\ \\
   If branching priorities for variables are given, these have to be integral.
\item[302 SOS priority has to be integral] (warning)\ \\
   If SOS priorities are given, these have to be integral.
   %
\item [401 Slack too large (\code{xxx}) for QUBO conversion]
   The upper bound of the slack needed for this constraint is more then
   $2^{30}$.   
\item [403 Non linear term can't be converted to QUBO]\ \\
  Only linear terms can be automatically converted into a QUBO.
\item [404 Non linear expressions can't be converted to QUBO]\ \\
  Only linear expressions without indicator constraints can be
  automatically converted into a QUBO. 
\item[600 File format can only handle linear and quadratic constraints
         (warning)]\ \\
  The chosen file format can currently only handle linear and
  quadratic constraints. Higher degree constraints were ignored.
\item[601 File format can only handle binary variables] (warning)]\ \\
  The chosen file format can only handle binary variables. 
  Variables of other types will be ignored.
\item[602 QUBO file format can only handle linear and quadratic term
         (warning)]\ \\
  By definition the QUBO file format can only handle linear and
  quadratic terms. No file can be written.
%
% space here
%
% 
% numbgmp.c
%
\item[700 log(): \code{OS specific domain or range error message}]\ \\
  Function \code{log} was called with a zero or negative argument, or
the argument was too small to be represented as a \code{double}.
\item[701 sqrt(): \code{OS specific domain error message}]\ \\
  Function \code{sqrt} was called with a negative argument.
\item[702 ln(): \code{OS specific domain or range error message}]\ \\
  Function \code{ln} was called with a zero or negative argument, or
  the argument was too small to be represented as a \code{double}.
%\item[]\ \\
%\item[]\ \\
%\item[]\ \\
%\item[]\ \\
%\item[]\ \\
%\item[]\ \\
%\item[]\ \\
% mmlscan.l
\item[800 parse error: expecting \code{xxx} (or \code{yyy})]\ \\
  Parsing error. What was found was not what was expected.
  The statement you entered is not valid.
\item[801 Parser failed]\ \\
  The parsing routine failed. This should not happen. If you encounter
  this error, please email the \code{.zpl} file to \url{mailto:koch@zib.de}.
\item[802 Regular expression error]\ \\
  A regular expression given to the \code{match} parameter of a
  \code{read} statement was not valid. See error messages for details.
\item[803 String too long \code{xxx} $>$ \code{yyy}]\ \\
  The program encountered a string which is larger than 1 GB. 
%
% inst.c
%
\item[900 Check failed!]\ \\
  A \code{check} instruction did not evaluate to true. 
\end{description}