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, accessing, and changing variables of the problem
• Declaring, adding, accessing, and changing constraints of the problem
• Creating, adding, accessing, 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 8051 of file cons.c.

References NULL, SCIP_CALL, SCIP_OKAY, and SCIPallocBlockMemory.

Referenced by SCIP_DECL_DIALOGEXEC().

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 8064 of file cons.c.

References NULL, and SCIPfreeBlockMemory.

Referenced by SCIP_DECL_DIALOGEXEC().

SCIPlinConsStatsReset()

void SCIPlinConsStatsReset

(

SCIP_LINCONSSTATS *

linconsstats

)

resets linear constraint statistics

Parameters

linconsstats

linear constraint classification statistics

Definition at line 8076 of file cons.c.

References BMSclearMemoryArray, SCIP_LinConsStats::counter, SCIP_NLINCONSTYPES, and SCIP_LinConsStats::sum.

Referenced by SCIPclassifyConstraintTypesLinear().

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 8085 of file cons.c.

References SCIP_LinConsStats::counter, NULL, and SCIP_NLINCONSTYPES.

Referenced by SCIPprintLinConsStats().

SCIPlinConsStatsGetSum()

int SCIPlinConsStatsGetSum

(

SCIP_LINCONSSTATS *

linconsstats

)

returns the total number of classified constraints

Parameters

linconsstats

linear constraint classification statistics

Definition at line 8098 of file cons.c.

References NULL, and SCIP_LinConsStats::sum.

Referenced by 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 8108 of file cons.c.

References SCIP_LinConsStats::counter, NULL, SCIP_NLINCONSTYPES, and SCIP_LinConsStats::sum.

Referenced by SCIPclassifyConstraintTypesLinear().

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 8124 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, SCIPinfoMessage(), SCIPlinConsStatsGetSum(), and SCIPlinConsStatsGetTypeCount().

Referenced by SCIP_DECL_DIALOGEXEC().