Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

methods to include specific constraint handlers into SCIP

This module contains methods to include specific constraint handlers into SCIP.

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

Functions

SCIP_RETCODE SCIPincludeConshdlrAnd (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrBenders (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrBenderslp (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrBounddisjunction (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrCardinality (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrComponents (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrConjunction (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrCountsols (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrCumulative (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrDisjunction (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrFixedvar (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrIndicator (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrIntegral (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrKnapsack (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrLinear (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrLinking (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrLogicor (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrNonlinear (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrOr (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrOrbisack (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrOrbitope (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrPseudoboolean (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrSetppc (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrSOS1 (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrSOS2 (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrSuperindicator (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrSymresack (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrVarbound (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrXor (SCIP *scip)
 
SCIP_RETCODE SCIPincludeConshdlrRpa (SCIP *scip)
 

Function Documentation

◆ SCIPincludeConshdlrAnd()

SCIP_RETCODE SCIPincludeConshdlrAnd ( SCIP scip)

creates the handler for and constraints and includes it in SCIP

creates the handler for AND-constraints and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 4983 of file cons_and.c.

References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, conshdlrdataCreate(), DEFAULT_AGGRLINEARIZATION, DEFAULT_DUALPRESOLVING, DEFAULT_ENFORCECUTS, DEFAULT_LINEARIZE, DEFAULT_PRESOLPAIRWISE, DEFAULT_PRESOLUSEHASHING, DEFAULT_UPGRRESULTANT, EVENTHDLR_DESC, EVENTHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPcreateConsAnd(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPsetConshdlrActive(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDeactive(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetPermsymGraph(), SCIPsetConshdlrGetSignedPermsymGraph(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrInitsol(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.

Referenced by SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_EVENTEXEC(), and SCIPincludeDefaultPlugins().

◆ SCIPincludeConshdlrBenders()

◆ SCIPincludeConshdlrBenderslp()

SCIP_RETCODE SCIPincludeConshdlrBenderslp ( SCIP scip)

creates the handler for benderslp constraints and includes it in SCIP

creates the handler for executing the Benders' decomposition subproblem solve on fractional LP solution and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 269 of file cons_benderslp.c.

References BMSclearMemory, CONSHDLR_CHECKPRIORITY, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, DEFAULT_ACTIVE, DEFAULT_CONSBENDERSLP_FREQ, DEFAULT_CONSBENDERSLP_ITERLIMIT, DEFAULT_CONSBENDERSLP_MAXDEPTH, DEFAULT_CONSBENDERSLP_STALLLIMIT, FALSE, NULL, SCIP_CALL, SCIP_MAXTREEDEPTH, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPallocMemory, SCIPincludeConshdlrBasic(), SCIPinfinity(), SCIPsetConshdlrCopy(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrFree(), and TRUE.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludeConshdlrBounddisjunction()

◆ SCIPincludeConshdlrCardinality()

◆ SCIPincludeConshdlrComponents()

◆ SCIPincludeConshdlrConjunction()

◆ SCIPincludeConshdlrCountsols()

SCIP_RETCODE SCIPincludeConshdlrCountsols ( SCIP scip)

creates the handler for countsol constraints and includes it in SCIP

creates the handler for countsols constraints and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 2690 of file cons_countsols.c.

References includeConshdlrCountsols(), SCIP_CALL, SCIP_OKAY, SCIPcount(), and TRUE.

Referenced by includeConshdlrCountsols(), and SCIPincludeDefaultPlugins().

◆ SCIPincludeConshdlrCumulative()

SCIP_RETCODE SCIPincludeConshdlrCumulative ( SCIP scip)

creates the constraint handler for cumulative constraints and includes it in SCIP

creates the handler for cumulative constraints and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 13631 of file cons_cumulative.c.

References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, conshdlrdataCreate(), DEFAULT_COEFTIGHTENING, DEFAULT_CUTSASCONSS, DEFAULT_DETECTDISJUNCTIVE, DEFAULT_DETECTVARBOUNDS, DEFAULT_DISJUNCTIVE, DEFAULT_DUALPRESOLVE, DEFAULT_EFCHECK, DEFAULT_EFINFER, DEFAULT_FILLBRANCHCANDS, DEFAULT_LOCALCUTS, DEFAULT_MAXNODES, DEFAULT_NORMALIZE, DEFAULT_PRESOLPAIRWISE, DEFAULT_SEPAOLD, DEFAULT_TTEFCHECK, DEFAULT_TTEFINFER, DEFAULT_TTINFER, DEFAULT_USEADJUSTEDJOBS, DEFAULT_USEBDWIDENING, DEFAULT_USEBINVARS, DEFAULT_USECOVERCUTS, EVENTHDLR_DESC, EVENTHDLR_NAME, FALSE, NULL, SCIP_CALL, SCIP_LONGINT_MAX, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddLongintParam(), SCIPcreateConsCumulative(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.

Referenced by SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_EVENTEXEC(), and SCIPincludeDefaultPlugins().

◆ SCIPincludeConshdlrDisjunction()

◆ SCIPincludeConshdlrFixedvar()

◆ SCIPincludeConshdlrIndicator()

SCIP_RETCODE SCIPincludeConshdlrIndicator ( SCIP scip)

creates the handler for indicator constraints and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 7625 of file cons_indicator.c.

References CONFLICTHDLR_DESC, CONFLICTHDLR_NAME, CONFLICTHDLR_PRIORITY, CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, DEFAULT_ADDCOUPLING, DEFAULT_ADDCOUPLINGCONS, DEFAULT_ADDOPPOSITE, DEFAULT_BRANCHINDICATORS, DEFAULT_CONFLICTSUPGRADE, DEFAULT_DUALREDUCTIONS, DEFAULT_ENFORCECUTS, DEFAULT_FORCERESTART, DEFAULT_GENERATEBILINEAR, DEFAULT_GENLOGICOR, DEFAULT_MAXCONDITIONALTLP, DEFAULT_MAXCOUPLINGVALUE, DEFAULT_MAXSEPACUTS, DEFAULT_MAXSEPACUTSROOT, DEFAULT_MAXSEPANONVIOLATED, DEFAULT_NOLINCONSCONT, DEFAULT_REMOVEINDICATORS, DEFAULT_RESTARTFRAC, DEFAULT_SCALESLACKVAR, DEFAULT_SEPAALTERNATIVELP, DEFAULT_SEPACOUPLINGCUTS, DEFAULT_SEPACOUPLINGLOCAL, DEFAULT_SEPACOUPLINGVALUE, DEFAULT_SEPAPERSPECTIVE, DEFAULT_SEPAPERSPLOCAL, DEFAULT_TRYSOLFROMCOVER, DEFAULT_TRYSOLUTIONS, DEFAULT_UPDATEBOUNDS, DEFAULT_UPGRADELINEAR, DEFAULT_USEOBJECTIVECUT, DEFAULT_USEOTHERCONSS, EVENTHDLR_BOUND_DESC, EVENTHDLR_BOUND_NAME, EVENTHDLR_LINCONSBOUND_DESC, EVENTHDLR_LINCONSBOUND_NAME, EVENTHDLR_RESTART_DESC, EVENTHDLR_RESTART_NAME, FALSE, initConshdlrData(), LINCONSUPGD_PRIORITY, NULL, SCIP_CALL, SCIP_OKAY, SCIP_REAL_MAX, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocBlockMemory, SCIPcreateConsIndicator(), SCIPfindConshdlr(), SCIPincludeConflicthdlrBasic(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPincludeLinconsUpgrade(), SCIPsetConflicthdlrFree(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrDisable(), SCIPsetConshdlrEnable(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExit(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetDiveBdChgs(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetPermsymGraph(), SCIPsetConshdlrGetSignedPermsymGraph(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInit(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrInitsol(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.

Referenced by SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().

◆ SCIPincludeConshdlrIntegral()

SCIP_RETCODE SCIPincludeConshdlrIntegral ( SCIP scip)

creates the handler for the integrality constraint and includes it in SCIP

creates the handler for integrality constraint and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 315 of file cons_integral.c.

References consCopyIntegral, consEnfopsIntegral, CONSHDLR_CHECKPRIORITY, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, NULL, SCIP_CALL, SCIP_OKAY, SCIPincludeConshdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrEnforelax(), and SCIPsetConshdlrGetDiveBdChgs().

Referenced by SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSHDLRCOPY(), SCIPincludeColoringPlugins(), and SCIPincludeDefaultPlugins().

◆ SCIPincludeConshdlrKnapsack()

SCIP_RETCODE SCIPincludeConshdlrKnapsack ( SCIP scip)

creates the handler for knapsack constraints and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 13483 of file cons_knapsack.c.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludeConshdlrLinear()

SCIP_RETCODE SCIPincludeConshdlrLinear ( SCIP scip)

creates the handler for linear constraints and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 17707 of file cons_linear.c.

Referenced by SCIPincludeColoringPlugins(), and SCIPincludeDefaultPlugins().

◆ SCIPincludeConshdlrLinking()

◆ SCIPincludeConshdlrLogicor()

SCIP_RETCODE SCIPincludeConshdlrLogicor ( SCIP scip)

creates the handler for logic or constraints and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 5321 of file cons_logicor.c.

References CONFLICTHDLR_DESC, CONFLICTHDLR_NAME, CONFLICTHDLR_PRIORITY, CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, conshdlrdataCreate(), DEFAULT_DUALPRESOLVING, DEFAULT_IMPLICATIONS, DEFAULT_NEGATEDCLIQUE, DEFAULT_PRESOLPAIRWISE, DEFAULT_PRESOLUSEHASHING, DEFAULT_STRENGTHEN, EVENTHDLR_DESC, EVENTHDLR_NAME, LINCONSUPGD_PRIORITY, NULL, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPcreateConsLogicor(), SCIPfindConshdlr(), SCIPincludeConflicthdlrBasic(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPincludeLinconsUpgrade(), SCIPsetConshdlrActive(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDeactive(), SCIPsetConshdlrDelete(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetPermsymGraph(), SCIPsetConshdlrGetSignedPermsymGraph(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrInitsol(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludeConshdlrNonlinear()

SCIP_RETCODE SCIPincludeConshdlrNonlinear ( SCIP scip)

creates the handler for nonlinear constraints and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 12280 of file cons_nonlinear.c.

References BILIN_MAXNAUXEXPRS, consDelvarsNonlinear, consGetDiveBdChgsNonlinear, CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, consInitpreNonlinear, consRespropNonlinear, DIALOG_DESC, DIALOG_ISSUBMENU, DIALOG_NAME, FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_REAL_MAX, SCIPaddBoolParam(), SCIPaddCharParam(), SCIPaddDialogEntry(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocClearBlockMemory, SCIPblkmem(), SCIPcreateClock(), SCIPdialogFindEntry(), SCIPdialogHasEntry(), SCIPepsilon(), SCIPfindTable(), SCIPgetRootDialog(), SCIPhashmapCreate(), SCIPincludeConshdlr(), SCIPincludeConsUpgradeNonlinear(), SCIPincludeDialog(), SCIPincludeEventhdlrBasic(), SCIPincludeTable(), SCIPinfinity(), SCIPqueueCreate(), SCIPreleaseDialog(), TABLE_DESC_NLHDLR, TABLE_DESC_NONLINEAR, TABLE_EARLIEST_STAGE_NLHDLR, TABLE_EARLIEST_STAGE_NONLINEAR, TABLE_NAME_NLHDLR, TABLE_NAME_NONLINEAR, TABLE_POSITION_NLHDLR, TABLE_POSITION_NONLINEAR, TRUE, VERTEXPOLY_ADJUSTFACETFACTOR, VERTEXPOLY_MAXPERTURBATION, and VERTEXPOLY_USEDUALSIMPLEX.

Referenced by SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_DIALOGEXEC(), and SCIPincludeDefaultPlugins().

◆ SCIPincludeConshdlrOr()

◆ SCIPincludeConshdlrOrbisack()

◆ SCIPincludeConshdlrOrbitope()

◆ SCIPincludeConshdlrPseudoboolean()

◆ SCIPincludeConshdlrSetppc()

SCIP_RETCODE SCIPincludeConshdlrSetppc ( SCIP scip)

creates the handler for set partitioning / packing / covering constraints and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 9256 of file cons_setppc.c.

Referenced by SCIPincludeColoringPlugins(), and SCIPincludeDefaultPlugins().

◆ SCIPincludeConshdlrSOS1()

SCIP_RETCODE SCIPincludeConshdlrSOS1 ( SCIP scip)

creates the handler for SOS1 constraints and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 10368 of file cons_sos1.c.

Referenced by SCIPincludeDefaultPlugins().

◆ SCIPincludeConshdlrSOS2()

◆ SCIPincludeConshdlrSuperindicator()

◆ SCIPincludeConshdlrSymresack()

◆ SCIPincludeConshdlrVarbound()

◆ SCIPincludeConshdlrXor()

SCIP_RETCODE SCIPincludeConshdlrXor ( SCIP scip)

◆ SCIPincludeConshdlrRpa()