|
|
methods for constraints and constraint handlers
- Author
- Tobias Achterberg
-
Timo Berthold
Definition in file cons.c.
#include <assert.h>
#include <string.h>
#include <ctype.h>
#include "scip/def.h"
#include "scip/set.h"
#include "scip/stat.h"
#include "scip/clock.h"
#include "scip/var.h"
#include "scip/prob.h"
#include "scip/tree.h"
#include "scip/sepastore.h"
#include "scip/cons.h"
#include "scip/branch.h"
#include "scip/pub_misc.h"
#include "scip/struct_cons.h"
Go to the source code of this file.
|
| static SCIP_RETCODE | conshdlrEnsureConssMem (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, int num) |
| |
| static SCIP_RETCODE | conshdlrEnsureInitconssMem (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, int num) |
| |
| static SCIP_RETCODE | conshdlrEnsureSepaconssMem (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, int num) |
| |
| static SCIP_RETCODE | conshdlrEnsureEnfoconssMem (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, int num) |
| |
| static SCIP_RETCODE | conshdlrEnsureCheckconssMem (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, int num) |
| |
| static SCIP_RETCODE | conshdlrEnsurePropconssMem (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, int num) |
| |
| static SCIP_RETCODE | conshdlrEnsureUpdateconssMem (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, int num) |
| |
| static SCIP_Bool | conshdlrAreUpdatesDelayed (SCIP_CONSHDLR *conshdlr) |
| |
| static SCIP_Real | conshdlrGetAgeresetavg (SCIP_CONSHDLR *conshdlr) |
| |
| static void | conshdlrUpdateAgeresetavg (SCIP_CONSHDLR *conshdlr, SCIP_Real age) |
| |
| static SCIP_Bool | consExceedsAgelimit (SCIP_CONS *cons, SCIP_SET *set) |
| |
| static SCIP_Bool | consExceedsObsoleteage (SCIP_CONS *cons, SCIP_SET *set) |
| |
| static SCIP_RETCODE | conshdlrMarkConsObsolete (SCIP_CONSHDLR *conshdlr, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrMarkConsUseful (SCIP_CONSHDLR *conshdlr, SCIP_CONS *cons) |
| |
| static void | conshdlrMarkConsPropagate (SCIP_CONSHDLR *conshdlr, SCIP_CONS *cons) |
| |
| static void | conshdlrUnmarkConsPropagate (SCIP_CONSHDLR *conshdlr, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrAddCons (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_CONS *cons) |
| |
| static void | conshdlrDelCons (SCIP_CONSHDLR *conshdlr, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrAddInitcons (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_STAT *stat, SCIP_CONS *cons) |
| |
| static void | conshdlrDelInitcons (SCIP_CONSHDLR *conshdlr, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrAddSepacons (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_CONS *cons) |
| |
| static void | conshdlrDelSepacons (SCIP_CONSHDLR *conshdlr, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrAddEnfocons (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_CONS *cons) |
| |
| static void | conshdlrDelEnfocons (SCIP_CONSHDLR *conshdlr, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrAddCheckcons (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_CONS *cons) |
| |
| static void | conshdlrDelCheckcons (SCIP_CONSHDLR *conshdlr, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrAddPropcons (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_CONS *cons) |
| |
| static void | conshdlrDelPropcons (SCIP_CONSHDLR *conshdlr, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrEnableConsSeparation (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrDisableConsSeparation (SCIP_CONSHDLR *conshdlr, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrEnableConsPropagation (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrDisableConsPropagation (SCIP_CONSHDLR *conshdlr, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrEnableCons (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_STAT *stat, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrDisableCons (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_STAT *stat, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrActivateCons (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_STAT *stat, SCIP_CONS *cons, int depth, SCIP_Bool focusnode) |
| |
| static SCIP_RETCODE | conshdlrDeactivateCons (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_STAT *stat, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conshdlrProcessUpdates (SCIP_CONSHDLR *conshdlr, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat) |
| |
| static void | conshdlrDelayUpdates (SCIP_CONSHDLR *conshdlr) |
| |
| static SCIP_RETCODE | conshdlrForceUpdates (SCIP_CONSHDLR *conshdlr, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat) |
| |
| static SCIP_RETCODE | conshdlrAddUpdateCons (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_CONS *cons) |
| |
| | SCIP_DECL_SORTPTRCOMP (SCIPconshdlrCompSepa) |
| |
| | SCIP_DECL_SORTPTRCOMP (SCIPconshdlrCompEnfo) |
| |
| | SCIP_DECL_SORTPTRCOMP (SCIPconshdlrCompCheck) |
| |
| SCIP_RETCODE | SCIPconshdlrCopyInclude (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_Bool *valid) |
| |
| 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 delaypresol, SCIP_Bool needscons, SCIP_PROPTIMING timingmask, 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_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_CONSHDLRDATA *conshdlrdata) |
| |
| SCIP_RETCODE | SCIPconshdlrFree (SCIP_CONSHDLR **conshdlr, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPconshdlrInit (SCIP_CONSHDLR *conshdlr, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat) |
| |
| SCIP_RETCODE | SCIPconshdlrExit (SCIP_CONSHDLR *conshdlr, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat) |
| |
| SCIP_RETCODE | SCIPconshdlrInitpre (SCIP_CONSHDLR *conshdlr, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat) |
| |
| SCIP_RETCODE | SCIPconshdlrExitpre (SCIP_CONSHDLR *conshdlr, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat) |
| |
| SCIP_RETCODE | SCIPconshdlrInitsol (SCIP_CONSHDLR *conshdlr, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat) |
| |
| SCIP_RETCODE | SCIPconshdlrExitsol (SCIP_CONSHDLR *conshdlr, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_Bool restart) |
| |
| SCIP_RETCODE | SCIPconshdlrInitLP (SCIP_CONSHDLR *conshdlr, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_Bool initkeptconss) |
| |
| 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) |
| |
| 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) |
| |
| 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) |
| |
| 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) |
| |
| 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_RESULT *result) |
| |
| 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) |
| |
| SCIP_RETCODE | SCIPconshdlrPresolve (SCIP_CONSHDLR *conshdlr, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_Bool execdelayed, 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) |
| |
| SCIP_RETCODE | SCIPconshdlrDelVars (SCIP_CONSHDLR *conshdlr, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat) |
| |
| SCIP_RETCODE | SCIPconshdlrLockVars (SCIP_CONSHDLR *conshdlr, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPconshdlrUnlockVars (SCIP_CONSHDLR *conshdlr, SCIP_SET *set) |
| |
| const char * | SCIPconshdlrGetName (SCIP_CONSHDLR *conshdlr) |
| |
| const char * | SCIPconshdlrGetDesc (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_CONSHDLRDATA * | SCIPconshdlrGetData (SCIP_CONSHDLR *conshdlr) |
| |
| void | SCIPconshdlrSetData (SCIP_CONSHDLR *conshdlr, SCIP_CONSHDLRDATA *conshdlrdata) |
| |
| void | SCIPconshdlrSetSepa (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSSEPALP((*conssepalp)), SCIP_DECL_CONSSEPASOL((*conssepasol)), int sepafreq, int sepapriority, SCIP_Bool delaysepa) |
| |
| void | SCIPconshdlrSetProp (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSPROP((*consprop)), int propfreq, SCIP_Bool delayprop, SCIP_PROPTIMING timingmask) |
| |
| void | SCIPconshdlrSetCopy (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSHDLRCOPY((*conshdlrcopy)), SCIP_DECL_CONSCOPY((*conscopy))) |
| |
| void | SCIPconshdlrSetFree (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSFREE((*consfree))) |
| |
| void | SCIPconshdlrSetInit (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSINIT((*consinit))) |
| |
| void | SCIPconshdlrSetExit (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSEXIT((*consexit))) |
| |
| void | SCIPconshdlrSetInitsol (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSINITSOL((*consinitsol))) |
| |
| void | SCIPconshdlrSetExitsol (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSEXITSOL((*consexitsol))) |
| |
| void | SCIPconshdlrSetInitpre (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSINITPRE((*consinitpre))) |
| |
| void | SCIPconshdlrSetExitpre (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSEXITPRE((*consexitpre))) |
| |
| void | SCIPconshdlrSetPresol (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSPRESOL((*conspresol)), int maxprerounds, SCIP_Bool delaypresol) |
| |
| void | SCIPconshdlrSetDelete (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSDELETE((*consdelete))) |
| |
| void | SCIPconshdlrSetTrans (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSTRANS((*constrans))) |
| |
| void | SCIPconshdlrSetInitlp (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSINITLP((*consinitlp))) |
| |
| void | SCIPconshdlrSetResprop (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSRESPROP((*consresprop))) |
| |
| void | SCIPconshdlrSetActive (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSACTIVE((*consactive))) |
| |
| void | SCIPconshdlrSetDeactive (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSDEACTIVE((*consdeactive))) |
| |
| void | SCIPconshdlrSetEnable (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSENABLE((*consenable))) |
| |
| void | SCIPconshdlrSetDisable (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSDISABLE((*consdisable))) |
| |
| void | SCIPconshdlrSetDelvars (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSDELVARS((*consdelvars))) |
| |
| void | SCIPconshdlrSetPrint (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSPRINT((*consprint))) |
| |
| void | SCIPconshdlrSetParse (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSPARSE((*consparse))) |
| |
| void | SCIPconshdlrSetGetVars (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSGETVARS((*consgetvars))) |
| |
| void | SCIPconshdlrSetGetNVars (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSGETNVARS((*consgetnvars))) |
| |
| SCIP_CONS ** | SCIPconshdlrGetConss (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_CONS ** | SCIPconshdlrGetEnfoConss (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_CONS ** | SCIPconshdlrGetCheckConss (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNConss (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNEnfoConss (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNCheckConss (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNActiveConss (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNEnabledConss (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Real | SCIPconshdlrGetSetupTime (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Real | SCIPconshdlrGetPresolTime (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Real | SCIPconshdlrGetSepaTime (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Real | SCIPconshdlrGetEnfoLPTime (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Real | SCIPconshdlrGetEnfoPSTime (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Real | SCIPconshdlrGetPropTime (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Real | SCIPconshdlrGetStrongBranchPropTime (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Real | SCIPconshdlrGetCheckTime (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Real | SCIPconshdlrGetRespropTime (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Longint | SCIPconshdlrGetNSepaCalls (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Longint | SCIPconshdlrGetNEnfoLPCalls (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Longint | SCIPconshdlrGetNEnfoPSCalls (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Longint | SCIPconshdlrGetNPropCalls (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Longint | SCIPconshdlrGetNCheckCalls (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Longint | SCIPconshdlrGetNRespropCalls (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Longint | SCIPconshdlrGetNCutoffs (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Longint | SCIPconshdlrGetNCutsFound (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Longint | SCIPconshdlrGetNCutsApplied (SCIP_CONSHDLR *conshdlr) |
| |
| void | SCIPconshdlrIncNAppliedCuts (SCIP_CONSHDLR *conshdlr) |
| |
| void | SCIPconshdlrIncNCutsFound (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Longint | SCIPconshdlrGetNConssFound (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Longint | SCIPconshdlrGetNDomredsFound (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Longint | SCIPconshdlrGetNChildren (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetMaxNActiveConss (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetStartNActiveConss (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNFixedVars (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNAggrVars (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNChgVarTypes (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNChgBds (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNAddHoles (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNDelConss (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNAddConss (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNUpgdConss (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNChgCoefs (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNChgSides (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetNPresolCalls (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetSepaPriority (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetEnfoPriority (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetCheckPriority (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetSepaFreq (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetPropFreq (SCIP_CONSHDLR *conshdlr) |
| |
| int | SCIPconshdlrGetEagerFreq (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrNeedsCons (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrDoesPresolve (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrIsSeparationDelayed (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrIsPropagationDelayed (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrIsPresolvingDelayed (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrWasLPSeparationDelayed (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrWasSolSeparationDelayed (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrWasPropagationDelayed (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrWasPresolvingDelayed (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrIsInitialized (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrIsClonable (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_PROPTIMING | SCIPconshdlrGetPropTimingmask (SCIP_CONSHDLR *conshdlr) |
| |
| static SCIP_RETCODE | conssetchgCreate (SCIP_CONSSETCHG **conssetchg, BMS_BLKMEM *blkmem) |
| |
| static SCIP_RETCODE | conssetchgRelease (SCIP_CONSSETCHG *conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPconssetchgFree (SCIP_CONSSETCHG **conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set) |
| |
| static SCIP_RETCODE | conssetchgEnsureAddedconssSize (SCIP_CONSSETCHG *conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set, int num) |
| |
| static SCIP_RETCODE | conssetchgEnsureDisabledconssSize (SCIP_CONSSETCHG *conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set, int num) |
| |
| 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) |
| |
| SCIP_RETCODE | SCIPconssetchgAddDisabledCons (SCIP_CONSSETCHG **conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_CONS *cons) |
| |
| static SCIP_RETCODE | conssetchgDelAddedCons (SCIP_CONSSETCHG *conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set, int arraypos) |
| |
| static SCIP_RETCODE | conssetchgDelDisabledCons (SCIP_CONSSETCHG *conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set, int arraypos) |
| |
| SCIP_RETCODE | SCIPconssetchgApply (SCIP_CONSSETCHG *conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, int depth, SCIP_Bool focusnode) |
| |
| SCIP_RETCODE | SCIPconssetchgUndo (SCIP_CONSSETCHG *conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat) |
| |
| SCIP_RETCODE | SCIPconssetchgMakeGlobal (SCIP_CONSSETCHG **conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob) |
| |
| 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) |
| |
| 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 *success) |
| |
| 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) |
| |
| SCIP_RETCODE | SCIPconsChgName (SCIP_CONS *cons, BMS_BLKMEM *blkmem, const char *name) |
| |
| SCIP_RETCODE | SCIPconsFree (SCIP_CONS **cons, BMS_BLKMEM *blkmem, SCIP_SET *set) |
| |
| void | SCIPconsCapture (SCIP_CONS *cons) |
| |
| SCIP_RETCODE | SCIPconsRelease (SCIP_CONS **cons, BMS_BLKMEM *blkmem, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPconsPrint (SCIP_CONS *cons, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, FILE *file) |
| |
| SCIP_RETCODE | SCIPconsGetVars (SCIP_CONS *cons, SCIP_SET *set, SCIP_VAR **vars, int varssize, SCIP_Bool *success) |
| |
| SCIP_RETCODE | SCIPconsGetNVars (SCIP_CONS *cons, SCIP_SET *set, int *nvars, SCIP_Bool *success) |
| |
| SCIP_RETCODE | SCIPconsDelete (SCIP_CONS *cons, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob) |
| |
| SCIP_RETCODE | SCIPconsTransform (SCIP_CONS *origcons, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_CONS **transcons) |
| |
| SCIP_RETCODE | SCIPconsSetInitial (SCIP_CONS *cons, SCIP_SET *set, SCIP_STAT *stat, SCIP_Bool initial) |
| |
| SCIP_RETCODE | SCIPconsSetSeparated (SCIP_CONS *cons, SCIP_SET *set, SCIP_Bool separate) |
| |
| SCIP_RETCODE | SCIPconsSetEnforced (SCIP_CONS *cons, SCIP_SET *set, SCIP_Bool enforce) |
| |
| SCIP_RETCODE | SCIPconsSetChecked (SCIP_CONS *cons, SCIP_SET *set, SCIP_Bool check) |
| |
| SCIP_RETCODE | SCIPconsSetPropagated (SCIP_CONS *cons, SCIP_SET *set, SCIP_Bool propagate) |
| |
| void | SCIPconsSetLocal (SCIP_CONS *cons, SCIP_Bool local) |
| |
| void | SCIPconsSetModifiable (SCIP_CONS *cons, SCIP_Bool modifiable) |
| |
| void | SCIPconsSetDynamic (SCIP_CONS *cons, SCIP_Bool dynamic) |
| |
| void | SCIPconsSetRemovable (SCIP_CONS *cons, SCIP_Bool removable) |
| |
| void | SCIPconsSetStickingAtNode (SCIP_CONS *cons, SCIP_Bool stickingatnode) |
| |
| void | SCIPconsSetNamePointer (SCIP_CONS *cons, const char *name) |
| |
| SCIP_CONS * | SCIPconsGetTransformed (SCIP_CONS *cons) |
| |
| SCIP_RETCODE | SCIPconsActivate (SCIP_CONS *cons, SCIP_SET *set, SCIP_STAT *stat, int depth, SCIP_Bool focusnode) |
| |
| SCIP_RETCODE | SCIPconsDeactivate (SCIP_CONS *cons, SCIP_SET *set, SCIP_STAT *stat) |
| |
| SCIP_RETCODE | SCIPconsEnable (SCIP_CONS *cons, SCIP_SET *set, SCIP_STAT *stat) |
| |
| SCIP_RETCODE | SCIPconsDisable (SCIP_CONS *cons, SCIP_SET *set, SCIP_STAT *stat) |
| |
| SCIP_RETCODE | SCIPconsEnableSeparation (SCIP_CONS *cons, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPconsDisableSeparation (SCIP_CONS *cons, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPconsEnablePropagation (SCIP_CONS *cons, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPconsDisablePropagation (SCIP_CONS *cons, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPconsMarkPropagate (SCIP_CONS *cons, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPconsUnmarkPropagate (SCIP_CONS *cons, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPconsAddAge (SCIP_CONS *cons, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_Real deltaage) |
| |
| SCIP_RETCODE | SCIPconsIncAge (SCIP_CONS *cons, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob) |
| |
| SCIP_RETCODE | SCIPconsResetAge (SCIP_CONS *cons, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPconsPushProp (SCIP_CONS *cons) |
| |
| SCIP_CONS * | SCIPconshdlrFrontProp (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_RETCODE | SCIPconshdlrPopProp (SCIP_CONSHDLR *conshdlr, BMS_BLKMEM *blkmem, SCIP_SET *set) |
| |
| 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) |
| |
| SCIP_RETCODE | SCIPconsAddLocks (SCIP_CONS *cons, SCIP_SET *set, int nlockspos, int nlocksneg) |
| |
| SCIP_RETCODE | SCIPconsCheck (SCIP_CONS *cons, SCIP_SET *set, SCIP_SOL *sol, SCIP_Bool checkintegrality, SCIP_Bool checklprows, SCIP_Bool printreason, SCIP_RESULT *result) |
| |
| SCIP_RETCODE | SCIPconsEnfops (SCIP_CONS *cons, SCIP_SET *set, SCIP_Bool solinfeasible, SCIP_Bool objinfeasible, SCIP_RESULT *result) |
| |
| SCIP_RETCODE | SCIPconsEnfolp (SCIP_CONS *cons, SCIP_SET *set, SCIP_Bool solinfeasible, SCIP_RESULT *result) |
| |
| SCIP_RETCODE | SCIPconsInitlp (SCIP_CONS *cons, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPconsSepalp (SCIP_CONS *cons, SCIP_SET *set, SCIP_RESULT *result) |
| |
| SCIP_RETCODE | SCIPconsSepasol (SCIP_CONS *cons, SCIP_SET *set, SCIP_SOL *sol, SCIP_RESULT *result) |
| |
| SCIP_RETCODE | SCIPconsProp (SCIP_CONS *cons, SCIP_SET *set, SCIP_PROPTIMING proptiming, SCIP_RESULT *result) |
| |
| 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) |
| |
| SCIP_RETCODE | SCIPconsPresol (SCIP_CONS *cons, SCIP_SET *set, int nrounds, 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) |
| |
| SCIP_RETCODE | SCIPconsActive (SCIP_CONS *cons, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPconsDeactive (SCIP_CONS *cons, SCIP_SET *set) |
| |
| | SCIP_DECL_HASHGETKEY (SCIPhashGetKeyCons) |
| |
| static SCIP_RETCODE | ensurePropagationStorage (SCIP_SET *set, SCIP_CONSHDLR *conshdlr, int num) |
| |
| SCIP_RETCODE | SCIPconshdlrsStorePropagationStatus (SCIP_SET *set, SCIP_CONSHDLR **conshdlrs, int nconshdlrs) |
| |
| SCIP_RETCODE | SCIPconshdlrsResetPropagationStatus (SCIP_SET *set, BMS_BLKMEM *blkmem, SCIP_CONSHDLR **conshdlrs, int nconshdlrs) |
| |
| const char * | SCIPconsGetName (SCIP_CONS *cons) |
| |
| int | SCIPconsGetPos (SCIP_CONS *cons) |
| |
| SCIP_CONSHDLR * | SCIPconsGetHdlr (SCIP_CONS *cons) |
| |
| SCIP_CONSDATA * | SCIPconsGetData (SCIP_CONS *cons) |
| |
| int | SCIPconsGetNUses (SCIP_CONS *cons) |
| |
| int | SCIPconsGetActiveDepth (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsActive (SCIP_CONS *cons) |
| |
| int | SCIPconsGetValidDepth (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsEnabled (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsSeparationEnabled (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsPropagationEnabled (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsDeleted (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsObsolete (SCIP_CONS *cons) |
| |
| SCIP_Real | SCIPconsGetAge (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsInitial (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsSeparated (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsEnforced (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsChecked (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsMarkedPropagate (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsPropagated (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsGlobal (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsLocal (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsModifiable (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsDynamic (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsRemovable (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsStickingAtNode (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsInProb (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsOriginal (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsTransformed (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsLockedPos (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsLockedNeg (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsLocked (SCIP_CONS *cons) |
| |
| int | SCIPconsGetNLocksPos (SCIP_CONS *cons) |
| |
| int | SCIPconsGetNLocksNeg (SCIP_CONS *cons) |
| |
| SCIP_Bool | SCIPconsIsAdded (SCIP_CONS *cons) |
| |
| void | SCIPconsAddUpgradeLocks (SCIP_CONS *cons, int nlocks) |
| |
| int | SCIPconsGetNUpgradeLocks (SCIP_CONS *cons) |
| |
| #define AGERESETAVG_INIT 1000.0 |
| #define AGERESETAVG_MIN 100.0 |
| #define AGERESETAVG_DECAY 0.0005 |
| #define AGERESETAVG_AGELIMIT 2.0 |
in dynamic setting, a constraint is deleted if its age exceeds the average reset age by this factor
Definition at line 48 of file cons.c.
Referenced by consExceedsAgelimit().
| #define AGERESETAVG_OBSOLETEAGE 1.8 |
in dynamic setting, a constraint is marked obsolete if its age exceeds the average reset age by this factor
Definition at line 50 of file cons.c.
Referenced by consExceedsObsoleteage().
| #define checkConssArrays |
( |
|
conshdlr | ) |
|
Definition at line 237 of file cons.c.
Referenced by conshdlrActivateCons(), conshdlrAddCheckcons(), conshdlrAddEnfocons(), conshdlrAddInitcons(), conshdlrAddPropcons(), conshdlrAddSepacons(), conshdlrDeactivateCons(), conshdlrDelCheckcons(), conshdlrDelEnfocons(), conshdlrDelInitcons(), conshdlrDelPropcons(), conshdlrDelSepacons(), conshdlrDisableCons(), conshdlrEnableCons(), conshdlrMarkConsObsolete(), conshdlrMarkConsPropagate(), conshdlrMarkConsUseful(), conshdlrUnmarkConsPropagate(), SCIPconsCreate(), and SCIPconsFree().
returns whether the constraint updates of the constraint handler are currently delayed
- Parameters
-
| conshdlr | constraint handler |
Definition at line 312 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().
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 377 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::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().
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 505 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().
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 610 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().
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 684 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().
adds constraint to the conss array of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 756 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().
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 802 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().
adds constraint to the sepaconss array of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 873 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().
deletes constraint from the sepaconss array of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 917 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().
adds constraint to the enfoconss array of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 963 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::nenfoconss, NULL, SCIP_Conshdlr::nusefulenfoconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by conshdlrEnableCons(), and SCIPconsSetEnforced().
deletes constraint from the enfoconss array of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 1018 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().
adds constraint to the checkconss array of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 1070 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().
deletes constraint from the checkconss array of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| cons | constraint to add |
Definition at line 1114 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().
adds constraint to the propconss array of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 1153 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().
deletes constraint from the propconss array of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 1209 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().
enables separation of constraint
- Parameters
-
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 1267 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, SCIPdebugMessage, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, SCIP_Cons::separate, and TRUE.
Referenced by conshdlrProcessUpdates(), and SCIPconsEnableSeparation().
disables separation of constraint
- Parameters
-
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 1298 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().
enables propagation of constraint
- Parameters
-
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 1327 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, SCIPdebugMessage, and TRUE.
Referenced by conshdlrProcessUpdates(), and SCIPconsEnablePropagation().
disables propagation of constraint
- Parameters
-
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 1358 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().
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 1387 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_Stat::nenabledconss, SCIP_Conshdlr::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, SCIPdebugMessage, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, SCIP_Cons::separate, and TRUE.
Referenced by conshdlrActivateCons(), conshdlrProcessUpdates(), and SCIPconsEnable().
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 1449 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_Stat::nenabledconss, SCIP_Conshdlr::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, SCIPdebugMessage, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, and SCIP_Cons::separate.
Referenced by conshdlrDeactivateCons(), conshdlrProcessUpdates(), and SCIPconsDisable().
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 1515 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_Stat::nactiveconss, SCIP_Conshdlr::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, SCIPdebugMessage, SCIP_Cons::sepaconsspos, and TRUE.
Referenced by conshdlrProcessUpdates(), and SCIPconsActivate().
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 1590 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_Stat::nactiveconss, SCIP_Conshdlr::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, SCIPdebugMessage, and SCIP_Cons::sepaconsspos.
Referenced by conshdlrProcessUpdates(), and SCIPconsDeactivate().
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 1672 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(), SCIPdebugMessage, 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().
marks constraint handler to delay all constraint updates until the next conshdlrProcessUpdates() call
- Parameters
-
| conshdlr | constraint handler |
Definition at line 1866 of file cons.c.
References SCIP_Conshdlr::delayupdatecount, SCIP_Conshdlr::name, NULL, and SCIPdebugMessage.
Referenced by SCIPconshdlrCheck(), SCIPconshdlrDelVars(), SCIPconshdlrEnforceLPSol(), SCIPconshdlrEnforcePseudoSol(), SCIPconshdlrExit(), SCIPconshdlrExitpre(), SCIPconshdlrExitsol(), SCIPconshdlrInit(), SCIPconshdlrInitLP(), SCIPconshdlrInitpre(), SCIPconshdlrInitsol(), SCIPconshdlrPresolve(), SCIPconshdlrPropagate(), SCIPconshdlrSeparateLP(), and SCIPconshdlrSeparateSol().
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 1882 of file cons.c.
References conshdlrAreUpdatesDelayed(), conshdlrProcessUpdates(), SCIP_Conshdlr::delayupdatecount, SCIP_Conshdlr::name, NULL, SCIP_Conshdlr::nupdateconss, SCIP_CALL, SCIP_OKAY, and SCIPdebugMessage.
Referenced by SCIPconshdlrCheck(), SCIPconshdlrDelVars(), SCIPconshdlrEnforceLPSol(), SCIPconshdlrEnforcePseudoSol(), SCIPconshdlrExit(), SCIPconshdlrExitpre(), SCIPconshdlrExitsol(), SCIPconshdlrInit(), SCIPconshdlrInitLP(), SCIPconshdlrInitpre(), SCIPconshdlrInitsol(), SCIPconshdlrPresolve(), SCIPconshdlrPropagate(), SCIPconshdlrSeparateLP(), and SCIPconshdlrSeparateSol().
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 1908 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(), SCIPdebugMessage, 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().
| SCIP_DECL_SORTPTRCOMP |
( |
SCIPconshdlrCompSepa |
| ) |
|
compares two constraint handlers w. r. to their separation priority
Definition at line 1939 of file cons.c.
| SCIP_DECL_SORTPTRCOMP |
( |
SCIPconshdlrCompEnfo |
| ) |
|
compares two constraint handlers w. r. to their enforcing priority
Definition at line 1945 of file cons.c.
| SCIP_DECL_SORTPTRCOMP |
( |
SCIPconshdlrCompCheck |
| ) |
|
compares two constraint handlers w. r. to their feasibility check priority
Definition at line 1951 of file cons.c.
| 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 |
delaypresol, |
|
|
SCIP_Bool |
needscons, |
|
|
SCIP_PROPTIMING |
timingmask, |
|
|
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_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_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? |
| delaypresol | should presolving method be delayed, if other presolvers found reductions? |
| needscons | should the constraint handler be skipped, if no constraints are available? |
| timingmask | positions in the node solving loop where propagation method of constraint handlers should be executed |
| conshdlrdata | constraint handler data |
Definition at line 1978 of file cons.c.
References AGERESETAVG_INIT, BMSallocMemory, BMSduplicateMemoryArray, FALSE, NULL, paramname, SCIP_ALLOC, SCIP_CALL, SCIP_CLOCKTYPE_DEFAULT, SCIP_DIDNOTRUN, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_PROPTIMING_AFTERLPLOOP, SCIP_PROPTIMING_ALWAYS, SCIP_PROPTIMING_BEFORELP, SCIP_PROPTIMING_DURINGLPLOOP, SCIPclockCreate(), SCIPqueueCreate(), SCIPsetAddBoolParam(), SCIPsetAddIntParam(), SCIPsnprintf(), and TRUE.
Referenced by SCIPincludeConshdlr(), and SCIPincludeConshdlrBasic().
calls initialization method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 2282 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, 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::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::nfixedvars, SCIP_Conshdlr::npresolcalls, SCIP_Conshdlr::npropcalls, SCIP_Conshdlr::nrespropcalls, SCIP_Conshdlr::nsepacalls, NULL, SCIP_Conshdlr::nupgdconss, SCIP_Conshdlr::presoltime, SCIP_Conshdlr::presolwasdelayed, 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.
Referenced by SCIPsetInitPlugins().
calls exit method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 2392 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, FALSE, SCIP_Conshdlr::initialized, SCIP_Conshdlr::name, SCIP_Conshdlr::nconss, NULL, SCIP_Conshdlr::pendingconss, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrPopProp(), SCIPerrorMessage, SCIPqueueIsEmpty(), and SCIP_Conshdlr::setuptime.
Referenced by SCIPsetExitPlugins().
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 2440 of file cons.c.
References SCIP_Cons::addarraypos, conshdlrAddInitcons(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Cons::deleted, FALSE, SCIP_Conshdlr::initconss, SCIP_Cons::initconsspos, SCIP_Cons::initial, SCIP_Conshdlr::lastenfolpdomchgcount, SCIP_Conshdlr::lastenfolplpcount, SCIP_Conshdlr::lastenfolpnode, SCIP_Conshdlr::lastenfolpresult, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::lastenfopsresult, SCIP_Conshdlr::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::presolwasdelayed, SCIP_Conshdlr::propwasdelayed, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIP_Conshdlr::setuptime, and SCIP_Conshdlr::startnactiveconss.
Referenced by SCIPsetInitprePlugins().
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 2539 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::maxnactiveconss, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::nconss, NULL, SCIP_Conshdlr::pendingconss, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrPopProp(), SCIPqueueIsEmpty(), SCIP_Conshdlr::setuptime, and SCIP_Conshdlr::startnactiveconss.
Referenced by SCIPsetExitprePlugins().
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 2585 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.
Referenced by SCIPsetInitsolPlugins().
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 |
Definition at line 2662 of file cons.c.
References BMSfreeMemoryArrayNull, conshdlrAddInitcons(), conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::initconss, SCIP_Cons::initconsspos, SCIP_Conshdlr::initconsssize, SCIP_Conshdlr::name, SCIP_Conshdlr::ninitconss, SCIP_Conshdlr::ninitconsskept, SCIP_Stat::nnodes, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconsGetActiveDepth(), SCIPconsIsActive(), SCIPdebugMessage, SCIPtreeGetCurrentDepth(), SCIPtreeProbing(), and SCIP_Conshdlr::sepatime.
Referenced by SCIPinitConssLP().
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 2765 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(), SCIPdebugMessage, SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIP_Conshdlr::sepaconss, SCIP_Conshdlr::sepafreq, SCIP_Conshdlr::sepalpwasdelayed, SCIP_Conshdlr::sepatime, and TRUE.
Referenced by separationRoundLP().
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 2922 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(), SCIPdebugMessage, SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIP_Conshdlr::sepaconss, SCIP_Conshdlr::sepafreq, SCIP_Conshdlr::sepasolwasdelayed, SCIP_Conshdlr::sepatime, and TRUE.
Referenced by separationRoundSol().
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 3051 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_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPclockStart(), SCIPclockStop(), SCIPdebugMessage, SCIPerrorMessage, SCIPsepastoreGetNCuts(), and TRUE.
Referenced by enforceConstraints().
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 3231 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(), SCIPdebugMessage, SCIPerrorMessage, and TRUE.
Referenced by enforceConstraints().
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 | have current LP rows 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 3427 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(), SCIPdebugMessage, and SCIPerrorMessage.
Referenced by checkSolOrig(), and SCIPsolCheck().
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 3492 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_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPclockStart(), SCIPclockStop(), SCIPdebugMessage, SCIPerrorMessage, and TRUE.
Referenced by propagationRound().
| SCIP_RETCODE SCIPconshdlrPresolve |
( |
SCIP_CONSHDLR * |
conshdlr, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_STAT * |
stat, |
|
|
SCIP_Bool |
execdelayed, |
|
|
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 |
| execdelayed | execute presolving method even if it is marked to be delayed |
| 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 3659 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::delaypresol, 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::presolwasdelayed, SCIP_CALL, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_SUCCESS, SCIP_UNBOUNDED, SCIPclockStart(), SCIPclockStop(), SCIPdebugMessage, and SCIPerrorMessage.
Referenced by presolveRound().
gets name of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 3871 of file cons.c.
References SCIP_Conshdlr::name, and NULL.
Referenced by addAltLPConstraint(), addAltLPRow(), checkBounddisjunction(), checkConsnames(), checkFeasSubtree(), checkKnapsack(), checkLogicor(), checkVarbound(), computeAndConstraintInfos(), consdataCollectLinkingCons(), consdataEnsureAddLinConsSize(), copyConsPseudoboolean(), createNAryBranch(), deleteAltLPConstraint(), enforceConstraints(), enforceCurrentSol(), enforceIndicators(), enforcePseudo(), enforceSOS1(), enforceSOS2(), extractLinearValues(), initAlternativeLP(), initMatrix(), paramsetSetPresolvingDefault(), paramsetSetPresolvingFast(), paramsetSetPresolvingOff(), paramsetSetSeparatingAggressive(), paramsetSetSeparatingDefault(), paramsetSetSeparatingOff(), performVarDeletions(), presolveRound(), printConstraintStatistics(), printConstraintTimingStatistics(), printDualSol(), printPresolverStatistics(), printRangeSection(), processBinvarFixings(), processFixings(), processIntegerBoundChg(), processWatchedVars(), propagationRound(), readIndicators(), registerBranchingCandidates(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDISABLE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), scip::ObjConshdlr::SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERWRITE(), SCIPaddCoefKnapsack(), SCIPaddCoefLinear(), SCIPaddCoefLogicor(), SCIPaddCoefPseudoboolean(), SCIPaddCoefSetppc(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddLinearConsIndicator(), SCIPaddRowIndicator(), SCIPaddTermPseudoboolean(), SCIPaddVarIndicator(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarSOS1(), SCIPappendVarSOS2(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgCapacityKnapsack(), SCIPchgLhsLinear(), SCIPchgLhsPseudoboolean(), SCIPchgRhsLinear(), SCIPchgRhsPseudoboolean(), SCIPconshdlrCopyInclude(), SCIPcopyConss(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsSuperindicator(), SCIPgetActivityLinear(), SCIPgetAndDatasPseudoboolean(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCapacityKnapsack(), SCIPgetCoefLinearAbspower(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasKnapsack(), SCIPgetDualfarkasLinear(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasSetppc(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolKnapsack(), SCIPgetDualsolLinear(), SCIPgetDualsolLogicor(), SCIPgetDualsolSetppc(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExponentAbspower(), SCIPgetFeasibilityLinear(), SCIPgetHmaxCumulative(), SCIPgetHminCumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntvarLinking(), SCIPgetLhsAbspower(), SCIPgetLhsLinear(), SCIPgetLhsPseudoboolean(), SCIPgetLhsVarbound(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinearVarAbspower(), SCIPgetNAndsPseudoboolean(), SCIPgetNBinvarsLinking(), SCIPgetNFixedonesSetppc(), SCIPgetNFixedzerosSetppc(), SCIPgetNLinVarsWithoutAndPseudoboolean(), SCIPgetNlRowAbspower(), SCIPgetNonlinearVarAbspower(), SCIPgetNVarsAnd(), SCIPgetNVarsBounddisjunction(), SCIPgetNVarsCumulative(), SCIPgetNVarsKnapsack(), SCIPgetNVarsLinear(), SCIPgetNVarsLogicor(), SCIPgetNVarsOr(), SCIPgetNVarsSetppc(), SCIPgetNVarsSOS1(), SCIPgetNVarsSOS2(), SCIPgetNVarsXor(), SCIPgetOffsetAbspower(), SCIPgetResultantAnd(), SCIPgetResultantOr(), SCIPgetRhsAbspower(), SCIPgetRhsLinear(), SCIPgetRhsPseudoboolean(), SCIPgetRhsVarbound(), SCIPgetRhsXor(), SCIPgetRowKnapsack(), SCIPgetRowLinear(), SCIPgetRowLogicor(), SCIPgetRowSetppc(), SCIPgetRowVarbound(), SCIPgetSlackConsSuperindicator(), SCIPgetSlackVarIndicator(), SCIPgetTypeSetppc(), SCIPgetValsLinear(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCumulative(), SCIPgetVarsKnapsack(), SCIPgetVarsLinear(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSetppc(), SCIPgetVarsSOS1(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetViolationAbspower(), SCIPgetWeightsKnapsack(), SCIPgetWeightsSOS1(), SCIPgetWeightsSOS2(), SCIPincludeDialogDefaultFix(), SCIPincludeDialogDefaultSet(), SCIPisAndConsSorted(), SCIPmakeIndicatorFeasible(), SCIPmakeIndicatorsFeasible(), SCIPpresolve(), SCIPprintDualSol(), SCIPreaderWrite(), SCIPreadProb(), SCIPsetBinaryVarIndicator(), SCIPsetConshdlrPresol(), SCIPsetConshdlrProp(), SCIPsetConshdlrSepa(), SCIPsetCopyPlugins(), SCIPsetFindConshdlr(), SCIPsetHmaxCumulative(), SCIPsetHminCumulative(), SCIPsetLinearConsIndicator(), SCIPsetReinsertConshdlrSepaPrio(), SCIPsolCheck(), SCIPsortAndCons(), SCIPtransformMinUC(), SCIPtransformProb(), SCIPupgradeConsLinear(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), separateCons(), separationRoundLP(), separationRoundSol(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), writeFzn(), writeOpbConstraints(), and writeOpbObjective().
gets user data of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 3891 of file cons.c.
References SCIP_Conshdlr::conshdlrdata, and NULL.
Referenced by addAltLPConstraint(), addAltLPRow(), addCoef(), addCoefTerm(), addLinearCoef(), addLinearizationCuts(), addQuadVarTerm(), addRelaxation(), applyAlternativeBoundsFixing(), catchLinearVarEvents(), checkAndConss(), checkCurvature(), checkFixedVariables(), checkOrigPbCons(), checkOverloadViaThetaTree(), chgLinearCoefPos(), computeEffectiveHorizon(), computeViolation(), computeViolations(), consdataCreate(), consdataDeletePos(), consdataEnsureAddLinConsSize(), consdataPrint(), coretimesUpdateLb(), coretimesUpdateUb(), createAndAddAndCons(), createAndAddLinearCons(), createConsSetppc(), createCoreProfile(), createNlRow(), delCoefPos(), deleteAltLPConstraint(), deleteRedundantVars(), delLinearCoefPos(), delQuadVarTermPos(), detectRedundantConstraints(), detectRedundantVars(), dropLinearVarEvents(), enforceCuts(), enforceIndicators(), enforceSOS1(), findCumulativeConss(), findPrecedenceConss(), generateCut(), generateLinearizationCut(), generateSecantCut(), generateSparseCut(), getLinVarsAndAndRess(), handleNewVariableSOS1(), handleNewVariableSOS2(), inferboundsEdgeFinding(), initAlternativeLP(), preprocessConstraintPairs(), presolveConsEst(), presolveConsLct(), presolveFindDuplicates(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), propagateBounds(), propagateBoundsCons(), propagateConstraintSides(), propagateLbTTEF(), propagateTimetable(), propagateTTEF(), propagateUbTTEF(), propagateVarbounds(), proposeFeasibleSolution(), reformulate(), registerBranchingCandidates(), removeConstraintsDueToNegCliques(), removeFixedNonlinearVariables(), removeFixedVariables(), removeIrrelevantJobs(), replaceQuadVarTermPos(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELVARS(), SCIP_DECL_CONSDISABLE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PARAMCHGD(), SCIPaddLinearConsIndicator(), SCIPaddRowIndicator(), SCIPcheckCurvatureNonlinear(), SCIPcreateConsAnd(), SCIPcreateConsCumulative(), SCIPcreateConsIndicator(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsKnapsack(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsLogicor(), SCIPcreateConsOr(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsQuadratic(), SCIPcreateConsQuadratic2(), SCIPcreateConsSOC(), SCIPcreateConsSuperindicator(), SCIPcreateConsVarbound(), SCIPexistsConsLinking(), SCIPfindObjConshdlr(), SCIPgetBinvarsLinking(), SCIPgetConsLinking(), SCIPgetCountedSparseSols(), SCIPgetCurvatureNonlinear(), SCIPgetExprgraphNonlinear(), SCIPgetExprtreeCurvaturesNonlinear(), SCIPgetNCountedFeasSubtrees(), SCIPgetNCountedSols(), SCIPgetNCountedSolsstr(), SCIPgetObjConshdlr(), SCIPincludeLinconsUpgrade(), SCIPincludeNonlinconsUpgrade(), SCIPincludeQuadconsUpgrade(), SCIPpropCumulativeCondition(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPsetLinearConsIndicator(), SCIPsetSolveCumulative(), SCIPsolveCumulative(), SCIPupgradeConsLinear(), separateIISRounding(), separateIndicators(), separatePoint(), setSetppcType(), splitOffLinearPart(), tightenWeights(), tightenWeightsLift(), upgradeLinearSuperindicator(), and upgradeSuperindicator().
sets both the propagation callback and the propagation frequency of the constraint handler
- Parameters
-
| conshdlr | constraint handler |
| propfreq | frequency for propagating domains; zero means only preprocessing propagation |
| delayprop | should propagation method be delayed, if other propagators found reductions? |
| timingmask | positions in the node solving loop where propagators should be executed |
Definition at line 3933 of file cons.c.
References SCIP_Conshdlr::delayprop, NULL, SCIP_Conshdlr::propfreq, and SCIP_Conshdlr::timingmask.
Referenced by SCIPsetConshdlrProp().
sets destructor method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 3967 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrFree().
sets initialization method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 3978 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrInit().
sets deinitialization method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 3989 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrExit().
sets solving process initialization method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4000 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrInitsol().
sets solving process deinitialization method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4011 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrExitsol().
sets preprocessing initialization method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4022 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrInitpre().
sets preprocessing deinitialization method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4033 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrExitpre().
sets method of constraint handler to free specific constraint data
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4059 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrDelete().
sets method of constraint handler to transform constraint data into data belonging to the transformed problem
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4070 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrTrans().
sets method of constraint handler to initialize LP with relaxations of "initial" constraints
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4081 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrInitlp().
sets propagation conflict resolving method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4092 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrResprop().
sets activation notification method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4103 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrActive().
sets deactivation notification method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4114 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrDeactive().
sets enabling notification method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4125 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrEnable().
sets disabling notification method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4136 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrDisable().
sets constraint display method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4158 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrPrint().
sets constraint parsing method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4169 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrParse().
sets constraint variable getter method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4180 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrGetVars().
sets constraint variable number getter method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4191 of file cons.c.
References NULL.
Referenced by SCIPsetConshdlrGetNVars().
gets array with constraints of constraint handler; the first SCIPconshdlrGetNActiveConss() entries are the active constraints, the last SCIPconshdlrGetNConss() - SCIPconshdlrGetNActiveConss() constraints are deactivated
- Note
- A constraint is active if it is global and was not removed or it was added locally (in that case the local flag is TRUE) and the current node belongs to the corresponding sub tree.
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4207 of file cons.c.
References SCIP_Conshdlr::conss, and NULL.
Referenced by addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addSetppcConstraints(), addVarboundConstraints(), calcNonZeros(), checkBounddisjunction(), checkFeasSubtree(), checkKnapsack(), checkLogicor(), checkVarbound(), computeAndConstraintInfos(), computeRanks(), createCoveringProblem(), createSubSCIP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPcopyConss(), SCIPmakeIndicatorsFeasible(), SCIPpermuteProb(), SCIPreaderWrite(), SCIPwriteLp(), writeOpbConstraints(), and writeOpbObjective().
gets total number of existing transformed constraints of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4237 of file cons.c.
References SCIP_Conshdlr::nconss, and NULL.
Referenced by computeAndConstraintInfos(), computeRanks(), createSubSCIP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPmakeIndicatorsFeasible(), SCIPpermuteProb(), SCIPreaderWrite(), SCIPwriteLp(), writeOpbConstraints(), and writeOpbObjective().
gets number of active constraints of constraint handler
- Note
- A constraint is active if it is global and was not removed or it was added locally (in that case the local flag is TRUE) and the current node belongs to the corresponding sub tree.
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4271 of file cons.c.
References SCIP_Conshdlr::nactiveconss, and NULL.
Referenced by addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addSetppcConstraints(), addVarboundConstraints(), calcNonZeros(), checkBounddisjunction(), checkKnapsack(), checkLogicor(), checkVarbound(), createCoveringProblem(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIPapplyUndercover(), SCIPcopyConss(), SCIPpresolve(), and SCIPtransformProb().
should separation method be delayed, if other separators found cuts?
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4731 of file cons.c.
References SCIP_Conshdlr::delaysepa, and NULL.
should propagation method be delayed, if other propagators found reductions?
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4741 of file cons.c.
References SCIP_Conshdlr::delayprop, and NULL.
should presolving method be delayed, if other presolvers found reductions?
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4751 of file cons.c.
References SCIP_Conshdlr::delaypresol, and NULL.
does the constraint handler have a copy function?
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4811 of file cons.c.
References NULL.
Referenced by SCIPsetCopyPlugins().
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 4963 of file cons.c.
References SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, conssetchgCreate(), conssetchgEnsureAddedconssSize(), SCIP_Cons::deleted, FALSE, SCIP_ConsSetChg::naddedconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsActivate(), SCIPconsCapture(), and SCIPconsIsActive().
Referenced by SCIPnodeAddCons().
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 5038 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 SCIPdebugMessage.
Referenced by SCIPconsDelete(), SCIPconssetchgApply(), and SCIPconssetchgMakeGlobal().
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 5113 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(), SCIPdebugMessage, and SCIP_Cons::update.
Referenced by nodeActivate().
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 5200 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(), SCIPdebugMessage, and SCIP_Cons::update.
Referenced by nodeDeactivate().
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 |
Definition at line 5286 of file cons.c.
References conssetchgDelAddedCons(), conssetchgDelDisabledCons(), SCIP_Cons::deleted, SCIP_ConsSetChg::naddedconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsDelete(), SCIPconsIsStickingAtNode(), SCIPconsRelease(), SCIPconssetchgFree(), SCIPdebugMessage, SCIPprobAddCons(), and SCIP_Cons::update.
Referenced by SCIPnodeFocus().
| SCIP_RETCODE SCIPconsCreate |
( |
SCIP_CONS ** |
cons, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
const char * |
name, |
|
|
SCIP_CONSHDLR * |
conshdlr, |
|
|
SCIP_CONSDATA * |
consdata, |
|
|
SCIP_Bool |
initial, |
|
|
SCIP_Bool |
separate, |
|
|
SCIP_Bool |
enforce, |
|
|
SCIP_Bool |
check, |
|
|
SCIP_Bool |
propagate, |
|
|
SCIP_Bool |
local, |
|
|
SCIP_Bool |
modifiable, |
|
|
SCIP_Bool |
dynamic, |
|
|
SCIP_Bool |
removable, |
|
|
SCIP_Bool |
stickingatnode, |
|
|
SCIP_Bool |
original, |
|
|
SCIP_Bool |
deleteconsdata |
|
) |
| |
creates and captures a constraint, and inserts it into the conss array of its constraint handler
- 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 5381 of file cons.c.
References BMSallocBlockMemory, BMSduplicateBlockMemoryArray, checkConssArrays, conshdlrAddCons(), conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), FALSE, SCIP_Conshdlr::name, SCIP_Conshdlr::needscons, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPconsCapture(), SCIPdebugMessage, SCIPerrorMessage, and TRUE.
Referenced by SCIPconsTransform(), and SCIPcreateCons().
| SCIP_RETCODE SCIPconsCopy |
( |
SCIP_CONS ** |
cons, |
|
|
SCIP_SET * |
set, |
|
|
const char * |
name, |
|
|
SCIP * |
sourcescip, |
|
|
SCIP_CONSHDLR * |
sourceconshdlr, |
|
|
SCIP_CONS * |
sourcecons, |
|
|
SCIP_HASHMAP * |
varmap, |
|
|
SCIP_HASHMAP * |
consmap, |
|
|
SCIP_Bool |
initial, |
|
|
SCIP_Bool |
separate, |
|
|
SCIP_Bool |
enforce, |
|
|
SCIP_Bool |
check, |
|
|
SCIP_Bool |
propagate, |
|
|
SCIP_Bool |
local, |
|
|
SCIP_Bool |
modifiable, |
|
|
SCIP_Bool |
dynamic, |
|
|
SCIP_Bool |
removable, |
|
|
SCIP_Bool |
stickingatnode, |
|
|
SCIP_Bool |
global, |
|
|
SCIP_Bool * |
success |
|
) |
| |
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, 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 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? |
| success | pointer to store whether the copying was successful or not |
Definition at line 5525 of file cons.c.
References FALSE, SCIP_Conshdlr::name, NULL, SCIP_CALL, SCIP_OKAY, and SCIPwarningMessage().
Referenced by SCIPgetConsCopy().
| SCIP_RETCODE SCIPconsParse |
( |
SCIP_CONS ** |
cons, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_MESSAGEHDLR * |
messagehdlr, |
|
|
const char * |
str, |
|
|
SCIP_Bool |
initial, |
|
|
SCIP_Bool |
separate, |
|
|
SCIP_Bool |
enforce, |
|
|
SCIP_Bool |
check, |
|
|
SCIP_Bool |
propagate, |
|
|
SCIP_Bool |
local, |
|
|
SCIP_Bool |
modifiable, |
|
|
SCIP_Bool |
dynamic, |
|
|
SCIP_Bool |
removable, |
|
|
SCIP_Bool |
stickingatnode, |
|
|
SCIP_Bool * |
success |
|
) |
| |
parses constraint information (in cip format) out of a string; if the parsing process was successful a constraint is created, captured, and inserted into the conss array of its constraint handler.
- 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 5586 of file cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPdebugMessage, SCIPmessagePrintWarning(), SCIPsetFindConshdlr(), and SCIPstrCopySection().
Referenced by SCIPparseCons().
increases usage counter of constraint
- Parameters
-
Definition at line 5768 of file cons.c.
References SCIP_Cons::name, NULL, SCIP_Cons::nuses, and SCIPdebugMessage.
Referenced by boundchgCaptureData(), conshdlrAddUpdateCons(), SCIPcaptureCons(), SCIPconsCreate(), SCIPconshdlrsStorePropagationStatus(), SCIPconsPushProp(), SCIPconssetchgAddAddedCons(), SCIPconssetchgAddDisabledCons(), SCIPconssetchgMakeGlobal(), SCIPconsTransform(), SCIPprobAddCons(), SCIPtransformCons(), and SCIPtransformConss().
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 5780 of file cons.c.
References conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconsFree(), SCIPdebugMessage, and TRUE.
Referenced by boundchgReleaseData(), conshdlrProcessUpdates(), conssetchgDelAddedCons(), conssetchgDelDisabledCons(), conssetchgRelease(), SCIPconshdlrPopProp(), SCIPconshdlrsResetPropagationStatus(), SCIPconssetchgMakeGlobal(), SCIPprobDelCons(), SCIPprobTransform(), and SCIPreleaseCons().
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 print |
| set | global SCIP settings |
| vars | array to store the involved variable of the constraint |
| varssize | available slots in vars array which is needed to check if the array is large enough |
| success | pointer to store whether the variables are successfully copied |
Definition at line 5859 of file cons.c.
References SCIP_Cons::conshdlr, FALSE, NULL, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIPgetConsVars().
methed 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 print |
| set | global SCIP settings |
| nvars | pointer to store the number of variables |
| success | pointer to store whether the constraint successfully returned the number of variables |
Definition at line 5895 of file cons.c.
References SCIP_Cons::conshdlr, FALSE, NULL, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by calcNonZeros(), and SCIPgetConsNVars().
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 |
Definition at line 5927 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(), SCIPdebugMessage, SCIPprobDelCons(), TRUE, SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.
Referenced by SCIPconsAddAge(), SCIPconssetchgMakeGlobal(), SCIPdelCons(), SCIPdelConsLocal(), and SCIPdelConsNode().
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 5983 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().
sets the separate flag of the given constraint
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
| separate | new value |
Definition at line 6067 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().
sets the enforce flag of the given constraint
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
| enforce | new value |
Definition at line 6102 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().
sets the check flag of the given constraint
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
| check | new value |
Definition at line 6137 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_OKAY, and SCIPconsAddLocks().
Referenced by SCIPsetConsChecked().
sets the propagate flag of the given constraint
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
| propagate | new value |
Definition at line 6185 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().
| 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 6278 of file cons.c.
References SCIP_Cons::name, and NULL.
Referenced by SCIPreaderWrite().
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 6302 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, SCIPdebugMessage, 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(), and SCIPprobAddCons().
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 6344 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, SCIPdebugMessage, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.
Referenced by SCIPconsDelete(), SCIPconssetchgUndo(), and SCIPprobDelCons().
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 6379 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().
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 6412 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().
enables constraint's separation capabilities or marks them to be enabled in next update
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
Definition at line 6446 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().
disables constraint's separation capabilities or marks them to be disabled in next update
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
Definition at line 6476 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().
enables constraint's propagation capabilities or marks them to be enabled in next update
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
Definition at line 6504 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().
disables constraint's propagation capabilities or marks them to be disabled in next update
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
Definition at line 6534 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().
marks the constraint to be propagated (update might be delayed)
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
Definition at line 6564 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().
unmarks the constraint to be propagated (update might be delayed)
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
Definition at line 6594 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 SCIPconshdlrsStorePropagationStatus(), and SCIPunmarkConsPropagate().
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 |
Definition at line 6632 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(), SCIPdebugMessage, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updateobsolete.
Referenced by SCIPaddConsAge(), and SCIPconsIncAge().
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 |
Definition at line 6690 of file cons.c.
References SCIP_CALL, SCIP_OKAY, and SCIPconsAddAge().
Referenced by SCIPincConsAge().
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 6710 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, SCIPdebugMessage, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updateobsolete.
Referenced by SCIPprobInitSolve(), and SCIPresetConsAge().
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 6813 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, SCIPvarGetLbAtIndex(), SCIPvarGetLbGlobal(), SCIPvarGetUbAtIndex(), SCIPvarGetUbGlobal(), and TRUE.
Referenced by conflictResolveBound().
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 | have current LP rows 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 6917 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIPdebugMessage, and SCIPerrorMessage.
Referenced by checkSolOrig(), and SCIPcheckCons().
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 6954 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, SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPenfopsCons().
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 6998 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 SCIPenfolpCons().
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 7065 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, SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPsepalpCons().
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 7106 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, SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPsepasolCons().
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 7149 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, SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPpropCons().
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 7189 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, SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPrespropCons().
| SCIP_RETCODE SCIPconsPresol |
( |
SCIP_CONS * |
cons, |
|
|
SCIP_SET * |
set, |
|
|
int |
nrounds, |
|
|
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 |
| 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 7231 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, SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPpresolCons().
| SCIP_DECL_HASHGETKEY |
( |
SCIPhashGetKeyCons |
| ) |
|
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 7396 of file cons.c.
References BMScopyMemoryArray, ensurePropagationStorage(), SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::nmarkedpropconss, NULL, SCIP_Conshdlr::propconss, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsUnmarkPropagate(), SCIP_Conshdlr::storednmarkedpropconss, SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropdomchgcount.
Referenced by SCIPtreeStartProbing().
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 7437 of file cons.c.
References conshdlrAreUpdatesDelayed(), SCIP_Cons::enabled, SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::nmarkedpropconss, NULL, SCIP_Conshdlr::nupdateconss, SCIP_Cons::propagate, SCIP_Cons::propenabled, SCIP_CALL, SCIP_OKAY, SCIPconsMarkPropagate(), SCIPconsRelease(), SCIP_Conshdlr::storednmarkedpropconss, SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropdomchgcount.
Referenced by SCIPtreeEndProbing().
| const char* SCIPconsGetName |
( |
SCIP_CONS * |
cons | ) |
|
returns the name of the constraint
- Note
- to change the name of a constraint, use SCIPchgConsName() from scip.h
- Parameters
-
Definition at line 7541 of file cons.c.
References SCIP_Cons::name, and NULL.
Referenced by addAllConss(), addCliques(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConflictBounds(), addCut(), addCuts(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addIntervalGradientEstimator(), addKnapsackConstraints(), addLinearConstraints(), addLinearization(), addLinearizationCuts(), addLogicOrConstraints(), addNegatedCliques(), addRelaxation(), addSetppcConstraints(), addVarbound(), addVarboundConstraints(), addVarSOS1(), addVarSOS2(), aggregateConstraints(), aggregateVariables(), analyzeZeroResultant(), applyFixings(), branchCons(), checkAllConss(), checkBounddisjunction(), checkCons(), checkConsnames(), checkCurvature(), checkCurvatureEasy(), checkFactorable(), checkFixedVariables(), checkForOverlapping(), checkKnapsack(), checkLogicor(), checkOrigPbCons(), checkOverloadViaThetaTree(), checkParallelObjective(), checkPartialObjective(), checkSystemGF2(), checkVarbound(), cliquePresolve(), computeEffectiveHorizon(), conflictAddBound(), conflictResolveBound(), consCapacityConstraintsFinder(), consdataCheckSuperindicator(), consdataDeletePos(), consdataFixOperandsOne(), consdataFixResultantZero(), consdataLinearize(), consdataTightenCoefs(), consHasName(), constraintNonOverlappingGraph(), convertBinaryEquality(), convertLongEquality(), convertUnaryEquality(), copyAndSolveComponent(), copyConsPseudoboolean(), copyCuts(), createCapacityRestriction(), createConsFromMonomial(), createConsFromQuadTerm(), createCoveringProblem(), createDisjuctiveCons(), createNlRow(), createRelaxation(), createRow(), createRows(), createSubSCIP(), createVarUbs(), deleteRedundantVars(), deleteTrivilCons(), detectRedundantConstraints(), detectRedundantVars(), disableCons(), dualPresolve(), dualPresolving(), dualWeightsTightening(), enforceCurrentSol(), enforceIndicators(), enforceSOS1(), enforceSOS2(), extractCliques(), fillDigraph(), findAggregation(), fixDeleteOrUpgradeCons(), fixTriangle(), generate1ConvexIndefiniteUnderestimator(), generateConvexConcaveEstimator(), generateCut(), generateCutConvex(), generateCutFactorableDo(), generateCutLTI(), generateCutNonConvex(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateCutUnboundedLP(), generateLinearizationCut(), generateOverestimatingHyperplaneCut(), generateRowSOS1(), generateRowSOS2(), initMatrix(), liftCliqueVariables(), mergeMultiples(), normalizeWeights(), polishSolution(), preprocessConstraintPairs(), presolRoundIndicator(), presolRoundSOS1(), presolRoundSOS2(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), printDualSol(), processBinvarFixings(), processContainedCons(), processFixings(), processIntegerBoundChg(), processWatchedVars(), propagateBounds(), propagateBoundsBilinearTerm(), propagateBoundsCons(), propagateBoundsQuadVar(), propagateBoundsTightenVar(), propagateBoundsTightenVarLb(), propagateBoundsTightenVarUb(), propagateCons(), propagateConstraintSides(), propagateTimetable(), propIndicator(), propSOS2(), readIndicators(), readNonlinearExprs(), readObjective(), readQCMatrix(), readQMatrix(), readQuadraticCoefs(), readSOS(), readSos(), reformulate(), registerBranchingCandidates(), registerBranchingVariables(), registerVariableInfeasibilities(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedLinearVariables(), removeFixedVariables(), removeIrrelevantJobs(), removeOversizedJobs(), removeRedundantCons(), removeRedundantConstraints(), removeRedundantNonZeros(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resolvePropagation(), scaleCons(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDISABLE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefLinear(), SCIPaddConsNode(), SCIPaddToNlpiProblemQuadratic(), SCIPaddToNlpiProblemSOC(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarSOS1(), SCIPappendVarSOS2(), SCIPboundchgApply(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateConsSuperindicator(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPprobAddCons(), SCIPreaderWrite(), SCIPseparateKnapsackCuts(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPtransformMinUC(), SCIPupgradeConsLinear(), SCIPvisualizeConsCumulative(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), separateCons(), separateConsBinaryRepresentation(), separateConsOnIntegerVariables(), separateCoverCutsCons(), separateIndicators(), separatePoint(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), setSetppcType(), simplifyInequalities(), solveIndependentCons(), tightenBounds(), tightenCapacity(), tightenCoefs(), tightenSides(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVarLb(), tightenVarUb(), tightenWeights(), tightenWeightsLift(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varAddLbchginfo(), varAddUbchginfo(), and writeOpbConstraints().
returns the constraint handler of the constraint
- Parameters
-
Definition at line 7561 of file cons.c.
References SCIP_Cons::conshdlr, and NULL.
Referenced by addCoef(), addCoefTerm(), addLinearCoef(), addQuadVarTerm(), addRelaxation(), catchLinearVarEvents(), checkConsnames(), checkCurvature(), checkOrigPbCons(), chgLinearCoefPos(), computeAndConstraintInfos(), consdataCollectLinkingCons(), consdataDeletePos(), consdataPrint(), copyAndSolveComponent(), copyConsPseudoboolean(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCoverCutsTimepoint(), createNAryBranch(), createNlRow(), createRelaxation(), createRow(), createRows(), createSubSCIP(), delCoefPos(), deleteRedundantVars(), delLinearCoefPos(), delQuadVarTermPos(), detectRedundantConstraints(), detectRedundantVars(), dropLinearVarEvents(), enforceCurrentSol(), enforcePseudo(), extractLinearValues(), generate1ConvexIndefiniteUnderestimator(), generateConvexConcaveEstimator(), generateCut(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateLinearizationCut(), generateOverestimatingHyperplaneCut(), getLinVarsAndAndRess(), handleNewVariableSOS1(), handleNewVariableSOS2(), preprocessConstraintPairs(), presolvePropagateCons(), printDualSol(), printRangeSection(), processBinvarFixings(), processFixings(), processIntegerBoundChg(), processWatchedVars(), readIndicators(), registerBranchingCandidates(), replaceQuadVarTermPos(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERWRITE(), SCIPaddCoefKnapsack(), SCIPaddCoefLinear(), SCIPaddCoefLogicor(), SCIPaddCoefPseudoboolean(), SCIPaddCoefSetppc(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddTermPseudoboolean(), SCIPaddVarIndicator(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarSOS1(), SCIPappendVarSOS2(), SCIPapplyHeurDualval(), SCIPcheckCurvatureNonlinear(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgCapacityKnapsack(), SCIPchgLhsLinear(), SCIPchgLhsPseudoboolean(), SCIPchgRhsLinear(), SCIPchgRhsPseudoboolean(), SCIPconsSetInitial(), SCIPcopyOrigConss(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsSuperindicator(), SCIPgetActivityLinear(), SCIPgetAndDatasPseudoboolean(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCapacityKnapsack(), SCIPgetCoefLinearAbspower(), SCIPgetCurvatureNonlinear(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasKnapsack(), SCIPgetDualfarkasLinear(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasSetppc(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolKnapsack(), SCIPgetDualsolLinear(), SCIPgetDualsolLogicor(), SCIPgetDualsolSetppc(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExponentAbspower(), SCIPgetExprtreeCurvaturesNonlinear(), SCIPgetFeasibilityLinear(), SCIPgetHmaxCumulative(), SCIPgetHminCumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntvarLinking(), SCIPgetLhsAbspower(), SCIPgetLhsLinear(), SCIPgetLhsPseudoboolean(), SCIPgetLhsVarbound(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinearVarAbspower(), SCIPgetNAndsPseudoboolean(), SCIPgetNBinvarsLinking(), SCIPgetNFixedonesSetppc(), SCIPgetNFixedzerosSetppc(), SCIPgetNLinVarsWithoutAndPseudoboolean(), SCIPgetNlRowAbspower(), SCIPgetNlRowSOC(), SCIPgetNonlinearVarAbspower(), SCIPgetNVarsAnd(), SCIPgetNVarsBounddisjunction(), SCIPgetNVarsCumulative(), SCIPgetNVarsKnapsack(), SCIPgetNVarsLinear(), SCIPgetNVarsLogicor(), SCIPgetNVarsOr(), SCIPgetNVarsSetppc(), SCIPgetNVarsSOS1(), SCIPgetNVarsSOS2(), SCIPgetNVarsXor(), SCIPgetOffsetAbspower(), SCIPgetResultantAnd(), SCIPgetResultantOr(), SCIPgetRhsAbspower(), SCIPgetRhsLinear(), SCIPgetRhsPseudoboolean(), SCIPgetRhsVarbound(), SCIPgetRhsXor(), SCIPgetRowKnapsack(), SCIPgetRowLinear(), SCIPgetRowLogicor(), SCIPgetRowSetppc(), SCIPgetRowVarbound(), SCIPgetSlackConsSuperindicator(), SCIPgetSlackVarIndicator(), SCIPgetTypeSetppc(), SCIPgetValsLinear(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCumulative(), SCIPgetVarsKnapsack(), SCIPgetVarsLinear(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSetppc(), SCIPgetVarsSOS1(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetViolationAbspower(), SCIPgetViolationNonlinear(), SCIPgetViolationQuadratic(), SCIPgetWeightsKnapsack(), SCIPgetWeightsSOS1(), SCIPgetWeightsSOS2(), SCIPisAndConsSorted(), SCIPmakeIndicatorFeasible(), SCIPprintDualSol(), SCIPsetBinaryVarIndicator(), SCIPsetHmaxCumulative(), SCIPsetHminCumulative(), SCIPsetLinearConsIndicator(), SCIPsortAndCons(), SCIPtransformMinUC(), SCIPupgradeConsLinear(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), separateCons(), separateIndicators(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), setSetppcType(), tightenWeights(), tightenWeightsLift(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), upgradeSuperindicator(), writeFzn(), writeOpbConstraints(), and writeOpbObjective().
returns the constraint data field of the constraint
- Parameters
-
Definition at line 7571 of file cons.c.
References SCIP_Cons::consdata, and NULL.
Referenced by addAllConss(), addBilinearTerm(), addCliques(), addCoef(), addCoefTerm(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConflictBounds(), addConsToOccurList(), addCut(), addCuts(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addIntervalGradientEstimator(), addLinearCoef(), addLinearization(), addLinearizationCuts(), addNegatedCliques(), addQuadVarTerm(), addRelaxation(), addVarSOS1(), addVarSOS2(), aggregateConstraints(), aggregateVariables(), analyzeConflict(), analyzeConflictOne(), analyzeConflictZero(), analyzeZeroResultant(), appendVarSOS1(), appendVarSOS2(), applyFixings(), applyGlobalBounds(), branchCons(), canTightenBounds(), catchAllEvents(), catchEvent(), catchEvents(), catchLhsVarEvents(), catchLinearVarEvents(), catchQuadVarEvents(), catchRhsVarEvents(), catchVarEvents(), checkAllConss(), checkCons(), checkCurvature(), checkCurvatureEasy(), checkDemands(), checkFactorable(), checkFixedVariables(), checkForOverlapping(), checkLPBoundsClean(), checkOrigPbCons(), checkParallelObjective(), checkPartialObjective(), checkSystemGF2(), chgCoefPos(), chgLhs(), chgLinearCoefPos(), chgRhs(), cliquePresolve(), collectBranchingCands(), collectCliqueConss(), collectCliqueData(), computeAlternativeBounds(), computeBoundsX(), computeBoundsZ(), computeEffectiveHorizon(), computeViolation(), computeViolations(), consCapacityConstraintsFinder(), consCatchAllEvents(), consCatchEvent(), consdataLinearize(), consdataPrint(), consdataTightenCoefs(), consDropAllEvents(), consDropEvent(), consFixInteger(), constraintNonOverlappingGraph(), convertBinaryEquality(), convertEquality(), convertLongEquality(), convertUnaryEquality(), copyConsPseudoboolean(), correctLocksAndCaptures(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCoverCuts(), createCoverCutsTimepoint(), createDisjuctiveCons(), createNAryBranch(), createNlRow(), createRelaxation(), createRow(), createRows(), createVarUbs(), delCoefPos(), deleteAltLPConstraint(), deleteRedundantVars(), deleteTrivilCons(), delLinearCoefPos(), delQuadVarTermPos(), detectRedundantConstraints(), detectRedundantVars(), dropAllEvents(), dropEvent(), dropEvents(), dropLhsVarEvents(), dropLinearVarEvents(), dropQuadVarEvents(), dropRhsVarEvents(), dropVarEvents(), dualPresolve(), dualPresolving(), dualWeightsTightening(), enforceCuts(), enforceIndicators(), enforcePseudo(), enforceSOS1(), enforceSOS2(), enforceViolatedFixedNonlinear(), evalLhs(), extendToCover(), extractCliques(), findAggregation(), fixAdditionalVars(), fixAltLPVariables(), fixDeleteOrUpgradeCons(), fixTriangle(), fixVariables(), freeSepaData(), fullDualPresolve(), generate1ConvexIndefiniteUnderestimator(), generateConvexConcaveEstimator(), generateCut(), generateCutConvex(), generateCutFactorable(), generateCutFactorableDo(), generateCutLTI(), generateCutNonConvex(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateCutUnboundedLP(), generateLinearizationCut(), generateOverestimatingHyperplaneCut(), generateRowSOS1(), generateRowSOS2(), generateSparseCut(), getGradientMaxElement(), getGradientNorm(), getHighestCapacityUsage(), initializeDurations(), initSepaData(), isConsIndependently(), isConvexLocal(), liftCliqueVariables(), lockLinearVariable(), lockRounding(), mergeAndCleanBilinearTerms(), mergeAndCleanLinearVars(), mergeAndCleanQuadVarTerms(), mergeMultiples(), normalizeCons(), normalizeDemands(), normalizeWeights(), performVarDeletions(), polishSolution(), prepareCons(), preprocessCliques(), preprocessConstraintPairs(), presolveConsEffectiveHorizon(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveSolve(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), prettifyConss(), processBinvarFixings(), processContainedCons(), processFixings(), processIntegerBoundChg(), processWatchedVars(), propagateBounds(), propagateBoundsCons(), propagateCons(), propagateConstraintSides(), propagateVarbounds(), proposeBranchingPoint(), proposeFeasibleSolution(), rangedRowSimplify(), reformReplaceNode(), reformulate(), registerBranchingCandidates(), registerBranchingVariables(), registerLargeLPValueVariableForBranching(), registerVariableInfeasibilities(), removeBilinearTermsPos(), removeConsFromOccurList(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedBinvars(), removeFixedLinearVariables(), removeFixedVariables(), removeIrrelevantJobs(), removeOversizedJobs(), removeRedundantConss(), removeRedundantConssAndNonzeros(), removeRedundantConstraints(), removeRedundantNonZeros(), removeZeroWeights(), replaceByLinearConstraints(), replaceQuadVarTermPos(), replaceViolatedByLinearConstraints(), resolvePropagation(), scaleCons(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDISABLE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_SORTPTRCOMP(), SCIPaddBilinTermQuadratic(), SCIPaddCoefLinear(), SCIPaddCoefPseudoboolean(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddConstantQuadratic(), SCIPaddExprtreesNonlinear(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddSquareCoefQuadratic(), SCIPaddToNlpiProblemQuadratic(), SCIPaddToNlpiProblemSOC(), SCIPaddVarIndicator(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgCapacityKnapsack(), SCIPchgLhsPseudoboolean(), SCIPchgRhsPseudoboolean(), SCIPfindQuadVarTermQuadratic(), SCIPgetActivityLinear(), SCIPgetAndDatasPseudoboolean(), SCIPgetBilinTermsQuadratic(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCapacityKnapsack(), SCIPgetCoefLinearAbspower(), SCIPgetCoefsLinearVarsQuadratic(), SCIPgetCurvatureNonlinear(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasKnapsack(), SCIPgetDualfarkasLinear(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasSetppc(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolKnapsack(), SCIPgetDualsolLinear(), SCIPgetDualsolLogicor(), SCIPgetDualsolSetppc(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExponentAbspower(), SCIPgetExprgraphNodeNonlinear(), SCIPgetExprtreeBivariate(), SCIPgetExprtreeCoefsNonlinear(), SCIPgetExprtreeCurvaturesNonlinear(), SCIPgetExprtreesNonlinear(), SCIPgetFeasibilityLinear(), SCIPgetHmaxCumulative(), SCIPgetHminCumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntvarLinking(), SCIPgetLhsAbspower(), SCIPgetLhsBivariate(), SCIPgetLhsCoefsSOC(), SCIPgetLhsConstantSOC(), SCIPgetLhsLinear(), SCIPgetLhsNonlinear(), SCIPgetLhsOffsetsSOC(), SCIPgetLhsPseudoboolean(), SCIPgetLhsQuadratic(), SCIPgetLhsVarbound(), SCIPgetLhsVarsSOC(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearCoefBivariate(), SCIPgetLinearCoefsNonlinear(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinearVarAbspower(), SCIPgetLinearVarBivariate(), SCIPgetLinearVarsNonlinear(), SCIPgetLinearVarsQuadratic(), SCIPgetNAndsPseudoboolean(), SCIPgetNBilinTermsQuadratic(), SCIPgetNBinvarsLinking(), SCIPgetNExprtreesNonlinear(), SCIPgetNFixedonesSetppc(), SCIPgetNFixedzerosSetppc(), SCIPgetNLhsVarsSOC(), SCIPgetNLinearVarsNonlinear(), SCIPgetNLinearVarsQuadratic(), SCIPgetNLinVarsWithoutAndPseudoboolean(), SCIPgetNlRowAbspower(), SCIPgetNlRowNonlinear(), SCIPgetNlRowQuadratic(), SCIPgetNlRowSOC(), SCIPgetNonlinearVarAbspower(), SCIPgetNQuadVarTermsQuadratic(), SCIPgetNVarsAnd(), SCIPgetNVarsBounddisjunction(), SCIPgetNVarsCumulative(), SCIPgetNVarsKnapsack(), SCIPgetNVarsLinear(), SCIPgetNVarsLogicor(), SCIPgetNVarsOr(), SCIPgetNVarsSetppc(), SCIPgetNVarsSOS1(), SCIPgetNVarsSOS2(), SCIPgetNVarsXor(), SCIPgetOffsetAbspower(), SCIPgetQuadVarTermsQuadratic(), SCIPgetResultantAnd(), SCIPgetResultantOr(), SCIPgetRhsAbspower(), SCIPgetRhsBivariate(), SCIPgetRhsCoefSOC(), SCIPgetRhsLinear(), SCIPgetRhsNonlinear(), SCIPgetRhsOffsetSOC(), SCIPgetRhsPseudoboolean(), SCIPgetRhsQuadratic(), SCIPgetRhsVarbound(), SCIPgetRhsVarSOC(), SCIPgetRhsXor(), SCIPgetRowKnapsack(), SCIPgetRowLinear(), SCIPgetRowLogicor(), SCIPgetRowSetppc(), SCIPgetRowVarbound(), SCIPgetSlackConsSuperindicator(), SCIPgetSlackVarIndicator(), SCIPgetTypeSetppc(), SCIPgetValsLinear(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCumulative(), SCIPgetVarsKnapsack(), SCIPgetVarsLinear(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSetppc(), SCIPgetVarsSOS1(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetViolationAbspower(), SCIPgetViolationNonlinear(), SCIPgetViolationQuadratic(), SCIPgetWeightsKnapsack(), SCIPgetWeightsSOS1(), SCIPgetWeightsSOS2(), SCIPisAndConsSorted(), SCIPisConcaveQuadratic(), SCIPisConvexQuadratic(), SCIPisLinearLocalQuadratic(), SCIPisViolatedIndicator(), SCIPmakeIndicatorFeasible(), SCIPmakeIndicatorsFeasible(), SCIPsetBinaryVarIndicator(), SCIPsetExprtreesNonlinear(), SCIPsetHmaxCumulative(), SCIPsetHminCumulative(), SCIPsetLinearConsIndicator(), SCIPsortAndCons(), SCIPsortQuadVarTermsQuadratic(), SCIPupgradeConsLinear(), SCIPvisualizeConsCumulative(), separateCons(), separateConsBinaryRepresentation(), separateConsOnIntegerVariables(), separateCoverCutsCons(), separateIISRounding(), separateIndicators(), separatePoint(), setAltLPObj(), setAltLPObjZero(), setppcCompare(), setppcCompare2(), setSetppcType(), shortenConss(), simplifyInequalities(), solveIndependentCons(), splitOffLinearPart(), strengthenConss(), strengthVarbaounds(), switchWatchedvars(), tightenBounds(), tightenCapacity(), tightenCoefs(), tightenSides(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVarLb(), tightenVarUb(), tightenWeights(), tightenWeightsLift(), tryUpgrading(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), unfixAltLPVariables(), unlockLinearVariable(), unlockRounding(), updateAndConss(), updateConsanddataUses(), updateCutoffbound(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
| int SCIPconsGetActiveDepth |
( |
SCIP_CONS * |
cons | ) |
|
returns TRUE iff constraint is active in the current node
- Parameters
-
Definition at line 7602 of file cons.c.
References SCIP_Cons::active, NULL, SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.
Referenced by addAllConss(), addAltLPConstraint(), addCliques(), addCoef(), addConsToOccurList(), aggregateConstraints(), calcNonZeros(), catchEvent(), checkForOverlapping(), cleanupHashDatas(), cliquePresolve(), collectBranchingCands(), collectCliqueConss(), collectCliqueData(), correctPresoldata(), createPresoldata(), createVarUbs(), detectRedundantConstraints(), dualPresolve(), dualPresolving(), extendToCover(), extractGates(), findAggregation(), liftCliqueVariables(), preprocessCliques(), preprocessConstraintPairs(), presolRoundIndicator(), presolveFindDuplicates(), presolvePropagateCons(), propagateBounds(), propagateCons(), propIndicator(), removeConsFromOccurList(), removeConstraintsDueToNegCliques(), removeRedundantConss(), removeRedundantConssAndNonzeros(), removeRedundantConstraints(), removeRedundantNonZeros(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIPaddExprtreesNonlinear(), SCIPanalyzeConflictCons(), SCIPconsGetActiveDepth(), SCIPconsGetValidDepth(), SCIPconshdlrInitLP(), SCIPconsPushProp(), SCIPconssetchgAddAddedCons(), SCIPcopyConss(), SCIPgetViolationNonlinear(), SCIPmakeIndicatorFeasible(), SCIPnodeAddCons(), SCIPprobAddCons(), SCIPsetExprtreesNonlinear(), separatePoint(), setppcCompare(), strengthenConss(), tryUpgrading(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateAndConss(), and upgradeConss().
| int SCIPconsGetValidDepth |
( |
SCIP_CONS * |
cons | ) |
|
returns TRUE iff constraint is enabled in the current node
- Parameters
-
Definition at line 7628 of file cons.c.
References SCIP_Cons::enabled, NULL, SCIP_Cons::updatedisable, and SCIP_Cons::updateenable.
Referenced by addKnapsackConstraints(), addLinearCoef(), addLinearConstraints(), addLogicOrConstraints(), addSetppcConstraints(), addVarboundConstraints(), catchLinearVarEvents(), checkBounddisjunction(), checkConsnames(), checkKnapsack(), checkLogicor(), checkVarbound(), chgLinearCoefPos(), delLinearCoefPos(), printRangeSection(), propagateBounds(), propagateConstraintSides(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_READERWRITE(), SCIPconsIsPropagationEnabled(), SCIPconsIsSeparationEnabled(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), separatePoint(), writeFzn(), and writeOpbConstraints().
returns TRUE iff constraint is deleted or marked to be deleted
- Parameters
-
Definition at line 7660 of file cons.c.
References SCIP_Cons::deleted, and NULL.
Referenced by addCliques(), addExtraCliques(), cleanupHashDatas(), collectCliqueConss(), computeAlternativeBounds(), computeConsAndDataChanges(), consdataPrint(), copyConsPseudoboolean(), correctConshdlrdata(), correctLocksAndCaptures(), detectRedundantVars(), dualWeightsTightening(), extractCliques(), findAggregation(), fixDeleteOrUpgradeCons(), getLinVarsAndAndRess(), mergeMultiples(), prepareCons(), presolveCons(), presolveFindDuplicates(), prettifyConss(), propagateBounds(), propagateCons(), propagateConstraintSides(), rangedRowSimplify(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConssAndNonzeros(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPcopyConss(), SCIPisViolatedIndicator(), SCIPwriteLp(), setppcCompare2(), shortenConss(), simplifyInequalities(), strengthenConss(), tightenWeights(), tryUpgrading(), and updateConsanddataUses().
returns TRUE iff the LP relaxation of constraint should be in the initial LP
- Parameters
-
Definition at line 7690 of file cons.c.
References SCIP_Cons::initial, and NULL.
Referenced by addCliques(), addCoefTerm(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), aggregateConstraints(), applyFixings(), checkParallelObjective(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SEPAEXECLP(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint should be separated during LP processing
- Parameters
-
Definition at line 7700 of file cons.c.
References NULL, and SCIP_Cons::separate.
Referenced by addCliques(), aggregateConstraints(), applyFixings(), checkParallelObjective(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SEPAEXECLP(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint should be enforced during node processing
- Parameters
-
Definition at line 7710 of file cons.c.
References SCIP_Cons::enforce, and NULL.
Referenced by addCliques(), addCoefTerm(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SEPAEXECLP(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint should be checked for feasibility
- Parameters
-
Definition at line 7720 of file cons.c.
References SCIP_Cons::check, and NULL.
Referenced by addAllConss(), addCoefTerm(), addConsToOccurList(), addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addSetppcConstraints(), addVarboundConstraints(), aggregateConstraints(), applyFixings(), branchCons(), calcNonZeros(), checkSolOrig(), cliquePresolve(), computeAlternativeBounds(), computeEffectiveHorizon(), consdataLinearize(), convertLongEquality(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualPresolving(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolComponents(), presolRoundSOS1(), presolveConsEst(), presolveConsLct(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), propagateCons(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedVariables(), removeRedundantConss(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SEPAEXECLP(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPprobAddCons(), SCIPprobDelCons(), SCIPtransformMinUC(), SCIPupdateConsFlags(), solveIndependentCons(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateAndConss(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint should be propagated during node processing
- Parameters
-
Definition at line 7740 of file cons.c.
References NULL, and SCIP_Cons::propagate.
Referenced by addCliques(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SEPAEXECLP(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint is only locally valid or not added to any (sub)problem
- Parameters
-
Definition at line 7760 of file cons.c.
References SCIP_Cons::local, and NULL.
Referenced by addCliques(), addCoefTerm(), addLinearizationCuts(), addRelaxation(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createCoverCutsTimepoint(), createNAryBranch(), createRelaxation(), createRow(), createRows(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), generateCut(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIPaddLinearConsIndicator(), SCIPcopyConss(), SCIPtransformMinUC(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint is modifiable (subject to column generation)
- Parameters
-
Definition at line 7770 of file cons.c.
References SCIP_Cons::modifiable, and NULL.
Referenced by addAllConss(), addCliques(), addCoefTerm(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addRelaxation(), aggregateConstraints(), analyzeConflictOne(), analyzeConflictZero(), applyFixings(), branchCons(), checkSolOrig(), cleanupHashDatas(), cliquePresolve(), collectCliqueConss(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), correctPresoldata(), createConsFromMonomial(), createConsFromQuadTerm(), createCoverCutsTimepoint(), createNAryBranch(), createPresoldata(), createRelaxation(), createRow(), createRows(), createVarUbs(), deleteRedundantVars(), detectRedundantConstraints(), detectRedundantVars(), dualPresolve(), dualPresolving(), dualWeightsTightening(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), fullDualPresolve(), normalizeCons(), normalizeDemands(), normalizeWeights(), preprocessConstraintPairs(), presolRoundIndicator(), presolRoundSOS1(), presolRoundSOS2(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), processBinvarFixings(), processFixings(), processIntegerBoundChg(), processWatchedVars(), propagateCons(), propIndicator(), propSOS1(), propSOS2(), rangedRowSimplify(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedVariables(), removeRedundantConss(), removeRedundantConssAndNonzeros(), removeRedundantConstraints(), removeRedundantNonZeros(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPupgradeConsLinear(), separateCons(), simplifyInequalities(), solveIndependentCons(), strengthenConss(), tightenBounds(), tightenVarBounds(), tightenVarBoundsEasy(), tightenWeights(), tightenWeightsLift(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), and upgradeLinearSuperindicator().
returns TRUE iff constraint is subject to aging
- Parameters
-
Definition at line 7780 of file cons.c.
References SCIP_Cons::dynamic, and NULL.
Referenced by addCliques(), addCoefTerm(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SEPAEXECLP(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint's relaxation should be removed from the LP due to aging or cleanup
- Parameters
-
Definition at line 7790 of file cons.c.
References NULL, and SCIP_Cons::removable.
Referenced by addCliques(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addRelaxation(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createRow(), createRows(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SEPAEXECLP(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint's relaxation should be removed from the LP due to aging or cleanup
- Parameters
-
Definition at line 7800 of file cons.c.
References NULL, and SCIP_Cons::stickingatnode.
Referenced by addCliques(), addCoefTerm(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIPconssetchgMakeGlobal(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint is belonging to original space
- Parameters
-
Definition at line 7820 of file cons.c.
References NULL, and SCIP_Cons::original.
Referenced by checkOrigPbCons(), consdataFree(), consdataPrint(), getLinVarsAndAndRess(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSTRANS(), SCIPcopyOrigConss(), SCIPgetAndDatasPseudoboolean(), and SCIPreleaseCons().
returns TRUE iff constraint is belonging to transformed space
- Parameters
-
Definition at line 7830 of file cons.c.
References NULL, and SCIP_Cons::original.
Referenced by addCoef(), addLinearCoef(), addQuadVarTerm(), addVarSOS1(), addVarSOS2(), appendVarSOS1(), appendVarSOS2(), applyFixings(), catchLinearVarEvents(), checkConsnames(), chgCoefPos(), chgLhs(), chgLinearCoefPos(), chgRhs(), consdataCreate(), consdataDeletePos(), delCoefPos(), dropLinearVarEvents(), initMatrix(), preprocessConstraintPairs(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDISABLE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIPaddBilinTermQuadratic(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddQuadVarQuadratic(), SCIPaddSquareCoefQuadratic(), SCIPcreateConsPseudobooleanWithConss(), SCIPgetTransformedCons(), SCIPgetTransformedConss(), SCIPsetBinaryVarIndicator(), SCIPtransformCons(), SCIPtransformConss(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), writeFzn(), and writeOpbConstraints().
returns TRUE iff roundings for variables in constraint or in constraint's negation are locked
- Parameters
-
Definition at line 7860 of file cons.c.
References SCIP_Cons::nlocksneg, SCIP_Cons::nlockspos, and NULL.
Referenced by chgCoefPos(), chgLhs(), chgLinearCoefPos(), chgRhs(), fullDualPresolve(), lockRoundingAndCons(), preprocessConstraintPairs(), setSetppcType(), and unlockRoundingAndCons().
returns if the constraint was already added to a SCIP instance
- Parameters
-
Definition at line 7890 of file cons.c.
References SCIP_Cons::addarraypos, and NULL.
Referenced by applyFixings(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSINITPRE(), SCIPactiveCons(), SCIPchgConsName(), SCIPdeactiveCons(), SCIPdelCons(), SCIPdelConsLocal(), SCIPdelConsNode(), SCIPenfolpCons(), SCIPenfopsCons(), SCIPinitlpCons(), and SCIPrespropCons().
| void SCIPconsAddUpgradeLocks |
( |
SCIP_CONS * |
cons, |
|
|
int |
nlocks |
|
) |
| |
adds locks to (dis-)allow upgrading of constraint
- Parameters
-
| cons | constraint to add locks |
| nlocks | number of locks to add |
Definition at line 7900 of file cons.c.
References NULL, and SCIP_Cons::nupgradelocks.
Referenced by createAndAddLinearCons(), createSubSCIP(), createVarUbs(), presolRoundIndicator(), propIndicator(), SCIP_DECL_CONSINITPRE(), SCIPcreateConsIndicator(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsPseudobooleanWithConss(), and tryUpgrading().
| int SCIPconsGetNUpgradeLocks |
( |
SCIP_CONS * |
cons | ) |
|
|
