Detailed Description

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

Author: Tobias Achterberg

#include "scip/presol_trivial.h"
#include "scip/pub_message.h"
#include "scip/pub_presol.h"
#include "scip/pub_var.h"
#include "scip/scip_message.h"
#include "scip/scip_numerics.h"
#include "scip/scip_presol.h"
#include "scip/scip_prob.h"
#include "scip/scip_var.h"
#include <string.h>

Go to the source code of this file.

Macros
#define	PRESOL_NAME "trivial"

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

#define	PRESOL_PRIORITY +9000000

#define	PRESOL_MAXROUNDS -1

#define	PRESOL_TIMING SCIP_PRESOLTIMING_FAST /* timing of the presolver (fast, medium, or exhaustive) */

Functions
static	SCIP_DECL_PRESOLCOPY (presolCopyTrivial)

static	SCIP_DECL_PRESOLEXEC (presolExecTrivial)

SCIP_RETCODE	SCIPincludePresolTrivial (SCIP *scip)

Macro Definition Documentation

◆ PRESOL_NAME

#define PRESOL_NAME "trivial"

Definition at line 44 of file presol_trivial.c.

◆ PRESOL_DESC

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

Definition at line 45 of file presol_trivial.c.

◆ PRESOL_PRIORITY

#define PRESOL_PRIORITY +9000000

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

Definition at line 46 of file presol_trivial.c.

◆ PRESOL_MAXROUNDS

#define PRESOL_MAXROUNDS -1

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

Definition at line 47 of file presol_trivial.c.

◆ PRESOL_TIMING

#define PRESOL_TIMING SCIP_PRESOLTIMING_FAST /* timing of the presolver (fast, medium, or exhaustive) */

Definition at line 48 of file presol_trivial.c.

Function Documentation

◆ SCIP_DECL_PRESOLCOPY()

static SCIP_DECL_PRESOLCOPY ( presolCopyTrivial )

static

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

Definition at line 61 of file presol_trivial.c.

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

◆ SCIP_DECL_PRESOLEXEC()

static SCIP_DECL_PRESOLEXEC ( presolExecTrivial )

static

presolving execution method

Definition at line 76 of file presol_trivial.c.

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

SCIP