Scippy

SCIP

Solving Constraint Integer Programs

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