Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

Steiner tree enumeration relaxator.

Author
Daniel Rehfeldt

Definition in file relax_stpenum.h.

#include "scip/scip.h"
#include "graph.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludeRelaxStpenum (SCIP *scip)
 
SCIP_Bool SCIPStpEnumRelaxIsPromising (const GRAPH *graph)
 
SCIP_RETCODE SCIPStpEnumRelaxComputeSol (SCIP *scip, const GRAPH *graph, int *RESTRICT edges_solstat)
 

Function Documentation

◆ SCIPincludeRelaxStpenum()

SCIP_RETCODE SCIPincludeRelaxStpenum ( SCIP scip)

creates the STP relaxator and includes it in SCIP

creates the stp relaxator and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 296 of file relax_stpenum.c.

References NULL, RELAX_DESC, RELAX_FREQ, RELAX_NAME, RELAX_PRIORITY, SCIP_CALL, SCIP_OKAY, SCIPincludeRelaxBasic(), and SCIPsetRelaxFree().

Referenced by runShell().

◆ SCIPStpEnumRelaxIsPromising()

SCIP_Bool SCIPStpEnumRelaxIsPromising ( const GRAPH graph)

is using the relaxator promising?

Parameters
graphgraph

Definition at line 263 of file relax_stpenum.c.

References enumIsPromising().

Referenced by reduce_redLoopStp(), and SCIPStpEnumRelaxComputeSol().

◆ SCIPStpEnumRelaxComputeSol()

SCIP_RETCODE SCIPStpEnumRelaxComputeSol ( SCIP scip,
const GRAPH graph,
int *RESTRICT  edges_solstat 
)

Solve instance by enumeration. Only call when promising.

Parameters
scipSCIP data structure
graphgraph data structure
edges_solstatsolution edges

Definition at line 274 of file relax_stpenum.c.

References enumExec(), SCIP_CALL, SCIP_ERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, and SCIPStpEnumRelaxIsPromising().