Scippy

SCIP

Solving Constraint Integer Programs

cons_stp.h File Reference

Detailed Description

Constraint handler for Steiner problems.

Author
Gerald Gamrath
Daniel Rehfeldt
Michael Winkler

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.

#include "scip/scip.h"
#include "graph.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()

◆ SCIPcreateConsStp()

SCIP_RETCODE SCIPcreateConsStp ( SCIP scip,
SCIP_CONS **  cons,
const char *  name,
GRAPH graph 
)

creates and captures a stp constraint

Parameters
scipSCIP data structure
conspointer to hold the created constraint
namename of constraint
graphgraph 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)

◆ SCIPStpAddContractionCut()

SCIP_RETCODE SCIPStpAddContractionCut ( SCIP scip,
SCIP_VAR edge,
SCIP_VAR revedge,
SCIP_Bool  localcut 
)

add cut corresponding to contraction

Parameters
scipSCIP data structure
edgeedge
revedgereversed edge
localcutadd 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
scipSCIP 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
scipSCIP 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
scipSCIP data structure

Definition at line 1269 of file cons_stp.c.

References NULL, SCIPconshdlrGetData(), SCIPfindConshdlr(), and sepaspecial_pcimplicationsGetVerts().

Referenced by propgraphApplyImplicationsPcMw(), SCIPStpGetPcImplNstarts(), and SCIPStpHeurLocalExtendPcMwImp().