SCIP
Solving Constraint Integer Programs
cons_stp.h File Reference
Detailed Description
Constraint handler for Steiner problems.
This file checks solutions for feasibility and separates violated model constraints. For more details see Separating violated constraints page.
Definition in file cons_stp.h.
Go to the source code of this file.
Functions | |
| SCIP_RETCODE | SCIPincludeConshdlrStp (SCIP *scip) |
| SCIP_RETCODE | SCIPcreateConsStp (SCIP *scip, SCIP_CONS **cons, const char *name, GRAPH *graph) |
| void | SCIPStpConshdlrSetGraph (SCIP *scip) |
| SCIP_RETCODE | SCIPStpAddContractionCut (SCIP *scip, SCIP_VAR *edge, SCIP_VAR *revedge, SCIP_Bool localcut) |
| const int * | SCIPStpGetPcImplStarts (SCIP *scip) |
| int | SCIPStpGetPcImplNstarts (SCIP *scip) |
| const int * | SCIPStpGetPcImplVerts (SCIP *scip) |
Function Documentation
◆ SCIPincludeConshdlrStp()
| SCIP_RETCODE SCIPincludeConshdlrStp | ( | SCIP * | scip | ) |
creates the handler for element constraints and includes it in SCIP
creates the handler for stp constraints and includes it in SCIP
- Parameters
-
scip SCIP data structure
Definition at line 1051 of file cons_stp.c.
References CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, DEFAULT_BACKCUT, DEFAULT_BALANCEFLOWSEP, DEFAULT_CREEPFLOW, DEFAULT_DISJUNCTCUT, DEFAULT_FLOWSEP, DEFAULT_INFLOWSEP, DEFAULT_INFLOWTERMSEP, DEFAULT_MAXROUNDS, DEFAULT_MAXROUNDSROOT, DEFAULT_MAXSEPACUTS, DEFAULT_MAXSEPACUTSROOT, DEFAULT_NESTEDCUT, DEFAULT_OUTFLOWSEP, FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPallocMemory, SCIPcreateConsStp(), SCIPcreateRandom(), SCIPincludeConshdlrBasic(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitsol(), SCIPsetConshdlrProp(), SCIPsetConshdlrSepa(), SCIPsetConshdlrTrans(), and TRUE.
Referenced by runShell(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSHDLRCOPY(), and subscipSetupCallbacks().
◆ SCIPcreateConsStp()
| SCIP_RETCODE SCIPcreateConsStp | ( | SCIP * | scip, |
| SCIP_CONS ** | cons, | ||
| const char * | name, | ||
| GRAPH * | graph | ||
| ) |
creates and captures a stp constraint
- Parameters
-
scip SCIP data structure cons pointer to hold the created constraint name name of constraint graph graph data structure
Definition at line 1135 of file cons_stp.c.
References CONSHDLR_NAME, FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPallocBlockMemory(), SCIPcreateCons(), SCIPerrorMessage, SCIPfindConshdlr(), SCIPStpAddContractionCut(), and TRUE.
Referenced by createModel(), SCIP_DECL_CONSCOPY(), and SCIPincludeConshdlrStp().
◆ SCIPStpConshdlrSetGraph()
| void SCIPStpConshdlrSetGraph | ( | SCIP * | scip | ) |
sets graph
- Parameters
-
scip SCIP data structure
Definition at line 1208 of file cons_stp.c.
References NULL, SCIPconsGetData(), SCIPconshdlrGetConss(), SCIPconshdlrGetNConss(), SCIPfindConshdlr(), SCIPprobdataGetGraph2(), and SCIPStpGetPcImplStarts().
Referenced by SCIP_DECL_CONSINITSOL(), and SCIPStpAddContractionCut().
◆ SCIPStpAddContractionCut()
| SCIP_RETCODE SCIPStpAddContractionCut | ( | SCIP * | scip, |
| SCIP_VAR * | edge, | ||
| SCIP_VAR * | revedge, | ||
| SCIP_Bool | localcut | ||
| ) |
add cut corresponding to contraction
- Parameters
-
scip SCIP data structure edge edge revedge reversed edge localcut add local cut?
Definition at line 1165 of file cons_stp.c.
References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPaddPoolCut(), SCIPaddRow(), SCIPaddVarToRow(), SCIPcacheRowExtensions(), SCIPconshdlrGetNConss(), SCIPcreateEmptyRowConshdlr(), SCIPfindConshdlr(), SCIPflushRowExtensions(), SCIPinfinity(), SCIPreleaseRow(), SCIPStpConshdlrSetGraph(), SCIPvarGetLbLocal(), SCIPvarGetUbLocal(), and TRUE.
Referenced by SCIPcreateConsStp().
◆ SCIPStpGetPcImplStarts()
| const int* SCIPStpGetPcImplStarts | ( | SCIP * | scip | ) |
returns implications start array
- Parameters
-
scip SCIP data structure
Definition at line 1231 of file cons_stp.c.
References NULL, SCIPconshdlrGetData(), SCIPfindConshdlr(), SCIPStpGetPcImplNstarts(), and sepaspecial_pcimplicationsGetStarts().
Referenced by propgraphApplyImplicationsPcMw(), SCIPStpConshdlrSetGraph(), and SCIPStpHeurLocalExtendPcMwImp().
◆ SCIPStpGetPcImplNstarts()
| int SCIPStpGetPcImplNstarts | ( | SCIP * | scip | ) |
returns number implications starts
- Parameters
-
scip SCIP data structure
Definition at line 1250 of file cons_stp.c.
References NULL, SCIPconshdlrGetData(), SCIPfindConshdlr(), SCIPStpGetPcImplVerts(), and sepaspecial_pcimplicationsGetNstarts().
Referenced by propgraphApplyImplicationsPcMw(), and SCIPStpGetPcImplStarts().
◆ SCIPStpGetPcImplVerts()
| const int* SCIPStpGetPcImplVerts | ( | SCIP * | scip | ) |
returns implications vertices array
- Parameters
-
scip SCIP data structure
Definition at line 1269 of file cons_stp.c.
References NULL, SCIPconshdlrGetData(), SCIPfindConshdlr(), and sepaspecial_pcimplicationsGetVerts().
Referenced by propgraphApplyImplicationsPcMw(), SCIPStpGetPcImplNstarts(), and SCIPStpHeurLocalExtendPcMwImp().