Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    scipshell.c File Reference
    Implementation files (.c files) » Other implementation files of SCIP

    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"
    #include "scip/rational.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, SCIP_Bool interactive, 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 49 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 66 of file scipshell.c.

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

    Referenced by SCIPprocessShellArguments().

    ◆ fromAmpl()

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

    runs SCIP as if it was called by AMPL

    Parameters
    scipSCIP data structure
    nlfilenamename of .nl file, without the .nl
    interactivewhether to start SCIP shell instead of solve only
    defaultsetnamename of default settings file

    Definition at line 167 of file scipshell.c.

    References FALSE, interactive(), NULL, SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_VERBLEVEL_HIGH, SCIPaddBoolParam(), SCIPaddStringParam(), SCIPduplicateBufferArray, SCIPerrorMessage, SCIPfileExists(), SCIPfreeBufferArray, SCIPgetBoolParam(), SCIPgetStringParam(), SCIPinfoMessage(), SCIPprintExternalCodes(), SCIPprintStatistics(), SCIPprintVersion(), SCIPreadParams(), SCIPreadProb(), SCIPsetMessagehdlrLogfile(), SCIPsetParam(), SCIPsnprintf(), SCIPsolve(), SCIPstartInteraction(), SCIPverbMessage(), SCIPwriteParams(), SCIPwriteSolutionNl(), and TRUE.

    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 288 of file scipshell.c.

    References FALSE, fromAmpl(), fromCommandLine(), interactive(), NULL, readParams(), SCIP_Bool, SCIP_CALL, SCIP_CALL_FINALLY, SCIP_ERROR, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_UNKNOWN, SCIPaddDialogInputLine(), SCIPblkmem(), SCIPfclose(), SCIPfeastol(), SCIPfeof(), SCIPfgets(), SCIPfopen(), SCIPinfoMessage(), SCIPisExact(), SCIPparseRational(), SCIPparseReal(), SCIPprintBuildOptions(), SCIPprintExternalCodes(), SCIPprintSysError(), SCIPprintVersion(), SCIPrationalCreateBlock(), SCIPrationalFreeBlock(), SCIPsetIntParam(), SCIPsetMessagehdlrLogfile(), SCIPsetMessagehdlrQuiet(), SCIPstartInteraction(), SCIPvalidateSolve(), SCIPvalidateSolveExact(), 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 615 of file scipshell.c.

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

    Referenced by main().