RetroSearch Browse

);

100

assert( *vars !=

);

103

assert( nvars !=

);

104

assert( varssize !=

);

105

assert( *varssize >= *nvars );

106

assert( constant !=

);

112 if

( requiredsize > *varssize )

119

assert(requiredsize <= *varssize);

124 for

( v = 0; v < *nvars; ++v )

140

assert( linebuffer !=

);

141

assert( linecnt !=

);

144

linebuffer[0] =

'\0'

;

157

assert( linebuffer !=

);

158

assert( linecnt !=

);

161 if

( (*linecnt) > 0 )

163

linebuffer[(*linecnt)] =

'\0'

;

179

assert( linebuffer !=

);

180

assert( linecnt !=

);

183 if

( (*linecnt) > 0 )

185

linebuffer[(*linecnt)] =

'\0'

;

199 const char

* extension

204

assert( linebuffer !=

);

205

assert( linecnt !=

);

206

assert( extension !=

);

213

len = strlen(linebuffer);

216

(*linecnt) += (int) strlen(extension);

218 SCIPdebugMsg

(

"linebuffer <%s>, length = %lu\n"

, linebuffer, (

unsigned long

)len);

230 const char

* badchar;

232

assert( name !=

);

234 for

( badchar =

badchars

; *badchar; ++badchar )

236 char

* c = strchr(name, *badchar);

240

assert( *c == *badchar );

243

c = strchr(c, *badchar);

266 if

( replaceforbiddenchars )

303

assert( vars !=

|| nvars == 0 );

329 for

( v = 0; v < nactivevars; ++v )

332

activevarssize = nactivevars;

337

assert( nactivevars == 0 || activevals !=

);

355

closingbracket = nactivevars;

360 while

(

SCIPisZero

(

, activevals[closingbracket]) && closingbracket > 0 );

364 for

( v = 0; v < nactivevars; ++v )

367

assert( var !=

);

379

varname, (v == closingbracket) ?

")"

""

, (v == closingbracket && suffix) ? suffix :

""

);

382

varname, (v == closingbracket) ?

")"

""

, (v == closingbracket && suffix) ? suffix :

""

);

383 else if

( strchr(ext,

'('

) !=

)

385

activevals[v], varname, (v == closingbracket) ?

")"

""

, (v == closingbracket && suffix) ? suffix :

""

);

388

activevals[v], varname, (v == closingbracket) ?

")"

""

, (v == closingbracket && suffix) ? suffix :

""

);

408 else if

( strchr(ext,

'('

) !=

)

434 const char

* rowname,

435 const char

* rownameextension,

453

assert( strcmp(type,

"=e="

) == 0 || strcmp(type,

"=l="

) == 0 || strcmp(type,

"=g="

) == 0);

454

assert( nvars == 0 || (vars !=

&& vals !=

) );

462 if

( strlen(rowname) > 0 || strlen(rownameextension) > 0 )

481 for

( v = 0; v < nvars; ++v )

483

assert(vars !=

);

484

assert(vals !=

);

487

assert( var !=

);

521 const char

* rowname,

538

assert( rowname !=

);

541

assert( nvars == 0 || vars !=

);

543

assert( lhs <= rhs );

561 for

( v = 0; v < nactivevars; ++v )

564

activevarssize = nactivevars;

577

nactivevars, activevars, activevals, rhs - activeconstant) );

585

nactivevars, activevars, activevals, lhs - activeconstant) );

591

nactivevars, activevars, activevals, rhs - activeconstant) );

616 const char

* rowname,

632

assert( strlen(rowname) > 0 );

636

assert( sossetdeclr !=

);

645 switch

( indicatorform )

664 SCIPwarningMessage

(

"do not have upper bound on slack variable <%s> in indicator constraint <%s>, will use M = %g.\n"

697

*sossetdeclr =

;

706 SCIP_CALL

(

printActiveVariables

(

, file, linebuffer, &linecnt,

"$sameas(sosset,'slack')"

, 1, &s, &coef, transformed) );

710 SCIP_CALL

(

printActiveVariables

(

, file, linebuffer, &linecnt,

" + (1-("

"))$sameas(sosset,'bin');"

, 1, &z, &coef, transformed) );

714 SCIP_CALL

(

printActiveVariables

(

, file, linebuffer, &linecnt,

" + "

"$sameas(sosset,'bin');"

, 1, &z, &coef, transformed) );

722 SCIPerrorMessage

(

"wrong value '%c' for parameter reading/gmsreader/indicatorreform\n"

, indicatorform);

744 const char

* rowname,

760

assert( strlen(rowname) > 0 );

761

assert( vars !=

|| nvars == 0 );

762

assert( sostype == 1 || sostype == 2 );

776

(void)

SCIPsnprintf

(buffer,

GMS_MAX_PRINTLEN

" SOS%d Variable %s_sosvar(%s_sosset); %s_sosvar.lo(%s_sosset) = -inf;"

, sostype, consname, consname, consname, consname);

785 for

( v = 0; v < nvars; ++v )

812 unsigned int

parentprecedence;

820 unsigned int

sumprecedence;

823

assert(linebuffer !=

);

824

assert(linecnt !=

);

825

assert(nsmooth !=

);

826

assert(nqcons !=

);

827

assert(expr !=

);

835

fpos = ftell(file) - *linecnt;

862

parentprecedence = 0;

869

fpos = ftell(file) - 5;

881

activecoefs[0] = 1.0;

886 if

( nactivevars == 1 && activecoefs[0] == 1.0 && activeconstant == 0.0 )

897 if

( sumprecedence <= parentprecedence )

900 if

( activeconstant != 0.0 )

905 for

( i = 0; i < nactivevars; ++i )

907 if

(

REALABS

(activecoefs[i]) != 1.0 )

911 else if

( activecoefs[i] == 1.0 && needsign )

915 else if

( activecoefs[i] == -1.0 )

929

fpos = ftell(file) - 5;

933 if

( sumprecedence <= parentprecedence )

943 if

( exponent == 2.0 )

951 else if

(

EPSISINT

(exponent, 0.0) )

961 else if

( exponent == 0.5 )

983 SCIP_CALL

( SCIPcallExprPrint(

, expr, stage, currentchild, parentprecedence, file) );

1018 const char

* rowname,

1019 const char

* rownameextension,

1034

assert( strlen(rowname) > 0 || strlen(rownameextension) > 0 );

1035

assert( strcmp(type,

"=e="

) == 0 || strcmp(type,

"=l="

) == 0 || strcmp(type,

"=g="

) == 0 );

1063 const char

* rowname,

1073

assert( strlen(rowname) > 0 );

1088 SCIP_CALL

(

(

, file, rowname,

(

, rhs) ?

""

"_lhs"

"=g="

, expr, lhs, transformed, nsmooth, nqcons) );

1093 SCIP_CALL

(

(

, file, rowname,

(

, -lhs) ?

""

"_rhs"

"=l="

, expr, rhs, transformed, nsmooth, nqcons) );

1119 const char

* badchar;

1122

assert( vars !=

);

1127 for

( badchar =

badchars

; *badchar; ++badchar )

1129 for

( v = 0; v < nvars; ++v )

1132

assert( var !=

);

1136 if

( replaceforbiddenchars )

1138 SCIPinfoMessage

(

"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);

1142 SCIPwarningMessage

(

"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);

1151 for

( v = 0; v < nvars; ++v )

1154

assert( var !=

);

1158 SCIPwarningMessage

(

"there is a variable name which has to be cut down to %d characters; GAMS model might be corrupted.\n"

1179 const char

* conshdlrname;

1181 const char

* badchar;

1184

assert( conss !=

);

1189 for

( badchar =

badchars

; *badchar; ++badchar )

1191 for

( c = 0; c < nconss; ++c )

1194

assert( cons !=

);

1198 if

( replaceforbiddenchars )

1200 SCIPinfoMessage

(

"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);

1204 SCIPwarningMessage

(

"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);

1213 for

( c = 0; c < nconss; ++c )

1216

assert( cons !=

);

1222

assert( conshdlr !=

);

1227 if

( strcmp(conshdlrname,

"linear"

) == 0 || strcmp(conshdlrname,

"nonlinear"

) == 0 )

1265

assert(reader !=

);

1280

nvars, nbinvars, nintvars, nimplvars, ncontvars, conss, nconss, result) );

1305 "reading/gmsreader/replaceforbiddenchars"

"shall characters '#', '*', '+', '/', and '-' in variable and constraint names be replaced by '_'?"

1309 "reading/gmsreader/bigmdefault"

"default M value for big-M reformulation of indicator constraints in case no bound on slack variable is given"

1313 "reading/gmsreader/indicatorreform"

"which reformulation to use for indicator constraints: 'b'ig-M, 's'os1"

1317 "reading/gmsreader/signpower"

"is it allowed to use the gams function signpower(x,a)?"

1356 const char

* conshdlrname;

1380

assert( vars !=

|| nvars == 0 );

1393 if

( objscale == 1.0 && objoffset == 0.0 )

1395 for

( v = 0; v < nvars; ++v )

1400 if

( objvar ==

)

1424 SCIPinfoMessage

(

, file,

"* Variables : %d (%d binary, %d integer, %d implicit integer, %d continuous)\n"

1425

nvars, nbinvars, nintvars, nimplvars, ncontvars);

1436 if

( objvar ==

)

1443 for

( v = 0; v < nvars; ++v )

1446

assert( var !=

);

1452 if

( (linecnt > 0 && (v == nbinvars - 1 || v == nbinvars + nintvars - 1 ||

1453

v == nbinvars + nintvars + nimplvars - 1)) || v == nvars - 1 )

1468 for

( v = 0; v < nbinvars; ++v )

1488 for

( v = 0; v < nintvars; ++v )

1490

var = vars[nbinvars + v];

1503

nondefbounds =

FALSE

;

1505 for

( v = 0; v < nvars; ++v )

1508

assert( var !=

);

1532

nondefbounds =

;

1539 if

( v < nbinvars + nintvars )

1548

nondefbounds =

;

1555

nondefbounds =

;

1565

nondefbounds =

;

1568 else if

( v < nbinvars + nintvars )

1574

nondefbounds =

;

1583

nondefbounds =

;

1588 if

( !nondefbounds )

1589 SCIPinfoMessage

(

, file,

"* (All other bounds at default value: binary [0,1], integer [0,+inf], continuous [-inf,+inf].)\n"

);

1593 if

( nconss > 0 || objvar ==

)

1600 if

( objvar ==

)

1607 for

( c = 0; c < nconss; ++c )

1610

assert( cons !=

);

1613

assert( conshdlr !=

);

1619

rangedrow = strcmp(conshdlrname,

"linear"

) == 0

1622

rangedrow = rangedrow || (strcmp(conshdlrname,

"nonlinear"

) == 0

1625

rangedrow = rangedrow || (strcmp(conshdlrname,

"varbound"

) == 0

1630 if

( strcmp(conshdlrname,

"knapsack"

) != 0 && strcmp(conshdlrname,

"logicor"

) != 0 && strcmp(conshdlrname,

"setppc"

) != 0

1631

&& strcmp(conshdlrname,

"linear"

) != 0 && strcmp(conshdlrname,

"SOS1"

) != 0 && strcmp(conshdlrname,

"SOS2"

) != 0

1632

&& strcmp(conshdlrname,

"nonlinear"

) != 0

1633

&& strcmp(conshdlrname,

"varbound"

) != 0

1634

&& strcmp(conshdlrname,

"indicator"

) != 0 )

1657 if

( nconss > 0 || objvar ==

)

1666 if

( objvar ==

)

1670 if

( objoffset != 0.0 )

1678 for

( v = 0; v < nvars; ++v )

1681

assert( var !=

);

1697

discrete = nbinvars > 0 || nintvars > 0;

1698

indicatorsosdef =

FALSE

;

1699 for

( c = 0; c < nconss; ++c )

1702

assert( cons !=

);

1708

assert( conshdlr !=

);

1714 if

( strcmp(conshdlrname,

"knapsack"

) == 0 )

1724 for

( v = 0; v < nconsvars; ++v )

1732 else if

( strcmp(conshdlrname,

"linear"

) == 0 )

1738 else if

( strcmp(conshdlrname,

"logicor"

) == 0 )

1744 else if

( strcmp(conshdlrname,

"nonlinear"

) == 0 )

1750 else if

( strcmp(conshdlrname,

"setppc"

) == 0 )

1759

nconsvars, consvars,

, 1.0, 1.0, transformed) );

1771 else if

( strcmp(conshdlrname,

"varbound"

) == 0 )

1783

2, consvars, consvals,

1789 else if

( strcmp(conshdlrname,

"indicator"

) == 0 )

1795 else if

( strcmp(conshdlrname,

"SOS1"

) == 0 )

1802 else if

( strcmp(conshdlrname,

"SOS2"

) == 0 )

1820

assert(nlcons || !nsmooth);

1833

discrete ?

"MI"

""

, nlcons ? (nqcons ?

"QCP"

: ((nsmooth && !discrete) ?

"DNLP"

"NLP"

)) : (discrete > 0 ?

"P"

"LP"

));

1835 if

( objvar !=