main.c File Reference

Detailed Description

Main file for C compilation.

Author

Gerald Gamrath

Definition in file main.c.

#include "reader_col.h"
#include "scip/scip.h"
#include "scip/scipdefplugins.h"
#include "scip/scipshell.h"
#include "branch_coloring.h"
#include "coloringplugins.h"

Go to the source code of this file.

Functions
static SCIP_RETCODE	SCIPrunColoringShell (int argc, char **argv, const char *defaultsetname)
int	main (int argc, char **argv)

Function Documentation

SCIPrunColoringShell()

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

static

Parameters

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

Definition at line 32 of file main.c.

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

Referenced by main().

main()

int main	(	int	argc,
		char **	argv
	)

Definition at line 73 of file main.c.

References SCIP_OKAY, SCIPprintError(), and SCIPrunColoringShell().