Detailed Description
methods for constraints and constraint handlers
Definition in file cons.c.
#include <assert.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) |
Macro Definition Documentation
◆ AGERESETAVG_INIT
#define AGERESETAVG_INIT 1000.0 |
◆ AGERESETAVG_MIN
#define AGERESETAVG_MIN 100.0 |
◆ AGERESETAVG_DECAY
#define AGERESETAVG_DECAY 0.0005 |
◆ AGERESETAVG_AGELIMIT
#define AGERESETAVG_AGELIMIT 2.0 |
◆ AGERESETAVG_OBSOLETEAGE
#define AGERESETAVG_OBSOLETEAGE 1.8 |
◆ checkConssArrays
Function Documentation
◆ conshdlrEnsureConssMem()
|
static |
resizes conss array to be able to store at least num constraints
- Parameters
-
conshdlr constraint handler set global SCIP settings num minimal number of slots in array
Definition at line 74 of file cons.c.
References BMSreallocMemoryArray, SCIP_Conshdlr::conss, SCIP_Conshdlr::consssize, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by conshdlrAddCons().
◆ conshdlrEnsureInitconssMem()
|
static |
resizes initconss array to be able to store at least num constraints
- Parameters
-
conshdlr constraint handler set global SCIP settings num minimal number of slots in array
Definition at line 98 of file cons.c.
References BMSreallocMemoryArray, SCIP_Conshdlr::initconss, SCIP_Conshdlr::initconsssize, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by conshdlrAddInitcons().
◆ conshdlrEnsureSepaconssMem()
|
static |
resizes sepaconss array to be able to store at least num constraints
- Parameters
-
conshdlr constraint handler set global SCIP settings num minimal number of slots in array
Definition at line 122 of file cons.c.
References BMSreallocMemoryArray, NULL, SCIP_ALLOC, SCIP_OKAY, SCIPsetCalcMemGrowSize(), SCIP_Conshdlr::sepaconss, and SCIP_Conshdlr::sepaconsssize.
Referenced by conshdlrAddSepacons().
◆ conshdlrEnsureEnfoconssMem()
|
static |
resizes enfoconss array to be able to store at least num constraints
- Parameters
-
conshdlr constraint handler set global SCIP settings num minimal number of slots in array
Definition at line 146 of file cons.c.
References BMSreallocMemoryArray, SCIP_Conshdlr::enfoconss, SCIP_Conshdlr::enfoconsssize, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by conshdlrAddEnfocons().
◆ conshdlrEnsureCheckconssMem()
|
static |
resizes checkconss array to be able to store at least num constraints
- Parameters
-
conshdlr constraint handler set global SCIP settings num minimal number of slots in array
Definition at line 170 of file cons.c.
References BMSreallocMemoryArray, SCIP_Conshdlr::checkconss, SCIP_Conshdlr::checkconsssize, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by conshdlrAddCheckcons().
◆ conshdlrEnsurePropconssMem()
|
static |
resizes propconss array to be able to store at least num constraints
- Parameters
-
conshdlr constraint handler set global SCIP settings num minimal number of slots in array
Definition at line 194 of file cons.c.
References BMSreallocMemoryArray, NULL, SCIP_Conshdlr::propconss, SCIP_Conshdlr::propconsssize, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by conshdlrAddPropcons().
◆ conshdlrEnsureUpdateconssMem()
|
static |
resizes updateconss array to be able to store at least num constraints
- Parameters
-
conshdlr constraint handler set global SCIP settings num minimal number of slots in array
Definition at line 218 of file cons.c.
References BMSreallocMemoryArray, NULL, SCIP_ALLOC, SCIP_OKAY, SCIPsetCalcMemGrowSize(), SCIP_Conshdlr::updateconss, and SCIP_Conshdlr::updateconsssize.
Referenced by conshdlrAddUpdateCons().
◆ conshdlrAreUpdatesDelayed()
|
static |
returns whether the constraint updates of the constraint handler are currently delayed
- Parameters
-
conshdlr constraint handler
Definition at line 323 of file cons.c.
References SCIP_Conshdlr::delayupdatecount.
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().
◆ conshdlrGetAgeresetavg()
|
static |
returns the exponentially decaying weighted age average for age resets
- Parameters
-
conshdlr constraint handler
Definition at line 332 of file cons.c.
References SCIP_Conshdlr::ageresetavg, AGERESETAVG_MIN, MAX, and NULL.
Referenced by consExceedsAgelimit(), and consExceedsObsoleteage().
◆ conshdlrUpdateAgeresetavg()
|
static |
updates the exponentially decaying weighted age average for age resets after a constraint age was reset
- Parameters
-
conshdlr constraint handler age age of the constraint that is reset to zero
Definition at line 343 of file cons.c.
References SCIP_Conshdlr::ageresetavg, AGERESETAVG_DECAY, and NULL.
Referenced by SCIPconsResetAge().
◆ consExceedsAgelimit()
returns whether the constraint's age exceeds the age limit
- Parameters
-
cons constraint to check set global SCIP settings
Definition at line 356 of file cons.c.
References SCIP_Cons::age, AGERESETAVG_AGELIMIT, SCIP_Cons::conshdlr, conshdlrGetAgeresetavg(), SCIP_Cons::dynamic, and NULL.
Referenced by SCIPconsAddAge().
◆ consExceedsObsoleteage()
returns whether the constraint's age exceeds the obsolete age limit
- Parameters
-
cons constraint to check set global SCIP settings
Definition at line 371 of file cons.c.
References SCIP_Cons::age, AGERESETAVG_OBSOLETEAGE, SCIP_Cons::conshdlr, conshdlrGetAgeresetavg(), SCIP_Cons::dynamic, and NULL.
Referenced by conshdlrProcessUpdates(), and SCIPconsAddAge().
◆ conshdlrMarkConsObsolete()
|
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
- Parameters
-
conshdlr constraint handler cons constraint to be marked obsolete
Definition at line 388 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, conshdlrAreUpdatesDelayed(), 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, NULL, 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 conshdlrProcessUpdates(), and SCIPconsAddAge().
◆ conshdlrMarkConsUseful()
|
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
- Parameters
-
conshdlr constraint handler cons constraint to be marked obsolete
Definition at line 518 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, conshdlrAreUpdatesDelayed(), 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, NULL, 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 conshdlrProcessUpdates(), and SCIPconsResetAge().
◆ conshdlrMarkConsPropagate()
|
static |
marks constraint to be propagated in the next propagation round;
- Note
- the propagation array is divided into three parts in contrast to the other constraint arrays; the first part contains constraints which were marked to be propagated (independently of its age) the second part contains the useful (non-obsolete) constraints which are not marked to be propagated finally, the third part contains obsolete constraints which are not marked to be propagated
- if a constraint gets marked for propagation we put it into the first part regardless of its age
- Parameters
-
conshdlr constraint handler cons constraint to be marked obsolete
Definition at line 623 of file cons.c.
References checkConssArrays, SCIP_Cons::enabled, SCIP_Cons::markpropagate, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::npropconss, NULL, 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(), conshdlrProcessUpdates(), and SCIPconsMarkPropagate().
◆ conshdlrUnmarkConsPropagate()
|
static |
unmarks constraint to be propagated in the next propagation round;
- Note
- the propagation array is divided into three parts in contrast to the other constraint arrays; the first part contains constraints which were marked to be propagated (independently of its age) the second part contains the useful (non-obsolete) constraints which are not marked to be propagated finally, the third part contains obsolete constraints which are not marked to be propagated
- if a constraint gets unmarked for propagation, it is put into the right part depending on its age
- Parameters
-
conshdlr constraint handler cons constraint to be marked obsolete
Definition at line 698 of file cons.c.
References checkConssArrays, SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::npropconss, NULL, 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(), conshdlrProcessUpdates(), and SCIPconsUnmarkPropagate().
◆ conshdlrAddCons()
|
static |
adds constraint to the conss array of constraint handler
- Parameters
-
conshdlr constraint handler set global SCIP settings cons constraint to add
Definition at line 770 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::conshdlr, conshdlrEnsureConssMem(), SCIP_Conshdlr::conss, SCIP_Cons::consspos, SCIP_Conshdlr::nconss, NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by conshdlrProcessUpdates(), and SCIPconsCreate().
◆ conshdlrDelCons()
|
static |
deletes constraint from the conss array of constraint handler
- Parameters
-
conshdlr constraint handler cons constraint to remove
Definition at line 796 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::conshdlr, SCIP_Conshdlr::conss, SCIP_Cons::consspos, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::nconss, NULL, and SCIP_Cons::original.
Referenced by SCIPconsFree().
◆ conshdlrAddInitcons()
|
static |
adds constraint to the initconss array of constraint handler
- Parameters
-
conshdlr constraint handler set global SCIP settings stat dynamic problem statistics cons constraint to add
Definition at line 816 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrEnsureInitconssMem(), SCIP_Conshdlr::initconss, SCIP_Cons::initconsspos, SCIP_Cons::initial, SCIP_Conshdlr::ninitconss, SCIP_Stat::ninitconssadded, SCIP_Conshdlr::ninitconsskept, NULL, SCIP_Cons::original, SCIP_CALL, and SCIP_OKAY.
Referenced by conshdlrActivateCons(), SCIPconshdlrInitLP(), SCIPconshdlrInitpre(), and SCIPconsSetInitial().
◆ conshdlrDelInitcons()
|
static |
deletes constraint from the initconss array of constraint handler
- Parameters
-
conshdlr constraint handler cons constraint to remove
Definition at line 852 of file cons.c.
References checkConssArrays, SCIP_Cons::conshdlr, SCIP_Conshdlr::initconss, SCIP_Cons::initconsspos, SCIP_Conshdlr::ninitconss, SCIP_Conshdlr::ninitconsskept, NULL, and SCIP_Cons::original.
Referenced by conshdlrDeactivateCons(), and SCIPconsSetInitial().
◆ conshdlrAddSepacons()
|
static |
adds constraint to the sepaconss array of constraint handler
- Parameters
-
conshdlr constraint handler set global SCIP settings cons constraint to add
Definition at line 887 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrAreUpdatesDelayed(), conshdlrEnsureSepaconssMem(), SCIP_Conshdlr::duringsepa, SCIP_Conshdlr::nsepaconss, NULL, 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 conshdlrEnableCons(), conshdlrEnableConsSeparation(), and SCIPconsSetSeparated().
◆ conshdlrDelSepacons()
|
static |
deletes constraint from the sepaconss array of constraint handler
- Parameters
-
conshdlr constraint handler cons constraint to remove
Definition at line 931 of file cons.c.
References checkConssArrays, SCIP_Cons::conshdlr, conshdlrAreUpdatesDelayed(), SCIP_Conshdlr::duringsepa, SCIP_Conshdlr::lastnusefulsepaconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Conshdlr::sepaconss, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, and SCIP_Cons::separate.
Referenced by conshdlrDisableCons(), conshdlrDisableConsSeparation(), and SCIPconsSetSeparated().
◆ conshdlrAddEnfocons()
|
static |
adds constraint to the enfoconss array of constraint handler
- Parameters
-
conshdlr constraint handler set global SCIP settings cons constraint to add
Definition at line 977 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, 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, NULL, SCIP_Conshdlr::nusefulenfoconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by conshdlrEnableCons(), and SCIPconsSetEnforced().
◆ conshdlrDelEnfocons()
|
static |
deletes constraint from the enfoconss array of constraint handler
- Parameters
-
conshdlr constraint handler cons constraint to remove
Definition at line 1034 of file cons.c.
References checkConssArrays, SCIP_Cons::conshdlr, SCIP_Conshdlr::enfoconss, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, SCIP_Conshdlr::lastnusefulenfoconss, SCIP_Conshdlr::nenfoconss, NULL, SCIP_Conshdlr::nusefulenfoconss, SCIP_Cons::obsolete, and SCIP_Cons::original.
Referenced by conshdlrDisableCons(), and SCIPconsSetEnforced().
◆ conshdlrAddCheckcons()
|
static |
adds constraint to the checkconss array of constraint handler
- Parameters
-
conshdlr constraint handler set global SCIP settings cons constraint to add
Definition at line 1086 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, conshdlrEnsureCheckconssMem(), SCIP_Conshdlr::ncheckconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by conshdlrActivateCons(), and SCIPconsSetChecked().
◆ conshdlrDelCheckcons()
|
static |
deletes constraint from the checkconss array of constraint handler
- Parameters
-
conshdlr constraint handler cons constraint to add
Definition at line 1130 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, SCIP_Conshdlr::ncheckconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Cons::obsolete, and SCIP_Cons::original.
Referenced by conshdlrDeactivateCons(), and SCIPconsSetChecked().
◆ conshdlrAddPropcons()
|
static |
adds constraint to the propconss array of constraint handler
- Parameters
-
conshdlr constraint handler set global SCIP settings cons constraint to add
Definition at line 1169 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrAreUpdatesDelayed(), conshdlrEnsurePropconssMem(), conshdlrMarkConsPropagate(), SCIP_Conshdlr::duringprop, SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, SCIP_Conshdlr::npropconss, NULL, 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 conshdlrEnableCons(), conshdlrEnableConsPropagation(), and SCIPconsSetPropagated().
◆ conshdlrDelPropcons()
|
static |
deletes constraint from the propconss array of constraint handler
- Parameters
-
conshdlr constraint handler cons constraint to remove
Definition at line 1225 of file cons.c.
References checkConssArrays, SCIP_Cons::conshdlr, conshdlrAreUpdatesDelayed(), conshdlrUnmarkConsPropagate(), SCIP_Conshdlr::duringprop, SCIP_Conshdlr::lastnusefulpropconss, SCIP_Cons::markpropagate, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::npropconss, NULL, SCIP_Conshdlr::nusefulpropconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Conshdlr::propconss, SCIP_Cons::propconsspos, and SCIP_Cons::propenabled.
Referenced by conshdlrDisableCons(), conshdlrDisableConsPropagation(), and SCIPconsSetPropagated().
◆ conshdlrEnableConsSeparation()
|
static |
enables separation of constraint
- Parameters
-
conshdlr constraint handler set global SCIP settings cons constraint to add
Definition at line 1284 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddSepacons(), SCIP_Cons::enabled, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, SCIP_Cons::separate, and TRUE.
Referenced by conshdlrProcessUpdates(), and SCIPconsEnableSeparation().
◆ conshdlrDisableConsSeparation()
|
static |
disables separation of constraint
- Parameters
-
conshdlr constraint handler cons constraint to remove
Definition at line 1315 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrDelSepacons(), SCIP_Cons::enabled, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulsepaconss, SCIP_OKAY, SCIPdebugMessage, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, and SCIP_Cons::separate.
Referenced by conshdlrProcessUpdates(), and SCIPconsDisableSeparation().
◆ conshdlrEnableConsPropagation()
|
static |
enables propagation of constraint
- Parameters
-
conshdlr constraint handler set global SCIP settings cons constraint to add
Definition at line 1344 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddPropcons(), SCIP_Cons::enabled, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::npropconss, NULL, SCIP_Conshdlr::nusefulpropconss, SCIP_Cons::propagate, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, and TRUE.
Referenced by conshdlrProcessUpdates(), and SCIPconsEnablePropagation().
◆ conshdlrDisableConsPropagation()
|
static |
disables propagation of constraint
- Parameters
-
conshdlr constraint handler cons constraint to remove
Definition at line 1375 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrDelPropcons(), SCIP_Cons::enabled, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::npropconss, NULL, SCIP_Conshdlr::nusefulpropconss, SCIP_Cons::propagate, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_OKAY, and SCIPdebugMessage.
Referenced by conshdlrProcessUpdates(), and SCIPconsDisablePropagation().
◆ conshdlrEnableCons()
|
static |
enables separation, enforcement, and propagation of constraint
- Parameters
-
conshdlr constraint handler set global SCIP settings stat dynamic problem statistics cons constraint to add
Definition at line 1404 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrAddEnfocons(), conshdlrAddPropcons(), conshdlrAddSepacons(), SCIP_Cons::enabled, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nenabledconss, SCIP_Stat::nenabledconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, 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(), conshdlrProcessUpdates(), and SCIPconsEnable().
◆ conshdlrDisableCons()
|
static |
disables separation, enforcement, and propagation of constraint
- Parameters
-
conshdlr constraint handler set global SCIP settings stat dynamic problem statistics cons constraint to remove
Definition at line 1466 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrDelEnfocons(), conshdlrDelPropcons(), conshdlrDelSepacons(), SCIP_Cons::enabled, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nenabledconss, SCIP_Stat::nenabledconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, 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(), conshdlrProcessUpdates(), and SCIPconsDisable().
◆ conshdlrActivateCons()
|
static |
activates and adds constraint to constraint handler's constraint arrays
- Parameters
-
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 1532 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::check, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, conshdlrAddCheckcons(), conshdlrAddInitcons(), 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, NULL, 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 conshdlrProcessUpdates(), and SCIPconsActivate().
◆ conshdlrDeactivateCons()
|
static |
deactivates and removes constraint from constraint handler's conss array
- Parameters
-
conshdlr constraint handler set global SCIP settings stat dynamic problem statistics cons constraint to remove
Definition at line 1607 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::check, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, conshdlrDelCheckcons(), conshdlrDelInitcons(), conshdlrDisableCons(), 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, NULL, 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 conshdlrProcessUpdates(), and SCIPconsDeactivate().
◆ conshdlrProcessUpdates()
|
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
- Parameters
-
conshdlr constraint handler blkmem block memory set global SCIP settings stat dynamic problem statistics
Definition at line 1689 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::consdata, consExceedsObsoleteage(), SCIP_Cons::conshdlr, conshdlrActivateCons(), conshdlrAddCons(), conshdlrAreUpdatesDelayed(), conshdlrDeactivateCons(), 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, NULL, 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 conshdlrForceUpdates().
◆ conshdlrDelayUpdates()
|
static |
marks constraint handler to delay all constraint updates until the next conshdlrProcessUpdates() call
- Parameters
-
conshdlr constraint handler
Definition at line 1883 of file cons.c.
References SCIP_Conshdlr::delayupdatecount, SCIP_Conshdlr::name, NULL, and SCIPdebugMessage.
Referenced by SCIPconshdlrCheck(), SCIPconshdlrDelVars(), SCIPconshdlrEnforceLPSol(), SCIPconshdlrEnforcePseudoSol(), SCIPconshdlrEnforceRelaxSol(), SCIPconshdlrExit(), SCIPconshdlrExitpre(), SCIPconshdlrExitsol(), SCIPconshdlrInit(), SCIPconshdlrInitLP(), SCIPconshdlrInitpre(), SCIPconshdlrInitsol(), SCIPconshdlrPresolve(), SCIPconshdlrPropagate(), SCIPconshdlrSeparateLP(), and SCIPconshdlrSeparateSol().
◆ conshdlrForceUpdates()
|
static |
marks constraint handler to perform all constraint updates immediately; all delayed constraint updates will be processed
- Parameters
-
conshdlr constraint handler blkmem block memory set global SCIP settings stat dynamic problem statistics
Definition at line 1899 of file cons.c.
References conshdlrAreUpdatesDelayed(), conshdlrProcessUpdates(), SCIP_Conshdlr::delayupdatecount, SCIP_Conshdlr::name, NULL, SCIP_Conshdlr::nupdateconss, SCIP_CALL, SCIP_OKAY, and SCIPsetDebugMsg.
Referenced by SCIPconshdlrCheck(), SCIPconshdlrDelVars(), SCIPconshdlrEnforceLPSol(), SCIPconshdlrEnforcePseudoSol(), SCIPconshdlrEnforceRelaxSol(), SCIPconshdlrExit(), SCIPconshdlrExitpre(), SCIPconshdlrExitsol(), SCIPconshdlrInit(), SCIPconshdlrInitLP(), SCIPconshdlrInitpre(), SCIPconshdlrInitsol(), SCIPconshdlrPresolve(), SCIPconshdlrPropagate(), SCIPconshdlrSeparateLP(), and SCIPconshdlrSeparateSol().
◆ conshdlrAddUpdateCons()
|
static |
adds constraint to constraint handler's update constraint array and captures it
- Parameters
-
conshdlr constraint handler set global SCIP settings cons constraint to add
Definition at line 1925 of file cons.c.
References SCIP_Cons::age, SCIP_Cons::consdata, SCIP_Cons::conshdlr, conshdlrEnsureUpdateconssMem(), SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Conshdlr::nupdateconss, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPsetDebugMsg, TRUE, SCIP_Cons::update, and SCIP_Conshdlr::updateconss.
Referenced by SCIPconsActivate(), SCIPconsAddAge(), SCIPconsCreate(), SCIPconsDeactivate(), SCIPconsDisable(), SCIPconsDisablePropagation(), SCIPconsDisableSeparation(), SCIPconsEnable(), SCIPconsEnablePropagation(), SCIPconsEnableSeparation(), SCIPconsMarkPropagate(), SCIPconsRelease(), SCIPconsResetAge(), and SCIPconsUnmarkPropagate().
◆ SCIPconshdlrCopyInclude()
SCIP_RETCODE SCIPconshdlrCopyInclude | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_SET * | set, | ||
SCIP_Bool * | valid | ||
) |
copies the given constraint handler to a new scip
- Parameters
-
conshdlr constraint handler set SCIP_SET of SCIP to copy to valid was the copying process valid?
Definition at line 1980 of file cons.c.
References NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetName(), and SCIPsetDebugMsg.
Referenced by SCIPsetCopyPlugins().
◆ doConshdlrCreate()
|
static |
internal method for creating a constraint handler
- Parameters
-
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 2002 of file cons.c.
References AGERESETAVG_INIT, BMSallocMemory, BMSclearMemory, BMSduplicateMemoryArray, FALSE, NULL, paramname, 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(), SCIPmessagePrintError(), SCIPsetAddBoolParam(), SCIPsetAddIntParam(), SCIPsnprintf(), and TRUE.
Referenced by SCIPconshdlrCreate().
◆ SCIPconshdlrCreate()
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_DECL_CONSGETPERMSYMGRAPH((*consgetpermsymgraph)) | , | ||
SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH((*consgetsignedpermsymgraph)) | , | ||
SCIP_CONSHDLRDATA * | conshdlrdata | ||
) |
creates a constraint handler
- Parameters
-
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 2286 of file cons.c.
References doConshdlrCreate(), NULL, SCIP_CALL_FINALLY, SCIP_OKAY, and SCIPconshdlrFree().
Referenced by SCIPincludeConshdlr(), and SCIPincludeConshdlrBasic().
◆ SCIPconshdlrFree()
SCIP_RETCODE SCIPconshdlrFree | ( | SCIP_CONSHDLR ** | conshdlr, |
SCIP_SET * | set | ||
) |
calls destructor and frees memory of constraint handler
- Parameters
-
conshdlr pointer to constraint handler data structure set global SCIP settings
Definition at line 2366 of file cons.c.
References BMSfreeMemory, BMSfreeMemoryArrayNull, NULL, SCIP_CALL, SCIP_OKAY, and SCIPclockFree().
Referenced by SCIPconshdlrCreate().
◆ SCIPconshdlrInit()
SCIP_RETCODE SCIPconshdlrInit | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat | ||
) |
calls initialization method of constraint handler
- Parameters
-
conshdlr constraint handler blkmem block memory set global SCIP settings stat dynamic problem statistics
Definition at line 2411 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, NULL, 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(), SCIPerrorMessage, SCIP_Conshdlr::sepalpwasdelayed, SCIP_Conshdlr::sepasolwasdelayed, SCIP_Conshdlr::sepatime, SCIP_Conshdlr::setuptime, SCIP_Conshdlr::startnactiveconss, and TRUE.
◆ SCIPconshdlrExit()
SCIP_RETCODE SCIPconshdlrExit | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat | ||
) |
calls exit method of constraint handler
- Parameters
-
conshdlr constraint handler blkmem block memory set global SCIP settings stat dynamic problem statistics
Definition at line 2524 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, FALSE, SCIP_Conshdlr::initialized, SCIP_Conshdlr::name, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, and SCIP_Conshdlr::setuptime.
◆ SCIPconshdlrInitpre()
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
- Parameters
-
conshdlr constraint handler blkmem block memory set global SCIP settings stat dynamic problem statistics
Definition at line 2567 of file cons.c.
References SCIP_Cons::addarraypos, conshdlrAddInitcons(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Cons::deleted, FALSE, 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, NULL, SCIP_Conshdlr::propwasdelayed, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIP_Conshdlr::setuptime, and SCIP_Conshdlr::startnactiveconss.
◆ SCIPconshdlrExitpre()
SCIP_RETCODE SCIPconshdlrExitpre | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat | ||
) |
informs constraint handler that the presolving is finished
- Parameters
-
conshdlr constraint handler blkmem block memory set global SCIP settings stat dynamic problem statistics
Definition at line 2653 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::maxnactiveconss, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIP_Conshdlr::setuptime, and SCIP_Conshdlr::startnactiveconss.
◆ SCIPconshdlrInitsol()
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
- Parameters
-
conshdlr constraint handler blkmem block memory set global SCIP settings stat dynamic problem statistics
Definition at line 2693 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, FALSE, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIP_Conshdlr::sepalpwasdelayed, SCIP_Conshdlr::sepasolwasdelayed, and SCIP_Conshdlr::setuptime.
◆ SCIPconshdlrExitsol()
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
- Parameters
-
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 2733 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), and SCIP_Conshdlr::setuptime.
◆ SCIPconshdlrInitLP()
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
- Parameters
-
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 2770 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, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconsGetActiveDepth(), SCIPconsIsActive(), SCIPsetDebugMsg, SCIPtreeGetCurrentDepth(), SCIPtreeProbing(), and SCIP_Conshdlr::sepatime.
Referenced by SCIPinitConssLP().
◆ SCIPconshdlrSeparateLP()
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
- Parameters
-
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 2877 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, MIN, 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, NULL, 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(), SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIPsetDebugMsg, SCIP_Conshdlr::sepaconss, SCIP_Conshdlr::sepafreq, SCIP_Conshdlr::sepalpwasdelayed, SCIP_Conshdlr::sepatime, and TRUE.
Referenced by separationRoundLP().
◆ SCIPconshdlrSeparateSol()
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
- Parameters
-
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 3034 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, NULL, 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(), SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIPsetDebugMsg, SCIP_Conshdlr::sepaconss, SCIP_Conshdlr::sepafreq, SCIP_Conshdlr::sepasolwasdelayed, SCIP_Conshdlr::sepatime, and TRUE.
Referenced by separationRoundSol().
◆ SCIPconshdlrEnforceRelaxSol()
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
- Parameters
-
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 3163 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, NULL, 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(), SCIPdebugMessage, SCIPerrorMessage, SCIPsepastoreGetNCuts(), and TRUE.
Referenced by enforceConstraints().
◆ SCIPconshdlrEnforceLPSol()
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
- Parameters
-
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 3351 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, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIP_SOLVELP, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIPsetDebugMsg, and TRUE.
Referenced by enforceConstraints().
◆ SCIPconshdlrGetDiveBoundChanges()
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
- Parameters
-
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 3529 of file cons.c.
References NULL, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPgetDiveBoundChanges().
◆ SCIPconshdlrEnforcePseudoSol()
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
- Parameters
-
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 3556 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, NULL, 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(), SCIPerrorMessage, SCIPsetDebugMsg, and TRUE.
Referenced by enforceConstraints().
◆ SCIPconshdlrCheck()
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
- Parameters
-
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 3760 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, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPsolCheck(), and SCIPsolCheckOrig().
◆ SCIPconshdlrPropagate()
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
- Parameters
-
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 3822 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, MIN, 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, NULL, 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(), SCIPerrorMessage, SCIPsetDebugMsg, and TRUE.
Referenced by propagationRound().
◆ SCIPconshdlrPresolve()
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
- Parameters
-
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 3993 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, NULL, 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(), SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by presolveRound().
◆ SCIPconshdlrDelVars()
SCIP_RETCODE SCIPconshdlrDelVars | ( | SCIP_CONSHDLR * | conshdlr, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat | ||
) |
calls variable deletion method of constraint handler
- Parameters
-
conshdlr constraint handler blkmem block memory set global SCIP settings stat dynamic problem statistics
Definition at line 4136 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::name, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_OKAY, and SCIPsetDebugMsg.
Referenced by SCIPprobPerformVarDeletions().
◆ SCIPconshdlrLockVars()
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
- Parameters
-
conshdlr constraint handler set global SCIP settings
Definition at line 4167 of file cons.c.
References SCIP_Conshdlr::needscons, NULL, SCIP_CALL, SCIP_LOCKTYPE_MODEL, and SCIP_OKAY.
Referenced by SCIPprobTransform().
◆ SCIPconshdlrUnlockVars()
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
- Parameters
-
conshdlr constraint handler set global SCIP settings
Definition at line 4182 of file cons.c.
References SCIP_Conshdlr::needscons, NULL, SCIP_CALL, SCIP_LOCKTYPE_MODEL, and SCIP_OKAY.
Referenced by SCIPprobFree().
◆ SCIPconshdlrSetCopy()
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
- Parameters
-
conshdlr constraint handler
Definition at line 4289 of file cons.c.
References SCIP_Conshdlr::needscons, and NULL.
Referenced by SCIPsetConshdlrCopy().
◆ SCIPconshdlrSetFree()
void SCIPconshdlrSetFree | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSFREE((*consfree)) | |||
) |
sets destructor method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4304 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrFree().
◆ SCIPconshdlrSetInit()
void SCIPconshdlrSetInit | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSINIT((*consinit)) | |||
) |
sets initialization method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4315 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrInit().
◆ SCIPconshdlrSetExit()
void SCIPconshdlrSetExit | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSEXIT((*consexit)) | |||
) |
sets deinitialization method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4326 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrExit().
◆ SCIPconshdlrSetInitsol()
void SCIPconshdlrSetInitsol | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSINITSOL((*consinitsol)) | |||
) |
sets solving process initialization method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4337 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrInitsol().
◆ SCIPconshdlrSetExitsol()
void SCIPconshdlrSetExitsol | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSEXITSOL((*consexitsol)) | |||
) |
sets solving process deinitialization method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4348 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrExitsol().
◆ SCIPconshdlrSetInitpre()
void SCIPconshdlrSetInitpre | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSINITPRE((*consinitpre)) | |||
) |
sets preprocessing initialization method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4359 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrInitpre().
◆ SCIPconshdlrSetExitpre()
void SCIPconshdlrSetExitpre | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSEXITPRE((*consexitpre)) | |||
) |
sets preprocessing deinitialization method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4370 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrExitpre().
◆ SCIPconshdlrSetPresol()
SCIP_RETCODE SCIPconshdlrSetPresol | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSPRESOL((*conspresol)) | , | ||
int | maxprerounds, | ||
SCIP_PRESOLTIMING | presoltiming | ||
) |
sets presolving method of constraint handler
- Parameters
-
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 4381 of file cons.c.
References SCIP_Conshdlr::maxprerounds, SCIP_Conshdlr::name, NULL, SCIP_Conshdlr::presoltiming, SCIP_OKAY, SCIP_PARAMETERWRONGVAL, SCIP_PRESOLTIMING_MAX, and SCIPmessagePrintError().
Referenced by SCIPsetConshdlrPresol().
◆ SCIPconshdlrSetDelete()
void SCIPconshdlrSetDelete | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSDELETE((*consdelete)) | |||
) |
sets method of constraint handler to free specific constraint data
- Parameters
-
conshdlr constraint handler
Definition at line 4410 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrDelete().
◆ SCIPconshdlrSetTrans()
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
- Parameters
-
conshdlr constraint handler
Definition at line 4421 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrTrans().
◆ SCIPconshdlrSetInitlp()
void SCIPconshdlrSetInitlp | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSINITLP((*consinitlp)) | |||
) |
sets method of constraint handler to initialize LP with relaxations of "initial" constraints
- Parameters
-
conshdlr constraint handler
Definition at line 4432 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrInitlp().
◆ SCIPconshdlrSetResprop()
void SCIPconshdlrSetResprop | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSRESPROP((*consresprop)) | |||
) |
sets propagation conflict resolving method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4443 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrResprop().
◆ SCIPconshdlrSetActive()
void SCIPconshdlrSetActive | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSACTIVE((*consactive)) | |||
) |
sets activation notification method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4454 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrActive().
◆ SCIPconshdlrSetDeactive()
void SCIPconshdlrSetDeactive | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSDEACTIVE((*consdeactive)) | |||
) |
sets deactivation notification method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4465 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrDeactive().
◆ SCIPconshdlrSetEnable()
void SCIPconshdlrSetEnable | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSENABLE((*consenable)) | |||
) |
sets enabling notification method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4476 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrEnable().
◆ SCIPconshdlrSetDisable()
void SCIPconshdlrSetDisable | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSDISABLE((*consdisable)) | |||
) |
sets disabling notification method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4487 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrDisable().
◆ SCIPconshdlrSetDelvars()
void SCIPconshdlrSetDelvars | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSDELVARS((*consdelvars)) | |||
) |
sets variable deletion method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4498 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrDelvars().
◆ SCIPconshdlrSetPrint()
void SCIPconshdlrSetPrint | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSPRINT((*consprint)) | |||
) |
sets constraint display method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4509 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrPrint().
◆ SCIPconshdlrSetParse()
void SCIPconshdlrSetParse | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSPARSE((*consparse)) | |||
) |
sets constraint parsing method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4520 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrParse().
◆ SCIPconshdlrSetGetVars()
void SCIPconshdlrSetGetVars | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSGETVARS((*consgetvars)) | |||
) |
sets constraint variable getter method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4531 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrGetVars().
◆ SCIPconshdlrSetGetNVars()
void SCIPconshdlrSetGetNVars | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSGETNVARS((*consgetnvars)) | |||
) |
sets constraint variable number getter method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4542 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrGetNVars().
◆ SCIPconshdlrSetGetDiveBdChgs()
void SCIPconshdlrSetGetDiveBdChgs | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSGETDIVEBDCHGS((*consgetdivebdchgs)) | |||
) |
sets diving enforcement method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4553 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrGetDiveBdChgs().
◆ SCIPconshdlrSetGetPermsymGraph()
void SCIPconshdlrSetGetPermsymGraph | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSGETPERMSYMGRAPH((*consgetpermsymgraph)) | |||
) |
sets permutation symmetry detection graph getter method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4564 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrGetPermsymGraph().
◆ SCIPconshdlrSetGetSignedPermsymGraph()
void SCIPconshdlrSetGetSignedPermsymGraph | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH((*consgetsignedpermsymgraph)) | |||
) |
sets signed permutation symmetry detection graph getter method of constraint handler
- Parameters
-
conshdlr constraint handler
Definition at line 4576 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrGetSignedPermsymGraph().
◆ SCIPconshdlrEnableOrDisableClocks()
void SCIPconshdlrEnableOrDisableClocks | ( | SCIP_CONSHDLR * | conshdlr, |
SCIP_Bool | enable | ||
) |
enables or disables all clocks of conshdlr
, depending on the value of the flag
- Parameters
-
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 4700 of file cons.c.
References SCIP_Conshdlr::checktime, SCIP_Conshdlr::enfolptime, SCIP_Conshdlr::enfopstime, SCIP_Conshdlr::enforelaxtime, NULL, SCIP_Conshdlr::presoltime, SCIP_Conshdlr::proptime, SCIP_Conshdlr::resproptime, SCIP_Conshdlr::sbproptime, SCIPclockEnableOrDisable(), SCIP_Conshdlr::sepatime, and SCIP_Conshdlr::setuptime.
◆ SCIPconshdlrIncNAppliedCuts()
void SCIPconshdlrIncNAppliedCuts | ( | SCIP_CONSHDLR * | conshdlr | ) |
increase count of applied cuts
- Parameters
-
conshdlr constraint handler
Definition at line 4920 of file cons.c.
References SCIP_Conshdlr::ncutsapplied, and NULL.
Referenced by sepastoreApplyCut().
◆ SCIPconshdlrIncNCutsFound()
void SCIPconshdlrIncNCutsFound | ( | SCIP_CONSHDLR * | conshdlr | ) |
increase count of found cuts
- Parameters
-
conshdlr constraint handler
Definition at line 4930 of file cons.c.
References SCIP_Conshdlr::ncutsfound, and NULL.
Referenced by SCIPcutpoolSeparate().
◆ conssetchgCreate()
|
static |
creates empty constraint set change data
- Parameters
-
conssetchg pointer to constraint set change data blkmem block memory
Definition at line 5318 of file cons.c.
References BMSallocBlockMemory, NULL, SCIP_ALLOC, and SCIP_OKAY.
Referenced by SCIPconssetchgAddAddedCons(), and SCIPconssetchgAddDisabledCons().
◆ conssetchgRelease()
|
static |
releases all constraints of the constraint set change data
- Parameters
-
conssetchg constraint set change data blkmem block memory set global SCIP settings
Definition at line 5339 of file cons.c.
References SCIP_ConsSetChg::addedconss, SCIP_ConsSetChg::disabledconss, SCIP_ConsSetChg::naddedconss, SCIP_ConsSetChg::ndisabledconss, NULL, SCIP_CALL, SCIP_OKAY, and SCIPconsRelease().
Referenced by SCIPconssetchgFree().
◆ SCIPconssetchgFree()
SCIP_RETCODE SCIPconssetchgFree | ( | SCIP_CONSSETCHG ** | conssetchg, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set | ||
) |
frees constraint set change data and releases all included constraints
- Parameters
-
conssetchg pointer to constraint set change blkmem block memory set global SCIP settings
Definition at line 5369 of file cons.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArrayNull, conssetchgRelease(), NULL, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPconssetchgMakeGlobal(), and SCIPnodeFree().
◆ conssetchgEnsureAddedconssSize()
|
static |
ensures, that addedconss array can store at least num entries
- Parameters
-
conssetchg constraint set change data structure blkmem block memory set global SCIP settings num minimum number of entries to store
Definition at line 5394 of file cons.c.
References SCIP_ConsSetChg::addedconss, SCIP_ConsSetChg::addedconsssize, BMSreallocBlockMemoryArray, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by SCIPconssetchgAddAddedCons().
◆ conssetchgEnsureDisabledconssSize()
|
static |
ensures, that disabledconss array can store at least num entries
- Parameters
-
conssetchg constraint set change data structure blkmem block memory set global SCIP settings num minimum number of entries to store
Definition at line 5418 of file cons.c.
References BMSreallocBlockMemoryArray, SCIP_ConsSetChg::disabledconss, SCIP_ConsSetChg::disabledconsssize, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().
Referenced by SCIPconssetchgAddDisabledCons().
◆ SCIPconssetchgAddAddedCons()
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
- Parameters
-
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 5443 of file cons.c.
References active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, conssetchgCreate(), conssetchgEnsureAddedconssSize(), SCIP_Cons::deleted, FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsActivate(), SCIPconsCapture(), and SCIPconsIsActive().
Referenced by SCIPnodeAddCons().
◆ SCIPconssetchgAddDisabledCons()
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
- Parameters
-
conssetchg pointer to constraint set change data structure blkmem block memory set global SCIP settings cons disabled constraint
Definition at line 5489 of file cons.c.
References conssetchgCreate(), conssetchgEnsureDisabledconssSize(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPconsCapture().
Referenced by SCIPnodeDelCons().
◆ conssetchgDelAddedCons()
|
static |
deactivates, deletes, and releases constraint from the addedconss array of the constraint set change data
- Parameters
-
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 5518 of file cons.c.
References SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_ConsSetChg::addedconss, SCIP_ConsSetChg::naddedconss, SCIP_Cons::name, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), and SCIPsetDebugMsg.
Referenced by SCIPconsDelete(), SCIPconssetchgApply(), and SCIPconssetchgMakeGlobal().
◆ conssetchgDelDisabledCons()
|
static |
deletes and releases deactivated constraint from the disabledconss array of the constraint set change data
- Parameters
-
conssetchg constraint set change to apply blkmem block memory set global SCIP settings arraypos position of constraint in disabledconss array
Definition at line 5564 of file cons.c.
References SCIP_ConsSetChg::disabledconss, SCIP_Cons::name, SCIP_ConsSetChg::ndisabledconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), and SCIPsetDebugMsg.
Referenced by SCIPconssetchgApply(), SCIPconssetchgMakeGlobal(), and SCIPconssetchgUndo().
◆ SCIPconssetchgApply()
SCIP_RETCODE SCIPconssetchgApply | ( | SCIP_CONSSETCHG * | conssetchg, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
int | depth, | ||
SCIP_Bool | focusnode | ||
) |
applies constraint set change
- Parameters
-
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 5607 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, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsActivate(), SCIPconsDisable(), SCIPsetDebugMsg, and SCIP_Cons::update.
Referenced by nodeActivate().
◆ SCIPconssetchgUndo()
SCIP_RETCODE SCIPconssetchgUndo | ( | SCIP_CONSSETCHG * | conssetchg, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set, | ||
SCIP_STAT * | stat | ||
) |
undoes constraint set change
- Parameters
-
conssetchg constraint set change to undo blkmem block memory set global SCIP settings stat dynamic problem statistics
Definition at line 5694 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, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsDeactivate(), SCIPconsEnable(), SCIPsetDebugMsg, and SCIP_Cons::update.
Referenced by nodeDeactivate().
◆ SCIPconssetchgMakeGlobal()
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
- Parameters
-
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 5780 of file cons.c.
References conssetchgDelAddedCons(), conssetchgDelDisabledCons(), SCIP_Cons::deleted, SCIP_ConsSetChg::naddedconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsDelete(), SCIPconsIsStickingAtNode(), SCIPconsRelease(), SCIPconssetchgFree(), SCIPprobAddCons(), SCIPsetDebugMsg, and SCIP_Cons::update.
Referenced by treeSwitchPath().
◆ SCIPconsCreate()
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
- Warning
- If a constraint is marked to be checked for feasibility but not to be enforced, a LP or pseudo solution may be declared feasible even if it violates this particular constraint. This constellation should only be used, if no LP or pseudo solution can violate the constraint – e.g. if a local constraint is redundant due to the variable's local bounds.
- Parameters
-
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 5876 of file cons.c.
References BMSallocBlockMemory, BMSduplicateBlockMemoryArray, checkConssArrays, conshdlrAddCons(), conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), FALSE, NLOCKTYPES, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPsetDebugMsg, and TRUE.
Referenced by SCIPconsTransform(), and SCIPcreateCons().
◆ SCIPconsCopy()
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;
- Warning
- If a constraint is marked to be checked for feasibility but not to be enforced, an LP or pseudo solution may be declared feasible even if it violates this particular constraint. This constellation should only be used, if no LP or pseudo solution can violate the constraint – e.g. if a local constraint is redundant due to the variable's local bounds.
- Parameters
-
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 6018 of file cons.c.
References FALSE, NULL, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPgetConsCopy().
◆ SCIPconsParse()
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.
- Warning
- If a constraint is marked to be checked for feasibility but not to be enforced, an LP or pseudo solution may be declared feasible even if it violates this particular constraint. This constellation should only be used, if no LP or pseudo solution can violate the constraint – e.g. if a local constraint is redundant due to the variable's local bounds.
- Parameters
-
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 6074 of file cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPmessagePrintWarning(), SCIPsetDebugMsg, SCIPsetFindConshdlr(), SCIPskipSpace(), and SCIPstrCopySection().
Referenced by SCIPparseCons().
◆ SCIPconsChgName()
SCIP_RETCODE SCIPconsChgName | ( | SCIP_CONS * | cons, |
BMS_BLKMEM * | blkmem, | ||
const char * | name | ||
) |
change name of given constraint
- Parameters
-
cons problem constraint blkmem block memory buffer name new name of constraint
Definition at line 6179 of file cons.c.
References BMSduplicateBlockMemoryArray, BMSfreeBlockMemoryArray, SCIP_Cons::name, NULL, SCIP_ALLOC, and SCIP_OKAY.
Referenced by SCIPchgConsName().
◆ SCIPconsFree()
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
- Parameters
-
cons constraint to free blkmem block memory buffer set global SCIP settings
Definition at line 6199 of file cons.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, checkConssArrays, SCIP_Cons::consdata, conshdlrDelCons(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPsetDebugMsg.
Referenced by SCIPconsRelease().
◆ SCIPconsCapture()
void SCIPconsCapture | ( | SCIP_CONS * | cons | ) |
increases usage counter of constraint
- Parameters
-
cons constraint
Definition at line 6254 of file cons.c.
References SCIP_Cons::name, NULL, SCIP_Cons::nuses, and SCIPdebugMessage.
Referenced by boundchgCaptureData(), conflictstoreAddOrigConflict(), conshdlrAddUpdateCons(), SCIPcaptureCons(), SCIPconflictstoreAddConflict(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPconsCreate(), SCIPconshdlrsStorePropagationStatus(), SCIPconssetchgAddAddedCons(), SCIPconssetchgAddDisabledCons(), SCIPconssetchgMakeGlobal(), SCIPconsTransform(), SCIPprobAddCons(), SCIPreoptAddCons(), SCIPreoptSaveActiveConss(), SCIProwCreate(), SCIPtransformCons(), and SCIPtransformConss().
◆ SCIPconsRelease()
SCIP_RETCODE SCIPconsRelease | ( | SCIP_CONS ** | cons, |
BMS_BLKMEM * | blkmem, | ||
SCIP_SET * | set | ||
) |
decreases usage counter of constraint, and frees memory if necessary
- Parameters
-
cons pointer to constraint blkmem block memory set global SCIP settings
Definition at line 6266 of file cons.c.
References conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconsFree(), SCIPsetDebugMsg, and TRUE.
Referenced by boundchgReleaseData(), cleanActiveConss(), conshdlrProcessUpdates(), conssetchgDelAddedCons(), conssetchgDelDisabledCons(), conssetchgRelease(), delPosConflict(), delPosDualray(), delPosDualsol(), SCIPconflictstoreClear(), SCIPconflictstoreTransform(), SCIPconshdlrsResetPropagationStatus(), SCIPconssetchgMakeGlobal(), SCIPprobDelCons(), SCIPprobTransform(), SCIPreleaseCons(), SCIPreoptReleaseData(), SCIPreoptReset(), SCIProwFree(), and tightenSingleVar().
◆ SCIPconsPrint()
SCIP_RETCODE SCIPconsPrint | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_MESSAGEHDLR * | messagehdlr, | ||
FILE * | file | ||
) |
outputs constraint information to file stream
- Parameters
-
cons constraint to print set global SCIP settings messagehdlr message handler file output file (or NULL for standard output)
Definition at line 6306 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, and SCIPmessageFPrintInfo().
Referenced by SCIPprintCons().
◆ SCIPconsGetVars()
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.
- Note
- The success pointer indicates if all variables were copied into the vars arrray.
- It might be that a constraint handler does not support this functionality, in that case the success pointer is set to FALSE.
- Parameters
-
cons constraint to get variables for 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 6345 of file cons.c.
References SCIP_Cons::conshdlr, FALSE, NULL, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPgetConsVars().
◆ SCIPconsGetNVars()
SCIP_RETCODE SCIPconsGetNVars | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
int * | nvars, | ||
SCIP_Bool * | success | ||
) |
method to collect the number of variables of a constraint
- Note
- The success pointer indicates if the contraint handler was able to return the number of variables
- It might be that a constraint handler does not support this functionality, in that case the success pointer is set to FALSE
- Parameters
-
cons constraint to get number of variables for 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 6381 of file cons.c.
References SCIP_Cons::conshdlr, FALSE, NULL, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by calcNonZeros(), delPosDualray(), delPosDualsol(), saveConsBounddisjuction(), saveConsLinear(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPgetConsNVars(), and SCIPgetDualSolVal().
◆ SCIPconsGetPermsymGraph()
SCIP_RETCODE SCIPconsGetPermsymGraph | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SYM_GRAPH * | graph, | ||
SCIP_Bool * | success | ||
) |
method to collect the permutation symmetry detection graph of a constraint
- Note
- The success pointer indicates whether the constraint handler was able to return the graph.
- If a constraint handler does not support this functionality, the success pointer is set to FALSE.
- Parameters
-
cons constraint to get graph for set global SCIP settings graph symmetry detection graph success pointer to store whether the constraint successfully returned the graph
Definition at line 6416 of file cons.c.
References SCIP_Cons::conshdlr, FALSE, NULL, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPgetConsPermsymGraph().
◆ SCIPconsGetSignedPermsymGraph()
SCIP_RETCODE SCIPconsGetSignedPermsymGraph | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SYM_GRAPH * | graph, | ||
SCIP_Bool * | success | ||
) |
method to collect the signed permutation symmetry detection graph of a constraint
- Note
- The success pointer indicates whether the constraint handler was able to return the graph.
- If a constraint handler does not support this functionality, the success pointer is set to FALSE.
- Parameters
-
cons constraint to get graph for set global SCIP settings graph symmetry detection graph success pointer to store whether the constraint successfully returned the graph
Definition at line 6449 of file cons.c.
References SCIP_Cons::conshdlr, FALSE, NULL, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPgetConsSignedPermsymGraph().
◆ SCIPconsDelete()
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
- Parameters
-
cons constraint to delete blkmem block memory set global SCIP settings stat dynamic problem statistics prob problem data reopt reoptimization data
Definition at line 6479 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, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsDeactivate(), SCIPprobDelCons(), SCIPreoptConsCanBeDeleted(), SCIPsetDebugMsg, TRUE, SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.
Referenced by delPosConflict(), delPosDualray(), delPosDualsol(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPconsAddAge(), SCIPconssetchgMakeGlobal(), SCIPdelCons(), SCIPdelConsLocal(), and SCIPdelConsNode().
◆ SCIPconsTransform()
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
- Parameters
-
origcons original constraint blkmem block memory buffer set global SCIP settings transcons pointer to store the transformed constraint
Definition at line 6539 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, NULL, SCIP_Cons::nupgradelocks, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Cons::removable, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsCreate(), SCIP_Cons::separate, SCIP_Cons::stickingatnode, and SCIP_Cons::transorigcons.
Referenced by SCIPprobTransform(), SCIPtransformCons(), and SCIPtransformConss().
◆ SCIPconsSetInitial()
SCIP_RETCODE SCIPconsSetInitial | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_STAT * | stat, | ||
SCIP_Bool | initial | ||
) |
sets the initial flag of the given constraint
- Parameters
-
cons constraint set global SCIP settings stat dynamic problem statistics initial new value
Definition at line 6589 of file cons.c.
References conshdlrAddInitcons(), conshdlrDelInitcons(), SCIP_Cons::initconsspos, SCIP_Cons::initial, NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, and SCIPconsGetHdlr().
Referenced by SCIPsetConsInitial().
◆ SCIPconsSetSeparated()
SCIP_RETCODE SCIPconsSetSeparated | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_Bool | separate | ||
) |
sets the separate flag of the given constraint
- Parameters
-
cons constraint set global SCIP settings separate new value
Definition at line 6623 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddSepacons(), conshdlrDelSepacons(), SCIP_Cons::enabled, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPsetGetStage(), SCIP_Cons::sepaenabled, and SCIP_Cons::separate.
Referenced by SCIPsetConsSeparated().
◆ SCIPconsSetEnforced()
SCIP_RETCODE SCIPconsSetEnforced | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_Bool | enforce | ||
) |
sets the enforce flag of the given constraint
- Parameters
-
cons constraint set global SCIP settings enforce new value
Definition at line 6658 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddEnfocons(), conshdlrDelEnfocons(), SCIP_Cons::enabled, SCIP_Cons::enforce, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, and SCIPsetGetStage().
Referenced by SCIPsetConsEnforced().
◆ SCIPconsSetChecked()
SCIP_RETCODE SCIPconsSetChecked | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_Bool | check | ||
) |
sets the check flag of the given constraint
- Parameters
-
cons constraint set global SCIP settings check new value
Definition at line 6693 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_Cons::check, SCIP_Cons::conshdlr, conshdlrAddCheckcons(), conshdlrDelCheckcons(), NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, and SCIPconsAddLocks().
Referenced by SCIPsetConsChecked().
◆ SCIPconsSetPropagated()
SCIP_RETCODE SCIPconsSetPropagated | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_Bool | propagate | ||
) |
sets the propagate flag of the given constraint
- Parameters
-
cons constraint set global SCIP settings propagate new value
Definition at line 6741 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddPropcons(), conshdlrDelPropcons(), SCIP_Cons::enabled, NULL, SCIP_Cons::propagate, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, and SCIPsetGetStage().
Referenced by SCIPsetConsPropagated().
◆ SCIPconsSetLocal()
sets the local flag of the given constraint
- Parameters
-
cons constraint local new value
Definition at line 6776 of file cons.c.
References SCIP_Cons::local, NULL, and SCIP_Cons::validdepth.
Referenced by SCIPaddCons(), SCIPaddConsNode(), SCIPprobAddCons(), and SCIPsetConsLocal().
◆ SCIPconsSetModifiable()
sets the modifiable flag of the given constraint
- Parameters
-
cons constraint modifiable new value
Definition at line 6789 of file cons.c.
References SCIP_Cons::modifiable, and NULL.
Referenced by SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), and SCIPsetConsModifiable().
◆ SCIPconsSetDynamic()
sets the dynamic flag of the given constraint
- Parameters
-
cons constraint dynamic new value
Definition at line 6800 of file cons.c.
References SCIP_Cons::dynamic, and NULL.
Referenced by SCIPsetConsDynamic().
◆ SCIPconsSetRemovable()
sets the removable flag of the given constraint
- Parameters
-
cons constraint removable new value
Definition at line 6811 of file cons.c.
References NULL, and SCIP_Cons::removable.
Referenced by SCIPsetConsRemovable().
◆ SCIPconsSetStickingAtNode()
sets the stickingatnode flag of the given constraint
- Parameters
-
cons constraint stickingatnode new value
Definition at line 6822 of file cons.c.
References NULL, and SCIP_Cons::stickingatnode.
Referenced by SCIPsetConsStickingAtNode().
◆ SCIPconsSetNamePointer()
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
- Parameters
-
cons constraint name new name of constraint
Definition at line 6834 of file cons.c.
References SCIP_Cons::name, and NULL.
Referenced by SCIPreaderWrite().
◆ SCIPconsGetTransformed()
gets associated transformed constraint of an original constraint, or NULL if no associated transformed constraint exists
- Parameters
-
cons constraint
Definition at line 6848 of file cons.c.
References SCIP_Cons::original, and SCIP_Cons::transorigcons.
Referenced by SCIPconflictstoreTransform(), SCIPgetDualSolVal(), SCIPgetTransformedCons(), and SCIPgetTransformedConss().
◆ SCIPconsActivate()
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
- Parameters
-
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 6858 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::conshdlr, conshdlrActivateCons(), conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, 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 SCIPconssetchgAddAddedCons(), SCIPconssetchgApply(), SCIPprobAddCons(), and SCIPreoptResetActiveConss().
◆ SCIPconsDeactivate()
SCIP_RETCODE SCIPconsDeactivate | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_STAT * | stat | ||
) |
deactivates constraint or marks constraint to be deactivated in next update
- Parameters
-
cons constraint set global SCIP settings stat dynamic problem statistics
Definition at line 6900 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDeactivateCons(), SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.
Referenced by SCIPconsDelete(), SCIPconssetchgUndo(), SCIPprobDelCons(), and SCIPreoptResetActiveConss().
◆ SCIPconsEnable()
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
- Parameters
-
cons constraint set global SCIP settings stat dynamic problem statistics
Definition at line 6935 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrEnableCons(), SCIP_Cons::enabled, NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, SCIP_Cons::updatedeactivate, SCIP_Cons::updatedisable, and SCIP_Cons::updateenable.
Referenced by SCIPconssetchgUndo(), and SCIPenableCons().
◆ SCIPconsDisable()
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
- Parameters
-
cons constraint set global SCIP settings stat dynamic problem statistics
Definition at line 6968 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDisableCons(), SCIP_Cons::enabled, NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, SCIP_Cons::updatedisable, and SCIP_Cons::updateenable.
Referenced by SCIPconssetchgApply(), SCIPdisableCons(), and SCIPnodeDelCons().
◆ SCIPconsEnableSeparation()
SCIP_RETCODE SCIPconsEnableSeparation | ( | SCIP_CONS * | cons, |
SCIP_SET * | set | ||
) |
enables constraint's separation capabilities or marks them to be enabled in next update
- Parameters
-
cons constraint set global SCIP settings
Definition at line 7002 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrEnableConsSeparation(), FALSE, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIP_Cons::sepaenabled, TRUE, SCIP_Cons::update, SCIP_Cons::updatesepadisable, and SCIP_Cons::updatesepaenable.
Referenced by SCIPenableConsSeparation().
◆ SCIPconsDisableSeparation()
SCIP_RETCODE SCIPconsDisableSeparation | ( | SCIP_CONS * | cons, |
SCIP_SET * | set | ||
) |
disables constraint's separation capabilities or marks them to be disabled in next update
- Parameters
-
cons constraint set global SCIP settings
Definition at line 7032 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDisableConsSeparation(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Cons::sepaenabled, TRUE, SCIP_Cons::update, SCIP_Cons::updatesepadisable, and SCIP_Cons::updatesepaenable.
Referenced by SCIPdisableConsSeparation().
◆ SCIPconsEnablePropagation()
SCIP_RETCODE SCIPconsEnablePropagation | ( | SCIP_CONS * | cons, |
SCIP_SET * | set | ||
) |
enables constraint's propagation capabilities or marks them to be enabled in next update
- Parameters
-
cons constraint set global SCIP settings
Definition at line 7060 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrEnableConsPropagation(), FALSE, NULL, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, TRUE, SCIP_Cons::update, SCIP_Cons::updatepropdisable, and SCIP_Cons::updatepropenable.
Referenced by SCIPenableConsPropagation().
◆ SCIPconsDisablePropagation()
SCIP_RETCODE SCIPconsDisablePropagation | ( | SCIP_CONS * | cons, |
SCIP_SET * | set | ||
) |
disables constraint's propagation capabilities or marks them to be disabled in next update
- Parameters
-
cons constraint set global SCIP settings
Definition at line 7090 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDisableConsPropagation(), FALSE, NULL, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, TRUE, SCIP_Cons::update, SCIP_Cons::updatepropdisable, and SCIP_Cons::updatepropenable.
Referenced by SCIPdisableConsPropagation().
◆ SCIPconsMarkConflict()
void SCIPconsMarkConflict | ( | SCIP_CONS * | cons | ) |
marks the constraint to be a conflict
- Parameters
-
cons constraint
Definition at line 7120 of file cons.c.
References SCIP_Cons::conflict, NULL, and TRUE.
Referenced by createAndAddProofcons(), SCIPaddConflict(), SCIPconflictstoreAddConflict(), SCIPconflictstoreAddDualraycons(), and SCIPconflictstoreAddDualsolcons().
◆ SCIPconsMarkPropagate()
SCIP_RETCODE SCIPconsMarkPropagate | ( | SCIP_CONS * | cons, |
SCIP_SET * | set | ||
) |
marks the constraint to be propagated (update might be delayed)
- Parameters
-
cons constraint set global SCIP settings
Definition at line 7130 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrMarkConsPropagate(), SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, TRUE, SCIP_Cons::update, SCIP_Cons::updatemarkpropagate, and SCIP_Cons::updateunmarkpropagate.
Referenced by SCIPconshdlrsResetPropagationStatus(), and SCIPmarkConsPropagate().
◆ SCIPconsUnmarkPropagate()
SCIP_RETCODE SCIPconsUnmarkPropagate | ( | SCIP_CONS * | cons, |
SCIP_SET * | set | ||
) |
unmarks the constraint to be propagated (update might be delayed)
- Parameters
-
cons constraint set global SCIP settings
Definition at line 7160 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrUnmarkConsPropagate(), SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, TRUE, SCIP_Cons::update, SCIP_Cons::updatemarkpropagate, and SCIP_Cons::updateunmarkpropagate.
Referenced by SCIPconshdlrsResetPropagationStatus(), and SCIPunmarkConsPropagate().
◆ SCIPconsAddAge()
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
- in constraint separation, if no cut was found for this constraint,
- in constraint enforcing, if constraint was feasible, and
- in constraint propagation, if no domain reduction was deduced; if it's age exceeds the constraint age limit, makes constraint obsolete or marks constraint to be made obsolete in next update
- Parameters
-
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 7197 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, NULL, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PRESOLVING, SCIPconsDelete(), SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updateobsolete.
Referenced by SCIPaddConsAge(), and SCIPconsIncAge().
◆ SCIPconsIncAge()
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
- in constraint separation, if no cut was found for this constraint,
- in constraint enforcing, if constraint was feasible, and
- in constraint propagation, if no domain reduction was deduced; if it's age exceeds the constraint age limit, makes constraint obsolete or marks constraint to be made obsolete in next update
- Parameters
-
cons constraint blkmem block memory set global SCIP settings stat dynamic problem statistics prob problem data reopt reoptimization data
Definition at line 7256 of file cons.c.
References SCIP_CALL, SCIP_OKAY, and SCIPconsAddAge().
Referenced by SCIPincConsAge().
◆ SCIPconsResetAge()
SCIP_RETCODE SCIPconsResetAge | ( | SCIP_CONS * | cons, |
SCIP_SET * | set | ||
) |
resets age of constraint to zero; should be called
- in constraint separation, if a cut was found for this constraint,
- in constraint enforcing, if the constraint was violated, and
- in constraint propagation, if a domain reduction was deduced; if it was obsolete, makes constraint useful again or marks constraint to be made useful again in next update
- Parameters
-
cons constraint set global SCIP settings
Definition at line 7277 of file cons.c.
References SCIP_Cons::age, SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrMarkConsUseful(), conshdlrUpdateAgeresetavg(), SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updateobsolete.
Referenced by SCIPprobInitSolve(), and SCIPresetConsAge().
◆ SCIPconsResolvePropagation()
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();
- Note
- it is sufficient to explain the relaxed bound change
- Parameters
-
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 7318 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, SCIP_Conshdlr::nrespropcalls, NULL, 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(), SCIPerrorMessage, SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), and TRUE.
Referenced by conflictResolveBound().
◆ SCIPconsAddLocks()
SCIP_RETCODE SCIPconsAddLocks | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_LOCKTYPE | locktype, | ||
int | nlockspos, | ||
int | nlocksneg | ||
) |
adds given values to lock status of the constraint and updates the locks of the given locktype of the involved variables
- Parameters
-
cons constraint set global SCIP settings locktype type of variable locks nlockspos increase in number of rounding locks for constraint nlocksneg increase in number of rounding locks for constraint's negation
Definition at line 7378 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Cons::nlocksneg, SCIP_Cons::nlockspos, NLOCKTYPES, NULL, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by delPosConflict(), delPosDualray(), delPosDualsol(), SCIPaddConsLocksType(), SCIPconflictstoreAddConflict(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPconsSetChecked(), SCIPprobAddCons(), and SCIPprobDelCons().
◆ SCIPconsCheck()
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
- Parameters
-
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 7424 of file cons.c.
References SCIP_Cons::conshdlr, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPcheckCons(), and SCIPsolCheckOrig().
◆ SCIPconsEnfops()
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
- Parameters
-
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 7462 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, 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, SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPenfopsCons().
◆ SCIPconsEnfolp()
SCIP_RETCODE SCIPconsEnfolp | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_Bool | solinfeasible, | ||
SCIP_RESULT * | result | ||
) |
enforces single constraint for a given LP solution
- Parameters
-
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 7506 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, SCIP_Cons::scip, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPenfolpCons().
◆ SCIPconsEnforelax()
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
- Parameters
-
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 7548 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, SCIP_Cons::scip, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPenforelaxCons().
◆ SCIPconsInitlp()
SCIP_RETCODE SCIPconsInitlp | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_Bool * | infeasible | ||
) |
calls LP initialization method for single constraint
- Parameters
-
cons constraint to initialize set global SCIP settings infeasible pointer to store whether infeasibility was detected while building the LP
Definition at line 7592 of file cons.c.
References SCIP_Cons::conshdlr, NULL, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPinitlpCons().
◆ SCIPconsSepalp()
SCIP_RETCODE SCIPconsSepalp | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_RESULT * | result | ||
) |
calls separation method of single constraint for LP solution
- Parameters
-
cons constraint to separate set global SCIP settings result pointer to store the result of the separation call
Definition at line 7618 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, 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, SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPsepalpCons().
◆ SCIPconsSepasol()
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
- Parameters
-
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 7659 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, 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, SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPsepasolCons().
◆ SCIPconsProp()
SCIP_RETCODE SCIPconsProp | ( | SCIP_CONS * | cons, |
SCIP_SET * | set, | ||
SCIP_PROPTIMING | proptiming, | ||
SCIP_RESULT * | result | ||
) |
calls domain propagation method of single constraint
- Parameters
-
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 7702 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPpropCons().
◆ SCIPconsResprop()
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
- Parameters
-
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 7742 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_SUCCESS, SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPrespropCons().
◆ SCIPconsPresol()
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
- Parameters
-
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 7784 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Conshdlr::name, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_SUCCESS, SCIP_UNBOUNDED, SCIPerrorMessage, and SCIPsetDebugMsg.
Referenced by SCIPpresolCons().
◆ SCIPconsActive()
SCIP_RETCODE SCIPconsActive | ( | SCIP_CONS * | cons, |
SCIP_SET * | set | ||
) |
calls constraint activation notification method of single constraint
- Parameters
-
cons constraint to notify set global SCIP settings
Definition at line 7858 of file cons.c.
References SCIP_Cons::conshdlr, NULL, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPactiveCons().
◆ SCIPconsDeactive()
SCIP_RETCODE SCIPconsDeactive | ( | SCIP_CONS * | cons, |
SCIP_SET * | set | ||
) |
calls constraint deactivation notification method of single constraint
- Parameters
-
cons constraint to notify set global SCIP settings
Definition at line 7882 of file cons.c.
References SCIP_Cons::conshdlr, NULL, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPdeactiveCons().
◆ SCIP_DECL_HASHGETKEY()
SCIP_DECL_HASHGETKEY | ( | SCIPhashGetKeyCons | ) |
gets the key (i.e. the name) of the given constraint
Definition at line 7912 of file cons.c.
References SCIP_Cons::name, and NULL.
◆ ensurePropagationStorage()
|
static |
ensures size of storage for propagable constraints with a minimum size of num
- Parameters
-
set global SCIP settings conshdlr constraint handler num minimum number of entries to store
Definition at line 7927 of file cons.c.
References BMSreallocMemoryArray, NULL, SCIP_ALLOC, SCIP_OKAY, SCIPsetCalcMemGrowSize(), SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropconsssize.
Referenced by SCIPconshdlrsStorePropagationStatus().
◆ SCIPconshdlrsStorePropagationStatus()
SCIP_RETCODE SCIPconshdlrsStorePropagationStatus | ( | SCIP_SET * | set, |
SCIP_CONSHDLR ** | conshdlrs, | ||
int | nconshdlrs | ||
) |
stores all constraints marked for propagation away when probing is started
- Parameters
-
set global SCIP settings conshdlrs all constraint handlers nconshdlrs number of contraint handlers
Definition at line 7951 of file cons.c.
References BMScopyMemoryArray, ensurePropagationStorage(), SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::nmarkedpropconss, NULL, SCIP_Conshdlr::propconss, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIP_Conshdlr::storednmarkedpropconss, SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropdomchgcount.
Referenced by SCIPtreeStartProbing().
◆ SCIPconshdlrsResetPropagationStatus()
SCIP_RETCODE SCIPconshdlrsResetPropagationStatus | ( | SCIP_SET * | set, |
BMS_BLKMEM * | blkmem, | ||
SCIP_CONSHDLR ** | conshdlrs, | ||
int | nconshdlrs | ||
) |
reset all constraints marked for propagation when probing was finished
- Parameters
-
set global SCIP settings blkmem block memory conshdlrs all constraint handlers nconshdlrs number of contraint handlers
Definition at line 7991 of file cons.c.
References conshdlrAreUpdatesDelayed(), SCIP_Cons::enabled, SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::nmarkedpropconss, NULL, SCIP_Conshdlr::nupdateconss, SCIP_Cons::propagate, SCIP_Conshdlr::propconss, SCIP_Cons::propenabled, SCIP_CALL, SCIP_OKAY, SCIPconsMarkPropagate(), SCIPconsRelease(), SCIPconsUnmarkPropagate(), SCIP_Conshdlr::storednmarkedpropconss, SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropdomchgcount.
Referenced by SCIPtreeEndProbing().