Detailed Description

constraint handler for indicator constraints over arbitrary constraint types

Author: Ambros Gleixner; Frederic Pythoud

Definition in file cons_superindicator.c.

#include "blockmemshell/memory.h"
#include "scip/cons_indicator.h"
#include "scip/cons_linear.h"
#include "scip/cons_superindicator.h"
#include "scip/dialog_default.h"
#include "scip/pub_cons.h"
#include "scip/pub_dialog.h"
#include "scip/pub_heur.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/pub_sol.h"
#include "scip/pub_var.h"
#include "scip/scip_conflict.h"
#include "scip/scip_cons.h"
#include "scip/scip_copy.h"
#include "scip/scip_dialog.h"
#include "scip/scip_general.h"
#include "scip/scip_mem.h"
#include "scip/scip_message.h"
#include "scip/scip_numerics.h"
#include "scip/scip_param.h"
#include "scip/scip_prob.h"
#include "scip/scip_sol.h"
#include "scip/scip_var.h"
#include "scip/symmetry_graph.h"
#include <string.h>

Go to the source code of this file.

Macros
#define	CONSHDLR_NAME "superindicator"
#define	CONSHDLR_DESC "constraint handler for indicator constraints over arbitrary constraint types"
#define	CONSHDLR_SEPAPRIORITY 0
#define	CONSHDLR_ENFOPRIORITY -5000000
#define	CONSHDLR_CHECKPRIORITY -5000000
#define	CONSHDLR_SEPAFREQ -1
#define	CONSHDLR_PROPFREQ 1
#define	CONSHDLR_EAGERFREQ 100
#define	CONSHDLR_MAXPREROUNDS -1
#define	CONSHDLR_DELAYSEPA FALSE
#define	CONSHDLR_DELAYPROP FALSE
#define	CONSHDLR_NEEDSCONS TRUE
#define	CONSHDLR_PROP_TIMING SCIP_PROPTIMING_BEFORELP
#define	CONSHDLR_PRESOLTIMING SCIP_PRESOLTIMING_MEDIUM
#define	DEFAULT_CHECKSLACKTYPE TRUE
#define	DEFAULT_UPGDPRIOINDICATOR 1
#define	DEFAULT_UPGDPRIOLINEAR 2
#define	DEFAULT_MAXUPGDCOEFLINEAR 1e4

Functions
static SCIP_RETCODE	consdataCreateSuperindicator (SCIP scip, SCIP_CONSDATA consdata, SCIP_VAR binvar, SCIP_CONS *slackcons)
static SCIP_RETCODE	consdataCheckSuperindicator (SCIP scip, SCIP_CONSDATA consdata, SCIP_SOL sol, SCIP_Bool checkintegrality, SCIP_Bool checklprows, SCIP_Bool printreason, SCIP_RESULT result)
static void	extractLinearValues (SCIP scip, SCIP_CONS cons, SCIP_Real minactivity, SCIP_Real maxactivity, SCIP_Real *minabscoef)
static SCIP_RETCODE	upgradeIndicatorSuperindicator (SCIP scip, SCIP_CONS cons, SCIP_Bool success, SCIP_Bool deleted)
static SCIP_RETCODE	upgradeLinearSuperindicator (SCIP scip, SCIP_CONS cons, SCIP_Bool success, SCIP_Bool deleted)
static SCIP_RETCODE	upgradeSuperindicator (SCIP scip, SCIP_CONS cons, SCIP_Bool success, SCIP_Bool deleted)
static SCIP_RETCODE	enforceConstraint (SCIP scip, SCIP_CONSHDLR conshdlr, SCIP_CONS *conss, int nconss, int nusefulconss, SCIP_SOL sol, SCIP_Bool solinfeasible, SCIP_RESULT *result)
static SCIP_RETCODE	addSymmetryInformation (SCIP scip, SYM_SYMTYPE symtype, SCIP_CONS cons, SYM_GRAPH graph, SCIP_Bool success)
static	SCIP_DECL_CONSHDLRCOPY (conshdlrCopySuperindicator)
static	SCIP_DECL_CONSFREE (consFreeSuperindicator)
static	SCIP_DECL_CONSINITPRE (consInitpreSuperindicator)
static	SCIP_DECL_CONSDELETE (consDeleteSuperindicator)
static	SCIP_DECL_CONSTRANS (consTransSuperindicator)
static	SCIP_DECL_CONSINITLP (consInitlpSuperindicator)
static	SCIP_DECL_CONSSEPALP (consSepalpSuperindicator)
static	SCIP_DECL_CONSSEPASOL (consSepasolSuperindicator)
static	SCIP_DECL_CONSENFOLP (consEnfolpSuperindicator)
static	SCIP_DECL_CONSENFORELAX (consEnforelaxSuperindicator)
static	SCIP_DECL_CONSENFOPS (consEnfopsSuperindicator)
static	SCIP_DECL_CONSCHECK (consCheckSuperindicator)
static	SCIP_DECL_CONSPROP (consPropSuperindicator)
static	SCIP_DECL_CONSPRESOL (consPresolSuperindicator)
static	SCIP_DECL_CONSRESPROP (consRespropSuperindicator)
static	SCIP_DECL_CONSLOCK (consLockSuperindicator)
static	SCIP_DECL_CONSPRINT (consPrintSuperindicator)
static	SCIP_DECL_CONSCOPY (consCopySuperindicator)
static	SCIP_DECL_CONSPARSE (consParseSuperindicator)
static	SCIP_DECL_CONSGETVARS (consGetVarsSuperindicator)
static	SCIP_DECL_CONSGETNVARS (consGetNVarsSuperindicator)
static	SCIP_DECL_CONSGETPERMSYMGRAPH (consGetPermsymGraphSuperindicator)
static	SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH (consGetSignedPermsymGraphSuperindicator)
SCIP_RETCODE	SCIPincludeConshdlrSuperindicator (SCIP *scip)
SCIP_RETCODE	SCIPcreateConsSuperindicator (SCIP scip, SCIP_CONS cons, const char name, SCIP_VAR binvar, SCIP_CONS slackcons, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode)
SCIP_RETCODE	SCIPcreateConsBasicSuperindicator (SCIP scip, SCIP_CONS cons, const char name, SCIP_VAR binvar, SCIP_CONS slackcons)
SCIP_VAR *	SCIPgetBinaryVarSuperindicator (SCIP_CONS *cons)
SCIP_CONS *	SCIPgetSlackConsSuperindicator (SCIP_CONS *cons)
SCIP_RETCODE	SCIPtransformMinUC (SCIP scip, SCIP_Bool success)
	SCIP_DECL_DIALOGEXEC (SCIPdialogExecChangeMinUC)

Macro Definition Documentation

◆ CONSHDLR_NAME

#define CONSHDLR_NAME "superindicator"

Definition at line 72 of file cons_superindicator.c.

◆ CONSHDLR_DESC

#define CONSHDLR_DESC "constraint handler for indicator constraints over arbitrary constraint types"

Definition at line 73 of file cons_superindicator.c.

◆ CONSHDLR_SEPAPRIORITY

#define CONSHDLR_SEPAPRIORITY 0

priority of the constraint handler for separation

Definition at line 74 of file cons_superindicator.c.

◆ CONSHDLR_ENFOPRIORITY

#define CONSHDLR_ENFOPRIORITY -5000000

priority of the constraint handler for constraint enforcing

Definition at line 75 of file cons_superindicator.c.

◆ CONSHDLR_CHECKPRIORITY

#define CONSHDLR_CHECKPRIORITY -5000000

priority of the constraint handler for checking feasibility

Definition at line 76 of file cons_superindicator.c.

◆ CONSHDLR_SEPAFREQ

#define CONSHDLR_SEPAFREQ -1

frequency for separating cuts; zero means to separate only in the root node

Definition at line 77 of file cons_superindicator.c.

◆ CONSHDLR_PROPFREQ

#define CONSHDLR_PROPFREQ 1

frequency for propagating domains; zero means only preprocessing propagation

Definition at line 78 of file cons_superindicator.c.

◆ CONSHDLR_EAGERFREQ

#define CONSHDLR_EAGERFREQ 100

frequency for using all instead of only the useful constraints in separation, propagation and enforcement, -1 for no eager evaluations, 0 for first only

Definition at line 79 of file cons_superindicator.c.

◆ CONSHDLR_MAXPREROUNDS

#define CONSHDLR_MAXPREROUNDS -1

maximal number of presolving rounds the constraint handler participates in (-1: no limit)

Definition at line 81 of file cons_superindicator.c.

◆ CONSHDLR_DELAYSEPA

#define CONSHDLR_DELAYSEPA FALSE

should separation method be delayed, if other separators found cuts?

Definition at line 83 of file cons_superindicator.c.

◆ CONSHDLR_DELAYPROP

#define CONSHDLR_DELAYPROP FALSE

should propagation method be delayed, if other propagators found reductions?

Definition at line 84 of file cons_superindicator.c.

◆ CONSHDLR_NEEDSCONS

#define CONSHDLR_NEEDSCONS TRUE

should the constraint handler be skipped, if no constraints are available?

Definition at line 85 of file cons_superindicator.c.

◆ CONSHDLR_PROP_TIMING

#define CONSHDLR_PROP_TIMING SCIP_PROPTIMING_BEFORELP

propagation timing mask of the constraint handler

Definition at line 87 of file cons_superindicator.c.

◆ CONSHDLR_PRESOLTIMING

#define CONSHDLR_PRESOLTIMING SCIP_PRESOLTIMING_MEDIUM

presolving timing of the constraint handler (fast, medium, or exhaustive)

Definition at line 88 of file cons_superindicator.c.

◆ DEFAULT_CHECKSLACKTYPE

#define DEFAULT_CHECKSLACKTYPE TRUE

should type of slack constraint be checked when creating superindicator constraint?

Definition at line 90 of file cons_superindicator.c.

Referenced by SCIPincludeConshdlrSuperindicator().

◆ DEFAULT_UPGDPRIOINDICATOR

#define DEFAULT_UPGDPRIOINDICATOR 1

priority for upgrading to an indicator constraint (-1: never)

Definition at line 91 of file cons_superindicator.c.

Referenced by SCIPincludeConshdlrSuperindicator().

◆ DEFAULT_UPGDPRIOLINEAR

#define DEFAULT_UPGDPRIOLINEAR 2

priority for upgrading to a linear constraint (-1: never)

Definition at line 92 of file cons_superindicator.c.

Referenced by SCIPincludeConshdlrSuperindicator().

◆ DEFAULT_MAXUPGDCOEFLINEAR

#define DEFAULT_MAXUPGDCOEFLINEAR 1e4

maximum big-M coefficient of binary variable in upgrade to a linear constraint (relative to smallest coefficient)

Definition at line 93 of file cons_superindicator.c.

Referenced by SCIPincludeConshdlrSuperindicator().

Function Documentation

◆ consdataCreateSuperindicator()

SCIP_RETCODE consdataCreateSuperindicator	(	SCIP *	scip,
		SCIP_CONSDATA **	consdata,
		SCIP_VAR *	binvar,
		SCIP_CONS *	slackcons )

static

creates superindicator constraint data

Parameters

scip	SCIP data structure
consdata	pointer to constraint data
binvar	binary variable
slackcons	slack constraint

Definition at line 125 of file cons_superindicator.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemory, SCIPcaptureCons(), SCIPdebugMsg, SCIPgetTransformedVar(), SCIPisTransformed(), and SCIPtransformCons().

Referenced by SCIP_DECL_CONSTRANS(), and SCIPcreateConsSuperindicator().

◆ consdataCheckSuperindicator()

SCIP_RETCODE consdataCheckSuperindicator	(	SCIP *	scip,
		SCIP_CONSDATA *	consdata,
		SCIP_SOL *	sol,
		SCIP_Bool	checkintegrality,
		SCIP_Bool	checklprows,
		SCIP_Bool	printreason,
		SCIP_RESULT *	result )

static

checks the feasibility of a superindicator constraint

Parameters

scip	SCIP data structure
consdata	pointer to superindicator constraint data
sol	pointer to the solution to be checked
checkintegrality	Has integrality to be checked?
checklprows	Do constraints represented by rows in the current LP have to be checked?
printreason	Should the reason for the violation be printed?
result	pointer to store the result of the test

Definition at line 164 of file cons_superindicator.c.

References assert(), NULL, result, SCIP_Bool, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_Real, SCIPcheckCons(), SCIPconsGetName(), SCIPdebugMsg, SCIPgetSolVal(), SCIPinfoMessage(), SCIPisFeasEQ(), SCIPisIntegral(), SCIPvarGetName(), sol, and TRUE.

Referenced by enforceConstraint(), SCIP_DECL_CONSCHECK(), and SCIP_DECL_CONSENFOPS().

◆ extractLinearValues()

void extractLinearValues	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_Real *	minactivity,
		SCIP_Real *	maxactivity,
		SCIP_Real *	minabscoef )

static

computes the minactivity, maxactivity, and minimal absolute value of nonzero coefficients of a linear constraint with respect to its global bounds

Parameters

scip	SCIP data structure
cons	pointer to linear constraint
minactivity	pointer to return the minimal activity
maxactivity	pointer to return the maximal activity
minabscoef	pointer to return the minimal absolute value of the coefficients

Definition at line 235 of file cons_superindicator.c.

References assert(), FALSE, i, NULL, nvars, SCIP_Bool, SCIP_Real, SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPgetNVarsLinear(), SCIPgetValsLinear(), SCIPgetVarsLinear(), SCIPinfinity(), SCIPisInfinity(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), and vars.

Referenced by upgradeLinearSuperindicator().

◆ upgradeIndicatorSuperindicator()

SCIP_RETCODE upgradeIndicatorSuperindicator	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_Bool *	success,
		SCIP_Bool *	deleted )

static

tries to upgrade superindicator constraint to an indicator constraint

Parameters

scip	SCIP data structure
cons	superindicator constraint to be upgraded
success	pointer to store if the upgrading was successful
deleted	pointer to store if the constraint was deleted

Definition at line 312 of file cons_superindicator.c.

References assert(), FALSE, i, NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIPaddCons(), SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateConsIndicator(), SCIPdebug, SCIPdebugMsg, SCIPdelCons(), SCIPfindConshdlr(), SCIPfreeBufferArray, SCIPgetLhsLinear(), SCIPgetNVarsLinear(), SCIPgetRhsLinear(), SCIPgetValsLinear(), SCIPgetVarsLinear(), SCIPisInfinity(), SCIPreleaseCons(), SCIPsnprintf(), and TRUE.

Referenced by upgradeSuperindicator().

◆ upgradeLinearSuperindicator()

SCIP_RETCODE upgradeLinearSuperindicator	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_Bool *	success,
		SCIP_Bool *	deleted )

static

upgrades a superindicator constraint to a linear constraint if possible

Parameters

scip	SCIP data structure
cons	superindicator constraint to be upgraded
success	pointer to store if the upgrading was successful
deleted	pointer to store if the constraint was deleted

Definition at line 428 of file cons_superindicator.c.

References assert(), extractLinearValues(), FALSE, i, NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIPaddCons(), SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconshdlrGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateConsLinear(), SCIPdebug, SCIPdebugMsg, SCIPdelCons(), SCIPfindConshdlr(), SCIPfreeBufferArray, SCIPgetLhsLinear(), SCIPgetNVarsLinear(), SCIPgetRhsLinear(), SCIPgetValsLinear(), SCIPgetVarsLinear(), SCIPinfinity(), SCIPisGE(), SCIPisInfinity(), SCIPisLE(), SCIPisNegative(), SCIPisPositive(), SCIPreleaseCons(), SCIPsnprintf(), and TRUE.

Referenced by upgradeSuperindicator().

◆ upgradeSuperindicator()

SCIP_RETCODE upgradeSuperindicator	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_Bool *	success,
		SCIP_Bool *	deleted )

static

tries to upgrade a superindicator constraint in order of the upgrade priority parameters

Parameters

scip	SCIP data structure
cons	superindicator constraint to be updated
success	pointer to store if the constraint was upgraded
deleted	pointer to store if the constraint was deleted

Definition at line 631 of file cons_superindicator.c.

References assert(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsGetHdlr(), SCIPconshdlrGetData(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

Referenced by SCIP_DECL_CONSPRESOL().

◆ enforceConstraint()

SCIP_RETCODE enforceConstraint	(	SCIP *	scip,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS **	conss,
		int	nconss,
		int	nusefulconss,
		SCIP_SOL *	sol,
		SCIP_Bool	solinfeasible,
		SCIP_RESULT *	result )

static

helper function to enforce constraints

Parameters

scip	SCIP data structure
conshdlr	constraint handler
conss	constraints to process
nconss	number of constraints
nusefulconss	number of useful (non-obsolete) constraints to process
sol	solution to enforce (NULL for the LP solution)
solinfeasible	was the solution already declared infeasible by a constraint handler?
result	pointer to store the result of the enforcing call

Definition at line 678 of file cons_superindicator.c.

References assert(), consdataCheckSuperindicator(), FALSE, i, NULL, result, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPdebugPrintf, SCIPenfolpCons(), SCIPenforelaxCons(), SCIPerrorMessage, SCIPisFeasEQ(), SCIPprintSol(), SCIPvarGetLbLocal(), SCIPvarGetName(), sol, and TRUE.

Referenced by SCIP_DECL_CONSENFOLP(), and SCIP_DECL_CONSENFORELAX().

◆ addSymmetryInformation()

SCIP_RETCODE addSymmetryInformation	(	SCIP *	scip,
		SYM_SYMTYPE	symtype,
		SCIP_CONS *	cons,
		SYM_GRAPH *	graph,
		SCIP_Bool *	success )

static

adds symmetry information of constraint to a symmetry detection graph

Parameters

scip	SCIP pointer
symtype	type of symmetries that need to be added
cons	constraint
graph	symmetry detection graph
success	pointer to store whether symmetry information could be added

Definition at line 808 of file cons_superindicator.c.

References assert(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddSymgraphConsnode(), SCIPaddSymgraphEdge(), SCIPaddSymgraphOpnode(), SCIPaddSymgraphVarAggregation(), SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrSupportsPermsymDetection(), SCIPconshdlrSupportsSignedPermsymDetection(), SCIPcopySymgraphAsSubgraph(), SCIPcreateSymgraph(), SCIPfreeBufferArray, SCIPfreeSymgraph(), SCIPgetConsPermsymGraph(), SCIPgetConsSignedPermsymGraph(), SCIPgetNVars(), SCIPgetSymActiveVariables(), SCIPgetSymgraphNegatedVarnodeidx(), SCIPgetSymgraphVarnodeidx(), SCIPgetVars(), SCIPisEQ(), SCIPisTransformed(), SCIPisZero(), SYM_CONSOPTYPE_SUM, SYM_SYMTYPE_PERM, SYM_SYMTYPE_SIGNPERM, TRUE, and vars.

Referenced by SCIP_DECL_CONSGETPERMSYMGRAPH(), and SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH().

◆ SCIP_DECL_CONSHDLRCOPY()

SCIP_DECL_CONSHDLRCOPY ( conshdlrCopySuperindicator )

static

copy method for constraint handler plugins (called when SCIP copies plugins)

Definition at line 936 of file cons_superindicator.c.

References assert(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetName(), SCIPincludeConshdlrSuperindicator(), TRUE, and valid.

◆ SCIP_DECL_CONSFREE()

SCIP_DECL_CONSFREE ( consFreeSuperindicator )

static

destructor of constraint handler to free constraint handler data (called when SCIP is exiting)

Definition at line 952 of file cons_superindicator.c.

References assert(), CONSHDLR_NAME, NULL, SCIP_OKAY, SCIPconshdlrGetData(), SCIPconshdlrGetName(), SCIPconshdlrSetData(), SCIPdebugMsg, and SCIPfreeBlockMemory.

◆ SCIP_DECL_CONSINITPRE()

SCIP_DECL_CONSINITPRE ( consInitpreSuperindicator )

static

presolving initialization method of constraint handler (called when presolving is about to begin)

Definition at line 975 of file cons_superindicator.c.

References assert(), i, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPdebugMsg, SCIPsetConsLocal(), and TRUE.

◆ SCIP_DECL_CONSDELETE()

SCIP_DECL_CONSDELETE ( consDeleteSuperindicator )

static

frees specific constraint data

Definition at line 996 of file cons_superindicator.c.

References assert(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetName(), SCIPconshdlrGetName(), SCIPdebugMsg, SCIPfreeBlockMemory, and SCIPreleaseCons().

◆ SCIP_DECL_CONSTRANS()

SCIP_DECL_CONSTRANS ( consTransSuperindicator )

static

transforms constraint data into data belonging to the transformed problem

Definition at line 1019 of file cons_superindicator.c.

References assert(), consdataCreateSuperindicator(), NULL, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateCons(), SCIPdebugMsg, and SCIPsnprintf().

◆ SCIP_DECL_CONSINITLP()

SCIP_DECL_CONSINITLP ( consInitlpSuperindicator )

static

LP initialization method of constraint handler

Definition at line 1046 of file cons_superindicator.c.

References assert(), c, CONSHDLR_NAME, FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPconsIsInitial(), SCIPdebugMsg, SCIPinitlpCons(), SCIPisFeasEQ(), SCIPvarGetLbLocal(), and SCIPvarGetName().

◆ SCIP_DECL_CONSSEPALP()

SCIP_DECL_CONSSEPALP ( consSepalpSuperindicator )

static

separation method of constraint handler for LP solutions

Definition at line 1083 of file cons_superindicator.c.

References assert(), c, CONSHDLR_NAME, FALSE, NULL, result, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_NEWROUND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPerrorMessage, SCIPisFeasEQ(), SCIPprintSol(), SCIPsepalpCons(), SCIPvarGetLbLocal(), and SCIPvarGetName().

◆ SCIP_DECL_CONSSEPASOL()

SCIP_DECL_CONSSEPASOL ( consSepasolSuperindicator )

static

separation method of constraint handler for arbitrary primal solutions

Definition at line 1192 of file cons_superindicator.c.

References assert(), c, CONSHDLR_NAME, FALSE, NULL, result, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_NEWROUND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPerrorMessage, SCIPisFeasEQ(), SCIPprintSol(), SCIPsepasolCons(), SCIPvarGetLbLocal(), SCIPvarGetName(), and sol.

◆ SCIP_DECL_CONSENFOLP()

SCIP_DECL_CONSENFOLP ( consEnfolpSuperindicator )

static

constraint enforcing method of constraint handler for LP solutions

Definition at line 1301 of file cons_superindicator.c.

References enforceConstraint(), NULL, result, SCIP_CALL, and SCIP_OKAY.

◆ SCIP_DECL_CONSENFORELAX()

SCIP_DECL_CONSENFORELAX ( consEnforelaxSuperindicator )

static

constraint enforcing method of constraint handler for relaxation solutions

Definition at line 1310 of file cons_superindicator.c.

References enforceConstraint(), result, SCIP_CALL, SCIP_OKAY, and sol.

◆ SCIP_DECL_CONSENFOPS()

SCIP_DECL_CONSENFOPS ( consEnfopsSuperindicator )

static

constraint enforcing method of constraint handler for pseudo solutions

Definition at line 1319 of file cons_superindicator.c.

References assert(), consdataCheckSuperindicator(), FALSE, i, NULL, result, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SOLVELP, SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPenfopsCons(), SCIPerrorMessage, SCIPisFeasEQ(), SCIPvarGetLbLocal(), SCIPvarGetName(), and TRUE.

◆ SCIP_DECL_CONSCHECK()

SCIP_DECL_CONSCHECK ( consCheckSuperindicator )

static

feasibility check method of constraint handler for integral solutions

Definition at line 1452 of file cons_superindicator.c.

References assert(), consdataCheckSuperindicator(), i, NULL, result, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIPconsGetData(), SCIPdebugMsg, SCIPheurGetName(), SCIPsolGetHeur(), and sol.

◆ SCIP_DECL_CONSPROP()

SCIP_DECL_CONSPROP ( consPropSuperindicator )

static

domain propagation method of constraint handler

Definition at line 1480 of file cons_superindicator.c.

References assert(), FALSE, i, NULL, result, SCIP_CALL, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPaddCons(), SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPdelCons(), SCIPerrorMessage, SCIPisFeasEQ(), SCIPpropCons(), SCIPsetConsLocal(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), and SCIPvarGetName().

◆ SCIP_DECL_CONSPRESOL()

SCIP_DECL_CONSPRESOL ( consPresolSuperindicator )

static

presolving method of constraint handler

Definition at line 1573 of file cons_superindicator.c.

References assert(), FALSE, i, NULL, result, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_SUCCESS, SCIP_UNBOUNDED, SCIPaddCons(), SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPdelCons(), SCIPisFeasEQ(), SCIPsetConsLocal(), SCIPvarGetLbGlobal(), SCIPvarGetName(), and upgradeSuperindicator().

◆ SCIP_DECL_CONSRESPROP()

SCIP_DECL_CONSRESPROP ( consRespropSuperindicator )

static

propagation conflict resolving method of constraint handler

Definition at line 1662 of file cons_superindicator.c.

References assert(), NULL, result, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_OKAY, SCIPaddConflictLb(), SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPgetVarUbAtIndex(), SCIPisFeasEQ(), SCIPrespropCons(), and TRUE.

◆ SCIP_DECL_CONSLOCK()

SCIP_DECL_CONSLOCK ( consLockSuperindicator )

static

variable rounding lock method of constraint handler

Definition at line 1695 of file cons_superindicator.c.

References assert(), NULL, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIPaddConsLocksType(), SCIPaddVarLocksType(), SCIPconsGetData(), SCIPconsGetName(), and SCIPdebugMsg.

◆ SCIP_DECL_CONSPRINT()

SCIP_DECL_CONSPRINT ( consPrintSuperindicator )

static

constraint display method of constraint handler

Definition at line 1719 of file cons_superindicator.c.

References assert(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_NEGATED, SCIPconsGetData(), SCIPconshdlrGetName(), SCIPinfoMessage(), SCIPprintCons(), SCIPvarGetNegatedVar(), SCIPvarGetStatus(), SCIPwriteVarName(), and TRUE.

◆ SCIP_DECL_CONSCOPY()

SCIP_DECL_CONSCOPY ( consCopySuperindicator )

static

constraint copying method of constraint handler

Definition at line 1761 of file cons_superindicator.c.

References assert(), CONSHDLR_NAME, FALSE, NULL, propagate, SCIP_CALL, SCIP_OKAY, SCIP_VERBLEVEL_MINIMAL, SCIPaddCons(), SCIPcaptureCons(), SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPconsIsChecked(), SCIPconsIsDeleted(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPconsIsTransformed(), SCIPcreateConsLinear(), SCIPcreateConsSuperindicator(), SCIPdebugMsg, SCIPgetConsCopy(), SCIPgetTransformedCons(), SCIPgetVarCopy(), SCIPinfinity(), SCIPisTransformed(), SCIPreleaseCons(), SCIPverbMessage(), SCIPwarningMessage(), separate(), TRUE, and valid.

◆ SCIP_DECL_CONSPARSE()

SCIP_DECL_CONSPARSE ( consParseSuperindicator )

static

constraint parsing method of constraint handler

Definition at line 1880 of file cons_superindicator.c.

References assert(), FALSE, NULL, propagate, SCIP_CALL, SCIP_OKAY, SCIP_VERBLEVEL_MINIMAL, SCIPcreateConsSuperindicator(), SCIPdebugMsg, SCIPfindVar(), SCIPgetNegatedVar(), SCIPparseCons(), SCIPreleaseCons(), SCIPverbMessage(), and separate().

◆ SCIP_DECL_CONSGETVARS()

SCIP_DECL_CONSGETVARS ( consGetVarsSuperindicator )

static

constraint method of constraint handler which returns the variables (if possible)

Definition at line 1972 of file cons_superindicator.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPgetConsVars(), and vars.

◆ SCIP_DECL_CONSGETNVARS()

SCIP_DECL_CONSGETNVARS ( consGetNVarsSuperindicator )

static

constraint method of constraint handler which returns the number of variables (if possible)

Definition at line 1996 of file cons_superindicator.c.

References assert(), NULL, nvars, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), and SCIPgetConsNVars().

◆ SCIP_DECL_CONSGETPERMSYMGRAPH()

SCIP_DECL_CONSGETPERMSYMGRAPH ( consGetPermsymGraphSuperindicator )

static

constraint handler method which returns the permutation symmetry detection graph of a constraint

Definition at line 2016 of file cons_superindicator.c.

References addSymmetryInformation(), SCIP_CALL, SCIP_OKAY, and SYM_SYMTYPE_PERM.

◆ SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH()

SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH ( consGetSignedPermsymGraphSuperindicator )

static

constraint handler method which returns the signed permutation symmetry detection graph of a constraint

Definition at line 2026 of file cons_superindicator.c.

References addSymmetryInformation(), SCIP_CALL, SCIP_OKAY, and SYM_SYMTYPE_SIGNPERM.

Detailed Description

Macros

Functions

Macro Definition Documentation

◆ CONSHDLR_NAME

◆ CONSHDLR_DESC

◆ CONSHDLR_SEPAPRIORITY

◆ CONSHDLR_ENFOPRIORITY

◆ CONSHDLR_CHECKPRIORITY

◆ CONSHDLR_SEPAFREQ

◆ CONSHDLR_PROPFREQ

◆ CONSHDLR_EAGERFREQ

◆ CONSHDLR_MAXPREROUNDS

◆ CONSHDLR_DELAYSEPA

◆ CONSHDLR_DELAYPROP

◆ CONSHDLR_NEEDSCONS

◆ CONSHDLR_PROP_TIMING

◆ CONSHDLR_PRESOLTIMING

◆ DEFAULT_CHECKSLACKTYPE

◆ DEFAULT_UPGDPRIOINDICATOR

◆ DEFAULT_UPGDPRIOLINEAR

◆ DEFAULT_MAXUPGDCOEFLINEAR

Function Documentation

◆ consdataCreateSuperindicator()

◆ consdataCheckSuperindicator()

◆ extractLinearValues()

◆ upgradeIndicatorSuperindicator()

◆ upgradeLinearSuperindicator()

◆ upgradeSuperindicator()

◆ enforceConstraint()

◆ addSymmetryInformation()

◆ SCIP_DECL_CONSHDLRCOPY()

◆ SCIP_DECL_CONSFREE()

◆ SCIP_DECL_CONSINITPRE()

◆ SCIP_DECL_CONSDELETE()

◆ SCIP_DECL_CONSTRANS()

◆ SCIP_DECL_CONSINITLP()

◆ SCIP_DECL_CONSSEPALP()

◆ SCIP_DECL_CONSSEPASOL()

◆ SCIP_DECL_CONSENFOLP()

◆ SCIP_DECL_CONSENFORELAX()

◆ SCIP_DECL_CONSENFOPS()

◆ SCIP_DECL_CONSCHECK()

◆ SCIP_DECL_CONSPROP()

◆ SCIP_DECL_CONSPRESOL()

◆ SCIP_DECL_CONSRESPROP()

◆ SCIP_DECL_CONSLOCK()

◆ SCIP_DECL_CONSPRINT()

◆ SCIP_DECL_CONSCOPY()

◆ SCIP_DECL_CONSPARSE()

◆ SCIP_DECL_CONSGETVARS()

◆ SCIP_DECL_CONSGETNVARS()

◆ SCIP_DECL_CONSGETPERMSYMGRAPH()

◆ SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH()