presol_trivial.c File Reference

Detailed Description

trivial presolver: round fractional bounds on integer variables, fix variables with equal bounds

Author

Tobias Achterberg

Definition in file presol_trivial.c.

#include <assert.h>
#include <string.h>
#include "scip/presol_trivial.h"

Go to the source code of this file.

Macros
#define	PRESOL_NAME   "trivial"
#define	PRESOL_DESC   "trivial presolver: round fractional bounds on integers, fix variables with equal bounds"
#define	PRESOL_PRIORITY   +9000000
#define	PRESOL_MAXROUNDS   -1
#define	PRESOL_DELAY   FALSE

Functions
static	SCIP_DECL_PRESOLCOPY (presolCopyTrivial)
static	SCIP_DECL_PRESOLEXEC (presolExecTrivial)
SCIP_RETCODE	SCIPincludePresolTrivial (SCIP *scip)

Macro Definition Documentation

#define PRESOL_NAME   "trivial"

Definition at line 29 of file presol_trivial.c.

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludePresolTrivial().

#define PRESOL_DESC   "trivial presolver: round fractional bounds on integers, fix variables with equal bounds"

Definition at line 30 of file presol_trivial.c.

Referenced by SCIPincludePresolTrivial().

#define PRESOL_PRIORITY   +9000000

priority of the presolver (>= 0: before, < 0: after constraint handlers)

Definition at line 31 of file presol_trivial.c.

Referenced by SCIPincludePresolTrivial().

#define PRESOL_MAXROUNDS   -1

maximal number of presolving rounds the presolver participates in (-1: no limit)

Definition at line 32 of file presol_trivial.c.

Referenced by SCIPincludePresolTrivial().

#define PRESOL_DELAY   FALSE

should presolver be delayed, if other presolvers found reductions?

Definition at line 33 of file presol_trivial.c.

Referenced by SCIPincludePresolTrivial().

Function Documentation

static SCIP_DECL_PRESOLCOPY ( presolCopyTrivial  )

static

copy method for constraint handler plugins (called when SCIP copies plugins)

Definition at line 46 of file presol_trivial.c.

References NULL, PRESOL_NAME, SCIP_CALL, SCIP_OKAY, SCIPincludePresolTrivial(), and SCIPpresolGetName().

static SCIP_DECL_PRESOLEXEC ( presolExecTrivial  )

static

presolving execution method

Definition at line 61 of file presol_trivial.c.

References MAXDNOM, NULL, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_CONTINUOUS, SCIP_VERBLEVEL_NORMAL, SCIPchgVarLb(), SCIPchgVarUb(), SCIPdebugMessage, SCIPepsilon(), SCIPfeasCeil(), SCIPfeasFloor(), SCIPfixVar(), SCIPgetNVars(), SCIPgetVars(), SCIPisEQ(), SCIPisFeasEQ(), SCIPisFeasGT(), SCIPselectSimpleValue(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetType(), SCIPvarGetUbGlobal(), and SCIPverbMessage().

SCIP_RETCODE SCIPincludePresolTrivial

(

SCIP *

scip

)

creates the trivial presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 189 of file presol_trivial.c.

References NULL, PRESOL_DELAY, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, SCIP_CALL, SCIP_OKAY, SCIPincludePresolBasic(), and SCIPsetPresolCopy().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().