SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
methods for constraints and constraint handlers
Definition in file cons.c.
#include <assert.h>#include <string.h>#include <ctype.h>#include "scip/def.h"#include "scip/set.h"#include "scip/stat.h"#include "scip/clock.h"#include "scip/var.h"#include "scip/prob.h"#include "scip/tree.h"#include "scip/scip.h"#include "scip/sepastore.h"#include "scip/cons.h"#include "scip/branch.h"#include "scip/reopt.h"#include "scip/pub_misc.h"#include "scip/struct_cons.h"Go to the source code of this file.
Macros | |
| #define | AGERESETAVG_INIT 1000.0 |
| #define | AGERESETAVG_MIN 100.0 |
| #define | AGERESETAVG_DECAY 0.0005 |
| #define | AGERESETAVG_AGELIMIT 2.0 |
| #define | AGERESETAVG_OBSOLETEAGE 1.8 |
| #define | checkConssArrays(conshdlr) |
| #define AGERESETAVG_INIT 1000.0 |
initial value of the exponentially decaying weighted sum for ages
Definition at line 47 of file cons.c.
Referenced by SCIPconshdlrCreate(), and SCIPconshdlrInit().
| #define AGERESETAVG_MIN 100.0 |
minimal value to use for weighted sum of ages
Definition at line 48 of file cons.c.
Referenced by conshdlrGetAgeresetavg().
| #define AGERESETAVG_DECAY 0.0005 |
weight of a new addend in the exponentially decyaing sum
Definition at line 49 of file cons.c.
Referenced by conshdlrUpdateAgeresetavg().
| #define AGERESETAVG_AGELIMIT 2.0 |
in dynamic setting, a constraint is deleted if its age exceeds the average reset age by this factor
Definition at line 50 of file cons.c.
Referenced by consExceedsAgelimit().
| #define AGERESETAVG_OBSOLETEAGE 1.8 |
in dynamic setting, a constraint is marked obsolete if its age exceeds the average reset age by this factor
Definition at line 53 of file cons.c.
Referenced by consExceedsObsoleteage().
| #define checkConssArrays | ( | conshdlr | ) |
Definition at line 241 of file cons.c.
Referenced by conshdlrActivateCons(), conshdlrAddCheckcons(), conshdlrAddEnfocons(), conshdlrAddInitcons(), conshdlrAddPropcons(), conshdlrAddSepacons(), conshdlrDeactivateCons(), conshdlrDelCheckcons(), conshdlrDelEnfocons(), conshdlrDelInitcons(), conshdlrDelPropcons(), conshdlrDelSepacons(), conshdlrDisableCons(), conshdlrEnableCons(), conshdlrMarkConsObsolete(), conshdlrMarkConsPropagate(), conshdlrMarkConsUseful(), conshdlrUnmarkConsPropagate(), SCIPconsCreate(), and SCIPconsFree().
|
static |
resizes conss array to be able to store at least num constraints
| conshdlr | constraint handler |
| set | global SCIP settings |
| num | minimal number of slots in array |
Definition at line 68 of file cons.c.
References BMSreallocMemoryArray, conshdlrEnsureInitconssMem(), SCIP_Conshdlr::conss, SCIP_Conshdlr::consssize, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by conshdlrAddCons().
|
static |
resizes initconss array to be able to store at least num constraints
| conshdlr | constraint handler |
| set | global SCIP settings |
| num | minimal number of slots in array |
Definition at line 92 of file cons.c.
References BMSreallocMemoryArray, conshdlrEnsureSepaconssMem(), SCIP_Conshdlr::initconss, SCIP_Conshdlr::initconsssize, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by conshdlrAddInitcons(), and conshdlrEnsureConssMem().
|
static |
resizes sepaconss array to be able to store at least num constraints
| conshdlr | constraint handler |
| set | global SCIP settings |
| num | minimal number of slots in array |
Definition at line 116 of file cons.c.
References BMSreallocMemoryArray, conshdlrEnsureEnfoconssMem(), SCIP_ALLOC, SCIP_OKAY, SCIPsetCalcMemGrowSize(), SCIP_Conshdlr::sepaconss, and SCIP_Conshdlr::sepaconsssize.
Referenced by conshdlrAddSepacons(), and conshdlrEnsureInitconssMem().
|
static |
resizes enfoconss array to be able to store at least num constraints
| conshdlr | constraint handler |
| set | global SCIP settings |
| num | minimal number of slots in array |
Definition at line 140 of file cons.c.
References BMSreallocMemoryArray, conshdlrEnsureCheckconssMem(), SCIP_Conshdlr::enfoconss, SCIP_Conshdlr::enfoconsssize, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by conshdlrAddEnfocons(), and conshdlrEnsureSepaconssMem().
|
static |
resizes checkconss array to be able to store at least num constraints
| conshdlr | constraint handler |
| set | global SCIP settings |
| num | minimal number of slots in array |
Definition at line 164 of file cons.c.
References BMSreallocMemoryArray, SCIP_Conshdlr::checkconss, SCIP_Conshdlr::checkconsssize, conshdlrEnsurePropconssMem(), SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by conshdlrAddCheckcons(), and conshdlrEnsureEnfoconssMem().
|
static |
resizes propconss array to be able to store at least num constraints
| conshdlr | constraint handler |
| set | global SCIP settings |
| num | minimal number of slots in array |
Definition at line 188 of file cons.c.
References BMSreallocMemoryArray, conshdlrEnsureUpdateconssMem(), SCIP_Conshdlr::propconss, SCIP_Conshdlr::propconsssize, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by conshdlrAddPropcons(), and conshdlrEnsureCheckconssMem().
|
static |
resizes updateconss array to be able to store at least num constraints
| conshdlr | constraint handler |
| set | global SCIP settings |
| num | minimal number of slots in array |
Definition at line 212 of file cons.c.
References BMSreallocMemoryArray, SCIP_ALLOC, SCIP_OKAY, SCIPsetCalcMemGrowSize(), SCIP_Conshdlr::updateconss, and SCIP_Conshdlr::updateconsssize.
Referenced by conshdlrAddUpdateCons(), and conshdlrEnsurePropconssMem().
|
static |
returns whether the constraint updates of the constraint handler are currently delayed
| conshdlr | constraint handler |
Definition at line 317 of file cons.c.
References conshdlrGetAgeresetavg(), SCIP_Conshdlr::delayupdatecount, and SCIP_Real.
Referenced by conshdlrAddPropcons(), conshdlrAddSepacons(), conshdlrDelPropcons(), conshdlrDelSepacons(), conshdlrForceUpdates(), conshdlrMarkConsObsolete(), conshdlrMarkConsUseful(), conshdlrProcessUpdates(), SCIPconsActivate(), SCIPconsAddAge(), SCIPconsCreate(), SCIPconsDeactivate(), SCIPconsDisable(), SCIPconsDisablePropagation(), SCIPconsDisableSeparation(), SCIPconsEnable(), SCIPconsEnablePropagation(), SCIPconsEnableSeparation(), SCIPconshdlrInit(), SCIPconshdlrsResetPropagationStatus(), SCIPconsMarkPropagate(), SCIPconsRelease(), SCIPconsResetAge(), and SCIPconsUnmarkPropagate().
|
static |
returns the exponentially decaying weighted age average for age resets
| conshdlr | constraint handler |
Definition at line 326 of file cons.c.
References SCIP_Conshdlr::ageresetavg, AGERESETAVG_MIN, conshdlrUpdateAgeresetavg(), and MAX.
Referenced by consExceedsAgelimit(), consExceedsObsoleteage(), and conshdlrAreUpdatesDelayed().
|
static |
updates the exponentially decaying weighted age average for age resets after a constraint age was reset
| conshdlr | constraint handler |
| age | age of the constraint that is reset to zero |
Definition at line 337 of file cons.c.
References SCIP_Conshdlr::ageresetavg, AGERESETAVG_DECAY, consExceedsAgelimit(), and SCIP_Bool.
Referenced by conshdlrGetAgeresetavg(), and SCIPconsResetAge().
returns whether the constraint's age exceeds the age limit
| cons | constraint to check |
| set | global SCIP settings |
Definition at line 350 of file cons.c.
References SCIP_Cons::age, AGERESETAVG_AGELIMIT, consExceedsObsoleteage(), SCIP_Cons::conshdlr, conshdlrGetAgeresetavg(), SCIP_Cons::dynamic, and SCIP_Bool.
Referenced by conshdlrUpdateAgeresetavg(), and SCIPconsAddAge().
returns whether the constraint's age exceeds the obsolete age limit
| cons | constraint to check |
| set | global SCIP settings |
Definition at line 365 of file cons.c.
References SCIP_Cons::age, AGERESETAVG_OBSOLETEAGE, SCIP_Cons::conshdlr, conshdlrGetAgeresetavg(), conshdlrMarkConsObsolete(), and SCIP_Cons::dynamic.
Referenced by consExceedsAgelimit(), conshdlrProcessUpdates(), and SCIPconsAddAge().
|
static |
marks constraint to be obsolete; it will be moved to the last part of the constraint arrays, such that it is checked, enforced, separated, and propagated after the useful constraints
| conshdlr | constraint handler |
| cons | constraint to be marked obsolete |
Definition at line 382 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, conshdlrAreUpdatesDelayed(), conshdlrMarkConsUseful(), SCIP_Cons::enabled, SCIP_Conshdlr::enfoconss, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, SCIP_Conshdlr::lastenfolpdomchgcount, SCIP_Conshdlr::lastenfolplpcount, SCIP_Conshdlr::lastenfolpnode, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::lastenforelaxdomchgcount, SCIP_Conshdlr::lastenforelaxrelaxcount, SCIP_Conshdlr::lastnusefulenfoconss, SCIP_Conshdlr::lastnusefulpropconss, SCIP_Conshdlr::lastnusefulsepaconss, SCIP_Cons::markpropagate, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Conshdlr::propconss, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_OKAY, SCIP_Conshdlr::sepaconss, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, SCIP_Cons::separate, and TRUE.
Referenced by consExceedsObsoleteage(), conshdlrProcessUpdates(), and SCIPconsAddAge().
|
static |
marks obsolete constraint to be not obsolete anymore; it will be moved to the first part of the constraint arrays, such that it is checked, enforced, separated, and propagated before the obsolete constraints
| conshdlr | constraint handler |
| cons | constraint to be marked obsolete |
Definition at line 512 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, conshdlrAreUpdatesDelayed(), conshdlrMarkConsPropagate(), SCIP_Cons::enabled, SCIP_Conshdlr::enfoconss, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, FALSE, SCIP_Cons::markpropagate, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Conshdlr::propconss, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_OKAY, SCIP_Conshdlr::sepaconss, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, and SCIP_Cons::separate.
Referenced by conshdlrMarkConsObsolete(), conshdlrProcessUpdates(), and SCIPconsResetAge().
|
static |
marks constraint to be propagated in the next propagation round;
| conshdlr | constraint handler |
| cons | constraint to be marked obsolete |
Definition at line 617 of file cons.c.
References checkConssArrays, conshdlrUnmarkConsPropagate(), SCIP_Cons::enabled, SCIP_Cons::markpropagate, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Conshdlr::propconss, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, and TRUE.
Referenced by conshdlrAddPropcons(), conshdlrMarkConsUseful(), conshdlrProcessUpdates(), and SCIPconsMarkPropagate().
|
static |
unmarks constraint to be propagated in the next propagation round;
| conshdlr | constraint handler |
| cons | constraint to be marked obsolete |
Definition at line 692 of file cons.c.
References checkConssArrays, conshdlrAddCons(), SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Conshdlr::propconss, SCIP_Cons::propconsspos, and SCIP_Cons::propenabled.
Referenced by conshdlrDelPropcons(), conshdlrMarkConsPropagate(), conshdlrProcessUpdates(), and SCIPconsUnmarkPropagate().
|
static |
adds constraint to the conss array of constraint handler
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 764 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::conshdlr, conshdlrDelCons(), conshdlrEnsureConssMem(), SCIP_Conshdlr::conss, SCIP_Cons::consspos, SCIP_Conshdlr::nconss, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by conshdlrProcessUpdates(), conshdlrUnmarkConsPropagate(), and SCIPconsCreate().
|
static |
deletes constraint from the conss array of constraint handler
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 790 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::conshdlr, conshdlrAddInitcons(), SCIP_Conshdlr::conss, SCIP_Cons::consspos, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::nconss, and SCIP_Cons::original.
Referenced by conshdlrAddCons(), and SCIPconsFree().
|
static |
adds constraint to the initconss array of constraint handler
| conshdlr | constraint handler |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| cons | constraint to add |
Definition at line 810 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrDelInitcons(), conshdlrEnsureInitconssMem(), SCIP_Conshdlr::initconss, SCIP_Cons::initconsspos, SCIP_Cons::initial, SCIP_Conshdlr::ninitconss, SCIP_Stat::ninitconssadded, SCIP_Conshdlr::ninitconsskept, SCIP_Cons::original, SCIP_CALL, and SCIP_OKAY.
Referenced by conshdlrActivateCons(), conshdlrDelCons(), SCIPconshdlrInitLP(), SCIPconshdlrInitpre(), and SCIPconsSetInitial().
|
static |
deletes constraint from the initconss array of constraint handler
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 846 of file cons.c.
References checkConssArrays, SCIP_Cons::conshdlr, conshdlrAddSepacons(), SCIP_Conshdlr::initconss, SCIP_Cons::initconsspos, SCIP_Conshdlr::ninitconss, SCIP_Conshdlr::ninitconsskept, and SCIP_Cons::original.
Referenced by conshdlrAddInitcons(), conshdlrDeactivateCons(), and SCIPconsSetInitial().
|
static |
adds constraint to the sepaconss array of constraint handler
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 881 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrAreUpdatesDelayed(), conshdlrDelSepacons(), conshdlrEnsureSepaconssMem(), SCIP_Conshdlr::duringsepa, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIP_Conshdlr::sepaconss, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, and SCIP_Cons::separate.
Referenced by conshdlrDelInitcons(), conshdlrEnableCons(), conshdlrEnableConsSeparation(), and SCIPconsSetSeparated().
|
static |
deletes constraint from the sepaconss array of constraint handler
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 925 of file cons.c.
References checkConssArrays, SCIP_Cons::conshdlr, conshdlrAddEnfocons(), conshdlrAreUpdatesDelayed(), SCIP_Conshdlr::duringsepa, SCIP_Conshdlr::lastnusefulsepaconss, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Conshdlr::sepaconss, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, and SCIP_Cons::separate.
Referenced by conshdlrAddSepacons(), conshdlrDisableCons(), conshdlrDisableConsSeparation(), and SCIPconsSetSeparated().
|
static |
adds constraint to the enfoconss array of constraint handler
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 971 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrDelEnfocons(), conshdlrEnsureEnfoconssMem(), SCIP_Conshdlr::enfoconss, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, SCIP_Conshdlr::lastenfolpdomchgcount, SCIP_Conshdlr::lastenfolplpcount, SCIP_Conshdlr::lastenfolpnode, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::lastenforelaxdomchgcount, SCIP_Conshdlr::lastenforelaxrelaxcount, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by conshdlrDelSepacons(), conshdlrEnableCons(), and SCIPconsSetEnforced().
|
static |
deletes constraint from the enfoconss array of constraint handler
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 1028 of file cons.c.
References checkConssArrays, SCIP_Cons::conshdlr, conshdlrAddCheckcons(), SCIP_Conshdlr::enfoconss, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, SCIP_Conshdlr::lastnusefulenfoconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Cons::obsolete, and SCIP_Cons::original.
Referenced by conshdlrAddEnfocons(), conshdlrDisableCons(), and SCIPconsSetEnforced().
|
static |
adds constraint to the checkconss array of constraint handler
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 1080 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, conshdlrDelCheckcons(), conshdlrEnsureCheckconssMem(), SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by conshdlrActivateCons(), conshdlrDelEnfocons(), and SCIPconsSetChecked().
|
static |
deletes constraint from the checkconss array of constraint handler
| conshdlr | constraint handler |
| cons | constraint to add |
Definition at line 1124 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, conshdlrAddPropcons(), SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Cons::obsolete, and SCIP_Cons::original.
Referenced by conshdlrAddCheckcons(), conshdlrDeactivateCons(), and SCIPconsSetChecked().
|
static |
adds constraint to the propconss array of constraint handler
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 1163 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrAreUpdatesDelayed(), conshdlrDelPropcons(), conshdlrEnsurePropconssMem(), conshdlrMarkConsPropagate(), SCIP_Conshdlr::duringprop, SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Conshdlr::propconss, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by conshdlrDelCheckcons(), conshdlrEnableCons(), conshdlrEnableConsPropagation(), and SCIPconsSetPropagated().
|
static |
deletes constraint from the propconss array of constraint handler
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 1219 of file cons.c.
References checkConssArrays, SCIP_Cons::conshdlr, conshdlrAreUpdatesDelayed(), conshdlrEnableConsSeparation(), conshdlrUnmarkConsPropagate(), SCIP_Conshdlr::duringprop, SCIP_Conshdlr::lastnusefulpropconss, SCIP_Cons::markpropagate, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Conshdlr::propconss, SCIP_Cons::propconsspos, and SCIP_Cons::propenabled.
Referenced by conshdlrAddPropcons(), conshdlrDisableCons(), conshdlrDisableConsPropagation(), and SCIPconsSetPropagated().
|
static |
enables separation of constraint
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 1278 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddSepacons(), conshdlrDisableConsSeparation(), SCIP_Cons::enabled, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, SCIP_Cons::separate, and TRUE.
Referenced by conshdlrDelPropcons(), conshdlrProcessUpdates(), and SCIPconsEnableSeparation().
|
static |
disables separation of constraint
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 1309 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrDelSepacons(), conshdlrEnableConsPropagation(), SCIP_Cons::enabled, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_OKAY, SCIPdebugMessage, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, and SCIP_Cons::separate.
Referenced by conshdlrEnableConsSeparation(), conshdlrProcessUpdates(), and SCIPconsDisableSeparation().
|
static |
enables propagation of constraint
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 1338 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddPropcons(), conshdlrDisableConsPropagation(), SCIP_Cons::enabled, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Cons::propagate, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, and TRUE.
Referenced by conshdlrDisableConsSeparation(), conshdlrProcessUpdates(), and SCIPconsEnablePropagation().
|
static |
disables propagation of constraint
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 1369 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrDelPropcons(), conshdlrEnableCons(), SCIP_Cons::enabled, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Cons::propagate, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_OKAY, and SCIPdebugMessage.
Referenced by conshdlrEnableConsPropagation(), conshdlrProcessUpdates(), and SCIPconsDisablePropagation().
|
static |
enables separation, enforcement, and propagation of constraint
| conshdlr | constraint handler |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| cons | constraint to add |
Definition at line 1398 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrAddEnfocons(), conshdlrAddPropcons(), conshdlrAddSepacons(), conshdlrDisableCons(), SCIP_Cons::enabled, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Stat::nenabledconss, SCIP_Conshdlr::nenabledconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, SCIP_Cons::separate, and TRUE.
Referenced by conshdlrActivateCons(), conshdlrDisableConsPropagation(), conshdlrProcessUpdates(), and SCIPconsEnable().
|
static |
disables separation, enforcement, and propagation of constraint
| conshdlr | constraint handler |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| cons | constraint to remove |
Definition at line 1460 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrActivateCons(), conshdlrDelEnfocons(), conshdlrDelPropcons(), conshdlrDelSepacons(), SCIP_Cons::enabled, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Stat::nenabledconss, SCIP_Conshdlr::nenabledconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, and SCIP_Cons::separate.
Referenced by conshdlrDeactivateCons(), conshdlrEnableCons(), conshdlrProcessUpdates(), and SCIPconsDisable().
|
static |
activates and adds constraint to constraint handler's constraint arrays
| conshdlr | constraint handler |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| cons | constraint to add |
| depth | depth in the tree where the activation takes place, or -1 for global problem |
| focusnode | does the constraint activation take place at the focus node? |
Definition at line 1526 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::check, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, conshdlrAddCheckcons(), conshdlrAddInitcons(), conshdlrDeactivateCons(), conshdlrEnableCons(), SCIP_Conshdlr::conss, SCIP_Cons::consspos, SCIP_Cons::enabled, SCIP_Cons::enfoconsspos, SCIP_Cons::initconsspos, SCIP_Cons::initial, MAX, SCIP_Conshdlr::maxnactiveconss, SCIP_Conshdlr::nactiveconss, SCIP_Stat::nactiveconss, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::ninitconsskept, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::original, SCIP_Cons::propconsspos, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, SCIP_Cons::sepaconsspos, and TRUE.
Referenced by conshdlrDisableCons(), conshdlrProcessUpdates(), and SCIPconsActivate().
|
static |
deactivates and removes constraint from constraint handler's conss array
| conshdlr | constraint handler |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| cons | constraint to remove |
Definition at line 1601 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::check, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, conshdlrDelCheckcons(), conshdlrDelInitcons(), conshdlrDisableCons(), conshdlrProcessUpdates(), SCIP_Conshdlr::conss, SCIP_Cons::consspos, SCIP_Cons::enabled, SCIP_Cons::enfoconsspos, FALSE, SCIP_Cons::initconsspos, SCIP_Conshdlr::nactiveconss, SCIP_Stat::nactiveconss, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::original, SCIP_Cons::propconsspos, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, and SCIP_Cons::sepaconsspos.
Referenced by conshdlrActivateCons(), conshdlrProcessUpdates(), and SCIPconsDeactivate().
|
static |
processes all delayed updates of constraints: recently (de)activated constraints will be (de)activated; recently en/disabled constraints will be en/disabled; recent obsolete non-check constraints will be globally deleted; recent obsolete check constraints will be moved to the last positions in the sepa-, enfo-, check-, and prop-arrays; recent useful constraints will be moved to the first positions in the sepa-, enfo-, check-, and prop-arrays; constraints which were recently marked to be propagated are moved to the first positions in the prop-array; no longer used constraints will be freed and removed from the conss array
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 1683 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::consdata, consExceedsObsoleteage(), SCIP_Cons::conshdlr, conshdlrActivateCons(), conshdlrAddCons(), conshdlrAreUpdatesDelayed(), conshdlrDeactivateCons(), conshdlrDelayUpdates(), conshdlrDisableCons(), conshdlrDisableConsPropagation(), conshdlrDisableConsSeparation(), conshdlrEnableCons(), conshdlrEnableConsPropagation(), conshdlrEnableConsSeparation(), conshdlrMarkConsObsolete(), conshdlrMarkConsPropagate(), conshdlrMarkConsUseful(), conshdlrUnmarkConsPropagate(), SCIP_Cons::enabled, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nupdateconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::nuses, SCIP_Cons::obsolete, SCIP_Cons::propenabled, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), SCIPsetDebugMsg, SCIP_Cons::sepaenabled, SCIP_Cons::update, SCIP_Cons::updateactfocus, SCIP_Cons::updateactivate, SCIP_Conshdlr::updateconss, SCIP_Cons::updatedeactivate, SCIP_Cons::updatedisable, SCIP_Cons::updateenable, SCIP_Cons::updatefree, SCIP_Cons::updateinsert, SCIP_Cons::updatemarkpropagate, SCIP_Cons::updateobsolete, SCIP_Cons::updatepropdisable, SCIP_Cons::updatepropenable, SCIP_Cons::updatesepadisable, SCIP_Cons::updatesepaenable, and SCIP_Cons::updateunmarkpropagate.
Referenced by conshdlrDeactivateCons(), and conshdlrForceUpdates().
|
static |
marks constraint handler to delay all constraint updates until the next conshdlrProcessUpdates() call
| conshdlr | constraint handler |
Definition at line 1877 of file cons.c.
References conshdlrForceUpdates(), SCIP_Conshdlr::delayupdatecount, SCIP_Conshdlr::name, and SCIPdebugMessage.
Referenced by conshdlrProcessUpdates(), SCIPconshdlrCheck(), SCIPconshdlrDelVars(), SCIPconshdlrEnforceLPSol(), SCIPconshdlrEnforcePseudoSol(), SCIPconshdlrEnforceRelaxSol(), SCIPconshdlrExit(), SCIPconshdlrExitpre(), SCIPconshdlrExitsol(), SCIPconshdlrInit(), SCIPconshdlrInitLP(), SCIPconshdlrInitpre(), SCIPconshdlrInitsol(), SCIPconshdlrPresolve(), SCIPconshdlrPropagate(), SCIPconshdlrSeparateLP(), and SCIPconshdlrSeparateSol().
|
static |
marks constraint handler to perform all constraint updates immediately; all delayed constraint updates will be processed
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 1893 of file cons.c.
References conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrProcessUpdates(), SCIP_Conshdlr::delayupdatecount, SCIP_Conshdlr::name, SCIP_Conshdlr::nupdateconss, SCIP_CALL, SCIP_OKAY, and SCIPsetDebugMsg.
Referenced by conshdlrDelayUpdates(), SCIPconshdlrCheck(), SCIPconshdlrDelVars(), SCIPconshdlrEnforceLPSol(), SCIPconshdlrEnforcePseudoSol(), SCIPconshdlrEnforceRelaxSol(), SCIPconshdlrExit(), SCIPconshdlrExitpre(), SCIPconshdlrExitsol(), SCIPconshdlrInit(), SCIPconshdlrInitLP(), SCIPconshdlrInitpre(), SCIPconshdlrInitsol(), SCIPconshdlrPresolve(), SCIPconshdlrPropagate(), SCIPconshdlrSeparateLP(), and SCIPconshdlrSeparateSol().
|
static |
adds constraint to constraint handler's update constraint array and captures it
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 1919 of file cons.c.
References SCIP_Cons::age, SCIP_Cons::consdata, SCIP_Cons::conshdlr, conshdlrEnsureUpdateconssMem(), SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::nupdateconss, SCIP_CALL, SCIP_DECL_SORTPTRCOMP(), SCIP_OKAY, SCIPconsCapture(), SCIPsetDebugMsg, TRUE, SCIP_Cons::update, and SCIP_Conshdlr::updateconss.
Referenced by conshdlrForceUpdates(), SCIPconsActivate(), SCIPconsAddAge(), SCIPconsCreate(), SCIPconsDeactivate(), SCIPconsDisable(), SCIPconsDisablePropagation(), SCIPconsDisableSeparation(), SCIPconsEnable(), SCIPconsEnablePropagation(), SCIPconsEnableSeparation(), SCIPconsMarkPropagate(), SCIPconsRelease(), SCIPconsResetAge(), and SCIPconsUnmarkPropagate().
| SCIP_RETCODE SCIPconshdlrCopyInclude | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_SET * | set, | ||
| SCIP_Bool * | valid | ||
| ) |
copies the given constraint handler to a new scip
| conshdlr | constraint handler |
| set | SCIP_SET of SCIP to copy to |
| valid | was the copying process valid? |
Definition at line 1968 of file cons.c.
References SCIP_CALL, SCIP_OKAY, SCIPconshdlrCreate(), SCIPconshdlrGetName(), and SCIPsetDebugMsg.
Referenced by SCIP_DECL_PARAMCHGD().
| SCIP_RETCODE SCIPconshdlrCreate | ( | SCIP_CONSHDLR ** | conshdlr, |
| SCIP_SET * | set, | ||
| SCIP_MESSAGEHDLR * | messagehdlr, | ||
| BMS_BLKMEM * | blkmem, | ||
| const char * | name, | ||
| const char * | desc, | ||
| int | sepapriority, | ||
| int | enfopriority, | ||
| int | checkpriority, | ||
| int | sepafreq, | ||
| int | propfreq, | ||
| int | eagerfreq, | ||
| int | maxprerounds, | ||
| SCIP_Bool | delaysepa, | ||
| SCIP_Bool | delayprop, | ||
| SCIP_Bool | needscons, | ||
| SCIP_PROPTIMING | proptiming, | ||
| SCIP_PRESOLTIMING | presoltiming, | ||
| SCIP_DECL_CONSHDLRCOPY((*conshdlrcopy)) | , | ||
| SCIP_DECL_CONSFREE((*consfree)) | , | ||
| SCIP_DECL_CONSINIT((*consinit)) | , | ||
| SCIP_DECL_CONSEXIT((*consexit)) | , | ||
| SCIP_DECL_CONSINITPRE((*consinitpre)) | , | ||
| SCIP_DECL_CONSEXITPRE((*consexitpre)) | , | ||
| SCIP_DECL_CONSINITSOL((*consinitsol)) | , | ||
| SCIP_DECL_CONSEXITSOL((*consexitsol)) | , | ||
| SCIP_DECL_CONSDELETE((*consdelete)) | , | ||
| SCIP_DECL_CONSTRANS((*constrans)) | , | ||
| SCIP_DECL_CONSINITLP((*consinitlp)) | , | ||
| SCIP_DECL_CONSSEPALP((*conssepalp)) | , | ||
| SCIP_DECL_CONSSEPASOL((*conssepasol)) | , | ||
| SCIP_DECL_CONSENFOLP((*consenfolp)) | , | ||
| SCIP_DECL_CONSENFORELAX((*consenforelax)) | , | ||
| SCIP_DECL_CONSENFOPS((*consenfops)) | , | ||
| SCIP_DECL_CONSCHECK((*conscheck)) | , | ||
| SCIP_DECL_CONSPROP((*consprop)) | , | ||
| SCIP_DECL_CONSPRESOL((*conspresol)) | , | ||
| SCIP_DECL_CONSRESPROP((*consresprop)) | , | ||
| SCIP_DECL_CONSLOCK((*conslock)) | , | ||
| SCIP_DECL_CONSACTIVE((*consactive)) | , | ||
| SCIP_DECL_CONSDEACTIVE((*consdeactive)) | , | ||
| SCIP_DECL_CONSENABLE((*consenable)) | , | ||
| SCIP_DECL_CONSDISABLE((*consdisable)) | , | ||
| SCIP_DECL_CONSDELVARS((*consdelvars)) | , | ||
| SCIP_DECL_CONSPRINT((*consprint)) | , | ||
| SCIP_DECL_CONSCOPY((*conscopy)) | , | ||
| SCIP_DECL_CONSPARSE((*consparse)) | , | ||
| SCIP_DECL_CONSGETVARS((*consgetvars)) | , | ||
| SCIP_DECL_CONSGETNVARS((*consgetnvars)) | , | ||
| SCIP_DECL_CONSGETDIVEBDCHGS((*consgetdivebdchgs)) | , | ||
| SCIP_CONSHDLRDATA * | conshdlrdata | ||
| ) |
creates a constraint handler
| conshdlr | pointer to constraint handler data structure |
| set | global SCIP settings |
| messagehdlr | message handler |
| blkmem | block memory for parameter settings |
| name | name of constraint handler |
| desc | description of constraint handler |
| sepapriority | priority of the constraint handler for separation |
| enfopriority | priority of the constraint handler for constraint enforcing |
| checkpriority | priority of the constraint handler for checking feasibility (and propagation) |
| sepafreq | frequency for separating cuts; zero means to separate only in the root node |
| propfreq | frequency for propagating domains; zero means only preprocessing propagation |
| eagerfreq | frequency for using all instead of only the useful constraints in separation, propagation and enforcement, -1 for no eager evaluations, 0 for first only |
| maxprerounds | maximal number of presolving rounds the constraint handler participates in (-1: no limit) |
| delaysepa | should separation method be delayed, if other separators found cuts? |
| delayprop | should propagation method be delayed, if other propagators found reductions? |
| needscons | should the constraint handler be skipped, if no constraints are available? |
| proptiming | positions in the node solving loop where propagation method of constraint handlers should be executed |
| presoltiming | timing mask of the constraint handler's presolving method |
| conshdlrdata | constraint handler data |
Definition at line 1989 of file cons.c.
References AGERESETAVG_INIT, BMSallocMemory, BMSduplicateMemoryArray, FALSE, SCIP_ALLOC, SCIP_CALL, SCIP_CLOCKTYPE_DEFAULT, SCIP_DIDNOTRUN, SCIP_MAXSTRLEN, SCIP_MAXTREEDEPTH, SCIP_OKAY, SCIP_PARAMETERWRONGVAL, SCIP_PRESOLTIMING_EXHAUSTIVE, SCIP_PRESOLTIMING_FAST, SCIP_PRESOLTIMING_FINAL, SCIP_PRESOLTIMING_MAX, SCIP_PRESOLTIMING_MEDIUM, SCIP_PROPTIMING_AFTERLPLOOP, SCIP_PROPTIMING_ALWAYS, SCIP_PROPTIMING_BEFORELP, SCIP_PROPTIMING_DURINGLPLOOP, SCIPclockCreate(), SCIPconshdlrFree(), SCIPmessagePrintError(), SCIPsetAddBoolParam(), SCIPsetAddIntParam(), SCIPsnprintf(), and TRUE.
Referenced by SCIPconshdlrCopyInclude(), SCIPincludeConshdlr(), and SCIPincludeConshdlrBasic().
| SCIP_RETCODE SCIPconshdlrFree | ( | SCIP_CONSHDLR ** | conshdlr, |
| SCIP_SET * | set | ||
| ) |
calls destructor and frees memory of constraint handler
| conshdlr | pointer to constraint handler data structure |
| set | global SCIP settings |
Definition at line 2265 of file cons.c.
References BMSfreeMemory, BMSfreeMemoryArray, BMSfreeMemoryArrayNull, SCIP_CALL, SCIP_OKAY, SCIPclockFree(), and SCIPconshdlrInit().
Referenced by SCIPconshdlrCreate().
| SCIP_RETCODE SCIPconshdlrInit | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat | ||
| ) |
calls initialization method of constraint handler
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 2309 of file cons.c.
References SCIP_Conshdlr::ageresetavg, AGERESETAVG_INIT, SCIP_Conshdlr::checktime, conshdlrAreUpdatesDelayed(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::enfolptime, SCIP_Conshdlr::enfopstime, SCIP_Conshdlr::enforelaxtime, FALSE, SCIP_Conshdlr::initialized, SCIP_Conshdlr::lastenfolpdomchgcount, SCIP_Conshdlr::lastenfolplpcount, SCIP_Conshdlr::lastenfolpnode, SCIP_Conshdlr::lastenfolpresult, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::lastenfopsresult, SCIP_Conshdlr::lastenforelaxdomchgcount, SCIP_Conshdlr::lastenforelaxrelaxcount, SCIP_Conshdlr::lastnaddconss, SCIP_Conshdlr::lastnaddholes, SCIP_Conshdlr::lastnaggrvars, SCIP_Conshdlr::lastnchgbds, SCIP_Conshdlr::lastnchgcoefs, SCIP_Conshdlr::lastnchgsides, SCIP_Conshdlr::lastnchgvartypes, SCIP_Conshdlr::lastndelconss, SCIP_Conshdlr::lastnfixedvars, SCIP_Conshdlr::lastnupgdconss, SCIP_Conshdlr::lastnusefulenfoconss, SCIP_Conshdlr::lastnusefulpropconss, SCIP_Conshdlr::lastnusefulsepaconss, SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::lastsepalpcount, SCIP_Conshdlr::maxnactiveconss, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::naddconss, SCIP_Conshdlr::naddholes, SCIP_Conshdlr::naggrvars, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckcalls, SCIP_Conshdlr::nchgbds, SCIP_Conshdlr::nchgcoefs, SCIP_Conshdlr::nchgsides, SCIP_Conshdlr::nchgvartypes, SCIP_Conshdlr::nchildren, SCIP_Conshdlr::nconss, SCIP_Conshdlr::nconssfound, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ncutsapplied, SCIP_Conshdlr::ncutsfound, SCIP_Conshdlr::ndelconss, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::nenfolpcalls, SCIP_Conshdlr::nenfopscalls, SCIP_Conshdlr::nenforelaxcalls, SCIP_Conshdlr::nfixedvars, SCIP_Conshdlr::npresolcalls, SCIP_Conshdlr::npropcalls, SCIP_Conshdlr::nrespropcalls, SCIP_Conshdlr::nsepacalls, SCIP_Conshdlr::nupgdconss, SCIP_Conshdlr::presoltime, SCIP_Conshdlr::proptime, SCIP_Conshdlr::propwasdelayed, SCIP_Conshdlr::resproptime, SCIP_Conshdlr::sbproptime, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockReset(), SCIPclockStart(), SCIPclockStop(), SCIPconshdlrExit(), SCIPerrorMessage, SCIP_Conshdlr::sepalpwasdelayed, SCIP_Conshdlr::sepasolwasdelayed, SCIP_Conshdlr::sepatime, SCIP_Conshdlr::setuptime, SCIP_Conshdlr::startnactiveconss, and TRUE.
Referenced by SCIPconshdlrFree(), and SCIPsetSortNlpis().
| SCIP_RETCODE SCIPconshdlrExit | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat | ||
| ) |
calls exit method of constraint handler
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 2422 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, FALSE, SCIP_Conshdlr::initialized, SCIP_Conshdlr::name, SCIP_Conshdlr::nconss, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrInitpre(), SCIPerrorMessage, and SCIP_Conshdlr::setuptime.
Referenced by SCIPconshdlrInit(), and SCIPsetInitPlugins().
| SCIP_RETCODE SCIPconshdlrInitpre | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat | ||
| ) |
informs constraint handler that the presolving process is being started
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 2465 of file cons.c.
References SCIP_Cons::addarraypos, conshdlrAddInitcons(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Cons::deleted, FALSE, SCIP_Conshdlr::initconss, SCIP_Cons::initconsspos, SCIP_Cons::initial, SCIP_Conshdlr::lastenfolpdomchgcount, SCIP_Conshdlr::lastenfolplpcount, SCIP_Conshdlr::lastenfolpnode, SCIP_Conshdlr::lastenfolpresult, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::lastenfopsresult, SCIP_Conshdlr::lastenforelaxdomchgcount, SCIP_Conshdlr::lastenforelaxrelaxcount, SCIP_Conshdlr::lastenforelaxresult, SCIP_Conshdlr::lastnaddconss, SCIP_Conshdlr::lastnaddholes, SCIP_Conshdlr::lastnaggrvars, SCIP_Conshdlr::lastnchgbds, SCIP_Conshdlr::lastnchgcoefs, SCIP_Conshdlr::lastnchgsides, SCIP_Conshdlr::lastnchgvartypes, SCIP_Conshdlr::lastndelconss, SCIP_Conshdlr::lastnfixedvars, SCIP_Conshdlr::lastnupgdconss, SCIP_Conshdlr::lastnusefulenfoconss, SCIP_Conshdlr::lastnusefulpropconss, SCIP_Conshdlr::lastnusefulsepaconss, SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::lastsepalpcount, SCIP_Conshdlr::maxnactiveconss, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::nconss, SCIP_Stat::nruns, SCIP_Conshdlr::propwasdelayed, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrExitpre(), SCIP_Conshdlr::setuptime, and SCIP_Conshdlr::startnactiveconss.
Referenced by SCIPconshdlrExit(), and SCIPsetExitPlugins().
| SCIP_RETCODE SCIPconshdlrExitpre | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat | ||
| ) |
informs constraint handler that the presolving is finished
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 2566 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::maxnactiveconss, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::nconss, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrInitsol(), SCIP_Conshdlr::setuptime, and SCIP_Conshdlr::startnactiveconss.
Referenced by SCIPconshdlrInitpre(), and SCIPsetExitPlugins().
| SCIP_RETCODE SCIPconshdlrInitsol | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat | ||
| ) |
informs constraint handler that the branch and bound process is being started
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 2606 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, FALSE, SCIP_Conshdlr::nconss, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrExitsol(), SCIP_Conshdlr::sepalpwasdelayed, SCIP_Conshdlr::sepasolwasdelayed, and SCIP_Conshdlr::setuptime.
Referenced by SCIPconshdlrExitpre().
| SCIP_RETCODE SCIPconshdlrExitsol | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_Bool | restart | ||
| ) |
informs constraint handler that the branch and bound process data is being freed
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| restart | was this exit solve call triggered by a restart? |
Definition at line 2646 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::nconss, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrInitLP(), and SCIP_Conshdlr::setuptime.
Referenced by SCIPconshdlrInitsol(), and SCIPsetInitsolPlugins().
| SCIP_RETCODE SCIPconshdlrInitLP | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_TREE * | tree, | ||
| SCIP_Bool | initkeptconss, | ||
| SCIP_Bool * | cutoff | ||
| ) |
calls LP initialization method of constraint handler to separate all initial active constraints
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| tree | branch and bound tree |
| initkeptconss | Also initialize constraints which are valid at a more global node, but were not activated there? Should be FALSE for repeated calls at one node or if the current focusnode is a child of the former one |
| cutoff | pointer to store whether infeasibility was detected while building the LP |
Definition at line 2683 of file cons.c.
References BMSfreeMemoryArrayNull, conshdlrAddInitcons(), conshdlrDelayUpdates(), conshdlrForceUpdates(), FALSE, SCIP_Conshdlr::initconss, SCIP_Cons::initconsspos, SCIP_Conshdlr::initconsssize, SCIP_Conshdlr::name, SCIP_Conshdlr::needscons, SCIP_Conshdlr::ninitconss, SCIP_Conshdlr::ninitconsskept, SCIP_Stat::nnodes, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconsGetActiveDepth(), SCIPconshdlrSeparateLP(), SCIPconsIsActive(), SCIPsetDebugMsg, SCIPtreeGetCurrentDepth(), SCIPtreeProbing(), and SCIP_Conshdlr::sepatime.
Referenced by SCIPconshdlrExitsol(), and SCIPinitConssLP().
| SCIP_RETCODE SCIPconshdlrSeparateLP | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_SEPASTORE * | sepastore, | ||
| int | depth, | ||
| SCIP_Bool | execdelayed, | ||
| SCIP_RESULT * | result | ||
| ) |
calls separator method of constraint handler to separate LP solution
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| sepastore | separation storage |
| depth | depth of current node |
| execdelayed | execute separation method even if it is marked to be delayed |
| result | pointer to store the result of the callback method |
Definition at line 2790 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::delaysepa, SCIP_Conshdlr::duringsepa, SCIP_Conshdlr::eagerfreq, FALSE, SCIP_Conshdlr::lastnusefulsepaconss, SCIP_Conshdlr::lastsepalpcount, SCIP_Stat::lpcount, MAX, SCIP_Stat::nactiveconss, SCIP_Conshdlr::name, SCIP_Stat::nboundchgs, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nconssfound, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ncutsfound, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Stat::nholechgs, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepacalls, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_NEWROUND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrSeparateSol(), SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIPsetDebugMsg, SCIP_Conshdlr::sepaconss, SCIP_Conshdlr::sepafreq, SCIP_Conshdlr::sepalpwasdelayed, SCIP_Conshdlr::sepatime, and TRUE.
Referenced by SCIPconshdlrInitLP(), and separationRoundLP().
| SCIP_RETCODE SCIPconshdlrSeparateSol | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_SEPASTORE * | sepastore, | ||
| SCIP_SOL * | sol, | ||
| int | depth, | ||
| SCIP_Bool | execdelayed, | ||
| SCIP_RESULT * | result | ||
| ) |
calls separator method of constraint handler to separate given primal solution
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| sepastore | separation storage |
| sol | primal solution that should be separated |
| depth | depth of current node |
| execdelayed | execute separation method even if it is marked to be delayed |
| result | pointer to store the result of the callback method |
Definition at line 2947 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::delaysepa, SCIP_Conshdlr::duringsepa, SCIP_Conshdlr::eagerfreq, FALSE, MAX, SCIP_Stat::nactiveconss, SCIP_Conshdlr::name, SCIP_Stat::nboundchgs, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nconssfound, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ncutsfound, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Stat::nholechgs, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepacalls, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_NEWROUND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrEnforceRelaxSol(), SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIPsetDebugMsg, SCIP_Conshdlr::sepaconss, SCIP_Conshdlr::sepafreq, SCIP_Conshdlr::sepasolwasdelayed, SCIP_Conshdlr::sepatime, and TRUE.
Referenced by SCIPconshdlrSeparateLP(), and separationRoundSol().
| SCIP_RETCODE SCIPconshdlrEnforceRelaxSol | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_TREE * | tree, | ||
| SCIP_SEPASTORE * | sepastore, | ||
| SCIP_SOL * | relaxsol, | ||
| SCIP_Bool | solinfeasible, | ||
| SCIP_RESULT * | result | ||
| ) |
calls enforcing method of constraint handler for a relaxation solution for all constraints added after last conshdlrResetEnfo() call
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| tree | branch and bound tree |
| sepastore | separation storage |
| relaxsol | solution to be enforced |
| solinfeasible | was the solution already found out to be infeasible? |
| result | pointer to store the result of the callback method |
Definition at line 3076 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Stat::domchgcount, SCIP_Conshdlr::eagerfreq, SCIP_Conshdlr::enfoconss, SCIP_Conshdlr::enforelaxtime, FALSE, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::lastenforelaxdomchgcount, SCIP_Conshdlr::lastenforelaxnode, SCIP_Conshdlr::lastenforelaxrelaxcount, SCIP_Conshdlr::lastenforelaxresult, SCIP_Conshdlr::lastnusefulenfoconss, MAX, SCIP_Stat::nactiveconss, SCIP_Conshdlr::name, SCIP_Stat::nboundchgs, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nchildren, SCIP_Tree::nchildren, SCIP_Conshdlr::nconssfound, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ncutsfound, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nenforelaxcalls, SCIP_Stat::nholechgs, SCIP_Stat::nnodes, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Stat::relaxcount, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIP_SOLVELP, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrEnforceLPSol(), SCIPdebugMessage, SCIPerrorMessage, SCIPsepastoreGetNCuts(), and TRUE.
Referenced by enforceConstraints(), and SCIPconshdlrSeparateSol().
| SCIP_RETCODE SCIPconshdlrEnforceLPSol | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_TREE * | tree, | ||
| SCIP_SEPASTORE * | sepastore, | ||
| SCIP_Bool | solinfeasible, | ||
| SCIP_RESULT * | result | ||
| ) |
calls enforcing method of constraint handler for LP solution for all constraints added after last conshdlrResetEnfo() call
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| tree | branch and bound tree |
| sepastore | separation storage |
| solinfeasible | was the solution already found out to be infeasible? |
| result | pointer to store the result of the callback method |
Definition at line 3275 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Stat::domchgcount, SCIP_Conshdlr::eagerfreq, SCIP_Conshdlr::enfoconss, SCIP_Conshdlr::enfolptime, FALSE, SCIP_Conshdlr::lastenfolpdomchgcount, SCIP_Conshdlr::lastenfolplpcount, SCIP_Conshdlr::lastenfolpnode, SCIP_Conshdlr::lastenfolpresult, SCIP_Conshdlr::lastnusefulenfoconss, SCIP_Stat::lpcount, MAX, SCIP_Stat::nactiveconss, SCIP_Conshdlr::name, SCIP_Stat::nboundchgs, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nchildren, SCIP_Tree::nchildren, SCIP_Conshdlr::nconssfound, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ncutsfound, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nenfolpcalls, SCIP_Stat::nholechgs, SCIP_Stat::nnodes, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrGetDiveBoundChanges(), SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIPsetDebugMsg, and TRUE.
Referenced by enforceConstraints(), and SCIPconshdlrEnforceRelaxSol().
| SCIP_RETCODE SCIPconshdlrGetDiveBoundChanges | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_SET * | set, | ||
| SCIP_DIVESET * | diveset, | ||
| SCIP_SOL * | sol, | ||
| SCIP_Bool * | success, | ||
| SCIP_Bool * | infeasible | ||
| ) |
calls diving solution enforcement callback of constraint handler, if it exists
| conshdlr | constraint handler |
| set | global SCIP settings |
| diveset | diving settings to control scoring |
| sol | current solution of diving mode |
| success | pointer to store whether constraint handler successfully found a variable |
| infeasible | pointer to store whether the current node was detected to be infeasible |
Definition at line 3453 of file cons.c.
References SCIP_CALL, SCIP_OKAY, and SCIPconshdlrEnforcePseudoSol().
Referenced by SCIPconshdlrEnforceLPSol(), and SCIPgetDiveBoundChanges().
| SCIP_RETCODE SCIPconshdlrEnforcePseudoSol | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_TREE * | tree, | ||
| SCIP_BRANCHCAND * | branchcand, | ||
| SCIP_Bool | solinfeasible, | ||
| SCIP_Bool | objinfeasible, | ||
| SCIP_Bool | forced, | ||
| SCIP_RESULT * | result | ||
| ) |
calls enforcing method of constraint handler for pseudo solution for all constraints added after last conshdlrResetEnfo() call
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| tree | branch and bound tree |
| branchcand | branching candidate storage |
| solinfeasible | was the solution already found out to be infeasible? |
| objinfeasible | is the solution infeasible anyway due to violating lower objective bound? |
| forced | should enforcement of pseudo solution be forced? |
| result | pointer to store the result of the callback method |
Definition at line 3480 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Stat::domchgcount, SCIP_Conshdlr::eagerfreq, SCIP_Conshdlr::enfoconss, SCIP_Conshdlr::enfopstime, FALSE, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::lastenfopsresult, SCIP_Conshdlr::lastnusefulenfoconss, SCIP_Conshdlr::name, SCIP_Stat::nboundchgs, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nchildren, SCIP_Tree::nchildren, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nenfopscalls, SCIP_Stat::nholechgs, SCIP_Stat::nnodes, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SOLVELP, SCIPbranchcandGetNPseudoCands(), SCIPclockStart(), SCIPclockStop(), SCIPconshdlrCheck(), SCIPerrorMessage, SCIPsetDebugMsg, and TRUE.
Referenced by enforceConstraints(), and SCIPconshdlrGetDiveBoundChanges().
| SCIP_RETCODE SCIPconshdlrCheck | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_SOL * | sol, | ||
| SCIP_Bool | checkintegrality, | ||
| SCIP_Bool | checklprows, | ||
| SCIP_Bool | printreason, | ||
| SCIP_Bool | completely, | ||
| SCIP_RESULT * | result | ||
| ) |
calls feasibility check method of constraint handler
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| sol | primal CIP solution |
| checkintegrality | Has integrality to be checked? |
| checklprows | Do constraints represented by rows in the current LP have to be checked? |
| printreason | Should the reason for the violation be printed? |
| completely | Should all violations be checked? |
| result | pointer to store the result of the callback method |
Definition at line 3676 of file cons.c.
References SCIP_Conshdlr::checkconss, SCIP_Conshdlr::checktime, conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckcalls, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrPropagate(), SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by checkSolOrig(), SCIPconshdlrEnforcePseudoSol(), and SCIPsolCheck().
| SCIP_RETCODE SCIPconshdlrPropagate | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| int | depth, | ||
| SCIP_Bool | fullpropagation, | ||
| SCIP_Bool | execdelayed, | ||
| SCIP_Bool | instrongbranching, | ||
| SCIP_PROPTIMING | proptiming, | ||
| SCIP_RESULT * | result | ||
| ) |
calls propagation method of constraint handler
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| depth | depth of current node |
| fullpropagation | should all constraints be propagated (or only new ones)? |
| execdelayed | execute propagation method even if it is marked to be delayed |
| instrongbranching | are we currently doing strong branching? |
| proptiming | current point in the node solving process |
| result | pointer to store the result of the callback method |
Definition at line 3738 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::delayprop, SCIP_Stat::domchgcount, SCIP_Conshdlr::duringprop, SCIP_Conshdlr::eagerfreq, FALSE, SCIP_Conshdlr::lastnusefulpropconss, SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::name, SCIP_Stat::nboundchgs, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Stat::nholechgs, SCIP_Conshdlr::nmarkedpropconss, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Conshdlr::npropcalls, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Conshdlr::propconss, SCIP_Conshdlr::propfreq, SCIP_Conshdlr::proptime, SCIP_Conshdlr::propwasdelayed, SCIP_Conshdlr::sbproptime, SCIP_CALL, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DELAYNODE, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrPresolve(), SCIPerrorMessage, SCIPsetDebugMsg, and TRUE.
Referenced by propagationRound(), and SCIPconshdlrCheck().
| SCIP_RETCODE SCIPconshdlrPresolve | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_PRESOLTIMING | timing, | ||
| int | nrounds, | ||
| int * | nfixedvars, | ||
| int * | naggrvars, | ||
| int * | nchgvartypes, | ||
| int * | nchgbds, | ||
| int * | naddholes, | ||
| int * | ndelconss, | ||
| int * | naddconss, | ||
| int * | nupgdconss, | ||
| int * | nchgcoefs, | ||
| int * | nchgsides, | ||
| SCIP_RESULT * | result | ||
| ) |
calls presolving method of constraint handler
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| timing | current presolving timing |
| nrounds | number of presolving rounds already done |
| nfixedvars | pointer to total number of variables fixed of all presolvers |
| naggrvars | pointer to total number of variables aggregated of all presolvers |
| nchgvartypes | pointer to total number of variable type changes of all presolvers |
| nchgbds | pointer to total number of variable bounds tightened of all presolvers |
| naddholes | pointer to total number of domain holes added of all presolvers |
| ndelconss | pointer to total number of deleted constraints of all presolvers |
| naddconss | pointer to total number of added constraints of all presolvers |
| nupgdconss | pointer to total number of upgraded constraints of all presolvers |
| nchgcoefs | pointer to total number of changed coefficients of all presolvers |
| nchgsides | pointer to total number of changed left/right hand sides of all presolvers |
| result | pointer to store the result of the callback method |
Definition at line 3909 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::lastnaddconss, SCIP_Conshdlr::lastnaddholes, SCIP_Conshdlr::lastnaggrvars, SCIP_Conshdlr::lastnchgbds, SCIP_Conshdlr::lastnchgcoefs, SCIP_Conshdlr::lastnchgsides, SCIP_Conshdlr::lastnchgvartypes, SCIP_Conshdlr::lastndelconss, SCIP_Conshdlr::lastnfixedvars, SCIP_Conshdlr::lastnupgdconss, SCIP_Conshdlr::maxprerounds, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::naddconss, SCIP_Conshdlr::naddholes, SCIP_Conshdlr::naggrvars, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nchgbds, SCIP_Conshdlr::nchgcoefs, SCIP_Conshdlr::nchgsides, SCIP_Conshdlr::nchgvartypes, SCIP_Conshdlr::ndelconss, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nfixedvars, SCIP_Conshdlr::npresolcalls, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, SCIP_Conshdlr::nupgdconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Conshdlr::presoltime, SCIP_Conshdlr::presoltiming, SCIP_CALL, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_SUCCESS, SCIP_UNBOUNDED, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrDelVars(), SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by presolveRound(), and SCIPconshdlrPropagate().
| SCIP_RETCODE SCIPconshdlrDelVars | ( | SCIP_CONSHDLR * | conshdlr, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat | ||
| ) |
calls variable deletion method of constraint handler
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 4052 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::name, SCIP_Conshdlr::nconss, SCIP_CALL, SCIP_OKAY, SCIPconshdlrLockVars(), and SCIPsetDebugMsg.
Referenced by SCIPconshdlrPresolve(), and SCIPprobPerformVarDeletions().
| SCIP_RETCODE SCIPconshdlrLockVars | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_SET * | set | ||
| ) |
locks rounding of variables involved in the given constraint constraint handler that doesn't need constraints
| conshdlr | constraint handler |
| set | global SCIP settings |
Definition at line 4083 of file cons.c.
References SCIP_Conshdlr::needscons, SCIP_CALL, SCIP_OKAY, and SCIPconshdlrUnlockVars().
Referenced by SCIPconshdlrDelVars(), and SCIPprobTransform().
| SCIP_RETCODE SCIPconshdlrUnlockVars | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_SET * | set | ||
| ) |
unlocks rounding of variables involved in the given constraint constraint handler that doesn't need constraints
| conshdlr | constraint handler |
| set | global SCIP settings |
Definition at line 4098 of file cons.c.
References SCIP_Conshdlr::needscons, SCIP_CALL, SCIP_OKAY, and SCIPconshdlrGetName().
Referenced by SCIPconshdlrLockVars(), and SCIPprobFree().
| void SCIPconshdlrSetCopy | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSHDLRCOPY((*conshdlrcopy)) | , | ||
| SCIP_DECL_CONSCOPY((*conscopy)) | |||
| ) |
sets copy method of both the constraint handler and each associated constraint
| conshdlr | constraint handler |
Definition at line 4205 of file cons.c.
References SCIP_Conshdlr::needscons, and SCIPconshdlrSetFree().
Referenced by SCIPconshdlrSetEnforelax(), and SCIPsetConshdlrCopy().
| void SCIPconshdlrSetFree | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSFREE((*consfree)) | |||
| ) |
sets destructor method of constraint handler
| conshdlr | constraint handler |
Definition at line 4220 of file cons.c.
References SCIPconshdlrSetInit().
Referenced by SCIPconshdlrSetCopy(), and SCIPsetConshdlrFree().
| void SCIPconshdlrSetInit | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSINIT((*consinit)) | |||
| ) |
sets initialization method of constraint handler
| conshdlr | constraint handler |
Definition at line 4231 of file cons.c.
References SCIPconshdlrSetExit().
Referenced by SCIPconshdlrSetFree(), and SCIPsetConshdlrInit().
| void SCIPconshdlrSetExit | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSEXIT((*consexit)) | |||
| ) |
sets deinitialization method of constraint handler
| conshdlr | constraint handler |
Definition at line 4242 of file cons.c.
References SCIPconshdlrSetInitsol().
Referenced by SCIPconshdlrSetInit(), and SCIPsetConshdlrExit().
| void SCIPconshdlrSetInitsol | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSINITSOL((*consinitsol)) | |||
| ) |
sets solving process initialization method of constraint handler
| conshdlr | constraint handler |
Definition at line 4253 of file cons.c.
References SCIPconshdlrSetExitsol().
Referenced by SCIPconshdlrSetExit(), and SCIPsetConshdlrInitsol().
| void SCIPconshdlrSetExitsol | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSEXITSOL((*consexitsol)) | |||
| ) |
sets solving process deinitialization method of constraint handler
| conshdlr | constraint handler |
Definition at line 4264 of file cons.c.
References SCIPconshdlrSetInitpre().
Referenced by SCIPconshdlrSetInitsol(), and SCIPsetConshdlrExitsol().
| void SCIPconshdlrSetInitpre | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSINITPRE((*consinitpre)) | |||
| ) |
sets preprocessing initialization method of constraint handler
| conshdlr | constraint handler |
Definition at line 4275 of file cons.c.
References SCIPconshdlrSetExitpre().
Referenced by SCIPconshdlrSetExitsol(), and SCIPsetConshdlrInitpre().
| void SCIPconshdlrSetExitpre | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSEXITPRE((*consexitpre)) | |||
| ) |
sets preprocessing deinitialization method of constraint handler
| conshdlr | constraint handler |
Definition at line 4286 of file cons.c.
References SCIPconshdlrSetPresol().
Referenced by SCIPconshdlrSetInitpre(), and SCIPsetConshdlrExitpre().
| SCIP_RETCODE SCIPconshdlrSetPresol | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSPRESOL((*conspresol)) | , | ||
| int | maxprerounds, | ||
| SCIP_PRESOLTIMING | presoltiming | ||
| ) |
sets presolving method of constraint handler
| conshdlr | constraint handler |
| maxprerounds | maximal number of presolving rounds the constraint handler participates in (-1: no limit) |
| presoltiming | timing mask of the constraint handler's presolving method |
Definition at line 4297 of file cons.c.
References SCIP_Conshdlr::maxprerounds, SCIP_Conshdlr::name, SCIP_Conshdlr::presoltiming, SCIP_OKAY, SCIP_PARAMETERWRONGVAL, SCIP_PRESOLTIMING_MAX, SCIPconshdlrSetDelete(), and SCIPmessagePrintError().
Referenced by SCIPconshdlrSetExitpre(), and SCIPsetConshdlrPresol().
| void SCIPconshdlrSetDelete | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSDELETE((*consdelete)) | |||
| ) |
sets method of constraint handler to free specific constraint data
| conshdlr | constraint handler |
Definition at line 4326 of file cons.c.
References SCIPconshdlrSetTrans().
Referenced by SCIPconshdlrSetPresol(), and SCIPsetConshdlrDelete().
| void SCIPconshdlrSetTrans | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSTRANS((*constrans)) | |||
| ) |
sets method of constraint handler to transform constraint data into data belonging to the transformed problem
| conshdlr | constraint handler |
Definition at line 4337 of file cons.c.
References SCIPconshdlrSetInitlp().
Referenced by SCIPconshdlrSetDelete(), and SCIPsetConshdlrTrans().
| void SCIPconshdlrSetInitlp | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSINITLP((*consinitlp)) | |||
| ) |
sets method of constraint handler to initialize LP with relaxations of "initial" constraints
| conshdlr | constraint handler |
Definition at line 4348 of file cons.c.
References SCIPconshdlrSetResprop().
Referenced by SCIPconshdlrSetTrans(), and SCIPsetConshdlrInitlp().
| void SCIPconshdlrSetResprop | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSRESPROP((*consresprop)) | |||
| ) |
sets propagation conflict resolving method of constraint handler
| conshdlr | constraint handler |
Definition at line 4359 of file cons.c.
References SCIPconshdlrSetActive().
Referenced by SCIPconshdlrSetInitlp(), and SCIPsetConshdlrResprop().
| void SCIPconshdlrSetActive | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSACTIVE((*consactive)) | |||
| ) |
sets activation notification method of constraint handler
| conshdlr | constraint handler |
Definition at line 4370 of file cons.c.
References SCIPconshdlrSetDeactive().
Referenced by SCIPconshdlrSetResprop(), and SCIPsetConshdlrActive().
| void SCIPconshdlrSetDeactive | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSDEACTIVE((*consdeactive)) | |||
| ) |
sets deactivation notification method of constraint handler
| conshdlr | constraint handler |
Definition at line 4381 of file cons.c.
References SCIPconshdlrSetEnable().
Referenced by SCIPconshdlrSetActive(), and SCIPsetConshdlrDeactive().
| void SCIPconshdlrSetEnable | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSENABLE((*consenable)) | |||
| ) |
sets enabling notification method of constraint handler
| conshdlr | constraint handler |
Definition at line 4392 of file cons.c.
References SCIPconshdlrSetDisable().
Referenced by SCIPconshdlrSetDeactive(), and SCIPsetConshdlrEnable().
| void SCIPconshdlrSetDisable | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSDISABLE((*consdisable)) | |||
| ) |
sets disabling notification method of constraint handler
| conshdlr | constraint handler |
Definition at line 4403 of file cons.c.
References SCIPconshdlrSetDelvars().
Referenced by SCIPconshdlrSetEnable(), and SCIPsetConshdlrDisable().
| void SCIPconshdlrSetDelvars | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSDELVARS((*consdelvars)) | |||
| ) |
sets variable deletion method of constraint handler
| conshdlr | constraint handler |
Definition at line 4414 of file cons.c.
References SCIPconshdlrSetPrint().
Referenced by SCIPconshdlrSetDisable(), and SCIPsetConshdlrDelvars().
| void SCIPconshdlrSetPrint | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSPRINT((*consprint)) | |||
| ) |
sets constraint display method of constraint handler
| conshdlr | constraint handler |
Definition at line 4425 of file cons.c.
References SCIPconshdlrSetParse().
Referenced by SCIPconshdlrSetDelvars(), and SCIPsetConshdlrPrint().
| void SCIPconshdlrSetParse | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSPARSE((*consparse)) | |||
| ) |
sets constraint parsing method of constraint handler
| conshdlr | constraint handler |
Definition at line 4436 of file cons.c.
References SCIPconshdlrSetGetVars().
Referenced by SCIPconshdlrSetPrint(), and SCIPsetConshdlrParse().
| void SCIPconshdlrSetGetVars | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSGETVARS((*consgetvars)) | |||
| ) |
sets constraint variable getter method of constraint handler
| conshdlr | constraint handler |
Definition at line 4447 of file cons.c.
References SCIPconshdlrSetGetNVars().
Referenced by SCIPconshdlrSetParse(), and SCIPsetConshdlrGetVars().
| void SCIPconshdlrSetGetNVars | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSGETNVARS((*consgetnvars)) | |||
| ) |
sets constraint variable number getter method of constraint handler
| conshdlr | constraint handler |
Definition at line 4458 of file cons.c.
References SCIPconshdlrSetGetDiveBdChgs().
Referenced by SCIPconshdlrSetGetVars(), and SCIPsetConshdlrGetNVars().
| void SCIPconshdlrSetGetDiveBdChgs | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_DECL_CONSGETDIVEBDCHGS((*consgetdivebdchgs)) | |||
| ) |
sets diving enforcement method of constraint handler
| conshdlr | constraint handler |
Definition at line 4469 of file cons.c.
References SCIPconshdlrGetConss().
Referenced by SCIPconshdlrSetGetNVars(), and SCIPsetConshdlrGetDiveBdChgs().
| void SCIPconshdlrEnableOrDisableClocks | ( | SCIP_CONSHDLR * | conshdlr, |
| SCIP_Bool | enable | ||
| ) |
enables or disables all clocks of conshdlr, depending on the value of the flag
| conshdlr | the constraint handler for which all clocks should be enabled or disabled |
| enable | should the clocks of the constraint handler be enabled? |
Definition at line 4569 of file cons.c.
References SCIP_Conshdlr::checktime, SCIP_Conshdlr::enfolptime, SCIP_Conshdlr::enfopstime, SCIP_Conshdlr::enforelaxtime, SCIP_Conshdlr::presoltime, SCIP_Conshdlr::proptime, SCIP_Conshdlr::resproptime, SCIP_Conshdlr::sbproptime, SCIP_Real, SCIPclockEnableOrDisable(), SCIPconshdlrGetSetupTime(), SCIP_Conshdlr::sepatime, and SCIP_Conshdlr::setuptime.
Referenced by SCIP_DECL_PARAMCHGD(), and SCIPconshdlrGetNEnabledConss().
| void SCIPconshdlrIncNAppliedCuts | ( | SCIP_CONSHDLR * | conshdlr | ) |
increase count of applied cuts
| conshdlr | constraint handler |
Definition at line 4789 of file cons.c.
References SCIP_Conshdlr::ncutsapplied, and SCIPconshdlrIncNCutsFound().
Referenced by SCIPconshdlrGetNCutsApplied(), and sepastoreApplyCut().
| void SCIPconshdlrIncNCutsFound | ( | SCIP_CONSHDLR * | conshdlr | ) |
increase count of found cuts
| conshdlr | constraint handler |
Definition at line 4799 of file cons.c.
References SCIP_Conshdlr::ncutsfound, SCIP_Longint, and SCIPconshdlrGetNConssFound().
Referenced by SCIPconshdlrIncNAppliedCuts(), and SCIPcutpoolSeparate().
|
static |
creates empty constraint set change data
| conssetchg | pointer to constraint set change data |
| blkmem | block memory |
Definition at line 5168 of file cons.c.
References BMSallocBlockMemory, conssetchgRelease(), SCIP_ALLOC, and SCIP_OKAY.
Referenced by SCIPconshdlrSetPresolTiming(), SCIPconssetchgAddAddedCons(), and SCIPconssetchgAddDisabledCons().
|
static |
releases all constraints of the constraint set change data
| conssetchg | constraint set change data |
| blkmem | block memory |
| set | global SCIP settings |
Definition at line 5189 of file cons.c.
References SCIP_ConsSetChg::addedconss, SCIP_ConsSetChg::disabledconss, SCIP_ConsSetChg::naddedconss, SCIP_ConsSetChg::ndisabledconss, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), and SCIPconssetchgFree().
Referenced by conssetchgCreate(), and SCIPconssetchgFree().
| SCIP_RETCODE SCIPconssetchgFree | ( | SCIP_CONSSETCHG ** | conssetchg, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set | ||
| ) |
frees constraint set change data and releases all included constraints
| conssetchg | pointer to constraint set change |
| blkmem | block memory |
| set | global SCIP settings |
Definition at line 5219 of file cons.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArrayNull, conssetchgEnsureAddedconssSize(), conssetchgRelease(), SCIP_CALL, and SCIP_OKAY.
Referenced by conssetchgRelease(), SCIPconssetchgMakeGlobal(), and SCIPnodeFree().
|
static |
ensures, that addedconss array can store at least num entries
| conssetchg | constraint set change data structure |
| blkmem | block memory |
| set | global SCIP settings |
| num | minimum number of entries to store |
Definition at line 5244 of file cons.c.
References SCIP_ConsSetChg::addedconss, SCIP_ConsSetChg::addedconsssize, BMSreallocBlockMemoryArray, conssetchgEnsureDisabledconssSize(), SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by SCIPconssetchgAddAddedCons(), and SCIPconssetchgFree().
|
static |
ensures, that disabledconss array can store at least num entries
| conssetchg | constraint set change data structure |
| blkmem | block memory |
| set | global SCIP settings |
| num | minimum number of entries to store |
Definition at line 5268 of file cons.c.
References BMSreallocBlockMemoryArray, SCIP_ConsSetChg::disabledconss, SCIP_ConsSetChg::disabledconsssize, SCIP_ALLOC, SCIP_OKAY, SCIPconssetchgAddAddedCons(), and SCIPsetCalcMemGrowSize().
Referenced by conssetchgEnsureAddedconssSize(), and SCIPconssetchgAddDisabledCons().
| SCIP_RETCODE SCIPconssetchgAddAddedCons | ( | SCIP_CONSSETCHG ** | conssetchg, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_CONS * | cons, | ||
| int | depth, | ||
| SCIP_Bool | focusnode, | ||
| SCIP_Bool | active | ||
| ) |
adds constraint addition to constraint set changes, and captures constraint; activates constraint if the constraint set change data is currently active
| conssetchg | pointer to constraint set change data structure |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| cons | added constraint |
| depth | depth of constraint set change's node |
| focusnode | does the constraint set change belong to the focus node? |
| active | is the constraint set change currently active? |
Definition at line 5293 of file cons.c.
References SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, conssetchgCreate(), conssetchgEnsureAddedconssSize(), SCIP_Cons::deleted, FALSE, SCIP_ConsSetChg::naddedconss, SCIP_CALL, SCIP_OKAY, SCIPconsActivate(), SCIPconsCapture(), SCIPconsIsActive(), and SCIPconssetchgAddDisabledCons().
Referenced by conssetchgEnsureDisabledconssSize(), and SCIPnodeAddCons().
| SCIP_RETCODE SCIPconssetchgAddDisabledCons | ( | SCIP_CONSSETCHG ** | conssetchg, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_CONS * | cons | ||
| ) |
adds constraint disabling to constraint set changes, and captures constraint
| conssetchg | pointer to constraint set change data structure |
| blkmem | block memory |
| set | global SCIP settings |
| cons | disabled constraint |
Definition at line 5339 of file cons.c.
References conssetchgCreate(), conssetchgDelAddedCons(), conssetchgEnsureDisabledconssSize(), SCIP_ConsSetChg::ndisabledconss, SCIP_CALL, SCIP_OKAY, and SCIPconsCapture().
Referenced by SCIPconssetchgAddAddedCons(), and SCIPnodeDelCons().
|
static |
deactivates, deletes, and releases constraint from the addedconss array of the constraint set change data
| conssetchg | constraint set change to delete constraint from |
| blkmem | block memory |
| set | global SCIP settings |
| arraypos | position of constraint in disabledconss array |
Definition at line 5368 of file cons.c.
References SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_ConsSetChg::addedconss, conssetchgDelDisabledCons(), SCIP_ConsSetChg::naddedconss, SCIP_Cons::name, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), and SCIPsetDebugMsg.
Referenced by SCIPconsDelete(), SCIPconssetchgAddDisabledCons(), SCIPconssetchgApply(), and SCIPconssetchgMakeGlobal().
|
static |
deletes and releases deactivated constraint from the disabledconss array of the constraint set change data
| conssetchg | constraint set change to apply |
| blkmem | block memory |
| set | global SCIP settings |
| arraypos | position of constraint in disabledconss array |
Definition at line 5414 of file cons.c.
References SCIP_ConsSetChg::disabledconss, SCIP_Cons::name, SCIP_ConsSetChg::ndisabledconss, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), SCIPconssetchgGetAddedConsData(), and SCIPsetDebugMsg.
Referenced by conssetchgDelAddedCons(), SCIPconssetchgApply(), SCIPconssetchgMakeGlobal(), and SCIPconssetchgUndo().
| SCIP_RETCODE SCIPconssetchgApply | ( | SCIP_CONSSETCHG * | conssetchg, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| int | depth, | ||
| SCIP_Bool | focusnode | ||
| ) |
applies constraint set change
| conssetchg | constraint set change to apply |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| depth | depth of constraint set change's node |
| focusnode | does the constraint set change belong to the focus node? |
Definition at line 5457 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_ConsSetChg::addedconss, SCIP_Cons::conshdlr, conssetchgDelAddedCons(), conssetchgDelDisabledCons(), SCIP_Cons::deleted, SCIP_ConsSetChg::disabledconss, SCIP_Cons::enabled, SCIP_ConsSetChg::naddedconss, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_ConsSetChg::ndisabledconss, SCIP_CALL, SCIP_OKAY, SCIPconsActivate(), SCIPconsDisable(), SCIPconssetchgUndo(), SCIPsetDebugMsg, and SCIP_Cons::update.
Referenced by nodeActivate(), and SCIPconssetchgGetAddedConsData().
| SCIP_RETCODE SCIPconssetchgUndo | ( | SCIP_CONSSETCHG * | conssetchg, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat | ||
| ) |
undoes constraint set change
| conssetchg | constraint set change to undo |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 5544 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_ConsSetChg::addedconss, SCIP_Cons::conshdlr, conssetchgDelDisabledCons(), SCIP_Cons::deleted, SCIP_ConsSetChg::disabledconss, SCIP_Cons::enabled, SCIP_ConsSetChg::naddedconss, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_ConsSetChg::ndisabledconss, SCIP_CALL, SCIP_OKAY, SCIPconsDeactivate(), SCIPconsEnable(), SCIPconssetchgMakeGlobal(), SCIPsetDebugMsg, and SCIP_Cons::update.
Referenced by nodeDeactivate(), and SCIPconssetchgApply().
| SCIP_RETCODE SCIPconssetchgMakeGlobal | ( | SCIP_CONSSETCHG ** | conssetchg, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_PROB * | prob, | ||
| SCIP_REOPT * | reopt | ||
| ) |
applies constraint set change to the global problem and deletes the constraint set change data
| conssetchg | pointer to constraint set change data |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| prob | problem data |
| reopt | reoptimization data |
Definition at line 5630 of file cons.c.
References conssetchgDelAddedCons(), conssetchgDelDisabledCons(), SCIP_Cons::deleted, SCIP_ConsSetChg::naddedconss, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsCreate(), SCIPconsDelete(), SCIPconsIsStickingAtNode(), SCIPconsRelease(), SCIPconssetchgFree(), SCIPprobAddCons(), SCIPsetDebugMsg, and SCIP_Cons::update.
Referenced by SCIPconssetchgUndo(), and SCIPnodeFocus().
| SCIP_RETCODE SCIPconsCreate | ( | SCIP_CONS ** | cons, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| const char * | name, | ||
| SCIP_CONSHDLR * | conshdlr, | ||
| SCIP_CONSDATA * | consdata, | ||
| SCIP_Bool | initial, | ||
| SCIP_Bool | separate, | ||
| SCIP_Bool | enforce, | ||
| SCIP_Bool | check, | ||
| SCIP_Bool | propagate, | ||
| SCIP_Bool | local, | ||
| SCIP_Bool | modifiable, | ||
| SCIP_Bool | dynamic, | ||
| SCIP_Bool | removable, | ||
| SCIP_Bool | stickingatnode, | ||
| SCIP_Bool | original, | ||
| SCIP_Bool | deleteconsdata | ||
| ) |
creates and captures a constraint, and inserts it into the conss array of its constraint handler
| cons | pointer to constraint |
| blkmem | block memory |
| set | global SCIP settings |
| name | name of constraint |
| conshdlr | constraint handler for this constraint |
| consdata | data for this specific constraint |
| initial | should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'. |
| separate | should the constraint be separated during LP processing? Usually set to TRUE. |
| enforce | should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints. |
| check | should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints. |
| propagate | should the constraint be propagated during node processing? Usually set to TRUE. |
| local | is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints. |
| modifiable | is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint. |
| dynamic | is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints. |
| removable | should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'. |
| stickingatnode | should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data. |
| original | is constraint belonging to the original problem? |
| deleteconsdata | has the constraint data to be deleted if constraint is freed? |
Definition at line 5726 of file cons.c.
References BMSallocBlockMemory, BMSduplicateBlockMemoryArray, checkConssArrays, conshdlrAddCons(), conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), FALSE, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsCopy(), SCIPsetDebugMsg, and TRUE.
Referenced by SCIPconssetchgMakeGlobal(), SCIPconsTransform(), and SCIPcreateCons().
| SCIP_RETCODE SCIPconsCopy | ( | SCIP_CONS ** | cons, |
| SCIP_SET * | set, | ||
| const char * | name, | ||
| SCIP * | sourcescip, | ||
| SCIP_CONSHDLR * | sourceconshdlr, | ||
| SCIP_CONS * | sourcecons, | ||
| SCIP_HASHMAP * | varmap, | ||
| SCIP_HASHMAP * | consmap, | ||
| SCIP_Bool | initial, | ||
| SCIP_Bool | separate, | ||
| SCIP_Bool | enforce, | ||
| SCIP_Bool | check, | ||
| SCIP_Bool | propagate, | ||
| SCIP_Bool | local, | ||
| SCIP_Bool | modifiable, | ||
| SCIP_Bool | dynamic, | ||
| SCIP_Bool | removable, | ||
| SCIP_Bool | stickingatnode, | ||
| SCIP_Bool | global, | ||
| SCIP_Bool * | valid | ||
| ) |
copies source constraint of source SCIP into the target constraint for the target SCIP, using the variable map for mapping the variables of the source SCIP to the variables of the target SCIP; if the copying process was successful a constraint is created and captured;
| cons | pointer to store the created target constraint |
| set | global SCIP settings of the target SCIP |
| name | name of constraint, or NULL if the name of the source constraint should be used |
| sourcescip | source SCIP data structure |
| sourceconshdlr | source constraint handler for this constraint |
| sourcecons | source constraint of the source SCIP |
| varmap | a SCIP_HASHMAP mapping variables of the source SCIP to corresponding variables of the target SCIP |
| consmap | a hashmap to store the mapping of source constraints to the corresponding target constraints, must not be NULL! |
| initial | should the LP relaxation of constraint be in the initial LP? |
| separate | should the constraint be separated during LP processing? |
| enforce | should the constraint be enforced during node processing? |
| check | should the constraint be checked for feasibility? |
| propagate | should the constraint be propagated during node processing? |
| local | is constraint only valid locally? |
| modifiable | is constraint modifiable (subject to column generation)? |
| dynamic | is constraint subject to aging? |
| removable | should the relaxation be removed from the LP due to aging or cleanup? |
| stickingatnode | should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? |
| global | create a global or a local copy? |
| valid | pointer to store whether the copying was valid or not |
Definition at line 5862 of file cons.c.
References FALSE, SCIP_CALL, SCIP_OKAY, and SCIPconsParse().
Referenced by SCIPconsCreate(), and SCIPgetConsCopy().
| SCIP_RETCODE SCIPconsParse | ( | SCIP_CONS ** | cons, |
| SCIP_SET * | set, | ||
| SCIP_MESSAGEHDLR * | messagehdlr, | ||
| const char * | str, | ||
| SCIP_Bool | initial, | ||
| SCIP_Bool | separate, | ||
| SCIP_Bool | enforce, | ||
| SCIP_Bool | check, | ||
| SCIP_Bool | propagate, | ||
| SCIP_Bool | local, | ||
| SCIP_Bool | modifiable, | ||
| SCIP_Bool | dynamic, | ||
| SCIP_Bool | removable, | ||
| SCIP_Bool | stickingatnode, | ||
| SCIP_Bool * | success | ||
| ) |
parses constraint information (in cip format) out of a string; if the parsing process was successful a constraint is created, captured, and inserted into the conss array of its constraint handler.
| cons | pointer to constraint |
| set | global SCIP settings |
| messagehdlr | message handler of target SCIP |
| str | string to parse for constraint |
| initial | should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'. |
| separate | should the constraint be separated during LP processing? Usually set to TRUE. |
| enforce | should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints. |
| check | should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints. |
| propagate | should the constraint be propagated during node processing? Usually set to TRUE. |
| local | is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints. |
| modifiable | is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint. |
| dynamic | is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints. |
| removable | should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'. |
| stickingatnode | should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data. |
| success | pointer store if the paring process was successful |
Definition at line 5918 of file cons.c.
References FALSE, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPconsChgName(), SCIPmessagePrintWarning(), SCIPsetDebugMsg, SCIPsetFindConshdlr(), and SCIPstrCopySection().
Referenced by SCIPconsCopy(), and SCIPparseCons().
| SCIP_RETCODE SCIPconsChgName | ( | SCIP_CONS * | cons, |
| BMS_BLKMEM * | blkmem, | ||
| const char * | name | ||
| ) |
change name of given constraint
| cons | problem constraint |
| blkmem | block memory buffer |
| name | new name of constraint |
Definition at line 6025 of file cons.c.
References BMSduplicateBlockMemoryArray, BMSfreeBlockMemoryArray, SCIP_Cons::name, SCIP_ALLOC, SCIP_OKAY, and SCIPconsFree().
Referenced by SCIPchgConsName(), and SCIPconsParse().
| SCIP_RETCODE SCIPconsFree | ( | SCIP_CONS ** | cons, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set | ||
| ) |
frees a constraint and removes it from the conss array of its constraint handler
| cons | constraint to free |
| blkmem | block memory buffer |
| set | global SCIP settings |
Definition at line 6045 of file cons.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, checkConssArrays, SCIP_Cons::consdata, conshdlrDelCons(), SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), and SCIPsetDebugMsg.
Referenced by SCIPconsChgName(), and SCIPconsRelease().
| void SCIPconsCapture | ( | SCIP_CONS * | cons | ) |
increases usage counter of constraint
| cons | constraint |
Definition at line 6100 of file cons.c.
References SCIP_Cons::name, SCIP_Cons::nuses, SCIPconsRelease(), and SCIPdebugMessage.
Referenced by boundchgCaptureData(), conflictstoreAddOrigConflict(), conshdlrAddUpdateCons(), SCIPcaptureCons(), SCIPconflictstoreAddConflict(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPconsCreate(), SCIPconsFree(), SCIPconshdlrsStorePropagationStatus(), SCIPconssetchgAddAddedCons(), SCIPconssetchgAddDisabledCons(), SCIPconssetchgMakeGlobal(), SCIPconsTransform(), SCIPprobAddCons(), SCIPreoptAddCons(), SCIPtransformCons(), and SCIPtransformConss().
| SCIP_RETCODE SCIPconsRelease | ( | SCIP_CONS ** | cons, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set | ||
| ) |
decreases usage counter of constraint, and frees memory if necessary
| cons | pointer to constraint |
| blkmem | block memory |
| set | global SCIP settings |
Definition at line 6112 of file cons.c.
References conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), SCIP_CALL, SCIP_OKAY, SCIPconsFree(), SCIPconsPrint(), SCIPsetDebugMsg, and TRUE.
Referenced by boundchgReleaseData(), conshdlrProcessUpdates(), conssetchgDelAddedCons(), conssetchgDelDisabledCons(), conssetchgRelease(), delPosConflict(), delPosDualray(), delPosDualsol(), SCIPconflictstoreClear(), SCIPconflictstoreTransform(), SCIPconsCapture(), SCIPconshdlrsResetPropagationStatus(), SCIPconssetchgMakeGlobal(), SCIPprobDelCons(), SCIPprobTransform(), SCIPreleaseCons(), SCIPreoptFree(), SCIPreoptReset(), and tightenSingleVar().
| SCIP_RETCODE SCIPconsPrint | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_MESSAGEHDLR * | messagehdlr, | ||
| FILE * | file | ||
| ) |
outputs constraint information to file stream
| cons | constraint to print |
| set | global SCIP settings |
| messagehdlr | message handler |
| file | output file (or NULL for standard output) |
Definition at line 6152 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsGetVars(), and SCIPmessageFPrintInfo().
Referenced by SCIPconsRelease(), and SCIPprintCons().
| SCIP_RETCODE SCIPconsGetVars | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_VAR ** | vars, | ||
| int | varssize, | ||
| SCIP_Bool * | success | ||
| ) |
method to collect the variables of a constraint
If the number of variables is greater than the available slots in the variable array, nothing happens except that the success point is set to FALSE. With the method SCIPconsGetNVars() it is possible to get the number of variables a constraint has in its scope.
| cons | constraint to print |
| set | global SCIP settings |
| vars | array to store the involved variable of the constraint |
| varssize | available slots in vars array which is needed to check if the array is large enough |
| success | pointer to store whether the variables are successfully copied |
Definition at line 6191 of file cons.c.
References SCIP_Cons::conshdlr, FALSE, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, and SCIPconsGetNVars().
Referenced by SCIPconsPrint(), SCIPgetConsVars(), and SCIPgetDualSolVal().
| SCIP_RETCODE SCIPconsGetNVars | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| int * | nvars, | ||
| SCIP_Bool * | success | ||
| ) |
methed to collect the number of variables of a constraint
| cons | constraint to print |
| set | global SCIP settings |
| nvars | pointer to store the number of variables |
| success | pointer to store whether the constraint successfully returned the number of variables |
Definition at line 6227 of file cons.c.
References SCIP_Cons::conshdlr, FALSE, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, and SCIPconsDelete().
Referenced by calcNonZeros(), delPosDualray(), delPosDualsol(), saveConsBounddisjuction(), saveConsLinear(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPconsGetVars(), SCIPgetConsNVars(), and SCIPgetDualSolVal().
| SCIP_RETCODE SCIPconsDelete | ( | SCIP_CONS * | cons, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_PROB * | prob, | ||
| SCIP_REOPT * | reopt | ||
| ) |
globally removes constraint from all subproblems; removes constraint from the constraint set change data of the node, where it was created, or from the problem, if it was a problem constraint
| cons | constraint to delete |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| prob | problem data |
| reopt | reoptimization data |
Definition at line 6259 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_ConsSetChg::addedconss, SCIP_Cons::conshdlr, conssetchgDelAddedCons(), SCIP_Conshdlr::delayupdatecount, SCIP_Cons::deleted, SCIP_Cons::enabled, FALSE, SCIP_ConsSetChg::naddedconss, SCIP_Cons::name, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsDeactivate(), SCIPconsTransform(), SCIPprobDelCons(), SCIPreoptConsCanBeDeleted(), SCIPsetDebugMsg, TRUE, SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.
Referenced by delPosConflict(), delPosDualray(), delPosDualsol(), SCIPconsAddAge(), SCIPconsGetNVars(), SCIPconssetchgMakeGlobal(), SCIPdelCons(), SCIPdelConsLocal(), and SCIPdelConsNode().
| SCIP_RETCODE SCIPconsTransform | ( | SCIP_CONS * | origcons, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_CONS ** | transcons | ||
| ) |
gets and captures transformed constraint of a given original constraint; if the constraint is not yet transformed, a new transformed constraint for this constraint is created
| origcons | original constraint |
| blkmem | block memory buffer |
| set | global SCIP settings |
| transcons | pointer to store the transformed constraint |
Definition at line 6319 of file cons.c.
References SCIP_Cons::check, SCIP_Cons::consdata, SCIP_Cons::conshdlr, SCIP_Cons::dynamic, SCIP_Cons::enforce, FALSE, SCIP_Cons::initial, SCIP_Cons::local, SCIP_Cons::modifiable, SCIP_Cons::name, SCIP_Cons::nupgradelocks, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Cons::removable, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsCreate(), SCIPconsSetInitial(), SCIP_Cons::separate, SCIP_Cons::stickingatnode, and SCIP_Cons::transorigcons.
Referenced by SCIPconsDelete(), SCIPprobTransform(), SCIPtransformCons(), and SCIPtransformConss().
| SCIP_RETCODE SCIPconsSetInitial | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_Bool | initial | ||
| ) |
sets the initial flag of the given constraint
| cons | constraint |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| initial | new value |
Definition at line 6369 of file cons.c.
References conshdlrAddInitcons(), conshdlrDelInitcons(), SCIP_Cons::initconsspos, SCIP_Cons::initial, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsGetHdlr(), and SCIPconsSetSeparated().
Referenced by SCIPconsTransform(), and SCIPsetConsInitial().
| SCIP_RETCODE SCIPconsSetSeparated | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_Bool | separate | ||
| ) |
sets the separate flag of the given constraint
| cons | constraint |
| set | global SCIP settings |
| separate | new value |
Definition at line 6403 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddSepacons(), conshdlrDelSepacons(), SCIP_Cons::enabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPconsSetEnforced(), SCIPsetGetStage(), SCIP_Cons::sepaenabled, and SCIP_Cons::separate.
Referenced by SCIPconsSetInitial(), and SCIPsetConsSeparated().
| SCIP_RETCODE SCIPconsSetEnforced | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_Bool | enforce | ||
| ) |
sets the enforce flag of the given constraint
| cons | constraint |
| set | global SCIP settings |
| enforce | new value |
Definition at line 6438 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddEnfocons(), conshdlrDelEnfocons(), SCIP_Cons::enabled, SCIP_Cons::enforce, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPconsSetChecked(), and SCIPsetGetStage().
Referenced by SCIPconsSetSeparated(), and SCIPsetConsEnforced().
| SCIP_RETCODE SCIPconsSetChecked | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_Bool | check | ||
| ) |
sets the check flag of the given constraint
| cons | constraint |
| set | global SCIP settings |
| check | new value |
Definition at line 6473 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_Cons::check, SCIP_Cons::conshdlr, conshdlrAddCheckcons(), conshdlrDelCheckcons(), SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsAddLocks(), and SCIPconsSetPropagated().
Referenced by SCIPconsSetEnforced(), and SCIPsetConsChecked().
| SCIP_RETCODE SCIPconsSetPropagated | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_Bool | propagate | ||
| ) |
sets the propagate flag of the given constraint
| cons | constraint |
| set | global SCIP settings |
| propagate | new value |
Definition at line 6521 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddPropcons(), conshdlrDelPropcons(), SCIP_Cons::enabled, SCIP_Cons::propagate, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPconsSetLocal(), and SCIPsetGetStage().
Referenced by SCIPconsSetChecked(), and SCIPsetConsPropagated().
sets the local flag of the given constraint
| cons | constraint |
| local | new value |
Definition at line 6556 of file cons.c.
References SCIP_Cons::local, SCIPconsSetModifiable(), and SCIP_Cons::validdepth.
Referenced by SCIPaddCons(), SCIPaddConsNode(), SCIPconsSetPropagated(), SCIPprobAddCons(), and SCIPsetConsLocal().
sets the modifiable flag of the given constraint
| cons | constraint |
| modifiable | new value |
Definition at line 6569 of file cons.c.
References SCIP_Cons::modifiable, and SCIPconsSetDynamic().
Referenced by SCIPconsSetLocal(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), and SCIPsetConsModifiable().
sets the dynamic flag of the given constraint
| cons | constraint |
| dynamic | new value |
Definition at line 6580 of file cons.c.
References SCIP_Cons::dynamic, and SCIPconsSetRemovable().
Referenced by SCIPconsSetModifiable(), and SCIPsetConsDynamic().
sets the removable flag of the given constraint
| cons | constraint |
| removable | new value |
Definition at line 6591 of file cons.c.
References SCIP_Cons::removable, and SCIPconsSetStickingAtNode().
Referenced by SCIPconsSetDynamic(), and SCIPsetConsRemovable().
sets the stickingatnode flag of the given constraint
| cons | constraint |
| stickingatnode | new value |
Definition at line 6602 of file cons.c.
References SCIPconsSetNamePointer(), and SCIP_Cons::stickingatnode.
Referenced by SCIPconsSetRemovable(), and SCIPsetConsStickingAtNode().
| void SCIPconsSetNamePointer | ( | SCIP_CONS * | cons, |
| const char * | name | ||
| ) |
gives the constraint a new name; ATTENTION: to old pointer is over written that might result in a memory leakage
| cons | constraint |
| name | new name of constraint |
Definition at line 6614 of file cons.c.
References SCIP_Cons::name, and SCIPconsGetTransformed().
Referenced by SCIPconsSetStickingAtNode(), and SCIPreaderWrite().
gets associated transformed constraint of an original constraint, or NULL if no associated transformed constraint exists
| cons | constraint |
Definition at line 6628 of file cons.c.
References SCIP_Cons::original, SCIPconsActivate(), and SCIP_Cons::transorigcons.
Referenced by SCIPconflictstoreTransform(), SCIPconsSetNamePointer(), SCIPgetDualSolVal(), SCIPgetTransformedCons(), and SCIPgetTransformedConss().
| SCIP_RETCODE SCIPconsActivate | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| int | depth, | ||
| SCIP_Bool | focusnode | ||
| ) |
activates constraint or marks constraint to be activated in next update
| cons | constraint |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| depth | depth in the tree where the constraint activation takes place, or -1 for global problem |
| focusnode | does the constraint activation take place at the focus node? |
Definition at line 6638 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::conshdlr, conshdlrActivateCons(), conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsDeactivate(), SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactfocus, SCIP_Cons::updateactivate, SCIP_Cons::updatedeactivate, SCIP_Cons::updatedisable, SCIP_Cons::updateenable, SCIP_Cons::updatefree, and SCIP_Cons::updateobsolete.
Referenced by SCIPconsGetTransformed(), SCIPconssetchgAddAddedCons(), SCIPconssetchgApply(), SCIPprobAddCons(), and SCIPreoptResetActiveConss().
| SCIP_RETCODE SCIPconsDeactivate | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat | ||
| ) |
deactivates constraint or marks constraint to be deactivated in next update
| cons | constraint |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 6680 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDeactivateCons(), SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsEnable(), SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.
Referenced by SCIPconsActivate(), SCIPconsDelete(), SCIPconssetchgUndo(), SCIPprobDelCons(), and SCIPreoptResetActiveConss().
| SCIP_RETCODE SCIPconsEnable | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat | ||
| ) |
enables constraint's separation, enforcing, and propagation capabilities or marks them to be enabled in next update
| cons | constraint |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 6715 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrEnableCons(), SCIP_Cons::enabled, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsDisable(), TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, SCIP_Cons::updatedeactivate, SCIP_Cons::updatedisable, and SCIP_Cons::updateenable.
Referenced by SCIPconsDeactivate(), SCIPconssetchgUndo(), and SCIPenableCons().
| SCIP_RETCODE SCIPconsDisable | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat | ||
| ) |
disables constraint's separation, enforcing, and propagation capabilities or marks them to be disabled in next update
| cons | constraint |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 6748 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDisableCons(), SCIP_Cons::enabled, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsEnableSeparation(), TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, SCIP_Cons::updatedisable, and SCIP_Cons::updateenable.
Referenced by SCIPconsEnable(), SCIPconssetchgApply(), SCIPdisableCons(), and SCIPnodeDelCons().
| SCIP_RETCODE SCIPconsEnableSeparation | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set | ||
| ) |
enables constraint's separation capabilities or marks them to be enabled in next update
| cons | constraint |
| set | global SCIP settings |
Definition at line 6782 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrEnableConsSeparation(), FALSE, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsDisableSeparation(), SCIP_Cons::sepaenabled, TRUE, SCIP_Cons::update, SCIP_Cons::updatesepadisable, and SCIP_Cons::updatesepaenable.
Referenced by SCIPconsDisable(), and SCIPenableConsSeparation().
| SCIP_RETCODE SCIPconsDisableSeparation | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set | ||
| ) |
disables constraint's separation capabilities or marks them to be disabled in next update
| cons | constraint |
| set | global SCIP settings |
Definition at line 6812 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDisableConsSeparation(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsEnablePropagation(), SCIP_Cons::sepaenabled, TRUE, SCIP_Cons::update, SCIP_Cons::updatesepadisable, and SCIP_Cons::updatesepaenable.
Referenced by SCIPconsEnableSeparation(), and SCIPdisableConsSeparation().
| SCIP_RETCODE SCIPconsEnablePropagation | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set | ||
| ) |
enables constraint's propagation capabilities or marks them to be enabled in next update
| cons | constraint |
| set | global SCIP settings |
Definition at line 6840 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrEnableConsPropagation(), FALSE, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsDisablePropagation(), TRUE, SCIP_Cons::update, SCIP_Cons::updatepropdisable, and SCIP_Cons::updatepropenable.
Referenced by SCIPconsDisableSeparation(), and SCIPenableConsPropagation().
| SCIP_RETCODE SCIPconsDisablePropagation | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set | ||
| ) |
disables constraint's propagation capabilities or marks them to be disabled in next update
| cons | constraint |
| set | global SCIP settings |
Definition at line 6870 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDisableConsPropagation(), FALSE, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsMarkConflict(), TRUE, SCIP_Cons::update, SCIP_Cons::updatepropdisable, and SCIP_Cons::updatepropenable.
Referenced by SCIPconsEnablePropagation(), and SCIPdisableConsPropagation().
| void SCIPconsMarkConflict | ( | SCIP_CONS * | cons | ) |
marks the constraint to be a conflict
| cons | constraint |
Definition at line 6900 of file cons.c.
References SCIP_Cons::conflict, SCIPconsMarkPropagate(), and TRUE.
Referenced by createAndAddProofcons(), SCIPaddConflict(), SCIPconflictstoreAddConflict(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), and SCIPconsDisablePropagation().
| SCIP_RETCODE SCIPconsMarkPropagate | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set | ||
| ) |
marks the constraint to be propagated (update might be delayed)
| cons | constraint |
| set | global SCIP settings |
Definition at line 6910 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrMarkConsPropagate(), SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsUnmarkPropagate(), TRUE, SCIP_Cons::update, SCIP_Cons::updatemarkpropagate, and SCIP_Cons::updateunmarkpropagate.
Referenced by SCIPconshdlrsResetPropagationStatus(), SCIPconsMarkConflict(), and SCIPmarkConsPropagate().
| SCIP_RETCODE SCIPconsUnmarkPropagate | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set | ||
| ) |
unmarks the constraint to be propagated (update might be delayed)
| cons | constraint |
| set | global SCIP settings |
Definition at line 6940 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrUnmarkConsPropagate(), SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsAddAge(), TRUE, SCIP_Cons::update, SCIP_Cons::updatemarkpropagate, and SCIP_Cons::updateunmarkpropagate.
Referenced by SCIPconshdlrsResetPropagationStatus(), SCIPconsMarkPropagate(), and SCIPunmarkConsPropagate().
| SCIP_RETCODE SCIPconsAddAge | ( | SCIP_CONS * | cons, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_PROB * | prob, | ||
| SCIP_Real | deltaage, | ||
| SCIP_REOPT * | reopt | ||
| ) |
adds given value to age of constraint, but age can never become negative; should be called
| cons | constraint |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| prob | problem data |
| deltaage | value to add to the constraint's age |
| reopt | reoptimization data |
Definition at line 6978 of file cons.c.
References SCIP_Cons::age, SCIP_Cons::check, consExceedsAgelimit(), consExceedsObsoleteage(), SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrMarkConsObsolete(), MAX, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PRESOLVING, SCIPconsDelete(), SCIPconsIncAge(), SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updateobsolete.
Referenced by SCIPaddConsAge(), SCIPconsIncAge(), and SCIPconsUnmarkPropagate().
| SCIP_RETCODE SCIPconsIncAge | ( | SCIP_CONS * | cons, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_SET * | set, | ||
| SCIP_STAT * | stat, | ||
| SCIP_PROB * | prob, | ||
| SCIP_REOPT * | reopt | ||
| ) |
increases age of constraint by 1.0; should be called
| cons | constraint |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| prob | problem data |
| reopt | reoptimization data |
Definition at line 7037 of file cons.c.
References SCIP_CALL, SCIP_OKAY, SCIPconsAddAge(), and SCIPconsResetAge().
Referenced by SCIPconsAddAge(), and SCIPincConsAge().
| SCIP_RETCODE SCIPconsResetAge | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set | ||
| ) |
resets age of constraint to zero; should be called
| cons | constraint |
| set | global SCIP settings |
Definition at line 7058 of file cons.c.
References SCIP_Cons::age, SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrMarkConsUseful(), conshdlrUpdateAgeresetavg(), SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsResolvePropagation(), SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updateobsolete.
Referenced by SCIPconsIncAge(), SCIPprobInitSolve(), and SCIPresetConsAge().
| SCIP_RETCODE SCIPconsResolvePropagation | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_VAR * | infervar, | ||
| int | inferinfo, | ||
| SCIP_BOUNDTYPE | inferboundtype, | ||
| SCIP_BDCHGIDX * | bdchgidx, | ||
| SCIP_Real | relaxedbd, | ||
| SCIP_RESULT * | result | ||
| ) |
resolves the given conflicting bound, that was deduced by the given constraint, by putting all "reason" bounds leading to the deduction into the conflict queue with calls to SCIPaddConflictLb(), SCIPaddConflictUb(), SCIPaddConflictBd(), SCIPaddConflictRelaxedLb(), SCIPaddConflictRelaxedUb(), SCIPaddConflictRelaxedBd(), or SCIPaddConflictBinvar();
| cons | constraint that deduced the assignment |
| set | global SCIP settings |
| infervar | variable whose bound was deduced by the constraint |
| inferinfo | user inference information attached to the bound change |
| inferboundtype | bound that was deduced (lower or upper bound) |
| bdchgidx | bound change index, representing the point of time where change took place |
| relaxedbd | the relaxed bound |
| result | pointer to store the result of the callback method |
Definition at line 7099 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, SCIP_Conshdlr::nrespropcalls, SCIP_Conshdlr::resproptime, SCIP_Cons::scip, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_SUCCESS, SCIPclockStart(), SCIPclockStop(), SCIPconsAddLocks(), SCIPerrorMessage, SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), and TRUE.
Referenced by conflictResolveBound(), and SCIPconsResetAge().
| SCIP_RETCODE SCIPconsAddLocks | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| int | nlockspos, | ||
| int | nlocksneg | ||
| ) |
adds given values to lock status of the constraint and updates the rounding locks of the involved variables
| cons | constraint |
| set | global SCIP settings |
| nlockspos | increase in number of rounding locks for constraint |
| nlocksneg | increase in number of rounding locks for constraint's negation |
Definition at line 7159 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Cons::nlocksneg, SCIP_Cons::nlockspos, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, and SCIPconsCheck().
Referenced by SCIPaddConsLocks(), SCIPconsResolvePropagation(), SCIPconsSetChecked(), SCIPprobAddCons(), and SCIPprobDelCons().
| SCIP_RETCODE SCIPconsCheck | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_SOL * | sol, | ||
| SCIP_Bool | checkintegrality, | ||
| SCIP_Bool | checklprows, | ||
| SCIP_Bool | printreason, | ||
| SCIP_RESULT * | result | ||
| ) |
checks single constraint for feasibility of the given solution
| cons | constraint to check |
| set | global SCIP settings |
| sol | primal CIP solution |
| checkintegrality | Has integrality to be checked? |
| checklprows | Do constraints represented by rows in the current LP have to be checked? |
| printreason | Should the reason for the violation be printed? |
| result | pointer to store the result of the callback method |
Definition at line 7203 of file cons.c.
References SCIP_Cons::conshdlr, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Cons::scip, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIPconsEnfops(), SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by checkSolOrig(), SCIPcheckCons(), and SCIPconsAddLocks().
| SCIP_RETCODE SCIPconsEnfops | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_Bool | solinfeasible, | ||
| SCIP_Bool | objinfeasible, | ||
| SCIP_RESULT * | result | ||
| ) |
enforces single constraint for a given pseudo solution
| cons | constraint to enforce |
| set | global SCIP settings |
| solinfeasible | was the solution already declared infeasible by a constraint handler? |
| objinfeasible | is the solution infeasible anyway due to violating lower objective bound? |
| result | pointer to store the result of the callback method |
Definition at line 7241 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, SCIP_Cons::scip, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SOLVELP, SCIPconsEnfolp(), SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPconsCheck(), and SCIPenfopsCons().
| SCIP_RETCODE SCIPconsEnfolp | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_Bool | solinfeasible, | ||
| SCIP_RESULT * | result | ||
| ) |
enforces single constraint for a given LP solution
| cons | constraint to enforce |
| set | global SCIP settings |
| solinfeasible | was the solution already declared infeasible by a constraint handler? |
| result | pointer to store the result of the callback method |
Definition at line 7285 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, SCIP_Cons::scip, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconsEnforelax(), SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPconsEnfops(), and SCIPenfolpCons().
| SCIP_RETCODE SCIPconsEnforelax | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_SOL * | sol, | ||
| SCIP_Bool | solinfeasible, | ||
| SCIP_RESULT * | result | ||
| ) |
enforces single constraint for a given relaxation solution
| cons | constraint to enforce |
| set | global SCIP settings |
| sol | solution to be enforced |
| solinfeasible | was the solution already declared infeasible by a constraint handler? |
| result | pointer to store the result of the callback method |
Definition at line 7327 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, SCIP_Cons::scip, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconsInitlp(), SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPconsEnfolp(), and SCIPenforelaxCons().
| SCIP_RETCODE SCIPconsInitlp | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_Bool * | infeasible | ||
| ) |
calls LP initialization method for single constraint
| cons | constraint to initialize |
| set | global SCIP settings |
| infeasible | pointer to store whether infeasibility was detected while building the LP |
Definition at line 7371 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, and SCIPconsSepalp().
Referenced by SCIPconsEnforelax(), and SCIPinitlpCons().
| SCIP_RETCODE SCIPconsSepalp | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_RESULT * | result | ||
| ) |
calls separation method of single constraint for LP solution
| cons | constraint to separate |
| set | global SCIP settings |
| result | pointer to store the result of the separation call |
Definition at line 7397 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, SCIP_Cons::scip, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_NEWROUND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconsSepasol(), SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPconsInitlp(), and SCIPsepalpCons().
| SCIP_RETCODE SCIPconsSepasol | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_SOL * | sol, | ||
| SCIP_RESULT * | result | ||
| ) |
calls separation method of single constraint for given primal solution
| cons | constraint to separate |
| set | global SCIP settings |
| sol | primal solution that should be separated |
| result | pointer to store the result of the separation call |
Definition at line 7438 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, SCIP_Cons::scip, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_NEWROUND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconsProp(), SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPconsSepalp(), and SCIPsepasolCons().
| SCIP_RETCODE SCIPconsProp | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_PROPTIMING | proptiming, | ||
| SCIP_RESULT * | result | ||
| ) |
calls domain propagation method of single constraint
| cons | constraint to propagate |
| set | global SCIP settings |
| proptiming | current point in the node solving loop |
| result | pointer to store the result of the callback method |
Definition at line 7481 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, SCIP_Cons::scip, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPconsResprop(), SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPconsSepasol(), and SCIPpropCons().
| SCIP_RETCODE SCIPconsResprop | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| SCIP_VAR * | infervar, | ||
| int | inferinfo, | ||
| SCIP_BOUNDTYPE | boundtype, | ||
| SCIP_BDCHGIDX * | bdchgidx, | ||
| SCIP_Real | relaxedbd, | ||
| SCIP_RESULT * | result | ||
| ) |
resolves propagation conflict of single constraint
| cons | constraint to resolve conflict for |
| set | global SCIP settings |
| infervar | the conflict variable whose bound change has to be resolved |
| inferinfo | the user information passed to the corresponding SCIPinferVarLbCons() or SCIPinferVarUbCons() call |
| boundtype | the type of the changed bound (lower or upper bound) |
| bdchgidx | the index of the bound change, representing the point of time where the change took place |
| relaxedbd | the relaxed bound which is sufficient to be explained |
| result | pointer to store the result of the callback method |
Definition at line 7521 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, SCIP_Cons::scip, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_SUCCESS, SCIPconsPresol(), SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPconsProp(), and SCIPrespropCons().
| SCIP_RETCODE SCIPconsPresol | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set, | ||
| int | nrounds, | ||
| SCIP_PRESOLTIMING | timing, | ||
| int | nnewfixedvars, | ||
| int | nnewaggrvars, | ||
| int | nnewchgvartypes, | ||
| int | nnewchgbds, | ||
| int | nnewholes, | ||
| int | nnewdelconss, | ||
| int | nnewaddconss, | ||
| int | nnewupgdconss, | ||
| int | nnewchgcoefs, | ||
| int | nnewchgsides, | ||
| int * | nfixedvars, | ||
| int * | naggrvars, | ||
| int * | nchgvartypes, | ||
| int * | nchgbds, | ||
| int * | naddholes, | ||
| int * | ndelconss, | ||
| int * | naddconss, | ||
| int * | nupgdconss, | ||
| int * | nchgcoefs, | ||
| int * | nchgsides, | ||
| SCIP_RESULT * | result | ||
| ) |
presolves single constraint
| cons | constraint to presolve |
| set | global SCIP settings |
| nrounds | number of presolving rounds already done |
| timing | current presolving timing |
| nnewfixedvars | number of variables fixed since the last call to the presolving method |
| nnewaggrvars | number of variables aggregated since the last call to the presolving method |
| nnewchgvartypes | number of variable type changes since the last call to the presolving method |
| nnewchgbds | number of variable bounds tightened since the last call to the presolving method |
| nnewholes | number of domain holes added since the last call to the presolving method |
| nnewdelconss | number of deleted constraints since the last call to the presolving method |
| nnewaddconss | number of added constraints since the last call to the presolving method |
| nnewupgdconss | number of upgraded constraints since the last call to the presolving method |
| nnewchgcoefs | number of changed coefficients since the last call to the presolving method |
| nnewchgsides | number of changed left or right hand sides since the last call to the presolving method |
| nfixedvars | pointer to count total number of variables fixed of all presolvers |
| naggrvars | pointer to count total number of variables aggregated of all presolvers |
| nchgvartypes | pointer to count total number of variable type changes of all presolvers |
| nchgbds | pointer to count total number of variable bounds tightened of all presolvers |
| naddholes | pointer to count total number of domain holes added of all presolvers |
| ndelconss | pointer to count total number of deleted constraints of all presolvers |
| naddconss | pointer to count total number of added constraints of all presolvers |
| nupgdconss | pointer to count total number of upgraded constraints of all presolvers |
| nchgcoefs | pointer to count total number of changed coefficients of all presolvers |
| nchgsides | pointer to count total number of changed left/right hand sides of all presolvers |
| result | pointer to store the result of the callback method |
Definition at line 7563 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, SCIP_Cons::scip, SCIP_CALL, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_SUCCESS, SCIP_UNBOUNDED, SCIPconsActive(), SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPconsResprop(), and SCIPpresolCons().
| SCIP_RETCODE SCIPconsActive | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set | ||
| ) |
calls constraint activation notification method of single constraint
| cons | constraint to notify |
| set | global SCIP settings |
Definition at line 7637 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, and SCIPconsDeactive().
Referenced by SCIPactiveCons(), and SCIPconsPresol().
| SCIP_RETCODE SCIPconsDeactive | ( | SCIP_CONS * | cons, |
| SCIP_SET * | set | ||
| ) |
calls constraint deactivation notification method of single constraint
| cons | constraint to notify |
| set | global SCIP settings |
Definition at line 7661 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Cons::scip, SCIP_CALL, SCIP_DECL_HASHGETKEY(), and SCIP_OKAY.
Referenced by SCIPconsActive(), and SCIPdeactiveCons().
| SCIP_DECL_HASHGETKEY | ( | SCIPhashGetKeyCons | ) |
gets the key (i.e. the name) of the given constraint
Definition at line 7691 of file cons.c.
Referenced by SCIPconsDeactive().
|
static |
ensures size of storage for propagable constraints with a minimum size of num
| set | global SCIP settings |
| conshdlr | constraint handler |
| num | minimum number of entries to store |
Definition at line 7706 of file cons.c.
References BMSreallocMemoryArray, SCIP_ALLOC, SCIP_OKAY, SCIPconshdlrsStorePropagationStatus(), SCIPsetCalcMemGrowSize(), SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropconsssize.
Referenced by SCIPconshdlrsStorePropagationStatus().
| SCIP_RETCODE SCIPconshdlrsStorePropagationStatus | ( | SCIP_SET * | set, |
| SCIP_CONSHDLR ** | conshdlrs, | ||
| int | nconshdlrs | ||
| ) |
stores all constraints marked for propagation away when probing is started
| set | global SCIP settings |
| conshdlrs | all constraint handlers |
| nconshdlrs | number of contraint handlers |
Definition at line 7730 of file cons.c.
References BMScopyMemoryArray, ensurePropagationStorage(), SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::propconss, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconshdlrsResetPropagationStatus(), SCIP_Conshdlr::storednmarkedpropconss, SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropdomchgcount.
Referenced by ensurePropagationStorage(), and SCIPtreeStartProbing().
| SCIP_RETCODE SCIPconshdlrsResetPropagationStatus | ( | SCIP_SET * | set, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_CONSHDLR ** | conshdlrs, | ||
| int | nconshdlrs | ||
| ) |
reset all constraints marked for propagation when probing was finished
| set | global SCIP settings |
| blkmem | block memory |
| conshdlrs | all constraint handlers |
| nconshdlrs | number of contraint handlers |
Definition at line 7770 of file cons.c.
References conshdlrAreUpdatesDelayed(), SCIP_Cons::enabled, SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::nupdateconss, SCIP_Cons::propagate, SCIP_Conshdlr::propconss, SCIP_Cons::propenabled, SCIP_CALL, SCIP_OKAY, SCIPconsMarkPropagate(), SCIPconsRelease(), SCIPconsUnmarkPropagate(), SCIPlinConsStatsCreate(), SCIP_Conshdlr::storednmarkedpropconss, SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropdomchgcount.
Referenced by SCIPconshdlrsStorePropagationStatus(), and SCIPtreeEndProbing().