Detailed Description

methods to include specific presolvers into SCIP

This module contains methods to include specific presolvers into SCIP.

Note: All default plugins can be included at once (including all default presolvers) using SCIPincludeDefaultPlugins()

Functions
SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolBoundshift (SCIP *scip)

SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolConvertinttobin (SCIP *scip)

SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolDomcol (SCIP *scip)

SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolDualagg (SCIP *scip)

SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolDualcomp (SCIP *scip)

SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolDualinfer (SCIP *scip)

SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolGateextraction (SCIP *scip)

SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolImplics (SCIP *scip)

SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolInttobinary (SCIP *scip)

SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolMILP (SCIP *scip)

SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolQPKKTref (SCIP *scip)

SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolRedvub (SCIP *scip)

SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolStuffing (SCIP *scip)

SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolTrivial (SCIP *scip)

SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolTworowbnd (SCIP *scip)

Function Documentation

◆ SCIPincludePresolBoundshift()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolBoundshift ( SCIP * scip )

creates the boundshift presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 259 of file presol_boundshift.c.

References DEFAULT_FLIPPING, DEFAULT_INTEGER, DEFAULT_MAXSHIFT, NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_LONGINT_MAX, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddLongintParam(), SCIPallocBlockMemory, SCIPincludePresolBasic(), SCIPsetPresolCopy(), SCIPsetPresolFree(), and TRUE.

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

◆ SCIPincludePresolConvertinttobin()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolConvertinttobin ( SCIP * scip )

creates the convertinttobin presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 340 of file presol_convertinttobin.c.

References DEFAULT_MAXDOMAINSIZE, DEFAULT_ONLYPOWERSOFTWO, DEFAULT_SAMELOCKSINBOTHDIRECTIONS, NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_LONGINT_MAX, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddLongintParam(), SCIPallocBlockMemory, SCIPincludePresolBasic(), SCIPsetPresolCopy(), SCIPsetPresolFree(), and TRUE.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePresolDomcol()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolDomcol ( SCIP * scip )

creates the dominated column presolver and includes it in SCIP

creates the domcol presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 2419 of file presol_domcol.c.

References DEFAULT_CONTINUOUS_RED, DEFAULT_NUMMAXPAIRS, DEFAULT_NUMMINPAIRS, DEFAULT_PREDBNDSTR, FALSE, NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPallocBlockMemory, SCIPincludePresolBasic(), SCIPsetPresolCopy(), and SCIPsetPresolFree().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

◆ SCIPincludePresolDualagg()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolDualagg ( SCIP * scip )

creates the dualagg presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 612 of file presol_dualagg.c.

References NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, and SCIPincludePresolBasic().

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePresolDualcomp()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolDualcomp ( SCIP * scip )

creates the dualcomp presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 837 of file presol_dualcomp.c.

References DEFAULT_COMP_ONLY_DIS_VARS, FALSE, NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPallocBlockMemory, SCIPincludePresolBasic(), SCIPsetPresolCopy(), and SCIPsetPresolFree().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

◆ SCIPincludePresolDualinfer()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolDualinfer ( SCIP * scip )

creates the dual inference presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 2399 of file presol_dualinfer.c.

References DEFAULT_MAXCOMBINEFAILS, DEFAULT_MAXCONSIDEREDNONZEROS, DEFAULT_MAXHASHFAC, DEFAULT_MAXLOOPS_DUALBNDSTR, DEFAULT_MAXPAIRFAC, DEFAULT_MAXRETRIEVEFAILS, DEFAULT_MAXROWSUPPORT, DEFAULT_TWOCOLUMN_COMBINE, FALSE, NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPallocBlockMemory, SCIPincludePresolBasic(), SCIPsetPresolCopy(), SCIPsetPresolFree(), and TRUE.

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

◆ SCIPincludePresolGateextraction()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolGateextraction ( SCIP * scip )

creates the gateextraction presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 1782 of file presol_gateextraction.c.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePresolImplics()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolImplics ( SCIP * scip )

creates the implics presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 344 of file presol_implics.c.

References NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPincludePresolBasic(), and SCIPsetPresolCopy().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

◆ SCIPincludePresolInttobinary()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolInttobinary ( SCIP * scip )

creates the inttobinary presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 182 of file presol_inttobinary.c.

References NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPincludePresolBasic(), and SCIPsetPresolCopy().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

◆ SCIPincludePresolMILP()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolMILP ( SCIP * scip )

creates the MILP presolver and includes it in SCIP if the presolve library is available

creates the MILP presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 37 of file presol_milp.cpp.

References SCIP_Var::data, DEFAULT_RANDOMSEED, FALSE, NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, presolve(), SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DECL_PRESOLCOPY, SCIP_DECL_PRESOLEXEC, SCIP_DECL_PRESOLFREE, SCIP_DECL_PRESOLINIT, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_Real, SCIP_REAL_MAX, SCIP_SUCCESS, SCIP_UNBOUNDED, SCIP_VARSTATUS_MULTAGGR, SCIP_VERBLEVEL_HIGH, SCIPaddBoolParam(), SCIPaddCons(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPaggregateVars(), SCIPallocBlockMemory, SCIPallowStrongDualReds(), SCIPallowWeakDualReds(), SCIPcaptureCons(), SCIPconsGetName(), SCIPconshdlrGetNCheckConss(), SCIPcreateConsBasicLinear(), SCIPdelCons(), SCIPepsilon(), SCIPfeastol(), SCIPfindConshdlr(), SCIPfixVar(), SCIPfreeBlockMemory, SCIPgetNConss(), SCIPgetNVars(), SCIPgetProbName(), SCIPgetProbvarSum(), SCIPgetRealParam(), SCIPgetSolvingTime(), SCIPincludeExternalCodeInformation(), SCIPincludePresolBasic(), SCIPincludePresolMILP(), SCIPinfinity(), SCIPinitializeRandomSeed(), SCIPisInfinity(), SCIPmatrixCreate(), SCIPmatrixFree(), SCIPmatrixGetCons(), SCIPmatrixGetNColumns(), SCIPmatrixGetNNonzs(), SCIPmatrixGetNRows(), SCIPmatrixGetRowIdxPtr(), SCIPmatrixGetRowLhs(), SCIPmatrixGetRowNNonzs(), SCIPmatrixGetRowRhs(), SCIPmatrixGetRowValPtr(), SCIPmatrixGetVar(), SCIPmultiaggregateVar(), SCIPpresolGetData(), SCIPpresolSetData(), SCIPreleaseCons(), SCIPsetPresolCopy(), SCIPsetPresolFree(), SCIPsetPresolInit(), SCIPtightenVarLb(), SCIPtightenVarUb(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarIsIntegral(), SCIPverbMessage(), and TRUE.

Referenced by SCIPincludeDefaultPlugins(), and SCIPincludePresolMILP().

◆ SCIPincludePresolQPKKTref()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolQPKKTref ( SCIP * scip )

creates the QP KKT reformulation presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 2033 of file presol_qpkktref.c.

References FALSE, NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPallocBlockMemory, SCIPincludePresolBasic(), SCIPsetPresolCopy(), SCIPsetPresolFree(), and TRUE.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePresolRedvub()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolRedvub ( SCIP * scip )

creates the redvub presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 684 of file presol_redvub.c.

References NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, and SCIPincludePresolBasic().

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludePresolStuffing()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolStuffing ( SCIP * scip )

creates the stuffing presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 489 of file presol_stuffing.c.

References NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPincludePresolBasic(), and SCIPsetPresolCopy().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

◆ SCIPincludePresolTrivial()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolTrivial ( SCIP * scip )

creates the trivial presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 196 of file presol_trivial.c.

References NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPincludePresolBasic(), and SCIPsetPresolCopy().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

◆ SCIPincludePresolTworowbnd()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolTworowbnd ( SCIP * scip )

creates the tworowbnd presolver and includes it in SCIP

creates the tworowbndb presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 1664 of file presol_tworowbnd.c.

References DEFAULT_ENABLECOPY, DEFAULT_MAXCOMBINEFAILS, DEFAULT_MAXCONSIDEREDNONZEROS, DEFAULT_MAXHASHFAC, DEFAULT_MAXPAIRFAC, DEFAULT_MAXRETRIEVEFAILS, FALSE, NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPallocBlockMemory, SCIPincludePresolBasic(), SCIPsetPresolCopy(), SCIPsetPresolFree(), SCIPsetPresolInit(), and TRUE.

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

SCIP

Detailed Description

Functions

Function Documentation

◆ SCIPincludePresolBoundshift()

◆ SCIPincludePresolConvertinttobin()

◆ SCIPincludePresolDomcol()

◆ SCIPincludePresolDualagg()

◆ SCIPincludePresolDualcomp()

◆ SCIPincludePresolDualinfer()

◆ SCIPincludePresolGateextraction()

◆ SCIPincludePresolImplics()

◆ SCIPincludePresolInttobinary()

◆ SCIPincludePresolMILP()

◆ SCIPincludePresolQPKKTref()

◆ SCIPincludePresolRedvub()

◆ SCIPincludePresolStuffing()

◆ SCIPincludePresolTrivial()

◆ SCIPincludePresolTworowbnd()