SCIP

    Solving Constraint Integer Programs

    Functions
    Inclusion functions
    Public API of SCIP » Plugin API of SCIP » Presolvers

    Detailed Description

    functions to include specific presolvers into SCIP

    This module contains functions to include specific presolvers into SCIP.

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

    Functions

    SCIP_RETCODE SCIPincludePresolBoundshift (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolConvertinttobin (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolDomcol (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolDualagg (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolDualcomp (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolDualinfer (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolGateextraction (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolImplics (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolImplint (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolInttobinary (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolMILP (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolQPKKTref (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolRedvub (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolStuffing (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolTrivial (SCIP *scip)
     
    SCIP_RETCODE SCIPincludePresolTworowbnd (SCIP *scip)
     

    Function Documentation

    ◆ SCIPincludePresolBoundshift()

    SCIP_RETCODE SCIPincludePresolBoundshift ( SCIP *  scip)

    creates the boundshift presolver and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 297 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_RETCODE SCIPincludePresolConvertinttobin ( SCIP *  scip)

    creates the convertinttobin presolver and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 349 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 SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

    ◆ SCIPincludePresolDomcol()

    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 2456 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_RETCODE SCIPincludePresolDualagg ( SCIP *  scip)

    creates the dualagg presolver and includes it in SCIP

    Parameters
    scipSCIP data structure

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

    ◆ SCIPincludePresolDualcomp()

    SCIP_RETCODE SCIPincludePresolDualcomp ( SCIP *  scip)

    creates the dualcomp presolver and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 843 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_RETCODE SCIPincludePresolDualinfer ( SCIP *  scip)

    creates the dual inference presolver and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 2404 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_RETCODE SCIPincludePresolGateextraction ( SCIP *  scip)

    creates the gateextraction presolver and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 1787 of file presol_gateextraction.c.

    References DEFAULT_ONLYSETPART, DEFAULT_SEARCHEQUATIONS, DEFAULT_SORTING, NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, presoldataInit(), SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPallocBlockMemory, SCIPincludePresolBasic(), SCIPsetPresolCopy(), SCIPsetPresolExit(), SCIPsetPresolExitpre(), SCIPsetPresolFree(), SCIPsetPresolInitpre(), and TRUE.

    Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

    ◆ SCIPincludePresolImplics()

    SCIP_RETCODE SCIPincludePresolImplics ( SCIP *  scip)

    creates the implics presolver and includes it in SCIP

    Parameters
    scipSCIP data structure

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

    ◆ SCIPincludePresolImplint()

    SCIP_RETCODE SCIPincludePresolImplint ( SCIP *  scip)

    creates the implicit integer presolver and includes it in SCIP

    creates the implint presolver and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 2326 of file presol_implint.c.

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

    Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

    ◆ SCIPincludePresolInttobinary()

    SCIP_RETCODE SCIPincludePresolInttobinary ( SCIP *  scip)

    creates the inttobinary presolver and includes it in SCIP

    Parameters
    scipSCIP data structure

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

    Definition at line 46 of file presol_milp.cpp.

    References NULL, and SCIP_OKAY.

    Referenced by SCIPincludeDefaultPlugins().

    ◆ SCIPincludePresolQPKKTref()

    SCIP_RETCODE SCIPincludePresolQPKKTref ( SCIP *  scip)

    creates the QP KKT reformulation presolver and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 2064 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 SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().

    ◆ SCIPincludePresolRedvub()

    SCIP_RETCODE SCIPincludePresolRedvub ( SCIP *  scip)

    creates the redvub presolver and includes it in SCIP

    Parameters
    scipSCIP data structure

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

    ◆ SCIPincludePresolStuffing()

    SCIP_RETCODE SCIPincludePresolStuffing ( SCIP *  scip)

    creates the stuffing presolver and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 499 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_RETCODE SCIPincludePresolTrivial ( SCIP *  scip)

    creates the trivial presolver and includes it in SCIP

    Parameters
    scipSCIP data structure

    Definition at line 206 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_RETCODE SCIPincludePresolTworowbnd ( SCIP *  scip)

    creates the tworowbnd presolver and includes it in SCIP

    creates the tworowbndb presolver and includes it in SCIP

    Parameters
    scipSCIP data structure

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