Scippy

SCIP

Solving Constraint Integer Programs

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"
#include "scip/reader_nl.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)
 
static SCIP_RETCODE fromAmpl (SCIP *scip, char *nlfilename, const char *defaultsetname)
 
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 39 of file scipshell.c.

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

Referenced by fromAmpl(), and 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 56 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().

◆ fromAmpl()

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

runs SCIP as if it was called by AMPL

Parameters
scipSCIP data structure
nlfilenamename of .nl file, without the .nl
defaultsetnamename of default settings file

Definition at line 150 of file scipshell.c.

References FALSE, NULL, readParams(), SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPaddBoolParam(), SCIPaddStringParam(), SCIPerrorMessage, SCIPgetBoolParam(), SCIPgetStringParam(), SCIPinfoMessage(), SCIPprintExternalCodes(), SCIPprintStatistics(), SCIPprintVersion(), SCIPreadProb(), SCIPsetMessagehdlrLogfile(), SCIPsnprintf(), SCIPsolve(), and SCIPwriteSolutionNl().

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

Definition at line 508 of file scipshell.c.

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

Referenced by main().