Scippy

SCIP

Solving Constraint Integer Programs

reader_gms.c
Go to the documentation of this file.
1 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
2 /* */
3 /* This file is part of the program and library */
4 /* SCIP --- Solving Constraint Integer Programs */
5 /* */
6 /* Copyright (C) 2002-2016 Konrad-Zuse-Zentrum */
7 /* fuer Informationstechnik Berlin */
8 /* */
9 /* SCIP is distributed under the terms of the ZIB Academic License. */
10 /* */
11 /* You should have received a copy of the ZIB Academic License */
12 /* along with SCIP; see the file COPYING. If not email to scip@zib.de. */
13 /* */
14 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
15 
16 /**@file reader_gms.c
17  * @brief GAMS file writer
18  * @author Ambros Gleixner
19  * @author Stefan Vigerske
20  *
21  * @todo Check for words reserved for GAMS.
22  */
23 
24 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
25 
26 #include <stdlib.h>
27 #include <assert.h>
28 #include <string.h>
29 
30 #ifdef WITH_GAMS
31 #include <sys/stat.h>
32 
33 #include "gmomcc.h"
34 #include "gevmcc.h"
35 
36 #include "reader_gmo.h"
37 #endif
38 
39 #include "scip/reader_gms.h"
40 #include "scip/cons_knapsack.h"
41 #include "scip/cons_linear.h"
42 #include "scip/cons_logicor.h"
43 #include "scip/cons_quadratic.h"
44 #include "scip/cons_soc.h"
45 #include "scip/cons_sos1.h"
46 #include "scip/cons_sos2.h"
47 #include "scip/cons_setppc.h"
48 #include "scip/cons_varbound.h"
49 #include "scip/cons_indicator.h"
50 #include "scip/cons_abspower.h"
51 #include "scip/cons_nonlinear.h"
52 #include "scip/cons_bivariate.h"
53 #include "scip/pub_misc.h"
54 
55 #define READER_NAME "gmsreader"
56 #define READER_DESC "file writer for MI(NL)(SOC)Ps in GAMS file format"
57 #define READER_EXTENSION "gms"
58 
59 
60 #define GMS_MAX_LINELEN 256
61 #define GMS_MAX_PRINTLEN 256 /**< the maximum length of any line is 255 + '\\0' = 256*/
62 #define GMS_MAX_NAMELEN 64 /**< the maximum length for any name is 63 + '\\0' = 64 */
63 #define GMS_PRINTLEN 100
64 #define GMS_DEFAULT_BIGM 1e+6
65 #define GMS_DEFAULT_INDICATORREFORM 's'
66 #define GMS_DEFAULT_SIGNPOWER FALSE
67 
68 /*
69  * Local methods (for writing)
70  */
71 
72 static const char badchars[] = "#*+/-@$";
73 
74 /** transforms given variables, scalars, and constant to the corresponding active variables, scalars, and constant */
75 static
76 SCIP_RETCODE getActiveVariables(
77  SCIP* scip, /**< SCIP data structure */
78  SCIP_VAR** vars, /**< vars array to get active variables for */
79  SCIP_Real* scalars, /**< scalars a_1, ..., a_n in linear sum a_1*x_1 + ... + a_n*x_n + c */
80  int* nvars, /**< pointer to number of variables and values in vars and vals array */
81  SCIP_Real* constant, /**< pointer to constant c in linear sum a_1*x_1 + ... + a_n*x_n + c */
82  SCIP_Bool transformed /**< transformed constraint? */
83  )
84 {
85  int requiredsize;
86  int v;
87 
88  assert( scip != NULL );
89  assert( vars != NULL );
90  assert( scalars != NULL );
91  assert( nvars != NULL );
92  assert( constant != NULL );
93 
94  if( transformed )
95  {
96  SCIP_CALL( SCIPgetProbvarLinearSum(scip, vars, scalars, nvars, *nvars, constant, &requiredsize, TRUE) );
97 
98  if( requiredsize > *nvars )
99  {
100  SCIP_CALL( SCIPreallocBufferArray(scip, &vars, requiredsize) );
101  SCIP_CALL( SCIPreallocBufferArray(scip, &scalars, requiredsize) );
102 
103  SCIP_CALL( SCIPgetProbvarLinearSum(scip, vars, scalars, nvars, requiredsize, constant, &requiredsize, TRUE) );
104  assert( requiredsize <= *nvars );
105  }
106  }
107  else
108  {
109  for( v = 0; v < *nvars; ++v )
110  {
111  SCIP_CALL( SCIPvarGetOrigvarSum(&vars[v], &scalars[v], constant) );
112  }
113  }
114  return SCIP_OKAY;
115 }
116 
117 /** clears the given line buffer */
118 static
119 void clearLine(
120  char* linebuffer, /**< line */
121  int* linecnt /**< number of characters in line */
122  )
123 {
124  assert( linebuffer != NULL );
125  assert( linecnt != NULL );
126 
127  (*linecnt) = 0;
128  linebuffer[0] = '\0';
129 }
130 
131 /** ends the given line with '\\0' and prints it to the given file stream */
132 static
133 void endLine(
134  SCIP* scip, /**< SCIP data structure */
135  FILE* file, /**< output file (or NULL for standard output) */
136  char* linebuffer, /**< line */
137  int* linecnt /**< number of characters in line */
138  )
139 {
140  assert( scip != NULL );
141  assert( linebuffer != NULL );
142  assert( linecnt != NULL );
143 
144  if( (*linecnt) > 0 )
145  {
146  linebuffer[(*linecnt)] = '\0';
147  SCIPinfoMessage(scip, file, "%s\n", linebuffer);
148  clearLine(linebuffer, linecnt);
149  }
150 }
151 
152 /** appends extension to line and prints it to the give file stream if the
153  * line exceeded the length given in the define GMS_PRINTLEN */
154 static
155 void appendLine(
156  SCIP* scip, /**< SCIP data structure */
157  FILE* file, /**< output file (or NULL for standard output) */
158  char* linebuffer, /**< line */
159  int* linecnt, /**< number of characters in line */
160  const char* extension /**< string to extend the line */
161  )
162 {
163  size_t len;
164  assert( scip != NULL );
165  assert( linebuffer != NULL );
166  assert( linecnt != NULL );
167  assert( extension != NULL );
168  assert( strlen(linebuffer) + strlen(extension) < GMS_MAX_PRINTLEN );
169 
170  /* NOTE: avoid
171  * sprintf(linebuffer, "%s%s", linebuffer, extension);
172  * because of overlapping memory areas in memcpy used in sprintf.
173  */
174  len = strlen(linebuffer);
175  strncat(linebuffer, extension, GMS_MAX_PRINTLEN - len);
176 
177  (*linecnt) += (int) strlen(extension);
178 
179  SCIPdebugMessage("linebuffer <%s>, length = %lu\n", linebuffer, (unsigned long)len);
180 
181  if( (*linecnt) > GMS_PRINTLEN )
182  endLine(scip, file, linebuffer, linecnt);
183 }
184 
185 /** appends extension to line and prints it to the give file stream if the
186  * line exceeded the length given in the define GMS_PRINTLEN
187  * indents the line by some spaces if it is a new line */
188 static
189 void appendLineWithIndent(
190  SCIP* scip, /**< SCIP data structure */
191  FILE* file, /**< output file (or NULL for standard output) */
192  char* linebuffer, /**< line */
193  int* linecnt, /**< number of characters in line */
194  const char* extension /**< string to extend the line */
195  )
196 {
197  if( *linecnt == 0 )
198  /* we start a new line; therefore we indent line */
199  appendLine(scip, file, linebuffer, linecnt, " ");
200 
201  appendLine(scip, file, linebuffer, linecnt, extension);
202 }
203 
204 /** checks string for occurences of '#', '*', '+', '/', and '-' and replaces those by '_' */
205 static
206 void conformName(
207  char* name /**< string to adjust */
208  )
209 {
210  const char* badchar;
211 
212  assert( name != NULL );
213 
214  for( badchar = badchars; *badchar; ++badchar )
215  {
216  char* c = strchr(name, *badchar);
217 
218  while( c != NULL )
219  {
220  assert( *c == *badchar );
221 
222  *c = '_';
223  c = strchr(c, *badchar);
224  }
225  }
226 }
227 
228 /* print first len-1 characters of name to string s and replace '#', '*', '+', '/', and '-' by '_' if necessary */
229 static
230 SCIP_RETCODE printConformName(
231  SCIP* scip, /**< SCIP data structure */
232  char* t, /**< target string */
233  int len, /**< length of t */
234  const char* name /**< source string or format string */
235  )
236 {
237  SCIP_Bool replaceforbiddenchars;
238 
239  assert( t != NULL );
240  assert( len > 0 );
241 
242  SCIP_CALL( SCIPgetBoolParam(scip, "reading/gmsreader/replaceforbiddenchars", &replaceforbiddenchars) );
243 
244  (void) SCIPsnprintf(t, len, "%s", name);
245 
246  if( replaceforbiddenchars )
247  conformName(t);
248 
249  return SCIP_OKAY;
250 }
251 
252 
253 /* retransform to active variables and print in GAMS format to file stream with surrounding bracket, pre- and suffix */
254 static
255 SCIP_RETCODE printActiveVariables(
256  SCIP* scip, /**< SCIP data structure */
257  FILE* file, /**< output file (or NULL for standard output) */
258  char* linebuffer, /**< line */
259  int* linecnt, /**< number of characters in line */
260  const char* prefix, /**< prefix (maybe NULL) */
261  const char* suffix, /**< suffix (maybe NULL) */
262  int nvars, /**< number of variables */
263  SCIP_VAR** vars, /**< array of variables */
264  SCIP_Real* vals, /**< array of values (or NULL if all ones) */
265  SCIP_Bool transformed /**< transformed constraint? */
266  )
267 {
268  int v;
269  int closingbracket;
270 
271  SCIP_VAR* var;
272  char varname[GMS_MAX_NAMELEN];
273  char buffer[GMS_MAX_PRINTLEN];
274  char ext[GMS_MAX_PRINTLEN];
275 
276  SCIP_VAR** activevars = NULL;
277  SCIP_Real* activevals = NULL;
278  int nactivevars;
279  SCIP_Real activeconstant = 0.0;
280 
281  assert( scip != NULL );
282  assert( vars != NULL || nvars == 0 );
283 
284 
285  if( *linecnt == 0 )
286  /* we start a new line; therefore we tab this line */
287  appendLine(scip, file, linebuffer, linecnt, " ");
288 
289  if( nvars == 0 )
290  {
291  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%s(0)%s", prefix != NULL ? prefix : "", suffix != NULL ? suffix : "");
292 
293  appendLine(scip, file, linebuffer, linecnt, buffer);
294  }
295  else
296  {
297  nactivevars = nvars;
298 
299  /* duplicate variable and value array */
300  SCIP_CALL( SCIPduplicateBufferArray(scip, &activevars, vars, nactivevars) );
301  if( vals != NULL )
302  {
303  SCIP_CALL( SCIPduplicateBufferArray(scip, &activevals, vals, nactivevars) );
304  }
305  else
306  {
307  SCIP_CALL( SCIPallocBufferArray(scip, &activevals, nactivevars) );
308 
309  for( v = 0; v < nactivevars; ++v )
310  activevals[v] = 1.0;
311  }
312 
313  /* retransform given variables to active variables */
314  SCIP_CALL( getActiveVariables(scip, activevars, activevals, &nactivevars, &activeconstant, transformed) );
315 
316  assert( nactivevars == 0 || activevals != NULL );
317 
318  if( nactivevars == 0 && SCIPisZero(scip, activeconstant) )
319  {
320  if( *linecnt == 0 )
321  /* we start a new line; therefore we tab this line */
322  appendLine(scip, file, linebuffer, linecnt, " ");
323 
324  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%s(0)%s", prefix != NULL ? prefix : "", suffix != NULL ? suffix : "");
325 
326  appendLine(scip, file, linebuffer, linecnt, buffer);
327  }
328  else
329  {
330  /* buffer prefix */
331  (void) SCIPsnprintf(ext, GMS_MAX_PRINTLEN, "%s(", prefix != NULL ? prefix : "");
332 
333  /* find position of closing bracket */
334  closingbracket = nactivevars;
335  if( SCIPisZero(scip, activeconstant) )
336  {
337  do
338  --closingbracket;
339  while( SCIPisZero(scip, activevals[closingbracket]) && closingbracket > 0 );
340  }
341 
342  /* print active variables */
343  for( v = 0; v < nactivevars; ++v )
344  {
345  var = activevars[v];
346  assert( var != NULL );
347 
348  if( !SCIPisZero(scip, activevals[v]) )
349  {
350  if( *linecnt == 0 )
351  /* we start a new line; therefore we tab this line */
352  appendLine(scip, file, linebuffer, linecnt, " ");
353 
354  SCIP_CALL( printConformName(scip, varname, GMS_MAX_NAMELEN, SCIPvarGetName(var)) );
355 
356  if( SCIPisEQ(scip, activevals[v], 1.0) )
357  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%s%s%s%s%s", ext, strchr(ext, '(') == NULL ? "+" : "",
358  varname, (v == closingbracket) ? ")" : "", (v == closingbracket && suffix) ? suffix : "");
359  else if( SCIPisEQ(scip, activevals[v], -1.0) )
360  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%s-%s%s%s", ext,
361  varname, (v == closingbracket) ? ")" : "", (v == closingbracket && suffix) ? suffix : "");
362  else if( strchr(ext, '(') != NULL )
363  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%s%.15g*%s%s%s", ext,
364  activevals[v], varname, (v == closingbracket) ? ")" : "", (v == closingbracket && suffix) ? suffix : "");
365  else
366  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%s%+.15g*%s%s%s", ext,
367  activevals[v], varname, (v == closingbracket) ? ")" : "", (v == closingbracket && suffix) ? suffix : "");
368 
369  appendLine(scip, file, linebuffer, linecnt, buffer);
370 
371  (void) SCIPsnprintf(ext, GMS_MAX_PRINTLEN, (*linecnt == 0) ? "" : " ");
372  }
373  }
374 
375  /* print active constant */
376  if( !SCIPisZero(scip, activeconstant) )
377  {
378  if( *linecnt == 0 )
379  /* we start a new line; therefore we tab this line */
380  appendLine(scip, file, linebuffer, linecnt, " ");
381 
382  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%s%+.15g)%s", ext, activeconstant, suffix ? suffix : "");
383 
384  appendLine(scip, file, linebuffer, linecnt, buffer);
385  }
386  /* nothing has been printed, yet */
387  else if( strchr(ext, '(') != NULL )
388  {
389  if( *linecnt == 0 )
390  /* we start a new line; therefore we tab this line */
391  appendLine(scip, file, linebuffer, linecnt, " ");
392 
393  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%s(0)%s", prefix ? prefix : "", suffix ? suffix : "");
394 
395  appendLine(scip, file, linebuffer, linecnt, buffer);
396  }
397  }
398 
399  /* free buffer arrays */
400  SCIPfreeBufferArray(scip, &activevars);
401  SCIPfreeBufferArray(scip, &activevals);
402  }
403 
404  return SCIP_OKAY;
405 }
406 
407 
408 /* print linear row in GAMS format to file stream (without retransformation to active variables) */
409 static
410 SCIP_RETCODE printLinearRow(
411  SCIP* scip, /**< SCIP data structure */
412  FILE* file, /**< output file (or NULL for standard output) */
413  const char* rowname, /**< row name */
414  const char* rownameextension, /**< row name extension */
415  const char* type, /**< row type ("=e=", "=l=", or "=g=") */
416  int nvars, /**< number of variables */
417  SCIP_VAR** vars, /**< array of variables */
418  SCIP_Real* vals, /**< array of values */
419  SCIP_Real rhs /**< right hand side */
420  )
421 {
422  int v;
423  char linebuffer[GMS_MAX_PRINTLEN] = { '\0' };
424  int linecnt;
425 
426  SCIP_VAR* var;
427  char varname[GMS_MAX_NAMELEN];
428  char consname[GMS_MAX_NAMELEN + 3]; /* four extra characters for ' ..' */
429  char buffer[GMS_MAX_PRINTLEN];
430 
431  assert( scip != NULL );
432  assert( strcmp(type, "=e=") == 0 || strcmp(type, "=l=") == 0 || strcmp(type, "=g=") == 0);
433  assert( nvars == 0 || (vars != NULL && vals != NULL) );
434 
435  clearLine(linebuffer, &linecnt);
436 
437  /* start each line with a space */
438  appendLine(scip, file, linebuffer, &linecnt, " ");
439 
440  /* print row name */
441  if( strlen(rowname) > 0 || strlen(rownameextension) > 0 )
442  {
443  (void) SCIPsnprintf(buffer, GMS_MAX_NAMELEN + 3, "%s%s ..", rowname, rownameextension);
444  SCIP_CALL( printConformName(scip, consname, GMS_MAX_NAMELEN + 3, buffer) );
445  appendLine(scip, file, linebuffer, &linecnt, consname);
446  }
447 
448  /* print coefficients */
449  if( nvars == 0 )
450  {
451  /* we start a new line; therefore we tab this line */
452  if( linecnt == 0 )
453  appendLine(scip, file, linebuffer, &linecnt, " ");
454 
455  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " 0");
456 
457  appendLine(scip, file, linebuffer, &linecnt, buffer);
458  }
459 
460  for( v = 0; v < nvars; ++v )
461  {
462  var = vars[v];
463  assert( var != NULL );
464 
465  /* we start a new line; therefore we tab this line */
466  if( linecnt == 0 )
467  appendLine(scip, file, linebuffer, &linecnt, " ");
468 
469  SCIP_CALL( printConformName(scip, varname, GMS_MAX_NAMELEN, SCIPvarGetName(var)) );
470  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " %+.15g*%s", vals[v], varname);
471 
472  appendLine(scip, file, linebuffer, &linecnt, buffer);
473  }
474 
475  /* print right hand side */
476  if( SCIPisZero(scip, rhs) )
477  rhs = 0.0;
478 
479  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " %s %.15g;", type, rhs);
480 
481  /* we start a new line; therefore we tab this line */
482  if( linecnt == 0 )
483  appendLine(scip, file, linebuffer, &linecnt, " ");
484  appendLine(scip, file, linebuffer, &linecnt, buffer);
485 
486  endLine(scip, file, linebuffer, &linecnt);
487 
488  return SCIP_OKAY;
489 }
490 
491 
492 /** prints given linear constraint information in GAMS format to file stream */
493 static
494 SCIP_RETCODE printLinearCons(
495  SCIP* scip, /**< SCIP data structure */
496  FILE* file, /**< output file (or NULL for standard output) */
497  const char* rowname, /**< name of the row */
498  int nvars, /**< number of variables */
499  SCIP_VAR** vars, /**< array of variables */
500  SCIP_Real* vals, /**< array of coefficients values (or NULL if all coefficient values are 1) */
501  SCIP_Real lhs, /**< left hand side */
502  SCIP_Real rhs, /**< right hand side */
503  SCIP_Bool transformed /**< transformed constraint? */
504  )
505 {
506  int v;
507  SCIP_VAR** activevars = NULL;
508  SCIP_Real* activevals = NULL;
509  int nactivevars;
510  SCIP_Real activeconstant = 0.0;
511 
512  assert( scip != NULL );
513  assert( rowname != NULL );
514 
515  /* The GAMS format does not forbid that the variable array is empty */
516  assert( nvars == 0 || vars != NULL );
517 
518  assert( lhs <= rhs );
519 
520  if( SCIPisInfinity(scip, -lhs) && SCIPisInfinity(scip, rhs) )
521  return SCIP_OKAY;
522 
523  nactivevars = nvars;
524  if( nvars > 0 )
525  {
526  /* duplicate variable and value array */
527  SCIP_CALL( SCIPduplicateBufferArray(scip, &activevars, vars, nactivevars) );
528  if( vals != NULL )
529  {
530  SCIP_CALL( SCIPduplicateBufferArray(scip, &activevals, vals, nactivevars) );
531  }
532  else
533  {
534  SCIP_CALL( SCIPallocBufferArray(scip, &activevals, nactivevars) );
535 
536  for( v = 0; v < nactivevars; ++v )
537  activevals[v] = 1.0;
538  }
539 
540  /* retransform given variables to active variables */
541  SCIP_CALL( getActiveVariables(scip, activevars, activevals, &nactivevars, &activeconstant, transformed) );
542  }
543 
544  /* print row(s) in GAMS format */
545  if( SCIPisEQ(scip, lhs, rhs) )
546  {
547  assert( !SCIPisInfinity(scip, rhs) );
548 
549  /* print equality constraint */
550  SCIP_CALL( printLinearRow(scip, file, rowname, "", "=e=",
551  nactivevars, activevars, activevals, rhs - activeconstant) );
552  }
553  else
554  {
555  if( !SCIPisInfinity(scip, -lhs) )
556  {
557  /* print inequality ">=" */
558  SCIP_CALL( printLinearRow(scip, file, rowname, SCIPisInfinity(scip, rhs) ? "" : "_lhs", "=g=",
559  nactivevars, activevars, activevals, lhs - activeconstant) );
560  }
561  if( !SCIPisInfinity(scip, rhs) )
562  {
563  /* print inequality "<=" */
564  SCIP_CALL( printLinearRow(scip, file, rowname, SCIPisInfinity(scip, -lhs) ? "" : "_rhs", "=l=",
565  nactivevars, activevars, activevals, rhs - activeconstant) );
566  }
567  }
568 
569  if( nvars > 0 )
570  {
571  /* free buffer arrays */
572  SCIPfreeBufferArray(scip, &activevars);
573  SCIPfreeBufferArray(scip, &activevals);
574  }
575 
576  return SCIP_OKAY;
577 }
578 
579 
580 /* print quadratic row in GAMS format to file stream (performing retransformation to active variables) */
581 static
582 SCIP_RETCODE printQuadraticRow(
583  SCIP* scip, /**< SCIP data structure */
584  FILE* file, /**< output file (or NULL for standard output) */
585  const char* rowname, /**< row name */
586  const char* rownameextension, /**< row name extension */
587  const char* type, /**< row type ("=e=", "=l=", or "=g=") */
588  int nlinvars, /**< number of linear terms */
589  SCIP_VAR** linvars, /**< variables in linear part */
590  SCIP_Real* lincoeffs, /**< coefficients of variables in linear part */
591  int nquadvarterms, /**< number of quadratic variable terms */
592  SCIP_QUADVARTERM* quadvarterms, /**< quadratic variable terms */
593  int nbilinterms, /**< number of bilinear terms */
594  SCIP_BILINTERM* bilinterms, /**< bilinear terms */
595  SCIP_Real rhs, /**< right hand side */
596  SCIP_Bool transformed /**< transformed constraint? */
597  )
598 {
599  int t;
600  char linebuffer[GMS_MAX_PRINTLEN] = { '\0' };
601  int linecnt;
602 
603  SCIP_VAR* var;
604  char consname[GMS_MAX_NAMELEN + 3]; /* four extra characters for ' ..' */
605  char buffer[GMS_MAX_PRINTLEN];
606 
607  assert( scip != NULL );
608  assert( strlen(rowname) > 0 || strlen(rownameextension) > 0 );
609  assert( strcmp(type, "=e=") == 0 || strcmp(type, "=l=") == 0 || strcmp(type, "=g=") == 0 );
610  assert( nlinvars == 0 || (linvars != NULL && lincoeffs != NULL) );
611  assert( nquadvarterms == 0 || quadvarterms != NULL );
612  assert( nbilinterms == 0 || bilinterms != NULL );
613  assert( nquadvarterms > 0 || nbilinterms == 0 );
614 
615  clearLine(linebuffer, &linecnt);
616 
617  /* start each line with a space */
618  appendLine(scip, file, linebuffer, &linecnt, " ");
619 
620  /* print row name */
621  (void) SCIPsnprintf(buffer, GMS_MAX_NAMELEN + 3, "%s%s ..", rowname, rownameextension);
622  SCIP_CALL( printConformName(scip, consname, GMS_MAX_NAMELEN + 3, buffer) );
623 
624  appendLine(scip, file, linebuffer, &linecnt, consname);
625 
626  /* print linear terms */
627  if( nlinvars > 0 )
628  {
629  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "+", " ", nlinvars, linvars, lincoeffs, transformed) );
630  }
631 
632  /* print linear coefficients of quadratic terms */
633  for( t = 0; t < nquadvarterms; ++t )
634  {
635  var = quadvarterms[t].var;
636  assert( var != NULL );
637 
638  if( !SCIPisZero(scip, quadvarterms[t].lincoef) )
639  {
640  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%+.15g*", quadvarterms[t].lincoef);
641 
642  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, buffer, NULL, 1, &var, NULL, transformed) );
643  }
644  }
645 
646  /* print square coefficients of quadratic terms */
647  for( t = 0; t < nquadvarterms; ++t )
648  {
649  var = quadvarterms[t].var;
650  assert( var != NULL );
651 
652  if( !SCIPisZero(scip, quadvarterms[t].sqrcoef) )
653  {
654  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%+.15g*sqr", quadvarterms[t].sqrcoef);
655 
656  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, buffer, NULL, 1, &var, NULL, transformed) );
657  }
658  }
659 
660  /* print bilinear terms */
661  for( t = 0; t < nbilinterms; ++t )
662  {
663  if( !SCIPisZero(scip, bilinterms[t].coef) )
664  {
665  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%+.15g*", bilinterms[t].coef);
666 
667  /* print first variable (retransformed to active variables) */
668  var = bilinterms[t].var1;
669  assert( var != NULL );
670 
671  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, buffer, "", 1, &var, NULL, transformed) );
672 
673  /* print second variable (retransformed to active variables) */
674  var = bilinterms[t].var2;
675  assert( var != NULL );
676 
677  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "*", " ", 1, &var, NULL, transformed) );
678  }
679  }
680 
681  /* print right hand side */
682  if( linecnt == 0 )
683  /* we start a new line; therefore we tab this line */
684  appendLine(scip, file, linebuffer, &linecnt, " ");
685 
686  if( SCIPisZero(scip, rhs) )
687  rhs = 0.0;
688 
689  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%s%s %.15g;", (nlinvars == 0 && nquadvarterms == 0) ? "0 " : "", type, rhs);
690 
691  appendLine(scip, file, linebuffer, &linecnt, buffer);
692 
693  endLine(scip, file, linebuffer, &linecnt);
694 
695  return SCIP_OKAY;
696 }
697 
698 
699 /** prints given quadratic constraint information in GAMS format to file stream */
700 static
701 SCIP_RETCODE printQuadraticCons(
702  SCIP* scip, /**< SCIP data structure */
703  FILE* file, /**< output file (or NULL for standard output) */
704  const char* rowname, /**< name of the row */
705  int nlinvars, /**< number of linear terms */
706  SCIP_VAR** linvars, /**< variables in linear part */
707  SCIP_Real* lincoeffs, /**< coefficients of variables in linear part */
708  int nquadvarterms, /**< number of quadratic variable terms */
709  SCIP_QUADVARTERM* quadvarterms, /**< quadratic variable terms */
710  int nbilinterms, /**< number of bilinear terms */
711  SCIP_BILINTERM* bilinterms, /**< bilinear terms */
712  SCIP_Real lhs, /**< left hand side */
713  SCIP_Real rhs, /**< right hand side */
714  SCIP_Bool transformed /**< transformed constraint? */
715  )
716 {
717  assert( scip != NULL );
718  assert( rowname != NULL );
719  assert( nlinvars == 0 || (linvars != NULL && lincoeffs != NULL) );
720  assert( nquadvarterms == 0 || quadvarterms != NULL );
721  assert( nbilinterms == 0 || bilinterms != NULL );
722  assert( nquadvarterms > 0 || nbilinterms == 0 );
723  assert( lhs <= rhs );
724 
725  if( SCIPisInfinity(scip, -lhs) && SCIPisInfinity(scip, rhs) )
726  return SCIP_OKAY;
727 
728  /* print row(s) in GAMS format */
729  if( SCIPisEQ(scip, lhs, rhs) )
730  {
731  assert( !SCIPisInfinity(scip, rhs) );
732 
733  /* print equality constraint */
734  SCIP_CALL( printQuadraticRow(scip, file, rowname, "", "=e=",
735  nlinvars, linvars, lincoeffs,
736  nquadvarterms, quadvarterms,
737  nbilinterms, bilinterms, rhs, transformed) );
738  }
739  else
740  {
741  if( !SCIPisInfinity(scip, -lhs) )
742  {
743  /* print inequality ">=" */
744  SCIP_CALL( printQuadraticRow(scip, file, rowname, SCIPisInfinity(scip, rhs) ? "" : "_lhs", "=g=",
745  nlinvars, linvars, lincoeffs,
746  nquadvarterms, quadvarterms,
747  nbilinterms, bilinterms, lhs, transformed) );
748  }
749  if( !SCIPisInfinity(scip, rhs) )
750  {
751  /* print inequality "<=" */
752  SCIP_CALL( printQuadraticRow(scip, file, rowname, SCIPisInfinity(scip, -lhs) ? "" : "_rhs", "=l=",
753  nlinvars, linvars, lincoeffs,
754  nquadvarterms, quadvarterms,
755  nbilinterms, bilinterms, rhs, transformed) );
756  }
757  }
758 
759  return SCIP_OKAY;
760 }
761 
762 /** check GAMS limitations on SOC constraints
763  * returns true of constraint can be written as conic equation in GAMS (using equation type =C=)
764  */
765 static
766 SCIP_Bool isGAMSprintableSOC(
767  int nlhsvars, /**< number of variables on left hand side */
768  SCIP_VAR** lhsvars, /**< variables on left hand side */
769  SCIP_Real* lhscoeffs, /**< coefficients of variables on left hand side, or NULL if == 1.0 */
770  SCIP_Real* lhsoffsets, /**< offsets of variables on left hand side, or NULL if == 0.0 */
771  SCIP_Real lhsconstant, /**< constant on left hand side */
772  SCIP_VAR* rhsvar, /**< variable on right hand side */
773  SCIP_Real rhscoef, /**< coefficient of variable on right hand side */
774  SCIP_Real rhsoffset /**< offset of variable on right hand side */
775  )
776 {
777  int i;
778 
779  assert(nlhsvars == 0 || lhsvars != NULL);
780 
781  if( rhscoef != 1.0 )
782  return FALSE;
783 
784  if( rhsoffset != 0.0 )
785  return FALSE;
786 
787  if( rhsvar == NULL )
788  return FALSE;
789 
790  if( !SCIPvarIsActive(rhsvar) )
791  return FALSE;
792 
793  if( lhsconstant != 0.0 )
794  return FALSE;
795 
796  if( nlhsvars < 2 )
797  return FALSE;
798 
799  for( i = 0; i < nlhsvars; ++i )
800  {
801  if( lhscoeffs [i] != 1.0 )
802  return FALSE;
803 
804  if( lhsoffsets[i] != 0.0 )
805  return FALSE;
806 
807  if( !SCIPvarIsActive(lhsvars[i]) )
808  return FALSE;
809  }
810 
811  return TRUE;
812 }
813 
814 /* print second order cone row in GAMS format to file stream (performing retransformation to active variables)
815  * The constraints are of the following form:
816  * \f[
817  * \left\{ x \;:\; \sqrt{\gamma + \sum_{i=1}^{n} (\alpha_i\, (x_i + \beta_i))^2} \leq \alpha_{n+1}\, (x_{n+1}+\beta_{n+1}) \right\}.
818  * \f]
819  * */
820 static
821 SCIP_RETCODE printSOCCons(
822  SCIP* scip, /**< SCIP data structure */
823  FILE* file, /**< output file (or NULL for standard output) */
824  const char* rowname, /**< row name */
825  int nlhsvars, /**< number of variables on left hand side */
826  SCIP_VAR** lhsvars, /**< variables on left hand side */
827  SCIP_Real* lhscoeffs, /**< coefficients of variables on left hand side, or NULL if == 1.0 */
828  SCIP_Real* lhsoffsets, /**< offsets of variables on left hand side, or NULL if == 0.0 */
829  SCIP_Real lhsconstant, /**< constant on left hand side */
830  SCIP_VAR* rhsvar, /**< variable on right hand side */
831  SCIP_Real rhscoef, /**< coefficient of variable on right hand side */
832  SCIP_Real rhsoffset, /**< offset of variable on right hand side */
833  SCIP_Bool transformed /**< transformed constraint? */
834  )
835 {
836  char linebuffer[GMS_MAX_PRINTLEN] = { '\0' };
837  int linecnt;
838 
839  char consname[GMS_MAX_NAMELEN + 3]; /* four extra characters for ' ..' */
840  char buffer[GMS_MAX_PRINTLEN];
841 
842  assert( scip != NULL );
843  assert( strlen(rowname) > 0 );
844  assert( nlhsvars == 0 || lhsvars != NULL );
845 
846  clearLine(linebuffer, &linecnt);
847 
848  /* start each line with a space */
849  appendLine(scip, file, linebuffer, &linecnt, " ");
850 
851  /* print row name */
852  (void) SCIPsnprintf(buffer, GMS_MAX_NAMELEN + 3, "%s ..", rowname);
853  SCIP_CALL( printConformName(scip, consname, GMS_MAX_NAMELEN + 3, buffer) );
854 
855  appendLine(scip, file, linebuffer, &linecnt, consname);
856 
857  if( !isGAMSprintableSOC(nlhsvars, lhsvars, lhscoeffs, lhsoffsets, lhsconstant, rhsvar, rhscoef, rhsoffset) )
858  {
859  int t;
860 
861  /* print right-hand side on left */
862  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "sqr(%.15g +", rhsoffset);
863 
864  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, buffer, ")", 1, &rhsvar, &rhscoef, transformed) );
865 
866  appendLine(scip, file, linebuffer, &linecnt, " =g= ");
867 
868  /* print left-hand side on right */
869 
870  if( lhsconstant != 0.0 )
871  {
872  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%.15g", lhsconstant);
873 
874  appendLine(scip, file, linebuffer, &linecnt, buffer);
875  }
876 
877  for( t = 0; t < nlhsvars; ++t )
878  {
879  assert( lhsvars[t] != NULL );
880 
881  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "+ sqr(%.15g * (%.15g + ", lhscoeffs ? lhscoeffs[t] : 1.0, lhsoffsets ? lhsoffsets[t] : 0.0);
882 
883  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, buffer, "))", 1, &lhsvars[t], NULL, transformed) );
884  }
885  }
886  else
887  {
888  /* print right-hand side on left */
889  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "+", " ", 1, &rhsvar, &rhscoef, transformed) );
890 
891  appendLine(scip, file, linebuffer, &linecnt, " =c= ");
892 
893  /* print left-hand side on right */
894  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "+", " ", nlhsvars, lhsvars, lhscoeffs, transformed) );
895  }
896 
897  appendLine(scip, file, linebuffer, &linecnt, ";");
898 
899  endLine(scip, file, linebuffer, &linecnt);
900 
901  return SCIP_OKAY;
902 }
903 
904 /* print indicator constraint in some GAMS format to file stream (performing retransformation to active variables)
905  * The constraints are of the following form:
906  * \f[
907  * z = 1 -> s = 0
908  * \f]
909  * */
910 static
911 SCIP_RETCODE printIndicatorCons(
912  SCIP* scip, /**< SCIP data structure */
913  FILE* file, /**< output file (or NULL for standard output) */
914  const char* rowname, /**< row name */
915  SCIP_VAR* z, /**< indicating variable (binary) */
916  SCIP_VAR* s, /**< slack variable */
917  SCIP_Bool* sossetdeclr, /**< buffer to store whether we declared the SOS set for indicator reform */
918  SCIP_Bool transformed /**< transformed constraint? */
919  )
920 {
921  char linebuffer[GMS_MAX_PRINTLEN] = { '\0' };
922  int linecnt;
923  SCIP_Real coef;
924  char indicatorform;
925 
926  char consname[GMS_MAX_NAMELEN + 30];
927  char buffer[GMS_MAX_PRINTLEN];
928 
929  assert( scip != NULL );
930  assert( strlen(rowname) > 0 );
931  assert( z != NULL );
932  assert( s != NULL );
933  assert( SCIPvarIsBinary(z) );
934  assert( sossetdeclr != NULL );
935 
936  clearLine(linebuffer, &linecnt);
937 
938  /* start each line with a space */
939  appendLine(scip, file, linebuffer, &linecnt, " ");
940 
941  SCIP_CALL( SCIPgetCharParam(scip, "reading/gmsreader/indicatorreform", &indicatorform) );
942 
943  switch( indicatorform )
944  {
945  case 'b':
946  {
947  /* print row name */
948  (void) SCIPsnprintf(buffer, GMS_MAX_NAMELEN + 3, "%s ..", rowname);
949  SCIP_CALL( printConformName(scip, consname, GMS_MAX_NAMELEN + 3, buffer) );
950 
951  appendLine(scip, file, linebuffer, &linecnt, consname);
952 
953  /* write as s <= upperbound(s)*(1-z) or s <= upperbound(s) * negation(z) */
954  coef = 1.0;
955  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, NULL, " =l= ", 1, &s, &coef, transformed) );
956 
957  coef = SCIPvarGetUbGlobal(s);
958  if( SCIPisInfinity(scip, coef) )
959  {
960  SCIP_CALL( SCIPgetRealParam(scip, "reading/gmsreader/bigmdefault", &coef) );
961 
962  SCIPwarningMessage(scip, "do not have upper bound on slack variable <%s> in indicator constraint <%s>, will use M = %g.\n",
963  SCIPvarGetName(s), rowname, coef);
964  }
965 
966  if( SCIPvarIsNegated(z) )
967  {
968  SCIP_CALL( SCIPgetNegatedVar(scip, z, &z) );
969  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "", ";", 1, &z, &coef, transformed) );
970  }
971  else
972  {
973  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%.15g + ", coef);
974 
975  coef = -coef;
976  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, buffer, ";", 1, &z, &coef, transformed) );
977  }
978 
979  break;
980  }
981 
982  case 's':
983  {
984  /* write as
985  * sos1 Variable name_sos(sosset);
986  * name_soseq(sosset).. name_sos(sosset) =e= s$(sameas(sosset,'slack') + z$(sameas(sosset,'bin'));
987  */
988  coef = 1.0;
989  SCIP_CALL( printConformName(scip, consname, GMS_MAX_NAMELEN, rowname) );
990 
991  /* declare set for SOS1 declarations from reformulation of indicator, if needed */
992  if( !*sossetdeclr )
993  {
994  SCIPinfoMessage(scip, file, " Set sosset / slack, bin /;\n");
995  *sossetdeclr = TRUE;
996  }
997 
998  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "sos1 Variable %s_sos(sosset);", consname);
999  appendLine(scip, file, linebuffer, &linecnt, buffer);
1000  endLine(scip, file, linebuffer, &linecnt);
1001 
1002  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " %s(sosset).. %s_sos(sosset) =e= ", consname, consname);
1003  appendLine(scip, file, linebuffer, &linecnt, buffer);
1004  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, NULL, "$sameas(sosset,'slack')", 1, &s, &coef, transformed) );
1005  if( SCIPvarIsNegated(z) )
1006  {
1007  SCIP_CALL( SCIPgetNegatedVar(scip, z, &z) );
1008  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, " + (1-(", "))$sameas(sosset,'bin');", 1, &z, &coef, transformed) );
1009  }
1010  else
1011  {
1012  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, " + ", "$sameas(sosset,'bin');", 1, &z, &coef, transformed) );
1013  }
1014  endLine(scip, file, linebuffer, &linecnt);
1015 
1016  break;
1017  }
1018 
1019  default:
1020  SCIPerrorMessage("wrong value '%c' for parameter reading/gmsreader/indicatorreform\n", indicatorform);
1021  return SCIP_ERROR;
1022  }
1023 
1024  endLine(scip, file, linebuffer, &linecnt);
1025 
1026  return SCIP_OKAY;
1027 }
1028 
1029 /* print SOS constraint in some GAMS format to file stream (performing retransformation to active variables)
1030  *
1031  * write as
1032  * Set name_sosset /1*nvars/;
1033  * SOS1/2 Variable name_sosvar(name_sosset);
1034  * Equation name_sosequ(e1_sosset);
1035  * name_sosequ(name_sosset).. name_sosvar(e1_sosset) =e=
1036  * vars[0]$sameas(name_sosset, '1') + vars[1]$sameas(name_sosset, '2') + ... + vars[nvars-1]$sameas(name_sosset, nvars);
1037  */
1038 static
1039 SCIP_RETCODE printSOSCons(
1040  SCIP* scip, /**< SCIP data structure */
1041  FILE* file, /**< output file (or NULL for standard output) */
1042  const char* rowname, /**< row name */
1043  int nvars, /**< number of variables in SOS */
1044  SCIP_VAR** vars, /**< variables in SOS */
1045  int sostype, /**< type of SOS: 1 or 2 */
1046  SCIP_Bool transformed /**< transformed constraint? */
1047  )
1048 {
1049  char linebuffer[GMS_MAX_PRINTLEN] = { '\0' };
1050  int linecnt;
1051  SCIP_Real coef;
1052  int v;
1053 
1054  char consname[GMS_MAX_NAMELEN + 30];
1055  char buffer[GMS_MAX_PRINTLEN];
1056 
1057  assert( scip != NULL );
1058  assert( strlen(rowname) > 0 );
1059  assert( vars != NULL || nvars == 0 );
1060  assert( sostype == 1 || sostype == 2 );
1061 
1062  clearLine(linebuffer, &linecnt);
1063 
1064  /* start each line with a space */
1065  appendLine(scip, file, linebuffer, &linecnt, " ");
1066 
1067  SCIP_CALL( printConformName(scip, consname, GMS_MAX_NAMELEN, rowname) );
1068 
1069  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "Set %s_sosset /1*%d/;", consname, nvars);
1070  appendLine(scip, file, linebuffer, &linecnt, buffer);
1071  endLine(scip, file, linebuffer, &linecnt);
1072 
1073  /* explicitly set lower bound of SOS variables to -inf, as GAMS default is 0.0 */
1074  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " SOS%d Variable %s_sosvar(%s_sosset); %s_sosvar.lo(%s_sosset) = -inf;", sostype, consname, consname, consname, consname);
1075  appendLine(scip, file, linebuffer, &linecnt, buffer);
1076  endLine(scip, file, linebuffer, &linecnt);
1077 
1078  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " %s(%s_sosset).. %s_sosvar(%s_sosset) =e= ", consname, consname, consname, consname);
1079  appendLine(scip, file, linebuffer, &linecnt, buffer);
1080  endLine(scip, file, linebuffer, &linecnt);
1081 
1082  coef = 1.0;
1083  for( v = 0; v < nvars; ++v )
1084  {
1085  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "$sameas(%s_sosset,'%d')", consname, v+1);
1086  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, v > 0 ? " + " : NULL, buffer, 1, &vars[v], &coef, transformed) ); /*lint !e613*/
1087  }
1088  appendLine(scip, file, linebuffer, &linecnt, ";");
1089  endLine(scip, file, linebuffer, &linecnt);
1090 
1091  return SCIP_OKAY;
1092 }
1093 
1094 /* print signpower row in GAMS format to file stream (performing retransformation to active variables) */
1095 static
1096 SCIP_RETCODE printSignpowerRow(
1097  SCIP* scip, /**< SCIP data structure */
1098  FILE* file, /**< output file (or NULL for standard output) */
1099  const char* rowname, /**< row name */
1100  const char* rownameextension, /**< row name extension */
1101  const char* type, /**< row type ("=e=", "=l=", or "=g=") */
1102  SCIP_VAR* nonlinvar, /**< nonlinear variable */
1103  SCIP_VAR* linvar, /**< linear variable, may be NULL */
1104  SCIP_Real exponent, /**< exponent of nonlinear variable */
1105  SCIP_Real offset, /**< offset of nonlinear variable */
1106  SCIP_Real coeflinear, /**< coefficient of linear variable */
1107  SCIP_Real rhs, /**< right hand side */
1108  SCIP_Bool transformed, /**< transformed constraint? */
1109  SCIP_Bool signpowerallowed, /**< allowed to use signpower operator in GAMS? */
1110  SCIP_Bool* nsmooth /**< buffer to store whether we printed a nonsmooth function */
1111  )
1112 {
1113  char linebuffer[GMS_MAX_PRINTLEN] = { '\0' };
1114  int linecnt;
1115  SCIP_Bool nisoddint;
1116  SCIP_Bool fixedsign;
1117 
1118  char consname[GMS_MAX_NAMELEN + 3]; /* four extra characters for ' ..' */
1119  char buffer[GMS_MAX_PRINTLEN];
1120 
1121  assert( scip != NULL );
1122  assert( strlen(rowname) > 0 || strlen(rownameextension) > 0 );
1123  assert( strcmp(type, "=e=") == 0 || strcmp(type, "=l=") == 0 || strcmp(type, "=g=") == 0 );
1124  assert( nonlinvar != NULL );
1125  assert( exponent > 1.0 );
1126  assert( nsmooth != NULL );
1127 
1128  clearLine(linebuffer, &linecnt);
1129 
1130  /* start each line with a space */
1131  appendLine(scip, file, linebuffer, &linecnt, " ");
1132 
1133  /* print row name */
1134  (void) SCIPsnprintf(buffer, GMS_MAX_NAMELEN + 3, "%s%s ..", rowname, rownameextension);
1135  SCIP_CALL( printConformName(scip, consname, GMS_MAX_NAMELEN + 3, buffer) );
1136 
1137  appendLine(scip, file, linebuffer, &linecnt, consname);
1138 
1139  /* print nonlinear term
1140  * if not signpowerallowed, then signpow(x,n) is printed as x*abs(x) if n == 2, x*(abs(x)**(n-1)) if n is not 2 and not an odd integer, and as power(x,n) if n is an odd integer
1141  * if signpowerallowed, then signpow(x,n) is printed as power(x,n) if n is an odd integer and as signpower(x,n) otherwiser
1142  */
1143  nisoddint = SCIPisIntegral(scip, exponent) && ((int)SCIPfloor(scip, exponent+0.5))%2 == 1;
1144  fixedsign = !SCIPisNegative(scip, SCIPvarGetLbGlobal(nonlinvar)) || !SCIPisPositive(scip, SCIPvarGetUbGlobal(nonlinvar));
1145  if( !nisoddint && !fixedsign )
1146  {
1147  if( signpowerallowed )
1148  {
1149  if( offset != 0.0 )
1150  {
1151  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "signpower(%g ", offset);
1152  appendLine(scip, file, linebuffer, &linecnt, buffer);
1153  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "+", ",", 1, &nonlinvar, NULL, transformed) );
1154  }
1155  else
1156  {
1157  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "signpower(", ",", 1, &nonlinvar, NULL, transformed) );
1158  }
1159  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%g)", exponent);
1160  appendLine(scip, file, linebuffer, &linecnt, buffer);
1161  }
1162  else
1163  {
1164  if( offset != 0.0 )
1165  {
1166  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "(%g ", offset);
1167  appendLine(scip, file, linebuffer, &linecnt, buffer);
1168  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "+", ") * ", 1, &nonlinvar, NULL, transformed) );
1169  }
1170  else
1171  {
1172  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, NULL, " * ", 1, &nonlinvar, NULL, transformed) );
1173  }
1174 
1175  if( exponent == 2.0)
1176  {
1177  if( offset != 0.0 )
1178  {
1179  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "abs(%g ", offset);
1180  appendLine(scip, file, linebuffer, &linecnt, buffer);
1181  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "+", ")", 1, &nonlinvar, NULL, transformed) );
1182  }
1183  else
1184  {
1185  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "abs", NULL, 1, &nonlinvar, NULL, transformed) );
1186  }
1187  }
1188  else
1189  {
1190  if( offset != 0.0 )
1191  {
1192  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "abs(%g ", offset);
1193  appendLine(scip, file, linebuffer, &linecnt, buffer);
1194  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "+", ")", 1, &nonlinvar, NULL, transformed) );
1195  }
1196  else
1197  {
1198  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "abs", NULL, 1, &nonlinvar, NULL, transformed) );
1199  }
1200  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "**%g", exponent-1.0);
1201  appendLine(scip, file, linebuffer, &linecnt, buffer);
1202  }
1203  }
1204  *nsmooth = TRUE;
1205  }
1206  else if( nisoddint || !SCIPisNegative(scip, SCIPvarGetLbGlobal(nonlinvar)) )
1207  {
1208  if( exponent == 2.0 )
1209  {
1210  if( offset != 0.0 )
1211  {
1212  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "sqr(%g ", offset);
1213  appendLine(scip, file, linebuffer, &linecnt, buffer);
1214  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "+", ")", 1, &nonlinvar, NULL, transformed) );
1215  }
1216  else
1217  {
1218  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "sqr", NULL, 1, &nonlinvar, NULL, transformed) );
1219  }
1220  }
1221  else
1222  {
1223  if( offset != 0.0 )
1224  {
1225  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "power(%g ", offset);
1226  appendLine(scip, file, linebuffer, &linecnt, buffer);
1227  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "+", ",", 1, &nonlinvar, NULL, transformed) );
1228  }
1229  else
1230  {
1231  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "power(", ",", 1, &nonlinvar, NULL, transformed) );
1232  }
1233  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%g)", exponent);
1234  appendLine(scip, file, linebuffer, &linecnt, buffer);
1235  }
1236  }
1237  else
1238  {
1239  assert(fixedsign && !SCIPisPositive(scip, SCIPvarGetUbGlobal(nonlinvar)));
1240  if( exponent == 2.0 )
1241  {
1242  if( offset != 0.0 )
1243  {
1244  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "-sqr(%g ", -offset);
1245  appendLine(scip, file, linebuffer, &linecnt, buffer);
1246  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "-", ")", 1, &nonlinvar, NULL, transformed) );
1247  }
1248  else
1249  {
1250  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "-sqr(-", ")", 1, &nonlinvar, NULL, transformed) );
1251  }
1252  }
1253  else
1254  {
1255  if( offset != 0.0 )
1256  {
1257  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "-power(%g ", -offset);
1258  appendLine(scip, file, linebuffer, &linecnt, buffer);
1259  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "-", ",", 1, &nonlinvar, NULL, transformed) );
1260  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%g)", exponent);
1261  appendLine(scip, file, linebuffer, &linecnt, buffer);
1262  }
1263  else
1264  {
1265  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "-power(-", ",", 1, &nonlinvar, NULL, transformed) );
1266  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%g)", exponent);
1267  appendLine(scip, file, linebuffer, &linecnt, buffer);
1268  }
1269  }
1270  }
1271 
1272  /* print linear term */
1273  if( linvar != NULL )
1274  {
1275  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, " +", "", 1, &linvar, &coeflinear, transformed) );
1276  }
1277 
1278  /* print right hand side */
1279  if( linecnt == 0 )
1280  {
1281  /* we start a new line; therefore we tab this line */
1282  appendLine(scip, file, linebuffer, &linecnt, " ");
1283  }
1284 
1285  if( SCIPisZero(scip, rhs) )
1286  rhs = 0.0;
1287 
1288  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%s %.15g;", type, rhs);
1289 
1290  appendLine(scip, file, linebuffer, &linecnt, buffer);
1291 
1292  endLine(scip, file, linebuffer, &linecnt);
1293 
1294  return SCIP_OKAY;
1295 }
1296 
1297 /* print signpower cons in GAMS format to file stream (performing retransformation to active variables)
1298  */
1299 static
1300 SCIP_RETCODE printSignpowerCons(
1301  SCIP* scip, /**< SCIP data structure */
1302  FILE* file, /**< output file (or NULL for standard output) */
1303  const char* rowname, /**< row name */
1304  SCIP_VAR* nonlinvar, /**< nonlinear variable */
1305  SCIP_VAR* linvar, /**< linear variable, may be NULL */
1306  SCIP_Real exponent, /**< exponent of nonlinear variable */
1307  SCIP_Real offset, /**< offset of nonlinear variable */
1308  SCIP_Real coeflinear, /**< coefficient of linear variable */
1309  SCIP_Real lhs, /**< left hand side */
1310  SCIP_Real rhs, /**< right hand side */
1311  SCIP_Bool transformed, /**< transformed constraint? */
1312  SCIP_Bool signpowerallowed, /**< allowed to use signpower operator in GAMS? */
1313  SCIP_Bool* nsmooth /**< buffer to store whether we printed a nonsmooth function */
1314  )
1315 {
1316  assert( scip != NULL );
1317  assert( strlen(rowname) > 0 );
1318 
1319  /* print row(s) in GAMS format */
1320  if( SCIPisEQ(scip, lhs, rhs) )
1321  {
1322  assert( !SCIPisInfinity(scip, rhs) );
1323 
1324  /* print equality constraint */
1325  SCIP_CALL( printSignpowerRow(scip, file, rowname, "", "=e=",
1326  nonlinvar, linvar, exponent, offset, coeflinear, rhs, transformed, signpowerallowed, nsmooth) );
1327  }
1328  else
1329  {
1330  if( !SCIPisInfinity(scip, -lhs) )
1331  {
1332  /* print inequality ">=" */
1333  SCIP_CALL( printSignpowerRow(scip, file, rowname, SCIPisInfinity(scip, rhs) ? "" : "_lhs", "=g=",
1334  nonlinvar, linvar, exponent, offset, coeflinear, lhs, transformed, signpowerallowed, nsmooth) );
1335  }
1336  if( !SCIPisInfinity(scip, rhs) )
1337  {
1338  /* print inequality "<=" */
1339  SCIP_CALL( printSignpowerRow(scip, file, rowname, SCIPisInfinity(scip, -lhs) ? "" : "_rhs", "=l=",
1340  nonlinvar, linvar, exponent, offset, coeflinear, rhs, transformed, signpowerallowed, nsmooth) );
1341  }
1342  }
1343 
1344  return SCIP_OKAY;
1345 }
1346 
1347 /* prints expression in GAMS format to file stream */
1348 static
1349 SCIP_RETCODE printExpr(
1350  SCIP* scip, /**< SCIP data structure */
1351  FILE* file, /**< output file (or NULL for standard output) */
1352  char* linebuffer, /**< line buffer of length GMS_MAX_PRINTLEN */
1353  int* linecnt, /**< number of characters in line so far */
1354  SCIP_Bool* nsmooth, /**< buffer to store whether we printed a nonsmooth function */
1355  SCIP_Bool transformed, /**< expression belongs to transformed constraint? */
1356  SCIP_EXPR* expr, /**< expression to print */
1357  SCIP_VAR** exprvars /**< variables of expression */
1358  )
1359 {
1360  char buffer[GMS_MAX_PRINTLEN];
1361 
1362  assert(scip != NULL);
1363  assert(linebuffer != NULL);
1364  assert(linecnt != NULL);
1365  assert(expr != NULL);
1366  assert(nsmooth != NULL);
1367 
1368  switch( SCIPexprGetOperator(expr) )
1369  {
1370  case SCIP_EXPR_VARIDX:
1371  {
1372  SCIP_Real one;
1373 
1374  assert(exprvars != NULL);
1375 
1376  one = 1.0;
1377  SCIP_CALL( printActiveVariables(scip, file, linebuffer, linecnt, "", "", 1, &exprvars[SCIPexprGetOpIndex(expr)], &one, transformed) );
1378 
1379  break;
1380  }
1381 
1382  case SCIP_EXPR_PARAM:
1383  {
1384  SCIPwarningMessage(scip, "parameterized expression in GAMS writer. GAMS file will not compile.\n");
1385 
1386  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "param%d", SCIPexprGetOpIndex(expr));
1387  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1388 
1389  break;
1390  }
1391 
1392  case SCIP_EXPR_CONST:
1393  {
1394  if( SCIPexprGetOpReal(expr) < 0.0 )
1395  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "(%.15g)", SCIPexprGetOpReal(expr));
1396  else
1397  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%.15g", SCIPexprGetOpReal(expr));
1398  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1399 
1400  break;
1401  }
1402 
1403  case SCIP_EXPR_PLUS:
1404  {
1405  appendLineWithIndent(scip, file, linebuffer, linecnt, "(");
1406  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[0], exprvars) );
1407  appendLineWithIndent(scip, file, linebuffer, linecnt, " + ");
1408  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[1], exprvars) );
1409  appendLineWithIndent(scip, file, linebuffer, linecnt, ")");
1410  break;
1411  }
1412 
1413  case SCIP_EXPR_MINUS:
1414  {
1415  appendLineWithIndent(scip, file, linebuffer, linecnt, "(");
1416  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[0], exprvars) );
1417  appendLineWithIndent(scip, file, linebuffer, linecnt, " - ");
1418  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[1], exprvars) );
1419  appendLineWithIndent(scip, file, linebuffer, linecnt, ")");
1420  break;
1421  }
1422 
1423  case SCIP_EXPR_MUL:
1424  {
1425  appendLineWithIndent(scip, file, linebuffer, linecnt, "(");
1426  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[0], exprvars) );
1427  appendLineWithIndent(scip, file, linebuffer, linecnt, " * ");
1428  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[1], exprvars) );
1429  appendLineWithIndent(scip, file, linebuffer, linecnt, ")");
1430  break;
1431  }
1432 
1433  case SCIP_EXPR_DIV:
1434  {
1435  appendLineWithIndent(scip, file, linebuffer, linecnt, "(");
1436  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[0], exprvars) );
1437  appendLineWithIndent(scip, file, linebuffer, linecnt, " / ");
1438  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[1], exprvars) );
1439  appendLineWithIndent(scip, file, linebuffer, linecnt, ")");
1440  break;
1441  }
1442 
1443  case SCIP_EXPR_REALPOWER:
1444  {
1445  appendLineWithIndent(scip, file, linebuffer, linecnt, "(");
1446  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[0], exprvars) );
1447  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, ")**(%.15g)", SCIPexprGetRealPowerExponent(expr));
1448  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1449  break;
1450  }
1451 
1452  case SCIP_EXPR_INTPOWER:
1453  {
1454  appendLineWithIndent(scip, file, linebuffer, linecnt, "power(");
1455  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[0], exprvars) );
1456  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, ", %d)", SCIPexprGetIntPowerExponent(expr));
1457  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1458  break;
1459  }
1460 
1461  case SCIP_EXPR_SIGNPOWER:
1462  {
1463  SCIP_Real exponent;
1464  SCIP_Bool nisoddint;
1465 
1466  /* signpow(x,y) is printed as x*abs(x) if y == 2, x*(abs(x) ** (y-1)) if y is not 2 and not an odd integer, and as intpower(x,y) if y is an odd integer
1467  * but if reading/gmsreader/signpower is TRUE, then we print as signpower(x,y), unless y is odd integer
1468  */
1469  exponent = SCIPexprGetSignPowerExponent(expr);
1470  nisoddint = (((SCIP_Real)((int)exponent)) == exponent) && (((int)exponent)%2 == 1);
1471 
1472  if( !nisoddint )
1473  {
1474  SCIP_Bool signpowerallowed;
1475 
1476  SCIP_CALL( SCIPgetBoolParam(scip, "reading/gmsreader/signpower", &signpowerallowed) );
1477 
1478  if( signpowerallowed )
1479  {
1480  appendLineWithIndent(scip, file, linebuffer, linecnt, " * signpower(");
1481  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[0], exprvars) );
1482  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, ", %.15g)", exponent);
1483  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1484  }
1485  else
1486  {
1487  appendLineWithIndent(scip, file, linebuffer, linecnt, "(");
1488  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[0], exprvars) );
1489  appendLineWithIndent(scip, file, linebuffer, linecnt, ")");
1490 
1491  if( exponent == 2.0)
1492  {
1493  appendLineWithIndent(scip, file, linebuffer, linecnt, " * abs(");
1494  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[0], exprvars) );
1495  appendLineWithIndent(scip, file, linebuffer, linecnt, ")");
1496  }
1497  else
1498  {
1499  appendLineWithIndent(scip, file, linebuffer, linecnt, " * abs(");
1500  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[0], exprvars) );
1501  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, ")**(%g)", SCIPexprGetRealPowerExponent(expr)-1.0);
1502  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1503  }
1504  }
1505  *nsmooth = TRUE;
1506  }
1507  else
1508  {
1509  appendLineWithIndent(scip, file, linebuffer, linecnt, " * power(");
1510  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[0], exprvars) );
1511  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, ", %.15g)", exponent);
1512  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1513  }
1514 
1515  break;
1516  }
1517 
1518  case SCIP_EXPR_ABS:
1519  case SCIP_EXPR_SIGN:
1520  *nsmooth = TRUE; /*lint -fallthrough*/
1521  case SCIP_EXPR_SQUARE:
1522  case SCIP_EXPR_SQRT:
1523  case SCIP_EXPR_EXP:
1524  case SCIP_EXPR_LOG:
1525  case SCIP_EXPR_SIN:
1526  case SCIP_EXPR_COS:
1527  case SCIP_EXPR_TAN:
1528  /* case SCIP_EXPR_ERF: */
1529  /* case SCIP_EXPR_ERFI: */
1530  case SCIP_EXPR_MIN:
1531  case SCIP_EXPR_MAX:
1532  {
1533  int i;
1534 
1535  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%s(", SCIPexpropGetName(SCIPexprGetOperator(expr)));
1536  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1537 
1538  for( i = 0; i < SCIPexprGetNChildren(expr); ++i )
1539  {
1540  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[i], exprvars) );
1541  if( i + 1 < SCIPexprGetNChildren(expr) )
1542  appendLineWithIndent(scip, file, linebuffer, linecnt, ", ");
1543  }
1544 
1545  appendLineWithIndent(scip, file, linebuffer, linecnt, ")");
1546  break;
1547  }
1548 
1549  case SCIP_EXPR_SUM:
1550  case SCIP_EXPR_PRODUCT:
1551  {
1552  switch( SCIPexprGetNChildren(expr) )
1553  {
1554  case 0:
1555  {
1556  appendLineWithIndent(scip, file, linebuffer, linecnt, SCIPexprGetOperator(expr) == SCIP_EXPR_SUM ? "0" : "1");
1557  break;
1558  }
1559  case 1:
1560  {
1561  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[0], exprvars) );
1562  break;
1563  }
1564  default:
1565  {
1566  int i;
1567  const char* opstr = SCIPexprGetOperator(expr) == SCIP_EXPR_SUM ? " + " : " * ";
1568 
1569  appendLineWithIndent(scip, file, linebuffer, linecnt, "(");
1570  for( i = 0; i < SCIPexprGetNChildren(expr); ++i )
1571  {
1572  if( i > 0 )
1573  {
1574  appendLineWithIndent(scip, file, linebuffer, linecnt, opstr);
1575  }
1576  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[i], exprvars) );
1577  }
1578  appendLineWithIndent(scip, file, linebuffer, linecnt, ")");
1579  }
1580  }
1581  break;
1582  }
1583 
1584  case SCIP_EXPR_LINEAR:
1585  {
1586  SCIP_Real constant;
1587  int i;
1588 
1589  constant = SCIPexprGetLinearConstant(expr);
1590 
1591  if( SCIPexprGetNChildren(expr) == 0 )
1592  {
1593  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%.15g", constant);
1594  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1595  break;
1596  }
1597 
1598  appendLineWithIndent(scip, file, linebuffer, linecnt, "(");
1599 
1600  if( constant != 0.0 )
1601  {
1602  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%.15g", constant);
1603  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1604  }
1605 
1606  for( i = 0; i < SCIPexprGetNChildren(expr); ++i )
1607  {
1608  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " %+.15g * ", SCIPexprGetLinearCoefs(expr)[i]);
1609  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1610  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[i], exprvars) );
1611  }
1612 
1613  appendLineWithIndent(scip, file, linebuffer, linecnt, ")");
1614  break;
1615  }
1616 
1617  case SCIP_EXPR_QUADRATIC:
1618  {
1619  SCIP_Real constant;
1620  int i;
1621  SCIP_QUADELEM* quadelems;
1622  SCIP_Real* lincoefs;
1623 
1624  constant = SCIPexprGetQuadConstant(expr);
1625 
1626  if( SCIPexprGetNChildren(expr) == 0 )
1627  {
1628  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%.15g", constant);
1629  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1630  break;
1631  }
1632 
1633  appendLineWithIndent(scip, file, linebuffer, linecnt, "(");
1634 
1635  if( constant != 0.0 )
1636  {
1637  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%.15g", constant);
1638  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1639  }
1640 
1641  lincoefs = SCIPexprGetQuadLinearCoefs(expr);
1642  if( lincoefs != NULL )
1643  for( i = 0; i < SCIPexprGetNChildren(expr); ++i )
1644  {
1645  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " %+.15g * ", lincoefs[i]);
1646  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1647  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[i], exprvars) );
1648  }
1649 
1650  quadelems = SCIPexprGetQuadElements(expr);
1651  for( i = 0; i < SCIPexprGetNQuadElements(expr); ++i )
1652  {
1653  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " %+.15g * ", quadelems[i].coef);
1654  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1655 
1656  if( quadelems[i].idx1 == quadelems[i].idx2 )
1657  {
1658  appendLineWithIndent(scip, file, linebuffer, linecnt, "sqr(");
1659  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[quadelems[i].idx1], exprvars) );
1660  appendLineWithIndent(scip, file, linebuffer, linecnt, ")");
1661  }
1662  else
1663  {
1664  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[quadelems[i].idx1], exprvars) );
1665  appendLineWithIndent(scip, file, linebuffer, linecnt, " * ");
1666  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[quadelems[i].idx2], exprvars) );
1667  }
1668  }
1669 
1670  appendLineWithIndent(scip, file, linebuffer, linecnt, ")");
1671  break;
1672  }
1673 
1674  case SCIP_EXPR_POLYNOMIAL:
1675  {
1676  SCIP_EXPRDATA_MONOMIAL* monomdata;
1677  SCIP_Real exponent;
1678  int i;
1679  int j;
1680 
1681  appendLineWithIndent(scip, file, linebuffer, linecnt, "(");
1682 
1683  if( SCIPexprGetPolynomialConstant(expr) != 0.0 || SCIPexprGetNMonomials(expr) == 0 )
1684  {
1685  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%.15g", SCIPexprGetPolynomialConstant(expr));
1686  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1687  }
1688 
1689  for( i = 0; i < SCIPexprGetNMonomials(expr); ++i )
1690  {
1691  monomdata = SCIPexprGetMonomials(expr)[i];
1692  assert(monomdata != NULL);
1693 
1694  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " %+.15g", SCIPexprGetMonomialCoef(monomdata));
1695  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1696 
1697  for( j = 0; j < SCIPexprGetMonomialNFactors(monomdata); ++j )
1698  {
1699  appendLineWithIndent(scip, file, linebuffer, linecnt, "*");
1700 
1701  exponent = SCIPexprGetMonomialExponents(monomdata)[j];
1702  if( exponent == 1.0 )
1703  {
1704  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[SCIPexprGetMonomialChildIndices(monomdata)[j]], exprvars) );
1705  }
1706  else if( exponent == 2.0 )
1707  {
1708  appendLineWithIndent(scip, file, linebuffer, linecnt, "sqr(");
1709  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[SCIPexprGetMonomialChildIndices(monomdata)[j]], exprvars) );
1710  appendLineWithIndent(scip, file, linebuffer, linecnt, ")");
1711  }
1712  else if( exponent == 0.5 )
1713  {
1714  appendLineWithIndent(scip, file, linebuffer, linecnt, "sqrt(");
1715  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[SCIPexprGetMonomialChildIndices(monomdata)[j]], exprvars) );
1716  appendLineWithIndent(scip, file, linebuffer, linecnt, ")");
1717  }
1718  else if( ((SCIP_Real)((int)exponent)) == exponent )
1719  {
1720  appendLineWithIndent(scip, file, linebuffer, linecnt, "power(");
1721  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[SCIPexprGetMonomialChildIndices(monomdata)[j]], exprvars) );
1722  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, ", %d)", (int)SCIPround(scip, exponent));
1723  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1724  }
1725  else
1726  {
1727  SCIP_CALL( printExpr(scip, file, linebuffer, linecnt, nsmooth, transformed, SCIPexprGetChildren(expr)[SCIPexprGetMonomialChildIndices(monomdata)[j]], exprvars) );
1728  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " ** %.15g", exponent);
1729  appendLineWithIndent(scip, file, linebuffer, linecnt, buffer);
1730  }
1731  }
1732  }
1733 
1734  appendLineWithIndent(scip, file, linebuffer, linecnt, ")");
1735  break;
1736  }
1737 
1738  default:
1739  SCIPerrorMessage("unexpected operand %d in expression\n", SCIPexprGetOperator(expr));
1740  return SCIP_OKAY;
1741  } /*lint !e788*/
1742 
1743  return SCIP_OKAY;
1744 }
1745 
1746 /* print nonlinear row in GAMS format to file stream */
1747 static
1748 SCIP_RETCODE printNonlinearRow(
1749  SCIP* scip, /**< SCIP data structure */
1750  FILE* file, /**< output file (or NULL for standard output) */
1751  const char* rowname, /**< row name */
1752  const char* rownameextension, /**< row name extension */
1753  const char* type, /**< row type ("=e=", "=l=", or "=g=") */
1754  int nlinvars, /**< number of linear terms */
1755  SCIP_VAR** linvars, /**< variables in linear part */
1756  SCIP_Real* lincoeffs, /**< coefficients of variables in linear part */
1757  int nexprtrees, /**< number of expression trees */
1758  SCIP_EXPRTREE** exprtrees, /**< expression trees */
1759  SCIP_Real* exprtreecoefs, /**< expression tree coefficients */
1760  SCIP_Real rhs, /**< right hand side */
1761  SCIP_Bool transformed, /**< transformed constraint? */
1762  SCIP_Bool* nsmooth /**< buffer to store whether we printed a nonsmooth function */
1763  )
1764 {
1765  char linebuffer[GMS_MAX_PRINTLEN] = { '\0' };
1766  int linecnt;
1767 
1768  char consname[GMS_MAX_NAMELEN + 3]; /* four extra characters for ' ..' */
1769  char buffer[GMS_MAX_PRINTLEN];
1770 
1771  int i;
1772 
1773  assert( scip != NULL );
1774  assert( strlen(rowname) > 0 || strlen(rownameextension) > 0 );
1775  assert( strcmp(type, "=e=") == 0 || strcmp(type, "=l=") == 0 || strcmp(type, "=g=") == 0 );
1776 
1777  clearLine(linebuffer, &linecnt);
1778 
1779  /* start each line with a space */
1780  appendLine(scip, file, linebuffer, &linecnt, " ");
1781 
1782  /* print row name */
1783  (void) SCIPsnprintf(buffer, GMS_MAX_NAMELEN + 3, "%s%s ..", rowname, rownameextension);
1784  SCIP_CALL( printConformName(scip, consname, GMS_MAX_NAMELEN + 3, buffer) );
1785 
1786  appendLine(scip, file, linebuffer, &linecnt, consname);
1787 
1788  /* print nonlinear terms
1789  */
1790  for( i = 0; i < nexprtrees; ++i )
1791  {
1792  assert(exprtrees[i] != NULL);
1793  if( exprtreecoefs[i] != 0.0 )
1794  {
1795  (void) SCIPsnprintf(buffer, GMS_MAX_NAMELEN + 3, "%+g * (", exprtreecoefs[i]);
1796  appendLineWithIndent(scip, file, linebuffer, &linecnt, buffer);
1797  SCIP_CALL( printExpr(scip, file, linebuffer, &linecnt, nsmooth, transformed, SCIPexprtreeGetRoot(exprtrees[i]), SCIPexprtreeGetVars(exprtrees[i])) );
1798  appendLineWithIndent(scip, file, linebuffer, &linecnt, ")");
1799  }
1800  }
1801 
1802  /* print linear terms, do after nonlinear since nonlinear may not print sign in beginning */
1803  if( nlinvars > 0 )
1804  {
1805  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "+", " ", nlinvars, linvars, lincoeffs, transformed) );
1806  }
1807 
1808  /* print right hand side */
1809  if( linecnt == 0 )
1810  /* we start a new line; therefore we tab this line */
1811  appendLine(scip, file, linebuffer, &linecnt, " ");
1812 
1813  if( SCIPisZero(scip, rhs) )
1814  rhs = 0.0;
1815 
1816  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%s %.15g;", type, rhs);
1817 
1818  appendLine(scip, file, linebuffer, &linecnt, buffer);
1819 
1820  endLine(scip, file, linebuffer, &linecnt);
1821 
1822  return SCIP_OKAY;
1823 }
1824 
1825 /* print nonlinear row in GAMS format to file stream (performing retransformation to active linear variables)
1826  * */
1827 static
1828 SCIP_RETCODE printNonlinearCons(
1829  SCIP* scip, /**< SCIP data structure */
1830  FILE* file, /**< output file (or NULL for standard output) */
1831  const char* rowname, /**< row name */
1832  int nlinvars, /**< number of linear terms */
1833  SCIP_VAR** linvars, /**< variables in linear part */
1834  SCIP_Real* lincoeffs, /**< coefficients of variables in linear part */
1835  int nexprtrees, /**< number of expression trees */
1836  SCIP_EXPRTREE** exprtrees, /**< expression trees */
1837  SCIP_Real* exprtreecoefs, /**< expression tree coefficients */
1838  SCIP_Real lhs, /**< left hand side */
1839  SCIP_Real rhs, /**< right hand side */
1840  SCIP_Bool transformed, /**< transformed constraint? */
1841  SCIP_Bool* nsmooth /**< buffer to store whether we printed a nonsmooth function */
1842  )
1843 {
1844  assert( scip != NULL );
1845  assert( strlen(rowname) > 0 );
1846 
1847  /* print row(s) in GAMS format */
1848  if( SCIPisEQ(scip, lhs, rhs) )
1849  {
1850  assert( !SCIPisInfinity(scip, rhs) );
1851 
1852  /* print equality constraint */
1853  SCIP_CALL( printNonlinearRow(scip, file, rowname, "", "=e=",
1854  nlinvars, linvars, lincoeffs, nexprtrees, exprtrees, exprtreecoefs, rhs, transformed, nsmooth) );
1855  }
1856  else
1857  {
1858  if( !SCIPisInfinity(scip, -lhs) )
1859  {
1860  /* print inequality ">=" */
1861  SCIP_CALL( printNonlinearRow(scip, file, rowname, SCIPisInfinity(scip, rhs) ? "" : "_lhs", "=g=",
1862  nlinvars, linvars, lincoeffs, nexprtrees, exprtrees, exprtreecoefs, lhs, transformed, nsmooth) );
1863  }
1864  if( !SCIPisInfinity(scip, rhs) )
1865  {
1866  /* print inequality "<=" */
1867  SCIP_CALL( printNonlinearRow(scip, file, rowname, SCIPisInfinity(scip, -lhs) ? "" : "_rhs", "=l=",
1868  nlinvars, linvars, lincoeffs, nexprtrees, exprtrees, exprtreecoefs, rhs, transformed, nsmooth) );
1869  }
1870  }
1871 
1872  return SCIP_OKAY;
1873 }
1874 
1875 /** method check if the variable names are not longer than GMS_MAX_NAMELEN */
1876 static
1877 SCIP_RETCODE checkVarnames(
1878  SCIP* scip, /**< SCIP data structure */
1879  SCIP_VAR** vars, /**< array of variables */
1880  int nvars /**< number of variables */
1881  )
1882 {
1883  int v;
1884  SCIP_VAR* var;
1885  SCIP_Bool replaceforbiddenchars;
1886  const char* badchar;
1887 
1888  assert( scip != NULL );
1889  assert( vars != NULL );
1890 
1891  SCIP_CALL( SCIPgetBoolParam(scip, "reading/gmsreader/replaceforbiddenchars", &replaceforbiddenchars) );
1892 
1893  /* check if the variable names contain the symbols '#', '*', '+', '/', '-', or '@' */
1894  for( badchar = badchars; *badchar; ++badchar )
1895  {
1896  for( v = 0; v < nvars; ++v )
1897  {
1898  var = vars[v];
1899  assert( var != NULL );
1900 
1901  if( strchr(SCIPvarGetName(var), *badchar) != NULL )
1902  {
1903  if( replaceforbiddenchars )
1904  {
1905  SCIPinfoMessage(scip, NULL, "there is a variable name with symbol '%c', not allowed in GAMS format; all '%c' replaced by '_' (consider using 'write genproblem'/'write gentransproblem').\n", *badchar, *badchar);
1906  }
1907  else
1908  {
1909  SCIPwarningMessage(scip, "there is a variable name with symbol '%c', not allowed in GAMS format; use 'write genproblem'/'write gentransproblem', or set 'reading/gmsreader/replaceforbiddenchars' to TRUE and risk duplicate variable names.\n", *badchar);
1910  }
1911 
1912  break;
1913  }
1914  }
1915  }
1916 
1917  /* check if the variable names are too long */
1918  for( v = 0; v < nvars; ++v )
1919  {
1920  var = vars[v];
1921  assert( var != NULL );
1922 
1923  if( strlen(SCIPvarGetName(var)) > GMS_MAX_NAMELEN )
1924  {
1925  SCIPwarningMessage(scip, "there is a variable name which has to be cut down to %d characters; GAMS model might be corrupted.\n",
1926  GMS_MAX_NAMELEN - 1);
1927  break;
1928  }
1929  }
1930 
1931  return SCIP_OKAY;
1932 }
1933 
1934 /** method check if the constraint names are not longer than GMS_MAX_NAMELEN */
1935 static
1936 SCIP_RETCODE checkConsnames(
1937  SCIP* scip, /**< SCIP data structure */
1938  SCIP_CONS** conss, /**< array of constraints */
1939  int nconss, /**< number of constraints */
1940  SCIP_Bool transformed /**< TRUE iff problem is the transformed problem */
1941  )
1942 {
1943  int c;
1944  SCIP_CONS* cons;
1945  SCIP_CONSHDLR* conshdlr;
1946  const char* conshdlrname;
1947  SCIP_Bool replaceforbiddenchars;
1948  const char* badchar;
1949 
1950  assert( scip != NULL );
1951  assert( conss != NULL );
1952 
1953  SCIP_CALL( SCIPgetBoolParam(scip, "reading/gmsreader/replaceforbiddenchars", &replaceforbiddenchars) );
1954 
1955  /* check if the constraint names contain the symbol '#', '*', '+', '/', '-', or '@' */
1956  for( badchar = badchars; *badchar; ++badchar )
1957  {
1958  for( c = 0; c < nconss; ++c )
1959  {
1960  cons = conss[c];
1961  assert( cons != NULL );
1962 
1963  if( strchr(SCIPconsGetName(cons), *badchar) != NULL )
1964  {
1965  if( replaceforbiddenchars )
1966  {
1967  SCIPinfoMessage(scip, NULL, "there is a constraint name with symbol '%c', not allowed in GAMS format; all '%c' replaced by '_' (consider using 'write genproblem'/'write gentransproblem').\n", *badchar, *badchar);
1968  }
1969  else
1970  {
1971  SCIPwarningMessage(scip, "there is a constraint name with symbol '%c', not allowed in GAMS format; use 'write genproblem'/'write gentransproblem', or set 'reading/gmsreader/replaceforbiddenchars' to TRUE and risk duplicate variable names.\n", *badchar);
1972  }
1973 
1974  break;
1975  }
1976  }
1977  }
1978 
1979  /* check if the constraint names are too long */
1980  for( c = 0; c < nconss; ++c )
1981  {
1982  cons = conss[c];
1983  assert( cons != NULL );
1984 
1985  /* in case the transformed is written, only constraints are posted which are enabled in the current node */
1986  assert(!transformed || SCIPconsIsEnabled(cons));
1987 
1988  conshdlr = SCIPconsGetHdlr(cons);
1989  assert( conshdlr != NULL );
1990 
1991  conshdlrname = SCIPconshdlrGetName(conshdlr);
1992  assert( transformed == SCIPconsIsTransformed(cons) );
1993 
1994  if( strcmp(conshdlrname, "linear") == 0 || strcmp(conshdlrname, "quadratic") == 0 )
1995  {
1996  SCIP_Real lhs = strcmp(conshdlrname, "linear") == 0 ? SCIPgetLhsLinear(scip, cons) : SCIPgetLhsQuadratic(scip, cons);
1997  SCIP_Real rhs = strcmp(conshdlrname, "linear") == 0 ? SCIPgetLhsLinear(scip, cons) : SCIPgetRhsQuadratic(scip, cons);
1998 
1999  if( SCIPisEQ(scip, lhs, rhs) && strlen(SCIPconsGetName(conss[c])) > GMS_MAX_NAMELEN )
2000  {
2001  SCIPwarningMessage(scip, "there is a constraint name which has to be cut down to %d characters;\n",
2002  GMS_MAX_NAMELEN - 1);
2003  break;
2004  }
2005  else if( !SCIPisEQ(scip, lhs, rhs) && strlen(SCIPconsGetName(conss[c])) > GMS_MAX_NAMELEN - 4 )
2006  {
2007  SCIPwarningMessage(scip, "there is a constraint name which has to be cut down to %d characters;\n",
2008  GMS_MAX_NAMELEN - 5);
2009  break;
2010  }
2011  }
2012  else if( strlen(SCIPconsGetName(conss[c])) > GMS_MAX_NAMELEN )
2013  {
2014  SCIPwarningMessage(scip, "there is a constraint name which has to be cut down to %d characters;\n",
2015  GMS_MAX_NAMELEN - 1);
2016  break;
2017  }
2018  }
2019  return SCIP_OKAY;
2020 }
2021 
2022 
2023 /*
2024  * Callback methods of reader
2025  */
2026 
2027 /** copy method for reader plugins (called when SCIP copies plugins) */
2028 static
2029 SCIP_DECL_READERCOPY(readerCopyGms)
2030 { /*lint --e{715}*/
2031  assert(scip != NULL);
2032  assert(reader != NULL);
2033  assert(strcmp(SCIPreaderGetName(reader), READER_NAME) == 0);
2034 
2035  /* call inclusion method of reader */
2036  SCIP_CALL( SCIPincludeReaderGms(scip) );
2037 
2038  return SCIP_OKAY;
2039 }
2040 
2041 #ifdef WITH_GAMS
2042 /** problem reading method of reader */
2043 static
2044 SCIP_DECL_READERREAD(readerReadGms)
2045 {
2046  SCIP_RETCODE ret;
2047  FILE* convertdopt;
2048  char gamscall[SCIP_MAXSTRLEN];
2049  char buffer[GMS_SSSIZE];
2050  int rc;
2051  gmoHandle_t gmo = NULL;
2052  gevHandle_t gev = NULL;
2053 
2054  assert(scip != NULL);
2055  assert(reader != NULL);
2056  assert(filename != NULL);
2057  assert(result != NULL);
2058 
2059  *result = SCIP_DIDNOTRUN;
2060  ret = SCIP_ERROR;
2061 
2062  /* create temporary directory */
2063  mkdir("loadgms.tmp", S_IRWXU);
2064 
2065  /* create empty convertd options file */
2066  convertdopt = fopen("loadgms.tmp/convertd.opt", "w");
2067  if( convertdopt == NULL )
2068  {
2069  SCIPerrorMessage("Could not create convertd options file. Do you have write permissions in execution directory?\n");
2070  goto TERMINATE;
2071  }
2072  fputs(" ", convertdopt);
2073  fclose(convertdopt);
2074 
2075  /* call GAMS with convertd solver to get compiled model instance in temporary directory */
2076  SCIPsnprintf(gamscall, SCIP_MAXSTRLEN, WITH_GAMS "/gams %s LP=CONVERTD RMIP=CONVERTD QCP=CONVERTD RMIQCP=CONVERTD NLP=CONVERTD DNLP=CONVERTD RMINLP=CONVERTD CNS=CONVERTD MIP=CONVERTD MIQCP=CONVERTD MINLP=CONVERTD MCP=CONVERTD MPEC=CONVERTD RMPEC=CONVERTD SCRDIR=loadgms.tmp output=loadgms.tmp/listing optdir=loadgms.tmp optfile=1 pf4=0 solprint=0 limcol=0 limrow=0 pc=2 lo=%d",
2077  filename, SCIPgetVerbLevel(scip) == SCIP_VERBLEVEL_FULL ? 3 : 0);
2078  SCIPdebugMessage(gamscall);
2079  rc = system(gamscall);
2080  if( rc != 0 )
2081  {
2082  SCIPerrorMessage("GAMS call returned with code %d, check loadgms.tmp/listing for details.\n", rc);
2083  /* likely the GAMS model could not be compiled, which we could report as a readerror */
2084  ret = SCIP_READERROR;
2085  goto TERMINATE;
2086  }
2087 
2088  /* initialize GEV library and create GEV */
2089  if( !gevCreateDD(&gev, WITH_GAMS, buffer, sizeof(buffer)) )
2090  {
2091  SCIPerrorMessage(buffer);
2092  goto TERMINATE;
2093  }
2094 
2095  /* initialize GMO library and create GMO */
2096  if( !gmoCreateDD(&gmo, WITH_GAMS, buffer, sizeof(buffer)) )
2097  {
2098  SCIPerrorMessage(buffer);
2099  goto TERMINATE;
2100  }
2101 
2102  /* load control file */
2103  if( gevInitEnvironmentLegacy(gev, "loadgms.tmp/gamscntr.dat") )
2104  {
2105  SCIPerrorMessage("Could not load control file loadgms.tmp/gamscntr.dat\n");
2106  goto TERMINATE;
2107  }
2108 
2109  /* tell GMO about GEV */
2110  if( gmoRegisterEnvironment(gmo, gev, buffer) )
2111  {
2112  SCIPerrorMessage("Error registering GAMS Environment: %s\n", buffer);
2113  goto TERMINATE;
2114  }
2115 
2116  /* load GAMS model instance into GMO */
2117  if( gmoLoadDataLegacy(gmo, buffer) )
2118  {
2119  SCIPerrorMessage("Could not load model data.\n");
2120  goto TERMINATE;
2121  }
2122 
2123  /* create SCIP problem out of GMO, using the magic from reader_gmo in interfaces/gams */
2124  SCIP_CALL( SCIPcreateProblemReaderGmo(scip, gmo, NULL, FALSE) );
2125  *result = SCIP_SUCCESS;
2126 
2127  ret = SCIP_OKAY;
2128 
2129 TERMINATE:
2130  if( gmo != NULL )
2131  gmoFree(&gmo);
2132  if( gev != NULL )
2133  gevFree(&gev);
2134 
2135  /* remove temporary directory content (should have only files and directory itself) */
2136  if( ret != SCIP_READERROR )
2137  system("rm loadgms.tmp/* && rmdir loadgms.tmp");
2138 
2139  return ret;
2140 }
2141 #endif
2142 
2143 /** problem writing method of reader */
2144 static
2145 SCIP_DECL_READERWRITE(readerWriteGms)
2146 { /*lint --e{715}*/
2147  SCIP_CALL( SCIPwriteGms(scip, file, name, transformed, objsense, objscale, objoffset, vars,
2148  nvars, nbinvars, nintvars, nimplvars, ncontvars, conss, nconss, result) );
2149 
2150  return SCIP_OKAY;
2151 }
2152 
2153 #ifdef WITH_GAMS
2154 /** destructor of reader to free user data (called when SCIP is exiting) */
2155 static
2156 SCIP_DECL_READERFREE(readerFreeGms)
2157 {
2158  if( gmoLibraryLoaded() )
2159  gmoLibraryUnload();
2160  if( gevLibraryLoaded() )
2161  gevLibraryUnload();
2162 
2163  return SCIP_OKAY;
2164 }
2165 #endif
2166 
2167 /*
2168  * reader specific interface methods
2169  */
2170 
2171 /** includes the gms file reader in SCIP */
2172 SCIP_RETCODE SCIPincludeReaderGms(
2173  SCIP* scip /**< SCIP data structure */
2174  )
2175 {
2176  SCIP_READERDATA* readerdata;
2177  SCIP_READER* reader;
2178 
2179  /* create reader data */
2180  readerdata = NULL;
2181 
2182  /* include reader */
2183  SCIP_CALL( SCIPincludeReaderBasic(scip, &reader, READER_NAME, READER_DESC, READER_EXTENSION, readerdata) );
2184 
2185  /* set non fundamental callbacks via setter functions */
2186  SCIP_CALL( SCIPsetReaderCopy(scip, reader, readerCopyGms) );
2187 #ifdef WITH_GAMS
2188  SCIP_CALL( SCIPsetReaderRead(scip, reader, readerReadGms) );
2189  SCIP_CALL( SCIPsetReaderFree(scip, reader, readerFreeGms) );
2190 #endif
2191  SCIP_CALL( SCIPsetReaderWrite(scip, reader, readerWriteGms) );
2192 
2193  /* add gms reader parameters for writing routines*/
2194  SCIP_CALL( SCIPaddBoolParam(scip,
2195  "reading/gmsreader/freeints", "have integer variables no upper bound by default (depending on GAMS version)?",
2196  NULL, FALSE, FALSE, NULL, NULL) );
2197 
2198  SCIP_CALL( SCIPaddBoolParam(scip,
2199  "reading/gmsreader/replaceforbiddenchars", "shall characters '#', '*', '+', '/', and '-' in variable and constraint names be replaced by '_'?",
2200  NULL, FALSE, FALSE, NULL, NULL) );
2201 
2202  SCIP_CALL( SCIPaddRealParam(scip,
2203  "reading/gmsreader/bigmdefault", "default M value for big-M reformulation of indicator constraints in case no bound on slack variable is given",
2204  NULL, FALSE, GMS_DEFAULT_BIGM, 0.0, SCIP_REAL_MAX, NULL, NULL) );
2205 
2206  SCIP_CALL( SCIPaddCharParam(scip,
2207  "reading/gmsreader/indicatorreform", "which reformulation to use for indicator constraints: 'b'ig-M, 's'os1",
2208  NULL, FALSE, GMS_DEFAULT_INDICATORREFORM, "bs", NULL, NULL) );
2209 
2210  SCIP_CALL( SCIPaddBoolParam(scip,
2211  "reading/gmsreader/signpower", "is it allowed to use the gams function signpower(x,a)?",
2212  NULL, FALSE, GMS_DEFAULT_SIGNPOWER, NULL, NULL) );
2213 
2214  return SCIP_OKAY;
2215 }
2216 
2217 
2218 /** writes problem to gms file */
2219 SCIP_RETCODE SCIPwriteGms(
2220  SCIP* scip, /**< SCIP data structure */
2221  FILE* file, /**< output file, or NULL if standard output should be used */
2222  const char* name, /**< problem name */
2223  SCIP_Bool transformed, /**< TRUE iff problem is the transformed problem */
2224  SCIP_OBJSENSE objsense, /**< objective sense */
2225  SCIP_Real objscale, /**< scalar applied to objective function; external objective value is
2226  * extobj = objsense * objscale * (intobj + objoffset) */
2227  SCIP_Real objoffset, /**< objective offset from bound shifting and fixing */
2228  SCIP_VAR** vars, /**< array with active variables ordered binary, integer, implicit, continuous */
2229  int nvars, /**< number of active variables in the problem */
2230  int nbinvars, /**< number of binary variables */
2231  int nintvars, /**< number of general integer variables */
2232  int nimplvars, /**< number of implicit integer variables */
2233  int ncontvars, /**< number of continuous variables */
2234  SCIP_CONS** conss, /**< array with constraints of the problem */
2235  int nconss, /**< number of constraints in the problem */
2236  SCIP_RESULT* result /**< pointer to store the result of the file writing call */
2237  )
2238 {
2239  int c;
2240  int v;
2241  int linecnt;
2242  char linebuffer[GMS_MAX_PRINTLEN];
2243 
2244  char varname[GMS_MAX_NAMELEN];
2245  char buffer[GMS_MAX_PRINTLEN];
2246 
2247  SCIP_Real* objcoeffs;
2248 
2249  SCIP_CONSHDLR* conshdlr;
2250  const char* conshdlrname;
2251  SCIP_CONS* cons;
2252 
2253  char consname[GMS_MAX_NAMELEN];
2254 
2255  SCIP_VAR** consvars;
2256  SCIP_Real* consvals;
2257  int nconsvars;
2258 
2259  SCIP_VAR* var;
2260  SCIP_VAR* objvar;
2261  SCIP_Real lb;
2262  SCIP_Real ub;
2263  SCIP_Bool freeints;
2264  SCIP_Bool nondefbounds;
2265  SCIP_Bool nlcons;
2266  SCIP_Bool nqcons;
2267  SCIP_Bool nsmooth;
2268  SCIP_Bool discrete;
2269  SCIP_Bool rangedrow;
2270  SCIP_Bool indicatorsosdef;
2271  SCIP_Bool signpowerallowed;
2272  SCIP_Bool needcomma;
2273 
2274  assert( scip != NULL );
2275  assert( vars != NULL || nvars == 0 );
2276 
2277  /* check if the variable names are not too long */
2278  SCIP_CALL( checkVarnames(scip, vars, nvars) );
2279  /* check if the constraint names are too long */
2280  SCIP_CALL( checkConsnames(scip, conss, nconss, transformed) );
2281 
2282  SCIP_CALL( SCIPgetBoolParam(scip, "reading/gmsreader/signpower", &signpowerallowed) );
2283 
2284  /* check if the objective is a single continuous variable, so we would not have to introduce an auxiliary variable
2285  * for GAMS
2286  */
2287  objvar = NULL;
2288  if( objscale == 1.0 && objoffset == 0.0 )
2289  {
2290  for( v = 0; v < nvars; ++v )
2291  {
2292  if( SCIPvarGetObj(vars[v]) == 0.0 ) /*lint !e613*/
2293  continue;
2294 
2295  if( objvar == NULL )
2296  {
2297  /* first variable with nonzero obj coefficient
2298  * if not active or having coefficient != 1.0, or being binary/integer, then give up
2299  */
2300  if( !SCIPvarIsActive(vars[v]) || SCIPvarGetObj(vars[v]) != 1.0 ||
2301  SCIPvarGetType(vars[v]) < SCIP_VARTYPE_IMPLINT ) /*lint !e613*/
2302  break;
2303 
2304  objvar = vars[v]; /*lint !e613*/
2305  }
2306  else
2307  {
2308  /* second variable with nonzero obj coefficient -> give up */
2309  objvar = NULL;
2310  break;
2311  }
2312  }
2313  }
2314 
2315  /* print statistics as comment to file */
2316  SCIPinfoMessage(scip, file, "$OFFLISTING\n");
2317  SCIPinfoMessage(scip, file, "* SCIP STATISTICS\n");
2318  SCIPinfoMessage(scip, file, "* Problem name : %s\n", name);
2319  SCIPinfoMessage(scip, file, "* Variables : %d (%d binary, %d integer, %d implicit integer, %d continuous)\n",
2320  nvars, nbinvars, nintvars, nimplvars, ncontvars);
2321  SCIPinfoMessage(scip, file, "* Constraints : %d\n\n", nconss);
2322 
2323  /* print flags */
2324  SCIPinfoMessage(scip, file, "$MAXCOL %d\n", GMS_MAX_LINELEN - 1);
2325  SCIPinfoMessage(scip, file, "$OFFDIGIT\n\n");
2326 
2327  /* print variable section */
2328  SCIPinfoMessage(scip, file, "Variables\n");
2329  clearLine(linebuffer, &linecnt);
2330 
2331  if( objvar == NULL )
2332  {
2333  /* auxiliary objective variable */
2334  SCIPinfoMessage(scip, file, " objvar%c", nvars > 0 ? ',' : ';');
2335  }
2336 
2337  /* "model" variables */
2338  for( v = 0; v < nvars; ++v )
2339  {
2340  var = vars[v]; /*lint !e613*/
2341  assert( var != NULL );
2342 
2343  SCIP_CALL( printConformName(scip, varname, GMS_MAX_NAMELEN, SCIPvarGetName(var)) );
2344  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " %s%c", varname, (v < nvars - 1) ? ',' : ';');
2345  appendLine(scip, file, linebuffer, &linecnt, buffer);
2346 
2347  if( (linecnt > 0 && (v == nbinvars - 1 || v == nbinvars + nintvars - 1 ||
2348  v == nbinvars + nintvars + nimplvars - 1)) || v == nvars - 1 )
2349  {
2350  endLine(scip, file, linebuffer, &linecnt);
2351  clearLine(linebuffer, &linecnt);
2352  }
2353  }
2354 
2355  SCIPinfoMessage(scip, file, "\n");
2356 
2357  /* declare binary variables if present */
2358  if( nbinvars > 0 )
2359  {
2360  SCIPinfoMessage(scip, file, "Binary variables\n");
2361  clearLine(linebuffer, &linecnt);
2362 
2363  for( v = 0; v < nbinvars; ++v )
2364  {
2365  var = vars[v]; /*lint !e613*/
2366 
2367  SCIP_CALL( printConformName(scip, varname, GMS_MAX_NAMELEN, SCIPvarGetName(var)) );
2368  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " %s%s", varname, (v < nbinvars - 1) ? "," : ";");
2369 
2370  appendLine(scip, file, linebuffer, &linecnt, buffer);
2371  }
2372 
2373  endLine(scip, file, linebuffer, &linecnt);
2374  SCIPinfoMessage(scip, file, "\n");
2375  }
2376 
2377  /* declare integer variables if present */
2378  if( nintvars > 0 )
2379  {
2380  SCIPinfoMessage(scip, file, "Integer variables\n");
2381  clearLine(linebuffer, &linecnt);
2382 
2383  for( v = 0; v < nintvars; ++v )
2384  {
2385  var = vars[nbinvars + v]; /*lint !e613*/
2386 
2387  SCIP_CALL( printConformName(scip, varname, GMS_MAX_NAMELEN, SCIPvarGetName(var)) );
2388  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " %s%s", varname, (v < nintvars - 1) ? "," : ";");
2389 
2390  appendLine(scip, file, linebuffer, &linecnt, buffer);
2391  }
2392  endLine(scip, file, linebuffer, &linecnt);
2393  SCIPinfoMessage(scip, file, "\n");
2394  }
2395 
2396  /* print variable bounds */
2397  SCIPinfoMessage(scip, file, "* Variable bounds\n");
2398  SCIP_CALL( SCIPgetBoolParam(scip, "reading/gmsreader/freeints", &freeints) );
2399  nondefbounds = FALSE;
2400 
2401  for( v = 0; v < nvars; ++v )
2402  {
2403  var = vars[v]; /*lint !e613*/
2404  assert( var != NULL );
2405 
2406  SCIP_CALL( printConformName(scip, varname, GMS_MAX_NAMELEN, SCIPvarGetName(var)) );
2407 
2408  if( transformed )
2409  {
2410  /* in case the transformed is written only local bounds are posted which are valid in the current node */
2411  lb = SCIPvarGetLbLocal(var);
2412  ub = SCIPvarGetUbLocal(var);
2413  }
2414  else
2415  {
2416  lb = SCIPvarGetLbOriginal(var);
2417  ub = SCIPvarGetUbOriginal(var);
2418  }
2419  assert( lb <= ub );
2420 
2421  /* fixed */
2422  if( SCIPisEQ(scip, lb, ub) )
2423  {
2424  if( v < nintvars )
2425  SCIPinfoMessage(scip, file, " %s.fx = %g;\n", varname, SCIPfloor(scip, lb + 0.5));
2426  else
2427  SCIPinfoMessage(scip, file, " %s.fx = %.15g;\n", varname, lb);
2428  nondefbounds = TRUE;
2429 
2430  /* no need to write lower and upper bounds additionally */
2431  continue;
2432  }
2433 
2434  /* lower bound */
2435  if( v < nbinvars + nintvars )
2436  {
2437  /* default lower bound of binaries and integers is 0 (also in recent gams versions if pf4=0 is given) */
2438  if( !SCIPisZero(scip, lb) )
2439  {
2440  if( !SCIPisInfinity(scip, -lb) )
2441  SCIPinfoMessage(scip, file, " %s.lo = %g;\n", varname, SCIPceil(scip, lb));
2442  else if( freeints )
2443  SCIPinfoMessage(scip, file, " %s.lo = -inf;\n", varname); /* -inf is allowed when running gams with pf4=0, which we assume if freeints is TRUE */
2444  else
2445  SCIPinfoMessage(scip, file, " %s.lo = %g;\n", varname, -SCIPinfinity(scip)); /* sorry, -inf not allowed in gams file here */
2446  nondefbounds = TRUE;
2447  }
2448  }
2449  else if( v >= nbinvars + nintvars && !SCIPisInfinity(scip, -lb) )
2450  {
2451  /* continuous variables are free by default */
2452  SCIPinfoMessage(scip, file, " %s.lo = %.15g;\n", varname, lb);
2453  nondefbounds = TRUE;
2454  }
2455 
2456  /* upper bound */
2457  if( v < nbinvars )
2458  {
2459  if( !SCIPisFeasEQ(scip, ub, 1.0) )
2460  {
2461  SCIPinfoMessage(scip, file, " %s.up = %g;\n", varname, SCIPfeasFloor(scip, ub));
2462  nondefbounds = TRUE;
2463  }
2464  }
2465  else if( v < nbinvars + nintvars && !freeints )
2466  {
2467  /* freeints == FALSE: integer variables have upper bound 100 by default */
2468  if( !SCIPisFeasEQ(scip, ub, 100.0) )
2469  {
2470  if( !SCIPisInfinity(scip, ub) )
2471  SCIPinfoMessage(scip, file, " %s.up = %g;\n", varname, SCIPfeasFloor(scip, ub));
2472  else
2473  SCIPinfoMessage(scip, file, " %s.up = %g;\n", varname, SCIPinfinity(scip)); /* sorry, +inf not allowed in gams file here (unless pf4=0) */
2474  nondefbounds = TRUE;
2475  }
2476  }
2477  else if( v < nbinvars + nintvars && !SCIPisInfinity(scip, ub) )
2478  {
2479  /* freeints == TRUE: integer variables have no upper bound by default */
2480  SCIPinfoMessage(scip, file, " %s.up = %g;\n", varname, SCIPfloor(scip, ub));
2481  nondefbounds = TRUE;
2482  }
2483  else if( v >= nbinvars + nintvars && !SCIPisInfinity(scip, ub) )
2484  {
2485  /* continuous variables are free by default */
2486  SCIPinfoMessage(scip, file, " %s.up = %.15g;\n", varname, ub);
2487  nondefbounds = TRUE;
2488  }
2489  }
2490 
2491  if( !nondefbounds )
2492  SCIPinfoMessage(scip, file, "* (All other bounds at default value: binary [0,1], integer [%s], continuous [-inf,+inf].)\n", freeints ? "0,+inf" : "0,100");
2493  SCIPinfoMessage(scip, file, "\n");
2494 
2495  /* print equations section */
2496  if( nconss > 0 || objvar == NULL )
2497  {
2498  SCIPinfoMessage(scip, file, "Equations\n");
2499  clearLine(linebuffer, &linecnt);
2500  }
2501  needcomma = FALSE;
2502 
2503  if( objvar == NULL )
2504  {
2505  SCIPinfoMessage(scip, file, " objequ");
2506  needcomma = TRUE;
2507  }
2508 
2509  /* declare equations */
2510  for( c = 0; c < nconss; ++c )
2511  {
2512  cons = conss[c];
2513  assert( cons != NULL );
2514 
2515  conshdlr = SCIPconsGetHdlr(cons);
2516  assert( conshdlr != NULL );
2517 
2518  SCIP_CALL( printConformName(scip, consname, GMS_MAX_NAMELEN, SCIPconsGetName(cons)) );
2519  conshdlrname = SCIPconshdlrGetName(conshdlr);
2520  assert( transformed == SCIPconsIsTransformed(cons) );
2521 
2522  rangedrow = strcmp(conshdlrname, "linear") == 0
2523  && !SCIPisInfinity(scip, -SCIPgetLhsLinear(scip, cons)) && !SCIPisInfinity(scip, SCIPgetRhsLinear(scip, cons))
2524  && !SCIPisEQ(scip, SCIPgetLhsLinear(scip, cons), SCIPgetRhsLinear(scip, cons));
2525  rangedrow = rangedrow || (strcmp(conshdlrname, "quadratic") == 0
2526  && !SCIPisInfinity(scip, -SCIPgetLhsQuadratic(scip, cons)) && !SCIPisInfinity(scip, SCIPgetRhsQuadratic(scip, cons))
2527  && !SCIPisEQ(scip, SCIPgetLhsQuadratic(scip, cons), SCIPgetRhsQuadratic(scip, cons)));
2528  rangedrow = rangedrow || (strcmp(conshdlrname, "nonlinear") == 0
2529  && !SCIPisInfinity(scip, -SCIPgetLhsNonlinear(scip, cons)) && !SCIPisInfinity(scip, SCIPgetRhsNonlinear(scip, cons))
2530  && !SCIPisEQ(scip, SCIPgetLhsNonlinear(scip, cons), SCIPgetRhsNonlinear(scip, cons)));
2531  rangedrow = rangedrow || (strcmp(conshdlrname, "abspower") == 0
2532  && !SCIPisInfinity(scip, -SCIPgetLhsAbspower(scip, cons)) && !SCIPisInfinity(scip, SCIPgetRhsAbspower(scip, cons))
2533  && !SCIPisEQ(scip, SCIPgetLhsAbspower(scip, cons), SCIPgetRhsAbspower(scip, cons)));
2534  rangedrow = rangedrow || (strcmp(conshdlrname, "bivariate") == 0
2535  && !SCIPisInfinity(scip, -SCIPgetLhsBivariate(scip, cons)) && !SCIPisInfinity(scip, SCIPgetRhsBivariate(scip, cons))
2536  && !SCIPisEQ(scip, SCIPgetLhsBivariate(scip, cons), SCIPgetRhsBivariate(scip, cons)));
2537  rangedrow = rangedrow || (strcmp(conshdlrname, "varbound") == 0
2538  && !SCIPisInfinity(scip, -SCIPgetLhsVarbound(scip, cons)) && !SCIPisInfinity(scip, SCIPgetRhsVarbound(scip, cons))
2539  && !SCIPisEQ(scip, SCIPgetLhsVarbound(scip, cons), SCIPgetRhsVarbound(scip, cons)));
2540 
2541  /* we declare only those constraints which we can print in GAMS format */
2542  if( strcmp(conshdlrname, "knapsack") != 0 && strcmp(conshdlrname, "logicor") != 0 && strcmp(conshdlrname, "setppc") != 0
2543  && strcmp(conshdlrname, "linear") != 0 && strcmp(conshdlrname, "quadratic") != 0 && strcmp(conshdlrname, "varbound") != 0
2544  && strcmp(conshdlrname, "soc") != 0 && strcmp(conshdlrname, "abspower") != 0 && strcmp(conshdlrname, "bivariate") != 0
2545  && strcmp(conshdlrname, "nonlinear") != 0 && strcmp(conshdlrname, "SOS1") != 0 && strcmp(conshdlrname, "SOS2") != 0
2546  && strcmp(conshdlrname, "indicator") != 0 )
2547  {
2548  SCIPwarningMessage(scip, "Constraint type <%s> not supported. Skip writing constraint <%s>.\n", conshdlrname, SCIPconsGetName(cons));
2549  continue;
2550  }
2551 
2552  if( needcomma )
2553  appendLine(scip, file, linebuffer, &linecnt, ",");
2554 
2555  SCIP_CALL( printConformName(scip, consname, GMS_MAX_NAMELEN, SCIPconsGetName(cons)) );
2556  if( rangedrow )
2557  {
2558  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " %s%s%s%s", consname, "_lhs, ", consname, "_rhs");
2559  appendLine(scip, file, linebuffer, &linecnt, buffer);
2560  }
2561  else
2562  {
2563  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " %s", consname);
2564  appendLine(scip, file, linebuffer, &linecnt, buffer);
2565  }
2566  needcomma = TRUE;
2567  }
2568 
2569  if( nconss > 0 || objvar == NULL )
2570  {
2571  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, ";");
2572  appendLine(scip, file, linebuffer, &linecnt, buffer);
2573 
2574  endLine(scip, file, linebuffer, &linecnt);
2575  SCIPinfoMessage(scip, file, "\n");
2576  }
2577 
2578  if( objvar == NULL )
2579  {
2580  /* print objective function equation */
2581  clearLine(linebuffer, &linecnt);
2582  if( objoffset != 0.0 )
2583  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " objequ .. objvar =e= %.15g + ", objscale * objoffset);
2584  else
2585  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, " objequ .. objvar =e= ");
2586  appendLine(scip, file, linebuffer, &linecnt, buffer);
2587 
2588  SCIP_CALL( SCIPallocBufferArray(scip, &objcoeffs, nvars) );
2589 
2590  for( v = 0; v < nvars; ++v )
2591  {
2592  var = vars[v]; /*lint !e613*/
2593  assert( var != NULL );
2594 
2595  /* in case the original problem has to be posted the variables have to be either "original" or "negated" */
2596  assert( transformed || SCIPvarGetStatus(var) == SCIP_VARSTATUS_ORIGINAL || SCIPvarGetStatus(var) == SCIP_VARSTATUS_NEGATED );
2597 
2598  objcoeffs[v] = SCIPisZero(scip, SCIPvarGetObj(var)) ? 0.0 : objscale * SCIPvarGetObj(var);
2599  }
2600 
2601  SCIP_CALL( printActiveVariables(scip, file, linebuffer, &linecnt, "", ";", nvars, vars, objcoeffs, transformed) );
2602 
2603  SCIPfreeBufferArray(scip, &objcoeffs);
2604  endLine(scip, file, linebuffer, &linecnt);
2605  SCIPinfoMessage(scip, file, "\n");
2606  }
2607 
2608  /* print constraints */
2609  nlcons = FALSE;
2610  nqcons = FALSE;
2611  nsmooth = FALSE;
2612  discrete = nbinvars > 0 || nintvars > 0;
2613  indicatorsosdef = FALSE;
2614  for( c = 0; c < nconss; ++c )
2615  {
2616  cons = conss[c];
2617  assert( cons != NULL );
2618 
2619  /* in case the transformed is written, only constraints are posted which are enabled in the current node */
2620  assert(!transformed || SCIPconsIsEnabled(cons));
2621 
2622  conshdlr = SCIPconsGetHdlr(cons);
2623  assert( conshdlr != NULL );
2624 
2625  SCIP_CALL( printConformName(scip, consname, GMS_MAX_NAMELEN, SCIPconsGetName(cons)) );
2626  conshdlrname = SCIPconshdlrGetName(conshdlr);
2627  assert( transformed == SCIPconsIsTransformed(cons) );
2628 
2629  if( strcmp(conshdlrname, "knapsack") == 0 )
2630  {
2631  SCIP_Longint* weights;
2632 
2633  consvars = SCIPgetVarsKnapsack(scip, cons);
2634  nconsvars = SCIPgetNVarsKnapsack(scip, cons);
2635 
2636  /* copy Longint array to SCIP_Real array */
2637  weights = SCIPgetWeightsKnapsack(scip, cons);
2638  SCIP_CALL( SCIPallocBufferArray(scip, &consvals, nconsvars) );
2639  for( v = 0; v < nconsvars; ++v )
2640  consvals[v] = (SCIP_Real)weights[v];
2641 
2642  SCIP_CALL( printLinearCons(scip, file, consname, nconsvars, consvars, consvals,
2643  -SCIPinfinity(scip), (SCIP_Real) SCIPgetCapacityKnapsack(scip, cons), transformed) );
2644 
2645  SCIPfreeBufferArray(scip, &consvals);
2646  }
2647  else if( strcmp(conshdlrname, "linear") == 0 )
2648  {
2649  SCIP_CALL( printLinearCons(scip, file, consname,
2650  SCIPgetNVarsLinear(scip, cons), SCIPgetVarsLinear(scip, cons), SCIPgetValsLinear(scip, cons),
2651  SCIPgetLhsLinear(scip, cons), SCIPgetRhsLinear(scip, cons), transformed) );
2652  }
2653  else if( strcmp(conshdlrname, "logicor") == 0 )
2654  {
2655  SCIP_CALL( printLinearCons(scip, file, consname,
2656  SCIPgetNVarsLogicor(scip, cons), SCIPgetVarsLogicor(scip, cons), NULL,
2657  1.0, SCIPinfinity(scip), transformed) );
2658  }
2659  else if( strcmp(conshdlrname, "quadratic") == 0 )
2660  {
2661  SCIP_CALL( printQuadraticCons(scip, file, consname,
2662  SCIPgetNLinearVarsQuadratic(scip, cons), SCIPgetLinearVarsQuadratic(scip, cons), SCIPgetCoefsLinearVarsQuadratic(scip, cons),
2663  SCIPgetNQuadVarTermsQuadratic(scip, cons), SCIPgetQuadVarTermsQuadratic(scip, cons),
2664  SCIPgetNBilinTermsQuadratic(scip, cons), SCIPgetBilinTermsQuadratic(scip, cons),
2665  SCIPgetLhsQuadratic(scip, cons), SCIPgetRhsQuadratic(scip, cons), transformed) );
2666 
2667  nlcons = TRUE;
2668  }
2669  else if( strcmp(conshdlrname, "nonlinear") == 0 )
2670  {
2671  /* cons_nonlinear does not have exprtree's at hand during presolve */
2672  if( SCIPgetStage(scip) >= SCIP_STAGE_INITPRESOLVE && SCIPgetStage(scip) <= SCIP_STAGE_EXITPRESOLVE
2673  && SCIPgetExprgraphNonlinear(scip,conshdlr) != NULL )
2674  {
2675  SCIP_EXPRTREE* exprtree;
2676  SCIP_Real coef;
2677 
2678  SCIP_CALL( SCIPexprgraphGetTree(SCIPgetExprgraphNonlinear(scip,conshdlr), SCIPgetExprgraphNodeNonlinear(scip,cons), &exprtree) );
2679  coef = 1.0;
2680  SCIP_CALL( printNonlinearCons(scip, file, consname,
2681  SCIPgetNLinearVarsNonlinear(scip, cons), SCIPgetLinearVarsNonlinear(scip, cons), SCIPgetLinearCoefsNonlinear(scip, cons),
2682  1, &exprtree, &coef,
2683  SCIPgetLhsNonlinear(scip, cons), SCIPgetRhsNonlinear(scip, cons), transformed, &nsmooth) );
2684 
2685  SCIP_CALL( SCIPexprtreeFree(&exprtree) );
2686  }
2687  else
2688  {
2689  SCIP_CALL( printNonlinearCons(scip, file, consname,
2690  SCIPgetNLinearVarsNonlinear(scip, cons), SCIPgetLinearVarsNonlinear(scip, cons), SCIPgetLinearCoefsNonlinear(scip, cons),
2691  SCIPgetNExprtreesNonlinear(scip, cons), SCIPgetExprtreesNonlinear(scip, cons), SCIPgetExprtreeCoefsNonlinear(scip, cons),
2692  SCIPgetLhsNonlinear(scip, cons), SCIPgetRhsNonlinear(scip, cons), transformed, &nsmooth) );
2693  }
2694  nlcons = TRUE;
2695  nqcons = TRUE;
2696  }
2697  else if( strcmp(conshdlrname, "bivariate") == 0 )
2698  {
2699  SCIP_EXPRTREE* exprtree;
2700  SCIP_VAR* linvar;
2701  SCIP_Real lincoef;
2702  int exprdegree;
2703  SCIP_Real one;
2704 
2705  exprtree = SCIPgetExprtreeBivariate(scip, cons);
2706  assert(exprtree != NULL);
2707 
2708  linvar = SCIPgetLinearVarBivariate(scip, cons);
2709  lincoef = SCIPgetLinearCoefBivariate(scip, cons);
2710  one = 1.0;
2711  SCIP_CALL( printNonlinearCons(scip, file, consname,
2712  linvar == NULL ? 0 : 1, &linvar, &lincoef,
2713  1, &exprtree, &one,
2714  SCIPgetLhsBivariate(scip, cons), SCIPgetRhsBivariate(scip, cons), transformed, &nsmooth) );
2715 
2716  SCIP_CALL( SCIPexprtreeGetMaxDegree(exprtree, &exprdegree) );
2717  if( exprdegree > 1 )
2718  nlcons = TRUE;
2719  if( exprdegree > 2)
2720  nqcons = TRUE;
2721  }
2722  else if( strcmp(conshdlrname, "setppc") == 0 )
2723  {
2724  consvars = SCIPgetVarsSetppc(scip, cons);
2725  nconsvars = SCIPgetNVarsSetppc(scip, cons);
2726 
2727  switch( SCIPgetTypeSetppc(scip, cons) )
2728  {
2729  case SCIP_SETPPCTYPE_PARTITIONING :
2730  SCIP_CALL( printLinearCons(scip, file, consname,
2731  nconsvars, consvars, NULL, 1.0, 1.0, transformed) );
2732  break;
2733  case SCIP_SETPPCTYPE_PACKING :
2734  SCIP_CALL( printLinearCons(scip, file, consname,
2735  nconsvars, consvars, NULL, -SCIPinfinity(scip), 1.0, transformed) );
2736  break;
2737  case SCIP_SETPPCTYPE_COVERING :
2738  SCIP_CALL( printLinearCons(scip, file, consname,
2739  nconsvars, consvars, NULL, 1.0, SCIPinfinity(scip), transformed) );
2740  break;
2741  }
2742  }
2743  else if( strcmp(conshdlrname, "varbound") == 0 )
2744  {
2745  SCIP_CALL( SCIPallocBufferArray(scip, &consvars, 2) );
2746  SCIP_CALL( SCIPallocBufferArray(scip, &consvals, 2) );
2747 
2748  consvars[0] = SCIPgetVarVarbound(scip, cons);
2749  consvars[1] = SCIPgetVbdvarVarbound(scip, cons);
2750 
2751  consvals[0] = 1.0;
2752  consvals[1] = SCIPgetVbdcoefVarbound(scip, cons);
2753 
2754  SCIP_CALL( printLinearCons(scip, file, consname,
2755  2, consvars, consvals,
2756  SCIPgetLhsVarbound(scip, cons), SCIPgetRhsVarbound(scip, cons), transformed) );
2757 
2758  SCIPfreeBufferArray(scip, &consvars);
2759  SCIPfreeBufferArray(scip, &consvals);
2760  }
2761  else if( strcmp(conshdlrname, "soc") == 0 )
2762  {
2763  SCIP_CALL( printSOCCons(scip, file, consname,
2764  SCIPgetNLhsVarsSOC(scip, cons), SCIPgetLhsVarsSOC(scip, cons), SCIPgetLhsCoefsSOC(scip, cons), SCIPgetLhsOffsetsSOC(scip, cons), SCIPgetLhsConstantSOC(scip, cons),
2765  SCIPgetRhsVarSOC(scip, cons), SCIPgetRhsCoefSOC(scip, cons), SCIPgetRhsOffsetSOC(scip, cons), transformed) );
2766 
2767  nlcons = nlcons || !isGAMSprintableSOC(SCIPgetNLhsVarsSOC(scip, cons), SCIPgetLhsVarsSOC(scip, cons), SCIPgetLhsCoefsSOC(scip, cons), SCIPgetLhsOffsetsSOC(scip, cons), SCIPgetLhsConstantSOC(scip, cons),
2768  SCIPgetRhsVarSOC(scip, cons), SCIPgetRhsCoefSOC(scip, cons), SCIPgetRhsOffsetSOC(scip, cons));
2769  }
2770  else if( strcmp(conshdlrname, "indicator") == 0 )
2771  {
2772  SCIP_CALL( printIndicatorCons(scip, file, consname,
2773  SCIPgetBinaryVarIndicator(cons), SCIPgetSlackVarIndicator(cons), &indicatorsosdef,
2774  transformed) );
2775  }
2776  else if( strcmp(conshdlrname, "abspower") == 0 )
2777  {
2778  SCIP_CALL( printSignpowerCons(scip, file, consname,
2779  SCIPgetNonlinearVarAbspower(scip, cons), SCIPgetLinearVarAbspower(scip, cons),
2780  SCIPgetExponentAbspower(scip, cons), SCIPgetOffsetAbspower(scip, cons), SCIPgetCoefLinearAbspower(scip, cons),
2781  SCIPgetLhsAbspower(scip, cons), SCIPgetRhsAbspower(scip, cons), transformed, signpowerallowed, &nsmooth) );
2782 
2783  nlcons = TRUE;
2784  nqcons = TRUE;
2785  }
2786  else if( strcmp(conshdlrname, "SOS1") == 0 )
2787  {
2788  SCIP_CALL( printSOSCons(scip, file, consname,
2789  SCIPgetNVarsSOS1(scip, cons), SCIPgetVarsSOS1(scip, cons), 1,
2790  transformed) );
2791  discrete = TRUE;
2792  }
2793  else if( strcmp(conshdlrname, "SOS2") == 0 )
2794  {
2795  SCIP_CALL( printSOSCons(scip, file, consname,
2796  SCIPgetNVarsSOS2(scip, cons), SCIPgetVarsSOS2(scip, cons), 2,
2797  transformed) );
2798  discrete = TRUE;
2799  }
2800  else
2801  {
2802  SCIPwarningMessage(scip, "constraint handler <%s> cannot print requested format\n", conshdlrname );
2803  SCIPinfoMessage(scip, file, "* ");
2804  SCIP_CALL( SCIPprintCons(scip, cons, file) );
2805  SCIPinfoMessage(scip, file, ";\n");
2806  }
2807 
2808  SCIPinfoMessage(scip, file, "\n");
2809  }
2810  /* if at most quadratic, then cannot have nonsmooth functions */
2811  assert(nlcons || !nsmooth);
2812 
2813  /* print model creation */
2814  SCIPinfoMessage(scip, file, "Model m / all /;\n\n");
2815 
2816  /* set some options to reduce listing file size */
2817  SCIPinfoMessage(scip, file, "option limrow = 0;\n");
2818  SCIPinfoMessage(scip, file, "option limcol = 0;\n\n");
2819 
2820  /* print solve command */
2821  (void) SCIPsnprintf(buffer, GMS_MAX_PRINTLEN, "%s%s",
2822  discrete ? "MI" : "", nlcons ? (nqcons ? ((nsmooth && !discrete) ? "DNLP" : "NLP") : "QCP") : (discrete > 0 ? "P" : "LP"));
2823 
2824  if( objvar != NULL )
2825  {
2826  SCIP_CALL( printConformName(scip, varname, GMS_MAX_NAMELEN, SCIPvarGetName(objvar)) );
2827  }
2828 
2829  SCIPinfoMessage(scip, file, "$if not set %s $set %s %s\n", buffer, buffer, buffer);
2830  SCIPinfoMessage(scip, file, "Solve m using %%%s%% %simizing %s;\n",
2831  buffer, objsense == SCIP_OBJSENSE_MINIMIZE ? "min" : "max", objvar != NULL ? varname : "objvar");
2832 
2833  *result = SCIP_SUCCESS;
2834 
2835  return SCIP_OKAY;
2836 }
SCIP_RESULT
enum SCIP_Result SCIP_RESULT
Definition: type_result.h:51
SCIPisEQ
SCIP_Bool SCIPisEQ(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
Definition: scip.c:41572
SCIP_SETPPCTYPE_PACKING
Definition: cons_setppc.h:54
SCIPisZero
SCIP_Bool SCIPisZero(SCIP *scip, SCIP_Real val)
Definition: scip.c:41685
SCIP_DIDNOTRUN
Definition: type_result.h:33
GMS_MAX_LINELEN
#define GMS_MAX_LINELEN
Definition: reader_gms.c:60
SCIP_DECL_READERWRITE
static SCIP_DECL_READERWRITE(readerWriteGms)
Definition: reader_gms.c:2145
SCIP_EXPR_SIN
Definition: type_expr.h:55
SCIPgetBilinTermsQuadratic
SCIP_BILINTERM * SCIPgetBilinTermsQuadratic(SCIP *scip, SCIP_CONS *cons)
Definition: cons_quadratic.c:13414
SCIPgetExprgraphNonlinear
SCIP_EXPRGRAPH * SCIPgetExprgraphNonlinear(SCIP *scip, SCIP_CONSHDLR *conshdlr)
Definition: cons_nonlinear.c:9764
printNonlinearRow
static SCIP_RETCODE printNonlinearRow(SCIP *scip, FILE *file, const char *rowname, const char *rownameextension, const char *type, int nlinvars, SCIP_VAR **linvars, SCIP_Real *lincoeffs, int nexprtrees, SCIP_EXPRTREE **exprtrees, SCIP_Real *exprtreecoefs, SCIP_Real rhs, SCIP_Bool transformed, SCIP_Bool *nsmooth)
Definition: reader_gms.c:1748
SCIPvarGetName
const char * SCIPvarGetName(SCIP_VAR *var)
Definition: var.c:16443
printSignpowerCons
static SCIP_RETCODE printSignpowerCons(SCIP *scip, FILE *file, const char *rowname, SCIP_VAR *nonlinvar, SCIP_VAR *linvar, SCIP_Real exponent, SCIP_Real offset, SCIP_Real coeflinear, SCIP_Real lhs, SCIP_Real rhs, SCIP_Bool transformed, SCIP_Bool signpowerallowed, SCIP_Bool *nsmooth)
Definition: reader_gms.c:1300
SCIP_BilinTerm::var2
SCIP_VAR * var2
Definition: cons_quadratic.h:95
SCIP_Reader
Definition: struct_reader.h:35
SCIP_EXPR_TAN
Definition: type_expr.h:57
SCIPexprGetMonomialChildIndices
int * SCIPexprGetMonomialChildIndices(SCIP_EXPRDATA_MONOMIAL *monomial)
Definition: expr.c:5800
SCIPgetProbvarLinearSum
SCIP_RETCODE SCIPgetProbvarLinearSum(SCIP *scip, SCIP_VAR **vars, SCIP_Real *scalars, int *nvars, int varssize, SCIP_Real *constant, int *requiredsize, SCIP_Bool mergemultiples)
Definition: scip.c:17373
SCIP_VARSTATUS_ORIGINAL
Definition: type_var.h:40
cons_varbound.h
Constraint handler for variable bound constraints .
SCIPreallocBufferArray
#define SCIPreallocBufferArray(scip, ptr, num)
Definition: scip.h:20589
SCIPisInfinity
SCIP_Bool SCIPisInfinity(SCIP *scip, SCIP_Real val)
Definition: scip.c:41648
SCIPvarGetOrigvarSum
SCIP_RETCODE SCIPvarGetOrigvarSum(SCIP_VAR **var, SCIP_Real *scalar, SCIP_Real *constant)
Definition: var.c:12033
SCIP_EXPR_PRODUCT
Definition: type_expr.h:70
SCIPreaderGetName
const char * SCIPreaderGetName(SCIP_READER *reader)
Definition: reader.c:510
SCIPgetSlackVarIndicator
SCIP_VAR * SCIPgetSlackVarIndicator(SCIP_CONS *cons)
Definition: cons_indicator.c:7538
SCIP_EXPR_SIGN
Definition: type_expr.h:63
SCIPgetQuadVarTermsQuadratic
SCIP_QUADVARTERM * SCIPgetQuadVarTermsQuadratic(SCIP *scip, SCIP_CONS *cons)
Definition: cons_quadratic.c:13353
SCIPvarIsBinary
SCIP_Bool SCIPvarIsBinary(SCIP_VAR *var)
Definition: var.c:16623
printExpr
static SCIP_RETCODE printExpr(SCIP *scip, FILE *file, char *linebuffer, int *linecnt, SCIP_Bool *nsmooth, SCIP_Bool transformed, SCIP_EXPR *expr, SCIP_VAR **exprvars)
Definition: reader_gms.c:1349
SCIPexprGetOperator
SCIP_EXPROP SCIPexprGetOperator(SCIP_EXPR *expr)
Definition: expr.c:5573
SCIPwarningMessage
void SCIPwarningMessage(SCIP *scip, const char *formatstr,...)
Definition: scip.c:1248
SCIP_MAXSTRLEN
#define SCIP_MAXSTRLEN
Definition: def.h:201
SCIP_BilinTerm::var1
SCIP_VAR * var1
Definition: cons_quadratic.h:94
isGAMSprintableSOC
static SCIP_Bool isGAMSprintableSOC(int nlhsvars, SCIP_VAR **lhsvars, SCIP_Real *lhscoeffs, SCIP_Real *lhsoffsets, SCIP_Real lhsconstant, SCIP_VAR *rhsvar, SCIP_Real rhscoef, SCIP_Real rhsoffset)
Definition: reader_gms.c:766
SCIP_SUCCESS
Definition: type_result.h:49
NULL
#define NULL
Definition: lpi_spx.cpp:130
READER_DESC
#define READER_DESC
Definition: reader_gms.c:56
SCIPvarGetLbLocal
SCIP_Real SCIPvarGetLbLocal(SCIP_VAR *var)
Definition: var.c:17113
SCIPexpropGetName
const char * SCIPexpropGetName(SCIP_EXPROP op)
Definition: expr.c:3237
SCIPfeasFloor
SCIP_Real SCIPfeasFloor(SCIP *scip, SCIP_Real val)
Definition: scip.c:42032
SCIP_EXPR_QUADRATIC
Definition: type_expr.h:72
SCIPexprtreeGetMaxDegree
SCIP_RETCODE SCIPexprtreeGetMaxDegree(SCIP_EXPRTREE *tree, int *maxdegree)
Definition: expr.c:8550
SCIPvarGetUbGlobal
SCIP_Real SCIPvarGetUbGlobal(SCIP_VAR *var)
Definition: var.c:17067
SCIPgetNVarsSetppc
int SCIPgetNVarsSetppc(SCIP *scip, SCIP_CONS *cons)
Definition: cons_setppc.c:9086
SCIPgetCapacityKnapsack
SCIP_Longint SCIPgetCapacityKnapsack(SCIP *scip, SCIP_CONS *cons)
Definition: cons_knapsack.c:13238
SCIP_Var
Definition: struct_var.h:196
clearLine
static void clearLine(char *linebuffer, int *linecnt)
Definition: reader_gms.c:119
SCIPincludeReaderGms
SCIP_RETCODE SCIPincludeReaderGms(SCIP *scip)
Definition: reader_gms.c:2172
cons_indicator.h
constraint handler for indicator constraints
SCIPexprGetRealPowerExponent
SCIP_Real SCIPexprGetRealPowerExponent(SCIP_EXPR *expr)
Definition: expr.c:5636
SCIPexprGetOpIndex
int SCIPexprGetOpIndex(SCIP_EXPR *expr)
Definition: expr.c:5603
SCIPgetExponentAbspower
SCIP_Real SCIPgetExponentAbspower(SCIP *scip, SCIP_CONS *cons)
Definition: cons_abspower.c:7215
SCIPgetBinaryVarIndicator
SCIP_VAR * SCIPgetBinaryVarIndicator(SCIP_CONS *cons)
Definition: cons_indicator.c:7447
SCIP_QuadVarTerm
Definition: cons_quadratic.h:75
SCIPexprGetPolynomialConstant
SCIP_Real SCIPexprGetPolynomialConstant(SCIP_EXPR *expr)
Definition: expr.c:5768
SCIPconsIsTransformed
SCIP_Bool SCIPconsIsTransformed(SCIP_CONS *cons)
Definition: cons.c:7909
FALSE
#define FALSE
Definition: def.h:56
SCIPgetVarsSOS1
SCIP_VAR ** SCIPgetVarsSOS1(SCIP *scip, SCIP_CONS *cons)
Definition: cons_sos1.c:10495
SCIP_EXPR_MIN
Definition: type_expr.h:60
SCIPgetLhsVarbound
SCIP_Real SCIPgetLhsVarbound(SCIP *scip, SCIP_CONS *cons)
Definition: cons_varbound.c:4633
SCIP_EXPR_LINEAR
Definition: type_expr.h:71
SCIPgetNVarsLinear
int SCIPgetNVarsLinear(SCIP *scip, SCIP_CONS *cons)
Definition: cons_linear.c:16768
SCIPsnprintf
int SCIPsnprintf(char *t, int len, const char *s,...)
Definition: misc.c:8174
TRUE
#define TRUE
Definition: def.h:55
SCIPconsGetHdlr
SCIP_CONSHDLR * SCIPconsGetHdlr(SCIP_CONS *cons)
Definition: cons.c:7640
SCIP_RETCODE
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:53
SCIP_CALL
#define SCIP_CALL(x)
Definition: def.h:266
SCIPgetWeightsKnapsack
SCIP_Longint * SCIPgetWeightsKnapsack(SCIP *scip, SCIP_CONS *cons)
Definition: cons_knapsack.c:13333
GMS_DEFAULT_INDICATORREFORM
#define GMS_DEFAULT_INDICATORREFORM
Definition: reader_gms.c:65
printConformName
static SCIP_RETCODE printConformName(SCIP *scip, char *t, int len, const char *name)
Definition: reader_gms.c:230
SCIPgetLinearVarsNonlinear
SCIP_VAR ** SCIPgetLinearVarsNonlinear(SCIP *scip, SCIP_CONS *cons)
Definition: cons_nonlinear.c:9536
SCIP_SETPPCTYPE_COVERING
Definition: cons_setppc.h:55
SCIPgetNLhsVarsSOC
int SCIPgetNLhsVarsSOC(SCIP *scip, SCIP_CONS *cons)
Definition: cons_soc.c:5240
SCIPgetNVarsSOS1
int SCIPgetNVarsSOS1(SCIP *scip, SCIP_CONS *cons)
Definition: cons_sos1.c:10470
SCIPgetExprtreeBivariate
SCIP_EXPRTREE * SCIPgetExprtreeBivariate(SCIP *scip, SCIP_CONS *cons)
Definition: cons_bivariate.c:8103
SCIP_QuadElement
Definition: type_expr.h:98
SCIPdebugMessage
#define SCIPdebugMessage
Definition: pub_message.h:77
SCIP_EXPR_CONST
Definition: type_expr.h:38
SCIPgetLhsCoefsSOC
SCIP_Real * SCIPgetLhsCoefsSOC(SCIP *scip, SCIP_CONS *cons)
Definition: cons_soc.c:5266
printSignpowerRow
static SCIP_RETCODE printSignpowerRow(SCIP *scip, FILE *file, const char *rowname, const char *rownameextension, const char *type, SCIP_VAR *nonlinvar, SCIP_VAR *linvar, SCIP_Real exponent, SCIP_Real offset, SCIP_Real coeflinear, SCIP_Real rhs, SCIP_Bool transformed, SCIP_Bool signpowerallowed, SCIP_Bool *nsmooth)
Definition: reader_gms.c:1096
SCIPvarGetObj
SCIP_Real SCIPvarGetObj(SCIP_VAR *var)
Definition: var.c:16905
SCIPgetNLinearVarsNonlinear
int SCIPgetNLinearVarsNonlinear(SCIP *scip, SCIP_CONS *cons)
Definition: cons_nonlinear.c:9524
SCIPgetRhsNonlinear
SCIP_Real SCIPgetRhsNonlinear(SCIP *scip, SCIP_CONS *cons)
Definition: cons_nonlinear.c:9623
SCIP_VERBLEVEL_FULL
Definition: type_message.h:46
cons_soc.h
constraint handler for second order cone constraints
SCIPprintCons
SCIP_RETCODE SCIPprintCons(SCIP *scip, SCIP_CONS *cons, FILE *file)
Definition: scip.c:26237
cons_setppc.h
Constraint handler for the set partitioning / packing / covering constraints .
SCIPgetVarsKnapsack
SCIP_VAR ** SCIPgetVarsKnapsack(SCIP *scip, SCIP_CONS *cons)
Definition: cons_knapsack.c:13312
SCIPsetReaderFree
SCIP_RETCODE SCIPsetReaderFree(SCIP *scip, SCIP_READER *reader, SCIP_DECL_READERFREE((*readerfree)))
Definition: scip.c:4625
SCIP_EXPR_EXP
Definition: type_expr.h:53
SCIP_EXPR_PLUS
Definition: type_expr.h:44
SCIPgetLhsNonlinear
SCIP_Real SCIPgetLhsNonlinear(SCIP *scip, SCIP_CONS *cons)
Definition: cons_nonlinear.c:9611
checkVarnames
static SCIP_RETCODE checkVarnames(SCIP *scip, SCIP_VAR **vars, int nvars)
Definition: reader_gms.c:1877
SCIPexprGetMonomials
SCIP_EXPRDATA_MONOMIAL ** SCIPexprGetMonomials(SCIP_EXPR *expr)
Definition: expr.c:5744
appendLineWithIndent
static void appendLineWithIndent(SCIP *scip, FILE *file, char *linebuffer, int *linecnt, const char *extension)
Definition: reader_gms.c:189
SCIPexprGetMonomialNFactors
int SCIPexprGetMonomialNFactors(SCIP_EXPRDATA_MONOMIAL *monomial)
Definition: expr.c:5790
SCIPexprGetIntPowerExponent
int SCIPexprGetIntPowerExponent(SCIP_EXPR *expr)
Definition: expr.c:5647
SCIPgetExprtreeCoefsNonlinear
SCIP_Real * SCIPgetExprtreeCoefsNonlinear(SCIP *scip, SCIP_CONS *cons)
Definition: cons_nonlinear.c:9586
SCIPaddBoolParam
SCIP_RETCODE SCIPaddBoolParam(SCIP *scip, const char *name, const char *desc, SCIP_Bool *valueptr, SCIP_Bool isadvanced, SCIP_Bool defaultvalue, SCIP_DECL_PARAMCHGD((*paramchgd)), SCIP_PARAMDATA *paramdata)
Definition: scip.c:3547
SCIPvarGetStatus
SCIP_VARSTATUS SCIPvarGetStatus(SCIP_VAR *var)
Definition: var.c:16562
SCIPsetReaderCopy
SCIP_RETCODE SCIPsetReaderCopy(SCIP *scip, SCIP_READER *reader, SCIP_DECL_READERCOPY((*readercopy)))
Definition: scip.c:4601
SCIPgetLinearVarAbspower
SCIP_VAR * SCIPgetLinearVarAbspower(SCIP *scip, SCIP_CONS *cons)
Definition: cons_abspower.c:7198
SCIP_EXPR_MINUS
Definition: type_expr.h:45
SCIP_EXPR_DIV
Definition: type_expr.h:47
SCIPgetRhsCoefSOC
SCIP_Real SCIPgetRhsCoefSOC(SCIP *scip, SCIP_CONS *cons)
Definition: cons_soc.c:5318
cons_knapsack.h
Constraint handler for knapsack constraints of the form , x binary and .
SCIPgetLhsVarsSOC
SCIP_VAR ** SCIPgetLhsVarsSOC(SCIP *scip, SCIP_CONS *cons)
Definition: cons_soc.c:5253
SCIPgetLinearCoefBivariate
SCIP_Real SCIPgetLinearCoefBivariate(SCIP *scip, SCIP_CONS *cons)
Definition: cons_bivariate.c:8091
checkConsnames
static SCIP_RETCODE checkConsnames(SCIP *scip, SCIP_CONS **conss, int nconss, SCIP_Bool transformed)
Definition: reader_gms.c:1936
SCIP_EXPR_INTPOWER
Definition: type_expr.h:51
SCIPgetRhsVarSOC
SCIP_VAR * SCIPgetRhsVarSOC(SCIP *scip, SCIP_CONS *cons)
Definition: cons_soc.c:5305
conformName
static void conformName(char *name)
Definition: reader_gms.c:206
SCIPgetLinearCoefsNonlinear
SCIP_Real * SCIPgetLinearCoefsNonlinear(SCIP *scip, SCIP_CONS *cons)
Definition: cons_nonlinear.c:9548
SCIP_EXPR_SQRT
Definition: type_expr.h:49
SCIPwriteGms
SCIP_RETCODE SCIPwriteGms(SCIP *scip, FILE *file, const char *name, SCIP_Bool transformed, SCIP_OBJSENSE objsense, SCIP_Real objscale, SCIP_Real objoffset, SCIP_VAR **vars, int nvars, int nbinvars, int nintvars, int nimplvars, int ncontvars, SCIP_CONS **conss, int nconss, SCIP_RESULT *result)
Definition: reader_gms.c:2219
SCIPisNegative
SCIP_Bool SCIPisNegative(SCIP *scip, SCIP_Real val)
Definition: scip.c:41709
SCIPgetLhsBivariate
SCIP_Real SCIPgetLhsBivariate(SCIP *scip, SCIP_CONS *cons)
Definition: cons_bivariate.c:8115
SCIPgetNLinearVarsQuadratic
int SCIPgetNLinearVarsQuadratic(SCIP *scip, SCIP_CONS *cons)
Definition: cons_quadratic.c:13298
SCIP_READERROR
Definition: type_retcode.h:36
SCIP_Cons
Definition: struct_cons.h:36
SCIPerrorMessage
#define SCIPerrorMessage
Definition: pub_message.h:45
SCIPgetNVarsLogicor
int SCIPgetNVarsLogicor(SCIP *scip, SCIP_CONS *cons)
Definition: cons_logicor.c:5228
SCIPexprGetQuadLinearCoefs
SCIP_Real * SCIPexprGetQuadLinearCoefs(SCIP_EXPR *expr)
Definition: expr.c:5720
SCIP_Conshdlr
Definition: struct_cons.h:116
cons_logicor.h
Constraint handler for logicor constraints (equivalent to set covering, but algorithms are suited fo...
SCIPconshdlrGetName
const char * SCIPconshdlrGetName(SCIP_CONSHDLR *conshdlr)
Definition: cons.c:3897
SCIP_EXPR_REALPOWER
Definition: type_expr.h:50
SCIPgetVarsSetppc
SCIP_VAR ** SCIPgetVarsSetppc(SCIP *scip, SCIP_CONS *cons)
Definition: cons_setppc.c:9107
SCIPgetNegatedVar
SCIP_RETCODE SCIPgetNegatedVar(SCIP *scip, SCIP_VAR *var, SCIP_VAR **negvar)
Definition: scip.c:17163
SCIPconsGetName
const char * SCIPconsGetName(SCIP_CONS *cons)
Definition: cons.c:7620
SCIPisFeasEQ
SCIP_Bool SCIPisFeasEQ(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
Definition: scip.c:41907
SCIPvarIsNegated
SCIP_Bool SCIPvarIsNegated(SCIP_VAR *var)
Definition: var.c:16598
SCIPfloor
SCIP_Real SCIPfloor(SCIP *scip, SCIP_Real val)
Definition: scip.c:41758
SCIPexprGetQuadConstant
SCIP_Real SCIPexprGetQuadConstant(SCIP_EXPR *expr)
Definition: expr.c:5707
printQuadraticRow
static SCIP_RETCODE printQuadraticRow(SCIP *scip, FILE *file, const char *rowname, const char *rownameextension, const char *type, int nlinvars, SCIP_VAR **linvars, SCIP_Real *lincoeffs, int nquadvarterms, SCIP_QUADVARTERM *quadvarterms, int nbilinterms, SCIP_BILINTERM *bilinterms, SCIP_Real rhs, SCIP_Bool transformed)
Definition: reader_gms.c:582
SCIP_DECL_READERCOPY
static SCIP_DECL_READERCOPY(readerCopyGms)
Definition: reader_gms.c:2029
cons_quadratic.h
constraint handler for quadratic constraints
SCIPgetRhsLinear
SCIP_Real SCIPgetRhsLinear(SCIP *scip, SCIP_CONS *cons)
Definition: cons_linear.c:16705
SCIPgetCharParam
SCIP_RETCODE SCIPgetCharParam(SCIP *scip, const char *name, char *value)
Definition: scip.c:3816
printActiveVariables
static SCIP_RETCODE printActiveVariables(SCIP *scip, FILE *file, char *linebuffer, int *linecnt, const char *prefix, const char *suffix, int nvars, SCIP_VAR **vars, SCIP_Real *vals, SCIP_Bool transformed)
Definition: reader_gms.c:255
SCIP_SETPPCTYPE_PARTITIONING
Definition: cons_setppc.h:53
SCIP_OKAY
Definition: type_retcode.h:33
SCIPinfinity
SCIP_Real SCIPinfinity(SCIP *scip)
Definition: scip.c:41637
SCIPgetRhsVarbound
SCIP_Real SCIPgetRhsVarbound(SCIP *scip, SCIP_CONS *cons)
Definition: cons_varbound.c:4654
SCIPgetLinearVarsQuadratic
SCIP_VAR ** SCIPgetLinearVarsQuadratic(SCIP *scip, SCIP_CONS *cons)
Definition: cons_quadratic.c:13312
GMS_MAX_NAMELEN
#define GMS_MAX_NAMELEN
Definition: reader_gms.c:62
SCIPgetVbdcoefVarbound
SCIP_Real SCIPgetVbdcoefVarbound(SCIP *scip, SCIP_CONS *cons)
Definition: cons_varbound.c:4717
getActiveVariables
static SCIP_RETCODE getActiveVariables(SCIP *scip, SCIP_VAR **vars, SCIP_Real *scalars, int *nvars, SCIP_Real *constant, SCIP_Bool transformed)
Definition: reader_gms.c:76
printNonlinearCons
static SCIP_RETCODE printNonlinearCons(SCIP *scip, FILE *file, const char *rowname, int nlinvars, SCIP_VAR **linvars, SCIP_Real *lincoeffs, int nexprtrees, SCIP_EXPRTREE **exprtrees, SCIP_Real *exprtreecoefs, SCIP_Real lhs, SCIP_Real rhs, SCIP_Bool transformed, SCIP_Bool *nsmooth)
Definition: reader_gms.c:1828
SCIPgetRhsOffsetSOC
SCIP_Real SCIPgetRhsOffsetSOC(SCIP *scip, SCIP_CONS *cons)
Definition: cons_soc.c:5331
SCIPgetExprgraphNodeNonlinear
SCIP_EXPRGRAPHNODE * SCIPgetExprgraphNodeNonlinear(SCIP *scip, SCIP_CONS *cons)
Definition: cons_nonlinear.c:9599
SCIPsetReaderRead
SCIP_RETCODE SCIPsetReaderRead(SCIP *scip, SCIP_READER *reader, SCIP_DECL_READERREAD((*readerread)))
Definition: scip.c:4649
SCIPexprtreeGetRoot
SCIP_EXPR * SCIPexprtreeGetRoot(SCIP_EXPRTREE *tree)
Definition: expr.c:8442
SCIPgetVerbLevel
SCIP_VERBLEVEL SCIPgetVerbLevel(SCIP *scip)
Definition: scip.c:1322
SCIP_ERROR
Definition: type_retcode.h:34
GMS_MAX_PRINTLEN
#define GMS_MAX_PRINTLEN
Definition: reader_gms.c:61
SCIP_Expr
Definition: struct_expr.h:46
SCIPvarGetUbLocal
SCIP_Real SCIPvarGetUbLocal(SCIP_VAR *var)
Definition: var.c:17123
SCIP_READERDATA
struct SCIP_ReaderData SCIP_READERDATA
Definition: type_reader.h:37
pub_misc.h
public data structures and miscellaneous methods
SCIPgetNExprtreesNonlinear
int SCIPgetNExprtreesNonlinear(SCIP *scip, SCIP_CONS *cons)
Definition: cons_nonlinear.c:9560
SCIPexprGetChildren
SCIP_EXPR ** SCIPexprGetChildren(SCIP_EXPR *expr)
Definition: expr.c:5593
SCIPexprGetSignPowerExponent
SCIP_Real SCIPexprGetSignPowerExponent(SCIP_EXPR *expr)
Definition: expr.c:5658
SCIP_Bool
#define SCIP_Bool
Definition: def.h:53
SCIPgetLhsConstantSOC
SCIP_Real SCIPgetLhsConstantSOC(SCIP *scip, SCIP_CONS *cons)
Definition: cons_soc.c:5292
SCIP_EXPR_VARIDX
Definition: type_expr.h:37
SCIP_VARTYPE_IMPLINT
Definition: type_var.h:55
GMS_DEFAULT_SIGNPOWER
#define GMS_DEFAULT_SIGNPOWER
Definition: reader_gms.c:66
endLine
static void endLine(SCIP *scip, FILE *file, char *linebuffer, int *linecnt)
Definition: reader_gms.c:133
SCIP_OBJSENSE
enum SCIP_Objsense SCIP_OBJSENSE
Definition: type_prob.h:41
READER_EXTENSION
#define READER_EXTENSION
Definition: reader_gms.c:57
SCIPgetRhsBivariate
SCIP_Real SCIPgetRhsBivariate(SCIP *scip, SCIP_CONS *cons)
Definition: cons_bivariate.c:8127
SCIPgetStage
SCIP_STAGE SCIPgetStage(SCIP *scip)
Definition: scip.c:801
SCIPincludeReaderBasic
SCIP_RETCODE SCIPincludeReaderBasic(SCIP *scip, SCIP_READER **readerptr, const char *name, const char *desc, const char *extension, SCIP_READERDATA *readerdata)
Definition: scip.c:4563
cons_nonlinear.h
constraint handler for nonlinear constraints
SCIP_VARSTATUS_NEGATED
Definition: type_var.h:46
SCIPgetNVarsSOS2
int SCIPgetNVarsSOS2(SCIP *scip, SCIP_CONS *cons)
Definition: cons_sos2.c:2420
SCIPexprGetNChildren
int SCIPexprGetNChildren(SCIP_EXPR *expr)
Definition: expr.c:5583
SCIP_BilinTerm
Definition: cons_quadratic.h:92
SCIPgetVarsSOS2
SCIP_VAR ** SCIPgetVarsSOS2(SCIP *scip, SCIP_CONS *cons)
Definition: cons_sos2.c:2445
SCIPgetCoefsLinearVarsQuadratic
SCIP_Real * SCIPgetCoefsLinearVarsQuadratic(SCIP *scip, SCIP_CONS *cons)
Definition: cons_quadratic.c:13326
SCIPexprtreeFree
SCIP_RETCODE SCIPexprtreeFree(SCIP_EXPRTREE **tree)
Definition: expr.c:8692
SCIP_STAGE_EXITPRESOLVE
Definition: type_set.h:39
SCIPgetNQuadVarTermsQuadratic
int SCIPgetNQuadVarTermsQuadratic(SCIP *scip, SCIP_CONS *cons)
Definition: cons_quadratic.c:13339
SCIP_EXPR_COS
Definition: type_expr.h:56
SCIP_EXPR_ABS
Definition: type_expr.h:62
SCIPgetVbdvarVarbound
SCIP_VAR * SCIPgetVbdvarVarbound(SCIP *scip, SCIP_CONS *cons)
Definition: cons_varbound.c:4696
cons_bivariate.h
constraint handler for bivariate nonlinear constraints
cons_linear.h
Constraint handler for linear constraints in their most general form, .
SCIP_ExprData_Monomial
Definition: struct_expr.h:89
SCIPexprGetMonomialCoef
SCIP_Real SCIPexprGetMonomialCoef(SCIP_EXPRDATA_MONOMIAL *monomial)
Definition: expr.c:5780
cons_abspower.h
Constraint handler for absolute power constraints .
printIndicatorCons
static SCIP_RETCODE printIndicatorCons(SCIP *scip, FILE *file, const char *rowname, SCIP_VAR *z, SCIP_VAR *s, SCIP_Bool *sossetdeclr, SCIP_Bool transformed)
Definition: reader_gms.c:911
SCIP_EXPR_MAX
Definition: type_expr.h:61
appendLine
static void appendLine(SCIP *scip, FILE *file, char *linebuffer, int *linecnt, const char *extension)
Definition: reader_gms.c:155
SCIP_REAL_MAX
#define SCIP_REAL_MAX
Definition: def.h:128
SCIP_STAGE_INITPRESOLVE
Definition: type_set.h:37
badchars
static const char badchars[]
Definition: reader_gms.c:72
reader_gms.h
GAMS file reader and writer.
SCIPvarGetType
SCIP_VARTYPE SCIPvarGetType(SCIP_VAR *var)
Definition: var.c:16608
GMS_DEFAULT_BIGM
#define GMS_DEFAULT_BIGM
Definition: reader_gms.c:64
SCIPceil
SCIP_Real SCIPceil(SCIP *scip, SCIP_Real val)
Definition: scip.c:41770
SCIPallocBufferArray
#define SCIPallocBufferArray(scip, ptr, num)
Definition: scip.h:20585
SCIPvarGetLbGlobal
SCIP_Real SCIPvarGetLbGlobal(SCIP_VAR *var)
Definition: var.c:17057
SCIPgetLhsAbspower
SCIP_Real SCIPgetLhsAbspower(SCIP *scip, SCIP_CONS *cons)
Definition: cons_abspower.c:7266
SCIPexprGetLinearCoefs
SCIP_Real * SCIPexprGetLinearCoefs(SCIP_EXPR *expr)
Definition: expr.c:5669
SCIPsetReaderWrite
SCIP_RETCODE SCIPsetReaderWrite(SCIP *scip, SCIP_READER *reader, SCIP_DECL_READERWRITE((*readerwrite)))
Definition: scip.c:4673
SCIPgetExprtreesNonlinear
SCIP_EXPRTREE ** SCIPgetExprtreesNonlinear(SCIP *scip, SCIP_CONS *cons)
Definition: cons_nonlinear.c:9573
scalars
static const SCIP_Real scalars[]
Definition: lp.c:5506
SCIPexprGetOpReal
SCIP_Real SCIPexprGetOpReal(SCIP_EXPR *expr)
Definition: expr.c:5614
SCIPinfoMessage
void SCIPinfoMessage(SCIP *scip, FILE *file, const char *formatstr,...)
Definition: scip.c:1281
READER_NAME
#define READER_NAME
Definition: reader_gms.c:55
SCIPgetVarsLogicor
SCIP_VAR ** SCIPgetVarsLogicor(SCIP *scip, SCIP_CONS *cons)
Definition: cons_logicor.c:5249
SCIPgetNVarsKnapsack
int SCIPgetNVarsKnapsack(SCIP *scip, SCIP_CONS *cons)
Definition: cons_knapsack.c:13291
SCIPvarGetLbOriginal
SCIP_Real SCIPvarGetLbOriginal(SCIP_VAR *var)
Definition: var.c:17003
SCIPgetNBilinTermsQuadratic
int SCIPgetNBilinTermsQuadratic(SCIP *scip, SCIP_CONS *cons)
Definition: cons_quadratic.c:13400
SCIPisIntegral
SCIP_Bool SCIPisIntegral(SCIP *scip, SCIP_Real val)
Definition: scip.c:41721
printSOSCons
static SCIP_RETCODE printSOSCons(SCIP *scip, FILE *file, const char *rowname, int nvars, SCIP_VAR **vars, int sostype, SCIP_Bool transformed)
Definition: reader_gms.c:1039
SCIPexprGetQuadElements
SCIP_QUADELEM * SCIPexprGetQuadElements(SCIP_EXPR *expr)
Definition: expr.c:5695
SCIPduplicateBufferArray
#define SCIPduplicateBufferArray(scip, ptr, source, num)
Definition: scip.h:20593
printLinearCons
static SCIP_RETCODE printLinearCons(SCIP *scip, FILE *file, const char *rowname, int nvars, SCIP_VAR **vars, SCIP_Real *vals, SCIP_Real lhs, SCIP_Real rhs, SCIP_Bool transformed)
Definition: reader_gms.c:494
SCIPexprGetNMonomials
int SCIPexprGetNMonomials(SCIP_EXPR *expr)
Definition: expr.c:5756
printQuadraticCons
static SCIP_RETCODE printQuadraticCons(SCIP *scip, FILE *file, const char *rowname, int nlinvars, SCIP_VAR **linvars, SCIP_Real *lincoeffs, int nquadvarterms, SCIP_QUADVARTERM *quadvarterms, int nbilinterms, SCIP_BILINTERM *bilinterms, SCIP_Real lhs, SCIP_Real rhs, SCIP_Bool transformed)
Definition: reader_gms.c:701
SCIPexprgraphGetTree
SCIP_RETCODE SCIPexprgraphGetTree(SCIP_EXPRGRAPH *exprgraph, SCIP_EXPRGRAPHNODE *rootnode, SCIP_EXPRTREE **exprtree)
Definition: expr.c:15974
SCIP_EXPR_SUM
Definition: type_expr.h:69
SCIP_Real
#define SCIP_Real
Definition: def.h:127
SCIPgetOffsetAbspower
SCIP_Real SCIPgetOffsetAbspower(SCIP *scip, SCIP_CONS *cons)
Definition: cons_abspower.c:7232
SCIPaddCharParam
SCIP_RETCODE SCIPaddCharParam(SCIP *scip, const char *name, const char *desc, char *valueptr, SCIP_Bool isadvanced, char defaultvalue, const char *allowedvalues, SCIP_DECL_PARAMCHGD((*paramchgd)), SCIP_PARAMDATA *paramdata)
Definition: scip.c:3657
SCIP_EXPR_SIGNPOWER
Definition: type_expr.h:52
GMS_PRINTLEN
#define GMS_PRINTLEN
Definition: reader_gms.c:63
cons_sos1.h
constraint handler for SOS type 1 constraints
SCIP_DECL_READERREAD
#define SCIP_DECL_READERREAD(x)
Definition: type_reader.h:71
SCIPgetLhsLinear
SCIP_Real SCIPgetLhsLinear(SCIP *scip, SCIP_CONS *cons)
Definition: cons_linear.c:16681
SCIPexprGetMonomialExponents
SCIP_Real * SCIPexprGetMonomialExponents(SCIP_EXPRDATA_MONOMIAL *monomial)
Definition: expr.c:5810
SCIPgetNonlinearVarAbspower
SCIP_VAR * SCIPgetNonlinearVarAbspower(SCIP *scip, SCIP_CONS *cons)
Definition: cons_abspower.c:7181
SCIP_Longint
#define SCIP_Longint
Definition: def.h:112
SCIP_EXPR_POLYNOMIAL
Definition: type_expr.h:73
SCIP_EXPR_LOG
Definition: type_expr.h:54
SCIPgetRhsAbspower
SCIP_Real SCIPgetRhsAbspower(SCIP *scip, SCIP_CONS *cons)
Definition: cons_abspower.c:7283
SCIPround
SCIP_Real SCIPround(SCIP *scip, SCIP_Real val)
Definition: scip.c:41782
SCIPvarGetUbOriginal
SCIP_Real SCIPvarGetUbOriginal(SCIP_VAR *var)
Definition: var.c:17023
printSOCCons
static SCIP_RETCODE printSOCCons(SCIP *scip, FILE *file, const char *rowname, int nlhsvars, SCIP_VAR **lhsvars, SCIP_Real *lhscoeffs, SCIP_Real *lhsoffsets, SCIP_Real lhsconstant, SCIP_VAR *rhsvar, SCIP_Real rhscoef, SCIP_Real rhsoffset, SCIP_Bool transformed)
Definition: reader_gms.c:821
cons_sos2.h
constraint handler for SOS type 2 constraints
SCIPfreeBufferArray
#define SCIPfreeBufferArray(scip, ptr)
Definition: scip.h:20597
SCIPgetTypeSetppc
SCIP_SETPPCTYPE SCIPgetTypeSetppc(SCIP *scip, SCIP_CONS *cons)
Definition: cons_setppc.c:9128
SCIPvarIsActive
SCIP_Bool SCIPvarIsActive(SCIP_VAR *var)
Definition: var.c:16730
SCIPgetRealParam
SCIP_RETCODE SCIPgetRealParam(SCIP *scip, const char *name, SCIP_Real *value)
Definition: scip.c:3797
SCIPgetVarsLinear
SCIP_VAR ** SCIPgetVarsLinear(SCIP *scip, SCIP_CONS *cons)
Definition: cons_linear.c:16792
SCIP_ExprTree
Definition: struct_expr.h:55
SCIPgetLhsQuadratic
SCIP_Real SCIPgetLhsQuadratic(SCIP *scip, SCIP_CONS *cons)
Definition: cons_quadratic.c:13426
SCIP_OBJSENSE_MINIMIZE
Definition: type_prob.h:39
SCIP_EXPR_SQUARE
Definition: type_expr.h:48
SCIPisPositive
SCIP_Bool SCIPisPositive(SCIP *scip, SCIP_Real val)
Definition: scip.c:41697
SCIPgetVarVarbound
SCIP_VAR * SCIPgetVarVarbound(SCIP *scip, SCIP_CONS *cons)
Definition: cons_varbound.c:4675
SCIPaddRealParam
SCIP_RETCODE SCIPaddRealParam(SCIP *scip, const char *name, const char *desc, SCIP_Real *valueptr, SCIP_Bool isadvanced, SCIP_Real defaultvalue, SCIP_Real minvalue, SCIP_Real maxvalue, SCIP_DECL_PARAMCHGD((*paramchgd)), SCIP_PARAMDATA *paramdata)
Definition: scip.c:3629
SCIPconsIsEnabled
SCIP_Bool SCIPconsIsEnabled(SCIP_CONS *cons)
Definition: cons.c:7707
SCIPexprGetLinearConstant
SCIP_Real SCIPexprGetLinearConstant(SCIP_EXPR *expr)
Definition: expr.c:5682
SCIP_QuadVarTerm::var
SCIP_VAR * var
Definition: cons_quadratic.h:77
SCIPgetLinearVarBivariate
SCIP_VAR * SCIPgetLinearVarBivariate(SCIP *scip, SCIP_CONS *cons)
Definition: cons_bivariate.c:8079
SCIPexprGetNQuadElements
int SCIPexprGetNQuadElements(SCIP_EXPR *expr)
Definition: expr.c:5732
printLinearRow
static SCIP_RETCODE printLinearRow(SCIP *scip, FILE *file, const char *rowname, const char *rownameextension, const char *type, int nvars, SCIP_VAR **vars, SCIP_Real *vals, SCIP_Real rhs)
Definition: reader_gms.c:410
SCIPgetBoolParam
SCIP_RETCODE SCIPgetBoolParam(SCIP *scip, const char *name, SCIP_Bool *value)
Definition: scip.c:3740
SCIPgetRhsQuadratic
SCIP_Real SCIPgetRhsQuadratic(SCIP *scip, SCIP_CONS *cons)
Definition: cons_quadratic.c:13438
SCIPgetValsLinear
SCIP_Real * SCIPgetValsLinear(SCIP *scip, SCIP_CONS *cons)
Definition: cons_linear.c:16816
SCIPgetCoefLinearAbspower
SCIP_Real SCIPgetCoefLinearAbspower(SCIP *scip, SCIP_CONS *cons)
Definition: cons_abspower.c:7249
SCIPexprtreeGetVars
SCIP_VAR ** SCIPexprtreeGetVars(SCIP_EXPRTREE *tree)
Definition: nlp.c:101
SCIP_DECL_READERFREE
#define SCIP_DECL_READERFREE(x)
Definition: type_reader.h:55
SCIP_EXPR_MUL
Definition: type_expr.h:46
SCIPgetLhsOffsetsSOC
SCIP_Real * SCIPgetLhsOffsetsSOC(SCIP *scip, SCIP_CONS *cons)
Definition: cons_soc.c:5279
SCIP_EXPR_PARAM
Definition: type_expr.h:39