Scippy

SCIP

Solving Constraint Integer Programs

presol_domcol.h File Reference

Detailed Description

dominated column presolver

Author
Dieter Weninger

This presolver looks for dominance relations between variable pairs. From a dominance relation and certain bound/clique-constellations variable fixings mostly at the lower bound of the dominated variable can be derived. Additionally it is possible to improve bounds by predictive bound strengthening.

Definition in file presol_domcol.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludePresolDomcol (SCIP *scip)
 

Function Documentation

SCIP_RETCODE SCIPincludePresolDomcol ( SCIP scip)

creates the dominated column presolver and includes it in SCIP

creates the domcol presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 2388 of file presol_domcol.c.

References DEFAULT_NUMMAXPAIRS, DEFAULT_NUMMINPAIRS, DEFAULT_PREDBNDSTR, FALSE, NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPallocMemory, SCIPincludePresolBasic(), SCIPsetPresolCopy(), and SCIPsetPresolFree().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().