SCIP

Solving Constraint Integer Programs

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 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()

◆ SCIPincludePresolConvertinttobin()

◆ 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
scipSCIP data structure

Definition at line 2412 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
scipSCIP data structure

Definition at line 599 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)

◆ SCIPincludePresolDualinfer()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolDualinfer ( SCIP *  scip)

creates the dual inference presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 1315 of file presol_dualinfer.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().

◆ SCIPincludePresolGateextraction()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolGateextraction ( SCIP *  scip)

creates the gateextraction presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 1781 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
scipSCIP data structure

Definition at line 343 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
scipSCIP data structure

Definition at line 162 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().

◆ SCIPincludePresolQPKKTref()

SCIP_EXPORT SCIP_RETCODE SCIPincludePresolQPKKTref ( SCIP *  scip)

creates the QP KKT reformulation presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 2032 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
scipSCIP data structure

Definition at line 671 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
scipSCIP data structure

Definition at line 477 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
scipSCIP data structure

Definition at line 192 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

Parameters
scipSCIP data structure

Definition at line 1552 of file presol_tworowbnd.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().