Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

Constraint handler for Steiner problems.

Author: Gerald Gamrath; Daniel Rehfeldt; Michael Winkler

This file checks solutions for feasibility and separates violated model constraints. For more details see Separating violated constraints page.

Definition in file cons_stp.h.

#include "scip/scip.h"
#include "graph.h"

Go to the source code of this file.

Functions
SCIP_RETCODE	SCIPincludeConshdlrStp (SCIP *scip)

SCIP_RETCODE	SCIPcreateConsStp (SCIP scip, SCIP_CONS cons, const char name, GRAPH *graph)

void	SCIPStpConshdlrSetGraph (SCIP *scip)

SCIP_RETCODE	SCIPStpAddContractionCut (SCIP scip, SCIP_VAR edge, SCIP_VAR *revedge, SCIP_Bool localcut)

const int *	SCIPStpGetPcImplStarts (SCIP *scip)

int	SCIPStpGetPcImplNstarts (SCIP *scip)

const int *	SCIPStpGetPcImplVerts (SCIP *scip)

Function Documentation

◆ SCIPincludeConshdlrStp()

SCIP_RETCODE SCIPincludeConshdlrStp ( SCIP * scip )

creates the handler for element constraints and includes it in SCIP

creates the handler for stp constraints and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 1051 of file cons_stp.c.

References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, DEFAULT_BACKCUT, DEFAULT_BALANCEFLOWSEP, DEFAULT_CREEPFLOW, DEFAULT_DISJUNCTCUT, DEFAULT_FLOWSEP, DEFAULT_INFLOWSEP, DEFAULT_INFLOWTERMSEP, DEFAULT_MAXROUNDS, DEFAULT_MAXROUNDSROOT, DEFAULT_MAXSEPACUTS, DEFAULT_MAXSEPACUTSROOT, DEFAULT_NESTEDCUT, DEFAULT_OUTFLOWSEP, FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPallocMemory, SCIPcreateConsStp(), SCIPcreateRandom(), SCIPincludeConshdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitsol(), SCIPsetConshdlrProp(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.

Referenced by runShell(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSHDLRCOPY(), and subscipSetupCallbacks().

◆ SCIPcreateConsStp()

SCIP_RETCODE SCIPcreateConsStp	(	SCIP *	scip,
		SCIP_CONS **	cons,
		const char *	name,
		GRAPH *	graph
	)

creates and captures a stp constraint

Parameters

scip	SCIP data structure
cons	pointer to hold the created constraint
name	name of constraint
graph	graph data structure

Definition at line 1135 of file cons_stp.c.

References CONSHDLR_NAME, FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPallocBlockMemory(), SCIPcreateCons(), SCIPerrorMessage, SCIPfindConshdlr(), SCIPStpAddContractionCut(), and TRUE.

Referenced by createModel(), SCIP_DECL_CONSCOPY(), and SCIPincludeConshdlrStp().

◆ SCIPStpConshdlrSetGraph()

void SCIPStpConshdlrSetGraph ( SCIP * scip )

sets graph

Parameters

scip	SCIP data structure

Definition at line 1208 of file cons_stp.c.

References NULL, SCIPconsGetData(), SCIPconshdlrGetConss(), SCIPconshdlrGetNConss(), SCIPfindConshdlr(), SCIPprobdataGetGraph2(), and SCIPStpGetPcImplStarts().

Referenced by SCIP_DECL_CONSINITSOL(), and SCIPStpAddContractionCut().

◆ SCIPStpAddContractionCut()

SCIP_RETCODE SCIPStpAddContractionCut	(	SCIP *	scip,
		SCIP_VAR *	edge,
		SCIP_VAR *	revedge,
		SCIP_Bool	localcut
	)

add cut corresponding to contraction

Parameters

scip	SCIP data structure
edge	edge
revedge	reversed edge
localcut	add local cut?

Definition at line 1165 of file cons_stp.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPaddPoolCut(), SCIPaddRow(), SCIPaddVarToRow(), SCIPcacheRowExtensions(), SCIPconshdlrGetNConss(), SCIPcreateEmptyRowConshdlr(), SCIPfindConshdlr(), SCIPflushRowExtensions(), SCIPinfinity(), SCIPreleaseRow(), SCIPStpConshdlrSetGraph(), SCIPvarGetLbLocal(), SCIPvarGetUbLocal(), and TRUE.

Referenced by SCIPcreateConsStp().

◆ SCIPStpGetPcImplStarts()

const int* SCIPStpGetPcImplStarts ( SCIP * scip )

returns implications start array

Parameters

scip	SCIP data structure

Definition at line 1231 of file cons_stp.c.

References NULL, SCIPconshdlrGetData(), SCIPfindConshdlr(), SCIPStpGetPcImplNstarts(), and sepaspecial_pcimplicationsGetStarts().

Referenced by propgraphApplyImplicationsPcMw(), SCIPStpConshdlrSetGraph(), and SCIPStpHeurLocalExtendPcMwImp().

◆ SCIPStpGetPcImplNstarts()

int SCIPStpGetPcImplNstarts ( SCIP * scip )

returns number implications starts

Parameters

scip	SCIP data structure

Definition at line 1250 of file cons_stp.c.

References NULL, SCIPconshdlrGetData(), SCIPfindConshdlr(), SCIPStpGetPcImplVerts(), and sepaspecial_pcimplicationsGetNstarts().

Referenced by propgraphApplyImplicationsPcMw(), and SCIPStpGetPcImplStarts().

◆ SCIPStpGetPcImplVerts()

const int* SCIPStpGetPcImplVerts ( SCIP * scip )

returns implications vertices array

Parameters

scip	SCIP data structure

Definition at line 1269 of file cons_stp.c.

References NULL, SCIPconshdlrGetData(), SCIPfindConshdlr(), and sepaspecial_pcimplicationsGetVerts().

Referenced by propgraphApplyImplicationsPcMw(), SCIPStpGetPcImplNstarts(), and SCIPStpHeurLocalExtendPcMwImp().