Problem Creation

Detailed Description

methods to create a problem that SCIP should solve

This module summarizes the main methods needed to create a problem for SCIP, and access its most important members:

• Declaring, adding, acessing, and changing variables of the problem
• Declaring, adding, acessing, and changing constraints of the problem
• Creating, adding, acessing, changing, and checking of solutions to the problem

Note

These core methods are not sufficient to create constraints of a certain type that is provided by the default plugins of SCIP. An example would be the creation of a linear constraint for which the methods provided by the linear constraint handler must be used. Such methods are provided by the default plugins of SCIP and can be found in the Plugin API of SCIP.

public methods to query linear constraint classification statistics

Modules
	SCIP
	methods to manipulate a SCIP object
	Global Problem
	methods to create, read and modify a global problem together with its callbacks
	Problem Variables
	public methods for problem variables
	Problem Constraints
	Public methods for constraints.
	Primal Solution
	methods to create and change primal solutions of SCIP
	Problem Copies
	methods to copy problems between a source and a target SCIP

Functions
SCIP_RETCODE	SCIPlinConsStatsCreate (SCIP *scip, SCIP_LINCONSSTATS **linconsstats)
void	SCIPlinConsStatsFree (SCIP *scip, SCIP_LINCONSSTATS **linconsstats)
void	SCIPlinConsStatsReset (SCIP_LINCONSSTATS *linconsstats)
int	SCIPlinConsStatsGetTypeCount (SCIP_LINCONSSTATS *linconsstats, SCIP_LINCONSTYPE linconstype)
int	SCIPlinConsStatsGetSum (SCIP_LINCONSSTATS *linconsstats)
void	SCIPlinConsStatsIncTypeCount (SCIP_LINCONSSTATS *linconsstats, SCIP_LINCONSTYPE linconstype, int increment)
void	SCIPprintLinConsStats (SCIP *scip, FILE *file, SCIP_LINCONSSTATS *linconsstats)

Function Documentation

SCIPlinConsStatsCreate()

SCIP_RETCODE SCIPlinConsStatsCreate	(	SCIP *	scip,
		SCIP_LINCONSSTATS **	linconsstats
	)

create linear constraint statistics

Parameters

scip	scip data structure
linconsstats	pointer to linear constraint classification statistics

Definition at line 7915 of file cons.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemory, and SCIPlinConsStatsFree().

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPconshdlrsResetPropagationStatus().

SCIPlinConsStatsFree()

void SCIPlinConsStatsFree	(	SCIP *	scip,
		SCIP_LINCONSSTATS **	linconsstats
	)

free linear constraint statistics

Parameters

scip	scip data structure
linconsstats	pointer to linear constraint classification statistics

Definition at line 7928 of file cons.c.

References NULL, SCIPfreeBlockMemory, and SCIPlinConsStatsReset().

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPlinConsStatsCreate().

SCIPlinConsStatsReset()

void SCIPlinConsStatsReset

(

SCIP_LINCONSSTATS *

linconsstats

)

resets linear constraint statistics

Parameters

linconsstats

linear constraint classification statistics

Definition at line 7940 of file cons.c.

References BMSclearMemoryArray, SCIP_NLINCONSTYPES, and SCIPlinConsStatsGetTypeCount().

Referenced by SCIPlinConsStatsFree().

SCIPlinConsStatsGetTypeCount()

int SCIPlinConsStatsGetTypeCount	(	SCIP_LINCONSSTATS *	linconsstats,
		SCIP_LINCONSTYPE	linconstype
	)

returns the number of occurrences of a specific type of linear constraint

Parameters

linconsstats	linear constraint classification statistics
linconstype	linear constraint type

Definition at line 7949 of file cons.c.

References SCIP_LinConsStats::counter, NULL, SCIP_NLINCONSTYPES, and SCIPlinConsStatsGetSum().

Referenced by SCIPlinConsStatsReset(), and SCIPprintLinConsStats().

SCIPlinConsStatsGetSum()

int SCIPlinConsStatsGetSum

(

SCIP_LINCONSSTATS *

linconsstats

)

returns the total number of classified constraints

Parameters

linconsstats

linear constraint classification statistics

Definition at line 7961 of file cons.c.

References NULL, and SCIPlinConsStatsIncTypeCount().

Referenced by SCIPlinConsStatsGetTypeCount(), and SCIPprintLinConsStats().

SCIPlinConsStatsIncTypeCount()

void SCIPlinConsStatsIncTypeCount	(	SCIP_LINCONSSTATS *	linconsstats,
		SCIP_LINCONSTYPE	linconstype,
		int	increment
	)

increases the number of occurrences of a specific type of linear constraint

Parameters

linconsstats	linear constraint classification statistics
linconstype	linear constraint type
increment	positive increment

Definition at line 7971 of file cons.c.

References SCIP_LinConsStats::counter, NULL, SCIP_NLINCONSTYPES, SCIPprintLinConsStats(), and SCIP_LinConsStats::sum.

Referenced by SCIPlinConsStatsGetSum().

SCIPprintLinConsStats()

void SCIPprintLinConsStats	(	SCIP *	scip,
		FILE *	file,
		SCIP_LINCONSSTATS *	linconsstats
	)

print linear constraint classification statistics

Parameters

scip	scip data structure
file	file handle or NULL to print to standard out
linconsstats	linear constraint classification statistics

Definition at line 7986 of file cons.c.

References NULL, SCIP_LINCONSTYPE_AGGREGATION, SCIP_LINCONSTYPE_BINPACKING, SCIP_LINCONSTYPE_CARDINALITY, SCIP_LINCONSTYPE_EMPTY, SCIP_LINCONSTYPE_EQKNAPSACK, SCIP_LINCONSTYPE_FREE, SCIP_LINCONSTYPE_GENERAL, SCIP_LINCONSTYPE_INTKNAPSACK, SCIP_LINCONSTYPE_INVKNAPSACK, SCIP_LINCONSTYPE_KNAPSACK, SCIP_LINCONSTYPE_MIXEDBINARY, SCIP_LINCONSTYPE_PRECEDENCE, SCIP_LINCONSTYPE_SETCOVERING, SCIP_LINCONSTYPE_SETPACKING, SCIP_LINCONSTYPE_SETPARTITION, SCIP_LINCONSTYPE_SINGLETON, SCIP_LINCONSTYPE_VARBOUND, SCIPconsGetName(), SCIPinfoMessage(), SCIPlinConsStatsGetSum(), and SCIPlinConsStatsGetTypeCount().

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPlinConsStatsIncTypeCount().