A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://scip.zib.de/doc/html/scipshell_8c_source.php below:

SCIP Doxygen Documentation: scipshell.c Source File

125 if

( bestsol ==

NULL

)

163 const char

* defaultsetname

171 size_t

nlfilenamelen;

174 "whether to print statistics on a solve"

,

178 "name of file to write SCIP log to (additionally to writing to stdout)"

,

187

options = getenv(

"scip_options"

);

188 if

( options !=

NULL

)

196

optname = strtok(options,

" "

);

197

optval = strtok(

NULL

,

" "

);

198 while

( optname !=

NULL

&& optval !=

NULL

)

203

optname = strtok(

NULL

,

" "

);

204

optval = strtok(

NULL

,

" "

);

208 if

( defaultsetname !=

NULL

)

220 SCIPinfoMessage

(

scip

,

NULL

,

"user parameter file <%s> not found - using default parameters\n"

, defaultsetname);

231

nlfilenamelen = strlen(nlfilename);

232 if

( nlfilenamelen > 3 && strcmp(nlfilename + (nlfilenamelen-3),

".nl"

) == 0 )

277 const char

* defaultsetname

280 char

* probname =

NULL

;

281 char

* settingsname =

NULL

;

282 char

* logname =

NULL

;

291 const char

* dualrefstring;

292 const char

* primalrefstring;

300 if

( argc >= 3 && strcmp(argv[2],

"-AMPL"

) == 0 )

303 interactive

= argc >= 4 && strcmp(argv[3],

"-i"

) == 0;

313

onlyversion =

FALSE

;

314

randomseedread =

FALSE

;

316

primalrefstring =

NULL

;

317

dualrefstring =

NULL

;

319 for

( i = 1; i < argc; ++i )

321 if

( strcmp(argv[i],

"-l"

) == 0 )

328

printf(

"missing log filename after parameter '-l'\n"

);

332 else if

( strcmp(argv[i],

"-q"

) == 0 )

334 else if

( strcmp(argv[i],

"-v"

) == 0 )

336 else if

( strcmp(argv[i],

"--version"

) == 0 )

338 else if

( strcmp(argv[i],

"-s"

) == 0 )

342

settingsname = argv[i];

345

printf(

"missing settings filename after parameter '-s'\n"

);

349 else if

( strcmp(argv[i],

"-f"

) == 0 )

356

printf(

"missing problem filename after parameter '-f'\n"

);

360 else if

( strcmp(argv[i],

"-c"

) == 0 )

370

printf(

"missing command line after parameter '-c'\n"

);

374 else if

( strcmp(argv[i],

"-b"

) == 0 )

384

printf(

"cannot read command batch file <%s>\n"

, argv[i]);

394

(void)

SCIPfgets

(buffer, (

int

)

sizeof

(buffer), file);

395 if

( buffer[0] !=

'\0'

)

406

printf(

"missing command batch filename after parameter '-b'\n"

);

410 else if

( strcmp(argv[i],

"-r"

) == 0 )

414 if

( i < argc && isdigit(argv[i][0]) )

416

randomseed = atoi(argv[i]);

417

randomseedread =

TRUE

;

421

printf(

"Random seed parameter '-r' followed by something that is not an integer\n"

);

425 else if

( strcmp(argv[i],

"-o"

) == 0 )

429

printf(

"wrong usage of reference objective parameter '-o': -o <primref> <dualref>\n"

);

435

primalrefstring = argv[i + 1];

436

dualrefstring = argv[i+2];

442

printf(

"invalid parameter <%s>\n"

, argv[i]);

449

printf(

"cannot mix batch mode '-c' and '-b' with file mode '-f'\n"

);

464 if

( logname !=

NULL

)

490 if

( settingsname !=

NULL

)

494 else if

( defaultsetname !=

NULL

)

502 if

( randomseedread )

511 if

( probname !=

NULL

)

515 if

( primalrefstring !=

NULL

&& dualrefstring !=

NULL

)

521

printf(

"error parsing primal and dual reference values for validation: %s %s\n"

, primalrefstring, dualrefstring);

525

validatesolve =

TRUE

;

543

printf(

"\nsyntax: %s [-l <logfile>] [-q] [-s <settings>] [-r <randseed>] [-f <problem>] [-b <batchfile>] [-c \"command\"]\n" 544 " -v, --version : print version and build options\n" 545 " -l <logfile> : copy output into log file\n" 546 " -q : suppress screen messages\n" 547 " -s <settings> : load parameter settings (.set) file\n" 548 " -f <problem> : load and solve problem file\n" 549 " -o <primref> <dualref> : pass primal and dual objective reference values for validation at the end of the solve\n" 550 " -b <batchfile>: load and execute dialog command batch file (can be used multiple times)\n" 551 " -r <randseed> : nonnegative integer to be used as random seed. " 552 "Has priority over random seed specified through parameter settings (.set) file\n" 553 " -c \"command\" : execute single line of dialog commands (can be used multiple times)\n"

,

556

printf(

"\nas AMPL solver: %s <.nl-file without the .nl> -AMPL [-i]\n" 557 " -i : start interactive SCIP shell after .nl file has been read\n"

,

572 const char

* defaultsetname

#define SCIP_CALL_FINALLY(x, y)

static SCIP_RETCODE interactive(SCIP *scip)

SCIP_FILE * SCIPfopen(const char *path, const char *mode)

int SCIPfeof(SCIP_FILE *stream)

int SCIPfclose(SCIP_FILE *fp)

char * SCIPfgets(char *s, int size, SCIP_FILE *stream)

void SCIPenableDebugSol(SCIP *scip)

SCIP_Bool SCIPfileExists(const char *filename)

SCIP_RETCODE SCIPfree(SCIP **scip)

SCIP_RETCODE SCIPcreate(SCIP **scip)

SCIP_RETCODE SCIPreadProb(SCIP *scip, const char *filename, const char *extension)

void SCIPinfoMessage(SCIP *scip, FILE *file, const char *formatstr,...)

void SCIPverbMessage(SCIP *scip, SCIP_VERBLEVEL msgverblevel, FILE *file, const char *formatstr,...)

void SCIPsetMessagehdlrLogfile(SCIP *scip, const char *filename)

void SCIPsetMessagehdlrQuiet(SCIP *scip, SCIP_Bool quiet)

void SCIPprintBuildOptions(SCIP *scip, FILE *file)

void SCIPprintVersion(SCIP *scip, FILE *file)

SCIP_RETCODE SCIPgetBoolParam(SCIP *scip, const char *name, SCIP_Bool *value)

SCIP_RETCODE SCIPaddStringParam(SCIP *scip, const char *name, const char *desc, char **valueptr, SCIP_Bool isadvanced, const char *defaultvalue, SCIP_DECL_PARAMCHGD((*paramchgd)), SCIP_PARAMDATA *paramdata)

SCIP_RETCODE SCIPsetIntParam(SCIP *scip, const char *name, int value)

SCIP_RETCODE SCIPreadParams(SCIP *scip, const char *filename)

SCIP_RETCODE SCIPwriteParams(SCIP *scip, const char *filename, SCIP_Bool comments, SCIP_Bool onlychanged)

SCIP_RETCODE SCIPsetParam(SCIP *scip, const char *name, const char *value)

SCIP_RETCODE SCIPgetStringParam(SCIP *scip, const char *name, char **value)

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)

SCIP_RETCODE SCIPstartInteraction(SCIP *scip)

SCIP_RETCODE SCIPaddDialogInputLine(SCIP *scip, const char *inputline)

void SCIPprintExternalCodes(SCIP *scip, FILE *file)

SCIP_SOL * SCIPgetBestSol(SCIP *scip)

SCIP_RETCODE SCIPcreateSolCopy(SCIP *scip, SCIP_SOL **sol, SCIP_SOL *sourcesol)

SCIP_RETCODE SCIPprintBestSol(SCIP *scip, FILE *file, SCIP_Bool printzeros)

SCIP_RETCODE SCIPfreeSol(SCIP *scip, SCIP_SOL **sol)

SCIP_RETCODE SCIPprintSol(SCIP *scip, SCIP_SOL *sol, FILE *file, SCIP_Bool printzeros)

SCIP_RETCODE SCIPretransformSol(SCIP *scip, SCIP_SOL *sol)

SCIP_RETCODE SCIPsolve(SCIP *scip)

SCIP_RETCODE SCIPprintStatistics(SCIP *scip, FILE *file)

SCIP_Real SCIPfeastol(SCIP *scip)

SCIP_Bool SCIPparseReal(SCIP *scip, const char *str, SCIP_Real *value, char **endptr)

SCIP_RETCODE SCIPvalidateSolve(SCIP *scip, SCIP_Real primalreference, SCIP_Real dualreference, SCIP_Real reftol, SCIP_Bool quiet, SCIP_Bool *feasible, SCIP_Bool *primalboundcheck, SCIP_Bool *dualboundcheck)

int SCIPsnprintf(char *t, int len, const char *s,...)

void SCIPprintSysError(const char *message)

#define BMScheckEmptyMemory()

struct SCIP_File SCIP_FILE

SCIP_RETCODE SCIPwriteSolutionNl(SCIP *scip)

SCIP_RETCODE SCIPincludeDefaultPlugins(SCIP *scip)

SCIP_RETCODE SCIPrunShell(int argc, char **argv, const char *defaultsetname)

static SCIP_RETCODE fromCommandLine(SCIP *scip, const char *filename)

static SCIP_RETCODE fromAmpl(SCIP *scip, char *nlfilename, SCIP_Bool interactive, const char *defaultsetname)

static SCIP_RETCODE readParams(SCIP *scip, const char *filename)

SCIP_RETCODE SCIPprocessShellArguments(SCIP *scip, int argc, char **argv, const char *defaultsetname)

SCIP command line interface.

enum SCIP_Retcode SCIP_RETCODE


RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4