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().