fixing roundable variables to best bound
Definition in file prop_dualfix.c.
Go to the source code of this file.
Macros | |
#define | PROP_NAME "dualfix" |
#define | PROP_DESC "roundable variables dual fixing" |
#define | PROP_TIMING SCIP_PROPTIMING_BEFORELP |
#define | PROP_PRIORITY +8000000 |
#define | PROP_FREQ 0 |
#define | PROP_DELAY FALSE |
#define | PROP_PRESOL_PRIORITY +8000000 |
#define | PROP_PRESOL_MAXROUNDS -1 |
#define | PROP_PRESOLTIMING SCIP_PRESOLTIMING_FAST /* timing of the presolving method (fast, medium, or exhaustive) */ |
Functions | |
Local methods | |
static SCIP_RETCODE | performDualfix (SCIP *scip, int *nfixedvars, SCIP_Bool *unbounded, SCIP_Bool *cutoff) |
Callback methods | |
static | SCIP_DECL_PROPCOPY (propCopyDualfix) |
static | SCIP_DECL_PROPPRESOL (propPresolDualfix) |
static | SCIP_DECL_PROPEXEC (propExecDualfix) |
Interface methods | |
SCIP_RETCODE | SCIPincludePropDualfix (SCIP *scip) |
#define PROP_NAME "dualfix" |
Definition at line 30 of file prop_dualfix.c.
Referenced by SCIP_DECL_PROPCOPY(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPPRESOL(), and SCIPincludePropDualfix().
#define PROP_DESC "roundable variables dual fixing" |
Definition at line 31 of file prop_dualfix.c.
Referenced by SCIPincludePropDualfix().
#define PROP_TIMING SCIP_PROPTIMING_BEFORELP |
Definition at line 32 of file prop_dualfix.c.
Referenced by SCIPincludePropDualfix().
#define PROP_PRIORITY +8000000 |
propagation priority
Definition at line 33 of file prop_dualfix.c.
Referenced by SCIPincludePropDualfix().
#define PROP_FREQ 0 |
propagation frequency
Definition at line 34 of file prop_dualfix.c.
Referenced by SCIPincludePropDualfix().
#define PROP_DELAY FALSE |
should propagation method be delayed, if other propagators found reductions?
Definition at line 35 of file prop_dualfix.c.
Referenced by SCIPincludePropDualfix().
#define PROP_PRESOL_PRIORITY +8000000 |
priority of the propagator (>= 0: before, < 0: after constraint handlers)
Definition at line 38 of file prop_dualfix.c.
Referenced by SCIPincludePropDualfix().
#define PROP_PRESOL_MAXROUNDS -1 |
maximal number of propving rounds the propver participates in (-1: no limit)
Definition at line 39 of file prop_dualfix.c.
Referenced by SCIPincludePropDualfix().
#define PROP_PRESOLTIMING SCIP_PRESOLTIMING_FAST /* timing of the presolving method (fast, medium, or exhaustive) */ |
Definition at line 40 of file prop_dualfix.c.
Referenced by SCIPincludePropDualfix().
|
static |
perform dual presolving
scip | SCIP data structure |
nfixedvars | pointer to store number of fixed variables |
unbounded | pointer to store if an unboundness was detected |
cutoff | pointer to store if a cutoff was detected |
Definition at line 50 of file prop_dualfix.c.
References bound, REALABS, SCIP_Bool, SCIP_CALL, SCIP_DECL_PROPCOPY(), SCIP_OKAY, SCIP_Real, SCIP_STAGE_PRESOLVING, SCIP_STAGE_SOLVING, SCIP_VERBLEVEL_NORMAL, SCIPceil(), SCIPdebugMsg, SCIPfixVar(), SCIPfloor(), SCIPgetNVars(), SCIPgetStage(), SCIPgetVars(), SCIPisFeasEQ(), SCIPisInfinity(), SCIPisLE(), SCIPisLT(), SCIPisNegative(), SCIPisPositive(), SCIPisZero(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetNLocksDown(), SCIPvarGetNLocksUp(), SCIPvarGetObj(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), SCIPvarIsDeleted(), SCIPvarMayRoundDown(), SCIPvarMayRoundUp(), SCIPverbMessage(), and TRUE.
Referenced by SCIP_DECL_PROPEXEC(), and SCIP_DECL_PROPPRESOL().
|
static |
copy method for constraint handler plugins (called when SCIP copies plugins)
Definition at line 212 of file prop_dualfix.c.
References PROP_NAME, SCIP_CALL, SCIP_DECL_PROPPRESOL(), SCIP_OKAY, SCIPincludePropDualfix(), and SCIPpropGetName().
Referenced by performDualfix().
|
static |
presolving method of propagator
Definition at line 226 of file prop_dualfix.c.
References FALSE, performDualfix(), PROP_NAME, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DECL_PROPEXEC(), SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_SUCCESS, SCIP_UNBOUNDED, SCIPallowDualReds(), and SCIPpropGetName().
Referenced by SCIP_DECL_PROPCOPY().
|
static |
execution method of propagator
do not run if propagation w.r.t. current objective is not allowed
Definition at line 262 of file prop_dualfix.c.
References FALSE, performDualfix(), PROP_NAME, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_UNBOUNDED, SCIPallowDualReds(), SCIPincludePropDualfix(), SCIPinProbing(), SCIPinRepropagation(), and SCIPpropGetName().
Referenced by SCIP_DECL_PROPPRESOL().