Scippy

SCIP

Solving Constraint Integer Programs

scipshell.c File Reference

Detailed Description

SCIP command line interface.

Author
Tobias Achterberg

Definition in file scipshell.c.

#include <stdio.h>
#include <string.h>
#include <ctype.h>
#include "scip/scip.h"
#include "scip/scipdefplugins.h"
#include "scip/scipshell.h"
#include "scip/message_default.h"

Go to the source code of this file.

Functions

static SCIP_RETCODE readParams (SCIP *scip, const char *filename)
 
static SCIP_RETCODE fromCommandLine (SCIP *scip, const char *filename)
 
SCIP_RETCODE SCIPprocessShellArguments (SCIP *scip, int argc, char **argv, const char *defaultsetname)
 
SCIP_RETCODE SCIPrunShell (int argc, char **argv, const char *defaultsetname)
 

Function Documentation

◆ readParams()

static SCIP_RETCODE readParams ( SCIP scip,
const char *  filename 
)
static
Parameters
scipSCIP data structure
filenameparameter file name

Definition at line 37 of file scipshell.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPfileExists(), SCIPinfoMessage(), and SCIPreadParams().

Referenced by SCIPprocessShellArguments().

◆ fromCommandLine()

static SCIP_RETCODE fromCommandLine ( SCIP scip,
const char *  filename 
)
static
Note
The message handler should be only fed line by line such the message has the chance to add string in front of each message
Parameters
scipSCIP data structure
filenameinput file name

Definition at line 54 of file scipshell.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_NOFILE, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_READERROR, SCIPcreateSolCopy(), SCIPfreeSol(), SCIPgetBestSol(), SCIPgetBoolParam(), SCIPinfoMessage(), SCIPprintBestSol(), SCIPprintSol(), SCIPprintStatistics(), SCIPreadProb(), SCIPretransformSol(), and SCIPsolve().

Referenced by SCIPprocessShellArguments().

◆ 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
scipSCIP data structure
argcnumber of shell parameters
argvarray with shell parameters
defaultsetnamename of default settings file

Definition at line 147 of file scipshell.c.

References FALSE, 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
argcnumber of shell parameters
argvarray with shell parameters
defaultsetnamename of default settings file

Definition at line 426 of file scipshell.c.

References BMScheckEmptyMemory, NULL, SCIP_CALL, SCIP_OKAY, SCIPcreate(), SCIPenableDebugSol(), SCIPfree(), SCIPincludeDefaultPlugins(), and SCIPprocessShellArguments().

Referenced by main().