scipshell.h File Reference

Detailed Description

SCIP command line interface.

Author

Tobias Achterberg

Definition in file scipshell.h.

#include "scip/def.h"
#include "scip/type_retcode.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 149 of file scipshell.c.

References FALSE, fromCommandLine(), interactive(), 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(), 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 428 of file scipshell.c.

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

Referenced by main().