Detailed Description
SCIP command line interface.
Definition in file scipshell.h.
Go to the source code of this file.
Functions | |
SCIP_RETCODE | SCIPprocessShellArguments (SCIP *scip, int argc, char **argv, const char *defaultsetname) |
SCIP_RETCODE | SCIPrunShell (int argc, char **argv, const char *defaultsetname) |
Function Documentation
◆ SCIPprocessShellArguments()
SCIP_RETCODE SCIPprocessShellArguments | ( | SCIP * | scip, |
int | argc, | ||
char ** | argv, | ||
const char * | defaultsetname | ||
) |
evaluates command line parameters and runs SCIP appropriately in the given SCIP instance
- Parameters
-
scip SCIP data structure argc number of shell parameters argv array with shell parameters defaultsetname name of default settings file
Definition at line 273 of file scipshell.c.
References FALSE, fromAmpl(), fromCommandLine(), interactive(), NULL, TimInput::probname, readParams(), SCIP_Bool, SCIP_CALL, SCIP_CALL_FINALLY, SCIP_ERROR, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_UNKNOWN, SCIPaddDialogInputLine(), SCIPfclose(), SCIPfeastol(), SCIPfeof(), SCIPfgets(), SCIPfopen(), SCIPinfoMessage(), SCIPparseReal(), SCIPprintBuildOptions(), SCIPprintExternalCodes(), SCIPprintSysError(), SCIPprintVersion(), SCIPsetIntParam(), SCIPsetMessagehdlrLogfile(), SCIPsetMessagehdlrQuiet(), SCIPstartInteraction(), SCIPvalidateSolve(), and TRUE.
Referenced by main(), runSCIP(), runShell(), SCIPrunColoringShell(), and SCIPrunShell().
◆ SCIPrunShell()
SCIP_RETCODE SCIPrunShell | ( | int | argc, |
char ** | argv, | ||
const char * | defaultsetname | ||
) |
creates a SCIP instance with default plugins, evaluates command line parameters, runs SCIP appropriately, and frees the SCIP instance
- Parameters
-
argc number of shell parameters argv array with shell parameters defaultsetname name of default settings file
Definition at line 569 of file scipshell.c.
References BMScheckEmptyMemory, NULL, SCIP_CALL, SCIP_OKAY, SCIPcreate(), SCIPenableDebugSol(), SCIPfree(), SCIPincludeDefaultPlugins(), and SCIPprocessShellArguments().
Referenced by main().