main.c File Reference

Detailed Description

Main file for C compilation.

Author

Gerald Gamrath

Martin Bergner

Christian Puchert

Definition in file main.c.

#include <string.h>
#include "scip/scip.h"
#include "scip/scipdefplugins.h"
#include "scip/scipshell.h"
#include "gcgplugins.h"
#include "cons_decomp.h"
#include "relax_gcg.h"
#include "gcg.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, const char *decname)
static SCIP_RETCODE	SCIPprocessGCGShellArguments (SCIP *scip, int argc, char **argv, const char *defaultsetname)
static SCIP_RETCODE	SCIPrunGCGShell (int argc, char **argv, const char *defaultsetname)
int	main (int argc, char **argv)

Function Documentation

readParams()

static SCIP_RETCODE readParams ( SCIP *  scip, const char *  filename  )

static

read in parameter file

Returns

SCIP return code

Parameters

scip	SCIP data structure
filename	parameter file name

Definition at line 56 of file main.c.

Referenced by SCIPprocessGCGShellArguments().

fromCommandLine()

static SCIP_RETCODE fromCommandLine ( SCIP *  scip, const char *  filename, const char *  decname  )

static

runs GCG from the command line

Returns

SCIPreturn code

Parameters

scip	SCIP data structure
filename	input file name
decname	decomposition file name (or NULL)

Definition at line 75 of file main.c.

References GCGprintStatistics(), GCGsolve(), and GCGtransformProb().

Referenced by SCIPprocessGCGShellArguments().

SCIPprocessGCGShellArguments()

static SCIP_RETCODE SCIPprocessGCGShellArguments ( SCIP *  scip, int  argc, char **  argv, const char *  defaultsetname  )

static

evaluates command line parameters and runs GCG appropriately in the given SCIP instance

Returns

SCIP return code

Parameters

scip	SCIP data structure
argc	number of shell parameters
argv	array with shell parameters
defaultsetname	name of default settings file

Definition at line 126 of file main.c.

References fromCommandLine(), GCGgetMasterprob(), and readParams().

Referenced by SCIPrunGCGShell().

SCIPrunGCGShell()

static SCIP_RETCODE SCIPrunGCGShell ( int  argc, char **  argv, const char *  defaultsetname  )

static

runs the interactive shell

Returns

SCIP return code

Parameters

argc	number of shell parameters
argv	array with shell parameters
defaultsetname	name of default settings file

Definition at line 399 of file main.c.

References GCGprintVersion(), SCIPincludeGcgPlugins(), and SCIPprocessGCGShellArguments().

Referenced by main().

main()

int main	(	int	argc,
		char **	argv
	)

main function called first

Returns

0 if success, -1 otherwise

Parameters

argc	number of arguments
argv	array of arguments

Definition at line 439 of file main.c.

References SCIPrunGCGShell().