|
|
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 needscons, SCIP_PROPTIMING proptiming, SCIP_PRESOLTIMING presoltiming, SCIP_DECL_CONSHDLRCOPY((*conshdlrcopy)), SCIP_DECL_CONSFREE((*consfree)), SCIP_DECL_CONSINIT((*consinit)), SCIP_DECL_CONSEXIT((*consexit)), SCIP_DECL_CONSINITPRE((*consinitpre)), SCIP_DECL_CONSEXITPRE((*consexitpre)), SCIP_DECL_CONSINITSOL((*consinitsol)), SCIP_DECL_CONSEXITSOL((*consexitsol)), SCIP_DECL_CONSDELETE((*consdelete)), SCIP_DECL_CONSTRANS((*constrans)), SCIP_DECL_CONSINITLP((*consinitlp)), SCIP_DECL_CONSSEPALP((*conssepalp)), SCIP_DECL_CONSSEPASOL((*conssepasol)), SCIP_DECL_CONSENFOLP((*consenfolp)), SCIP_DECL_CONSENFOPS((*consenfops)), SCIP_DECL_CONSCHECK((*conscheck)), SCIP_DECL_CONSPROP((*consprop)), SCIP_DECL_CONSPRESOL((*conspresol)), SCIP_DECL_CONSRESPROP((*consresprop)), SCIP_DECL_CONSLOCK((*conslock)), SCIP_DECL_CONSACTIVE((*consactive)), SCIP_DECL_CONSDEACTIVE((*consdeactive)), SCIP_DECL_CONSENABLE((*consenable)), SCIP_DECL_CONSDISABLE((*consdisable)), SCIP_DECL_CONSDELVARS((*consdelvars)), SCIP_DECL_CONSPRINT((*consprint)), SCIP_DECL_CONSCOPY((*conscopy)), SCIP_DECL_CONSPARSE((*consparse)), SCIP_DECL_CONSGETVARS((*consgetvars)), SCIP_DECL_CONSGETNVARS((*consgetnvars)), SCIP_DECL_CONSGETDIVEBDCHGS((*consgetdivebdchgs)), SCIP_CONSHDLRDATA *conshdlrdata) |
| |
| 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 | SCIPconshdlrGetDiveBoundChanges (SCIP_CONSHDLR *conshdlr, SCIP_SET *set, SCIP_DIVESET *diveset, SCIP_SOL *sol, SCIP_Bool *success, SCIP_Bool *infeasible) |
| |
| 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_PRESOLTIMING timing, int nrounds, int *nfixedvars, int *naggrvars, int *nchgvartypes, int *nchgbds, int *naddholes, int *ndelconss, int *naddconss, int *nupgdconss, int *nchgcoefs, int *nchgsides, SCIP_RESULT *result) |
| |
| 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))) |
| |
| SCIP_RETCODE | SCIPconshdlrSetPresol (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSPRESOL((*conspresol)), int maxprerounds, SCIP_PRESOLTIMING presoltiming) |
| |
| 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))) |
| |
| void | SCIPconshdlrSetGetDiveBdChgs (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSGETDIVEBDCHGS((*consgetdivebdchgs))) |
| |
| 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) |
| |
| void | SCIPconshdlrEnableOrDisableClocks (SCIP_CONSHDLR *conshdlr, SCIP_Bool enable) |
| |
| 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 | SCIPconshdlrWasLPSeparationDelayed (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrWasSolSeparationDelayed (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrWasPropagationDelayed (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrIsInitialized (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_Bool | SCIPconshdlrIsClonable (SCIP_CONSHDLR *conshdlr) |
| |
| SCIP_PROPTIMING | SCIPconshdlrGetPropTiming (SCIP_CONSHDLR *conshdlr) |
| |
| void | SCIPconshdlrSetPropTiming (SCIP_CONSHDLR *conshdlr, SCIP_PROPTIMING proptiming) |
| |
| SCIP_PRESOLTIMING | SCIPconshdlrGetPresolTiming (SCIP_CONSHDLR *conshdlr) |
| |
| void | SCIPconshdlrSetPresolTiming (SCIP_CONSHDLR *conshdlr, SCIP_PRESOLTIMING presoltiming) |
| |
| 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, SCIP_PRESOLTIMING timing, int nnewfixedvars, int nnewaggrvars, int nnewchgvartypes, int nnewchgbds, int nnewholes, int nnewdelconss, int nnewaddconss, int nnewupgdconss, int nnewchgcoefs, int nnewchgsides, int *nfixedvars, int *naggrvars, int *nchgvartypes, int *nchgbds, int *naddholes, int *ndelconss, int *naddconss, int *nupgdconss, int *nchgcoefs, int *nchgsides, SCIP_RESULT *result) |
| |
| 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 51 of file cons.c.
Referenced by consExceedsObsoleteage().
| #define checkConssArrays |
( |
|
conshdlr | ) |
|
Definition at line 239 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 314 of file cons.c.
References conshdlrGetAgeresetavg(), SCIP_Conshdlr::delayupdatecount, and SCIP_Real.
Referenced by conshdlrAddPropcons(), conshdlrAddSepacons(), conshdlrDelPropcons(), conshdlrDelSepacons(), conshdlrForceUpdates(), conshdlrMarkConsObsolete(), conshdlrMarkConsUseful(), conshdlrProcessUpdates(), SCIPconsActivate(), SCIPconsAddAge(), SCIPconsCreate(), SCIPconsDeactivate(), SCIPconsDisable(), SCIPconsDisablePropagation(), SCIPconsDisableSeparation(), SCIPconsEnable(), SCIPconsEnablePropagation(), SCIPconsEnableSeparation(), SCIPconshdlrInit(), SCIPconshdlrsResetPropagationStatus(), SCIPconsMarkPropagate(), SCIPconsRelease(), SCIPconsResetAge(), and SCIPconsUnmarkPropagate().
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 379 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, conshdlrAreUpdatesDelayed(), conshdlrMarkConsUseful(), SCIP_Cons::enabled, SCIP_Conshdlr::enfoconss, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, SCIP_Conshdlr::lastenfolpdomchgcount, SCIP_Conshdlr::lastenfolplpcount, SCIP_Conshdlr::lastenfolpnode, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::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 consExceedsObsoleteage(), 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 507 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, conshdlrAreUpdatesDelayed(), conshdlrMarkConsPropagate(), SCIP_Cons::enabled, SCIP_Conshdlr::enfoconss, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, FALSE, SCIP_Cons::markpropagate, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, 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 conshdlrMarkConsObsolete(), 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 612 of file cons.c.
References checkConssArrays, conshdlrUnmarkConsPropagate(), 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(), conshdlrMarkConsUseful(), 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 686 of file cons.c.
References checkConssArrays, conshdlrAddCons(), 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(), conshdlrMarkConsPropagate(), 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 758 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::conshdlr, conshdlrDelCons(), 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(), conshdlrUnmarkConsPropagate(), 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 804 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrDelInitcons(), conshdlrEnsureInitconssMem(), SCIP_Conshdlr::initconss, SCIP_Cons::initconsspos, SCIP_Cons::initial, SCIP_Conshdlr::ninitconss, SCIP_Stat::ninitconssadded, SCIP_Conshdlr::ninitconsskept, NULL, SCIP_Cons::original, SCIP_CALL, and SCIP_OKAY.
Referenced by conshdlrActivateCons(), conshdlrDelCons(), SCIPconshdlrInitLP(), SCIPconshdlrInitpre(), and SCIPconsSetInitial().
deletes constraint from the initconss array of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 840 of file cons.c.
References checkConssArrays, SCIP_Cons::conshdlr, conshdlrAddSepacons(), SCIP_Conshdlr::initconss, SCIP_Cons::initconsspos, SCIP_Conshdlr::ninitconss, SCIP_Conshdlr::ninitconsskept, NULL, and SCIP_Cons::original.
Referenced by conshdlrAddInitcons(), conshdlrDeactivateCons(), 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 875 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrAreUpdatesDelayed(), conshdlrDelSepacons(), 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 conshdlrDelInitcons(), conshdlrEnableCons(), conshdlrEnableConsSeparation(), and SCIPconsSetSeparated().
deletes constraint from the sepaconss array of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 919 of file cons.c.
References checkConssArrays, SCIP_Cons::conshdlr, conshdlrAddEnfocons(), 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 conshdlrAddSepacons(), 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 965 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrDelEnfocons(), conshdlrEnsureEnfoconssMem(), SCIP_Conshdlr::enfoconss, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, SCIP_Conshdlr::lastenfolpdomchgcount, SCIP_Conshdlr::lastenfolplpcount, SCIP_Conshdlr::lastenfolpnode, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::nenfoconss, NULL, SCIP_Conshdlr::nusefulenfoconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by conshdlrDelSepacons(), conshdlrEnableCons(), and SCIPconsSetEnforced().
deletes constraint from the enfoconss array of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 1020 of file cons.c.
References checkConssArrays, SCIP_Cons::conshdlr, conshdlrAddCheckcons(), SCIP_Conshdlr::enfoconss, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, SCIP_Conshdlr::lastnusefulenfoconss, SCIP_Conshdlr::nenfoconss, NULL, SCIP_Conshdlr::nusefulenfoconss, SCIP_Cons::obsolete, and SCIP_Cons::original.
Referenced by conshdlrAddEnfocons(), 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 1072 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, conshdlrDelCheckcons(), conshdlrEnsureCheckconssMem(), SCIP_Conshdlr::ncheckconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.
Referenced by conshdlrActivateCons(), conshdlrDelEnfocons(), and SCIPconsSetChecked().
deletes constraint from the checkconss array of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| cons | constraint to add |
Definition at line 1116 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, conshdlrAddPropcons(), SCIP_Conshdlr::ncheckconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Cons::obsolete, and SCIP_Cons::original.
Referenced by conshdlrAddCheckcons(), 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 1155 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrAreUpdatesDelayed(), conshdlrDelPropcons(), conshdlrEnsurePropconssMem(), conshdlrMarkConsPropagate(), SCIP_Conshdlr::duringprop, SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, SCIP_Conshdlr::npropconss, 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 conshdlrDelCheckcons(), conshdlrEnableCons(), conshdlrEnableConsPropagation(), and SCIPconsSetPropagated().
deletes constraint from the propconss array of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 1211 of file cons.c.
References checkConssArrays, SCIP_Cons::conshdlr, conshdlrAreUpdatesDelayed(), conshdlrEnableConsSeparation(), conshdlrUnmarkConsPropagate(), SCIP_Conshdlr::duringprop, SCIP_Conshdlr::lastnusefulpropconss, SCIP_Cons::markpropagate, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::npropconss, 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 conshdlrAddPropcons(), conshdlrDisableCons(), conshdlrDisableConsPropagation(), and SCIPconsSetPropagated().
enables separation of constraint
- Parameters
-
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 1269 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddSepacons(), conshdlrDisableConsSeparation(), 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 conshdlrDelPropcons(), conshdlrProcessUpdates(), and SCIPconsEnableSeparation().
disables separation of constraint
- Parameters
-
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 1300 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrDelSepacons(), conshdlrEnableConsPropagation(), 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 conshdlrEnableConsSeparation(), conshdlrProcessUpdates(), and SCIPconsDisableSeparation().
enables propagation of constraint
- Parameters
-
| conshdlr | constraint handler |
| set | global SCIP settings |
| cons | constraint to add |
Definition at line 1329 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddPropcons(), conshdlrDisableConsPropagation(), 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 conshdlrDisableConsSeparation(), conshdlrProcessUpdates(), and SCIPconsEnablePropagation().
disables propagation of constraint
- Parameters
-
| conshdlr | constraint handler |
| cons | constraint to remove |
Definition at line 1360 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrDelPropcons(), conshdlrEnableCons(), 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 conshdlrEnableConsPropagation(), 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 1389 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrAddEnfocons(), conshdlrAddPropcons(), conshdlrAddSepacons(), conshdlrDisableCons(), SCIP_Cons::enabled, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Stat::nenabledconss, SCIP_Conshdlr::nenabledconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, 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(), conshdlrDisableConsPropagation(), 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 1451 of file cons.c.
References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrActivateCons(), conshdlrDelEnfocons(), conshdlrDelPropcons(), conshdlrDelSepacons(), SCIP_Cons::enabled, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Stat::nenabledconss, SCIP_Conshdlr::nenabledconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, 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(), conshdlrEnableCons(), 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 1517 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::check, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, conshdlrAddCheckcons(), conshdlrAddInitcons(), conshdlrDeactivateCons(), conshdlrEnableCons(), SCIP_Conshdlr::conss, SCIP_Cons::consspos, SCIP_Cons::enabled, SCIP_Cons::enfoconsspos, SCIP_Cons::initconsspos, SCIP_Cons::initial, MAX, SCIP_Conshdlr::maxnactiveconss, SCIP_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 conshdlrDisableCons(), 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 1592 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::check, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, conshdlrDelCheckcons(), conshdlrDelInitcons(), conshdlrDisableCons(), conshdlrProcessUpdates(), SCIP_Conshdlr::conss, SCIP_Cons::consspos, SCIP_Cons::enabled, SCIP_Cons::enfoconsspos, FALSE, SCIP_Cons::initconsspos, SCIP_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 conshdlrActivateCons(), 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 1674 of file cons.c.
References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::consdata, consExceedsObsoleteage(), SCIP_Cons::conshdlr, conshdlrActivateCons(), conshdlrAddCons(), conshdlrAreUpdatesDelayed(), conshdlrDeactivateCons(), conshdlrDelayUpdates(), conshdlrDisableCons(), conshdlrDisableConsPropagation(), conshdlrDisableConsSeparation(), conshdlrEnableCons(), conshdlrEnableConsPropagation(), conshdlrEnableConsSeparation(), conshdlrMarkConsObsolete(), conshdlrMarkConsPropagate(), conshdlrMarkConsUseful(), conshdlrUnmarkConsPropagate(), SCIP_Cons::enabled, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, 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 conshdlrDeactivateCons(), and conshdlrForceUpdates().
marks constraint handler to delay all constraint updates until the next conshdlrProcessUpdates() call
- Parameters
-
| conshdlr | constraint handler |
Definition at line 1868 of file cons.c.
References conshdlrForceUpdates(), SCIP_Conshdlr::delayupdatecount, SCIP_Conshdlr::name, NULL, and SCIPdebugMessage.
Referenced by conshdlrProcessUpdates(), 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 1884 of file cons.c.
References conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrProcessUpdates(), SCIP_Conshdlr::delayupdatecount, SCIP_Conshdlr::name, NULL, SCIP_Conshdlr::nupdateconss, SCIP_CALL, SCIP_OKAY, and SCIPdebugMessage.
Referenced by conshdlrDelayUpdates(), 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 1910 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_DECL_SORTPTRCOMP(), SCIP_OKAY, SCIPconsCapture(), SCIPdebugMessage, TRUE, SCIP_Cons::update, and SCIP_Conshdlr::updateconss.
Referenced by conshdlrForceUpdates(), SCIPconsActivate(), SCIPconsAddAge(), SCIPconsCreate(), SCIPconsDeactivate(), SCIPconsDisable(), SCIPconsDisablePropagation(), SCIPconsDisableSeparation(), SCIPconsEnable(), SCIPconsEnablePropagation(), SCIPconsEnableSeparation(), SCIPconsMarkPropagate(), SCIPconsRelease(), SCIPconsResetAge(), and SCIPconsUnmarkPropagate().
| SCIP_DECL_SORTPTRCOMP |
( |
SCIPconshdlrCompSepa |
| ) |
|
| SCIP_DECL_SORTPTRCOMP |
( |
SCIPconshdlrCompEnfo |
| ) |
|
compares two constraint handlers w. r. to their enforcing priority
Definition at line 1947 of file cons.c.
| SCIP_DECL_SORTPTRCOMP |
( |
SCIPconshdlrCompCheck |
| ) |
|
compares two constraint handlers w. r. to their feasibility check priority
Definition at line 1953 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 |
needscons, |
|
|
SCIP_PROPTIMING |
proptiming, |
|
|
SCIP_PRESOLTIMING |
presoltiming, |
|
|
SCIP_DECL_CONSHDLRCOPY((*conshdlrcopy)) |
, |
|
|
SCIP_DECL_CONSFREE((*consfree)) |
, |
|
|
SCIP_DECL_CONSINIT((*consinit)) |
, |
|
|
SCIP_DECL_CONSEXIT((*consexit)) |
, |
|
|
SCIP_DECL_CONSINITPRE((*consinitpre)) |
, |
|
|
SCIP_DECL_CONSEXITPRE((*consexitpre)) |
, |
|
|
SCIP_DECL_CONSINITSOL((*consinitsol)) |
, |
|
|
SCIP_DECL_CONSEXITSOL((*consexitsol)) |
, |
|
|
SCIP_DECL_CONSDELETE((*consdelete)) |
, |
|
|
SCIP_DECL_CONSTRANS((*constrans)) |
, |
|
|
SCIP_DECL_CONSINITLP((*consinitlp)) |
, |
|
|
SCIP_DECL_CONSSEPALP((*conssepalp)) |
, |
|
|
SCIP_DECL_CONSSEPASOL((*conssepasol)) |
, |
|
|
SCIP_DECL_CONSENFOLP((*consenfolp)) |
, |
|
|
SCIP_DECL_CONSENFOPS((*consenfops)) |
, |
|
|
SCIP_DECL_CONSCHECK((*conscheck)) |
, |
|
|
SCIP_DECL_CONSPROP((*consprop)) |
, |
|
|
SCIP_DECL_CONSPRESOL((*conspresol)) |
, |
|
|
SCIP_DECL_CONSRESPROP((*consresprop)) |
, |
|
|
SCIP_DECL_CONSLOCK((*conslock)) |
, |
|
|
SCIP_DECL_CONSACTIVE((*consactive)) |
, |
|
|
SCIP_DECL_CONSDEACTIVE((*consdeactive)) |
, |
|
|
SCIP_DECL_CONSENABLE((*consenable)) |
, |
|
|
SCIP_DECL_CONSDISABLE((*consdisable)) |
, |
|
|
SCIP_DECL_CONSDELVARS((*consdelvars)) |
, |
|
|
SCIP_DECL_CONSPRINT((*consprint)) |
, |
|
|
SCIP_DECL_CONSCOPY((*conscopy)) |
, |
|
|
SCIP_DECL_CONSPARSE((*consparse)) |
, |
|
|
SCIP_DECL_CONSGETVARS((*consgetvars)) |
, |
|
|
SCIP_DECL_CONSGETNVARS((*consgetnvars)) |
, |
|
|
SCIP_DECL_CONSGETDIVEBDCHGS((*consgetdivebdchgs)) |
, |
|
|
SCIP_CONSHDLRDATA * |
conshdlrdata |
|
) |
| |
creates a constraint handler
- Parameters
-
| conshdlr | pointer to constraint handler data structure |
| set | global SCIP settings |
| messagehdlr | message handler |
| blkmem | block memory for parameter settings |
| name | name of constraint handler |
| desc | description of constraint handler |
| sepapriority | priority of the constraint handler for separation |
| enfopriority | priority of the constraint handler for constraint enforcing |
| checkpriority | priority of the constraint handler for checking feasibility (and propagation) |
| sepafreq | frequency for separating cuts; zero means to separate only in the root node |
| propfreq | frequency for propagating domains; zero means only preprocessing propagation |
| eagerfreq | frequency for using all instead of only the useful constraints in separation, propagation and enforcement, -1 for no eager evaluations, 0 for first only |
| maxprerounds | maximal number of presolving rounds the constraint handler participates in (-1: no limit) |
| delaysepa | should separation method be delayed, if other separators found cuts? |
| delayprop | should propagation method be delayed, if other propagators found reductions? |
| needscons | should the constraint handler be skipped, if no constraints are available? |
| proptiming | positions in the node solving loop where propagation method of constraint handlers should be executed |
| presoltiming | timing mask of the constraint handler's presolving method |
| conshdlrdata | constraint handler data |
Definition at line 1980 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_PARAMETERWRONGVAL, SCIP_PRESOLTIMING_ALWAYS, SCIP_PRESOLTIMING_EXHAUSTIVE, SCIP_PRESOLTIMING_FAST, SCIP_PRESOLTIMING_MEDIUM, SCIP_PROPTIMING_AFTERLPLOOP, SCIP_PROPTIMING_ALWAYS, SCIP_PROPTIMING_BEFORELP, SCIP_PROPTIMING_DURINGLPLOOP, SCIPclockCreate(), SCIPconshdlrFree(), SCIPmessagePrintError(), SCIPqueueCreate(), SCIPsetAddBoolParam(), SCIPsetAddIntParam(), SCIPsnprintf(), and TRUE.
Referenced by SCIPconshdlrCopyInclude(), 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 2297 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::proptime, SCIP_Conshdlr::propwasdelayed, SCIP_Conshdlr::resproptime, SCIP_Conshdlr::sbproptime, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockReset(), SCIPclockStart(), SCIPclockStop(), SCIPconshdlrExit(), SCIPerrorMessage, SCIP_Conshdlr::sepalpwasdelayed, SCIP_Conshdlr::sepasolwasdelayed, SCIP_Conshdlr::sepatime, SCIP_Conshdlr::setuptime, SCIP_Conshdlr::startnactiveconss, and TRUE.
Referenced by SCIPconshdlrFree().
calls exit method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 2406 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(), SCIPconshdlrInitpre(), SCIPconshdlrPopProp(), SCIPerrorMessage, SCIPqueueIsEmpty(), and SCIP_Conshdlr::setuptime.
Referenced by SCIPconshdlrInit(), and SCIPsetInitPlugins().
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 2454 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::propwasdelayed, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrExitpre(), SCIP_Conshdlr::setuptime, and SCIP_Conshdlr::startnactiveconss.
Referenced by SCIPconshdlrExit(), and SCIPsetExitPlugins().
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 2552 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(), SCIPconshdlrInitsol(), SCIPconshdlrPopProp(), SCIPqueueIsEmpty(), SCIP_Conshdlr::setuptime, and SCIP_Conshdlr::startnactiveconss.
Referenced by SCIPconshdlrInitpre(), and SCIPsetInitprePlugins().
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 2598 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, FALSE, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrExitsol(), SCIP_Conshdlr::sepalpwasdelayed, SCIP_Conshdlr::sepasolwasdelayed, and SCIP_Conshdlr::setuptime.
Referenced by SCIPconshdlrExitpre(), and SCIPsetInitprePlugins().
informs constraint handler that the branch and bound process data is being freed
- Parameters
-
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| restart | was this exit solve call triggered by a restart? |
Definition at line 2638 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrInitLP(), and SCIP_Conshdlr::setuptime.
Referenced by SCIPconshdlrInitsol(), and 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 2675 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(), SCIPconshdlrSeparateLP(), SCIPconsIsActive(), SCIPdebugMessage, SCIPtreeGetCurrentDepth(), SCIPtreeProbing(), and SCIP_Conshdlr::sepatime.
Referenced by SCIPconshdlrExitsol(), and 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 2778 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(), SCIPconshdlrSeparateSol(), SCIPdebugMessage, SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIP_Conshdlr::sepaconss, SCIP_Conshdlr::sepafreq, SCIP_Conshdlr::sepalpwasdelayed, SCIP_Conshdlr::sepatime, and TRUE.
Referenced by SCIPconshdlrInitLP(), and 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 2935 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(), SCIPconshdlrEnforceLPSol(), SCIPdebugMessage, SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIP_Conshdlr::sepaconss, SCIP_Conshdlr::sepafreq, SCIP_Conshdlr::sepasolwasdelayed, SCIP_Conshdlr::sepatime, and TRUE.
Referenced by SCIPconshdlrSeparateLP(), and 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 3064 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(), SCIPconshdlrGetDiveBoundChanges(), SCIPdebugMessage, SCIPerrorMessage, SCIPsepastoreGetNCuts(), and TRUE.
Referenced by enforceConstraints(), and SCIPconshdlrSeparateSol().
calls diving solution enforcement callback of constraint handler, if it exists
- Parameters
-
| conshdlr | constraint handler |
| set | global SCIP settings |
| diveset | diving settings to control scoring |
| sol | current solution of diving mode |
| success | pointer to store whether constraint handler successfully found a variable |
| infeasible | pointer to store whether the current node was detected to be infeasible |
Definition at line 3242 of file cons.c.
References NULL, SCIP_CALL, SCIP_OKAY, and SCIPconshdlrEnforcePseudoSol().
Referenced by SCIPconshdlrEnforceLPSol(), and SCIPgetDiveBoundChanges().
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 3269 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(), SCIPconshdlrCheck(), SCIPdebugMessage, SCIPerrorMessage, and TRUE.
Referenced by enforceConstraints(), and SCIPconshdlrGetDiveBoundChanges().
calls feasibility check method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| sol | primal CIP solution |
| checkintegrality | Has integrality to be checked? |
| checklprows | Do constraints represented by rows in the current LP have to be checked? |
| printreason | Should the reason for the violation be printed? |
| result | pointer to store the result of the callback method |
Definition at line 3465 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(), SCIPconshdlrPropagate(), SCIPdebugMessage, and SCIPerrorMessage.
Referenced by checkSolOrig(), SCIPconshdlrEnforcePseudoSol(), 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 3526 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(), SCIPconshdlrPresolve(), SCIPdebugMessage, SCIPerrorMessage, and TRUE.
Referenced by propagationRound(), and SCIPconshdlrCheck().
| SCIP_RETCODE SCIPconshdlrPresolve |
( |
SCIP_CONSHDLR * |
conshdlr, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_STAT * |
stat, |
|
|
SCIP_PRESOLTIMING |
timing, |
|
|
int |
nrounds, |
|
|
int * |
nfixedvars, |
|
|
int * |
naggrvars, |
|
|
int * |
nchgvartypes, |
|
|
int * |
nchgbds, |
|
|
int * |
naddholes, |
|
|
int * |
ndelconss, |
|
|
int * |
naddconss, |
|
|
int * |
nupgdconss, |
|
|
int * |
nchgcoefs, |
|
|
int * |
nchgsides, |
|
|
SCIP_RESULT * |
result |
|
) |
| |
calls presolving method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| timing | current presolving timing |
| nrounds | number of presolving rounds already done |
| nfixedvars | pointer to total number of variables fixed of all presolvers |
| naggrvars | pointer to total number of variables aggregated of all presolvers |
| nchgvartypes | pointer to total number of variable type changes of all presolvers |
| nchgbds | pointer to total number of variable bounds tightened of all presolvers |
| naddholes | pointer to total number of domain holes added of all presolvers |
| ndelconss | pointer to total number of deleted constraints of all presolvers |
| naddconss | pointer to total number of added constraints of all presolvers |
| nupgdconss | pointer to total number of upgraded constraints of all presolvers |
| nchgcoefs | pointer to total number of changed coefficients of all presolvers |
| nchgsides | pointer to total number of changed left/right hand sides of all presolvers |
| result | pointer to store the result of the callback method |
Definition at line 3693 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::lastnaddconss, SCIP_Conshdlr::lastnaddholes, SCIP_Conshdlr::lastnaggrvars, SCIP_Conshdlr::lastnchgbds, SCIP_Conshdlr::lastnchgcoefs, SCIP_Conshdlr::lastnchgsides, SCIP_Conshdlr::lastnchgvartypes, SCIP_Conshdlr::lastndelconss, SCIP_Conshdlr::lastnfixedvars, SCIP_Conshdlr::lastnupgdconss, SCIP_Conshdlr::maxprerounds, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::naddconss, SCIP_Conshdlr::naddholes, SCIP_Conshdlr::naggrvars, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nchgbds, SCIP_Conshdlr::nchgcoefs, SCIP_Conshdlr::nchgsides, SCIP_Conshdlr::nchgvartypes, SCIP_Conshdlr::ndelconss, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nfixedvars, SCIP_Conshdlr::npresolcalls, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nupgdconss, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Conshdlr::presoltime, SCIP_Conshdlr::presoltiming, SCIP_CALL, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_SUCCESS, SCIP_UNBOUNDED, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrDelVars(), SCIPdebugMessage, and SCIPerrorMessage.
Referenced by presolveRound(), and SCIPconshdlrPropagate().
calls variable deletion method of constraint handler
- Parameters
-
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
| stat | dynamic problem statistics |
Definition at line 3836 of file cons.c.
References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::name, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrLockVars(), and SCIPdebugMessage.
Referenced by SCIPconshdlrPresolve(), and SCIPprobPerformVarDeletions().
gets name of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 3897 of file cons.c.
References SCIP_Conshdlr::name, NULL, and SCIPconshdlrGetDesc().
Referenced by addAltLPConstraint(), addAltLPRow(), addObjcut(), checkBounddisjunction(), checkConsnames(), checkFeasSubtree(), checkKnapsack(), checkLogicor(), checkVarbound(), computeAndConstraintInfos(), consdataCollectLinkingCons(), consdataEnsureAddLinConsSize(), copyConsPseudoboolean(), createNAryBranch(), createNormalizedSetppc(), deleteAltLPConstraint(), enforceConflictgraph(), enforceConssSOS1(), enforceConstraints(), enforceCurrentSol(), enforceIndicators(), enforcePseudo(), enforceSOS2(), extractLinearValues(), freeConflictgraph(), generateBoundInequalityFromSOS1Cons(), initAlternativeLP(), paramsetSetPresolvingDefault(), paramsetSetPresolvingFast(), paramsetSetPresolvingOff(), paramsetSetSeparatingAggressive(), paramsetSetSeparatingDefault(), paramsetSetSeparatingOff(), 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_CONSGETDIVEBDCHGS(), 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_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERWRITE(), SCIPaddCoefLogicor(), SCIPaddCoefPseudoboolean(), SCIPaddCoefSetppc(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddLinearConsIndicator(), SCIPaddRowIndicator(), SCIPaddTermPseudoboolean(), SCIPaddVarIndicator(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarSOS2(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgBilinCoefQuadratic(), SCIPchgLhsLinear(), SCIPchgLhsPseudoboolean(), SCIPchgLhsQuadratic(), SCIPchgLinearCoefQuadratic(), SCIPchgRhsLinear(), SCIPchgRhsPseudoboolean(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPconshdlrCopyInclude(), SCIPconshdlrUnlockVars(), SCIPcopyConsLinear(), SCIPcopyConss(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsSuperindicator(), SCIPdelCoefLinear(), SCIPgetActivityQuadratic(), SCIPgetAndDatasPseudoboolean(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCoefLinearAbspower(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasSetppc(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolLogicor(), SCIPgetDualsolSetppc(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExponentAbspower(), SCIPgetFeasibilityQuadratic(), SCIPgetHmaxCumulative(), SCIPgetHminCumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntvarLinking(), SCIPgetLhsAbspower(), SCIPgetLhsPseudoboolean(), SCIPgetLhsVarbound(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinearVarAbspower(), SCIPgetNAndsPseudoboolean(), SCIPgetNBinvarsLinking(), SCIPgetNFixedonesSetppc(), SCIPgetNLinVarsWithoutAndPseudoboolean(), SCIPgetNlRowAbspower(), SCIPgetNonlinearVarAbspower(), SCIPgetNVarsAnd(), SCIPgetNVarsBounddisjunction(), SCIPgetNVarsCumulative(), SCIPgetNVarsLogicor(), SCIPgetNVarsOr(), SCIPgetNVarsSetppc(), SCIPgetNVarsSOS2(), SCIPgetNVarsXor(), SCIPgetOffsetAbspower(), SCIPgetResultantAnd(), SCIPgetResultantOr(), SCIPgetRhsAbspower(), SCIPgetRhsPseudoboolean(), SCIPgetRhsVarbound(), SCIPgetRhsXor(), SCIPgetRowLogicor(), SCIPgetRowSetppc(), SCIPgetRowVarbound(), SCIPgetSlackConsSuperindicator(), SCIPgetSlackVarIndicator(), SCIPgetTypeSetppc(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCumulative(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSetppc(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetViolationAbspower(), SCIPgetWeightsSOS2(), SCIPincludeDialogDefaultFix(), SCIPincludeDialogDefaultSet(), SCIPisAndConsSorted(), SCIPmakeIndicatorFeasible(), SCIPmakeIndicatorsFeasible(), SCIPmakeSOS1sFeasible(), SCIPmatrixCreate(), SCIPpresolve(), SCIPprintDualSol(), SCIPreaderWrite(), SCIPreadProb(), SCIPsetBinaryVarIndicator(), SCIPsetConshdlrPresol(), SCIPsetConshdlrProp(), SCIPsetConshdlrSepa(), SCIPsetCopyPlugins(), SCIPsetHmaxCumulative(), SCIPsetHminCumulative(), SCIPsetIncludeConshdlr(), SCIPsetLinearConsIndicator(), SCIPsolCheck(), SCIPsortAndCons(), SCIPtransformMinUC(), SCIPtransformProb(), 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 3917 of file cons.c.
References SCIP_Conshdlr::conshdlrdata, NULL, and SCIPconshdlrSetData().
Referenced by addAltLPConstraint(), addAltLPRow(), addCoef(), addCoefTerm(), addLinearCoef(), addLinearizationCuts(), addObjcut(), addQuadVarTerm(), addRelaxation(), applyAlternativeBoundsFixing(), catchLinearVarEvents(), checkAndConss(), checkCurvature(), checkFixedVariables(), checkOrigPbCons(), checkOverloadViaThetaTree(), chgLinearCoefPos(), computeEffectiveHorizon(), computeGauge(), computeViolation(), computeViolations(), consdataCreate(), consdataDeletePos(), consdataEnsureAddLinConsSize(), consdataPrint(), coretimesUpdateLb(), coretimesUpdateUb(), createAndAddAndCons(), createAndAddLinearCons(), createConsSetppc(), createCoreProfile(), createNlRow(), delCoefPos(), deleteAltLPConstraint(), deleteRedundantVars(), delLinearCoefPos(), delQuadVarTermPos(), detectRedundantConstraints(), detectRedundantVars(), dropLinearVarEvents(), enforceConssSOS1(), enforceCuts(), enforceIndicators(), findCumulativeConss(), findPrecedenceConss(), generateBoundInequalityFromSOS1Cons(), generateCut(), generateCutSol(), generateLinearizationCut(), generateSecantCut(), generateSparseCut(), getLinVarsAndAndRess(), 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_CONSGETDIVEBDCHGS(), 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_LINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_QUADCONSUPGD(), SCIPaddLinearConsIndicator(), SCIPaddRowIndicator(), SCIPaddVarSOS1(), SCIPcheckCurvatureNonlinear(), SCIPconshdlrGetDesc(), SCIPcreateConsAnd(), SCIPcreateConsCumulative(), SCIPcreateConsIndicator(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsKnapsack(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsLogicor(), SCIPcreateConsOr(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsSOC(), SCIPcreateConsSOS1(), SCIPcreateConsSuperindicator(), SCIPcreateConsVarbound(), SCIPexistsConsLinking(), SCIPfindObjConshdlr(), SCIPgetBinvarsLinking(), SCIPgetConsLinking(), SCIPgetCountedSparseSols(), SCIPgetCurvatureNonlinear(), SCIPgetExprgraphNonlinear(), SCIPgetExprtreeCurvaturesNonlinear(), SCIPgetNCountedFeasSubtrees(), SCIPgetNCountedSols(), SCIPgetNCountedSolsstr(), SCIPgetObjConshdlr(), SCIPincludeNonlinconsUpgrade(), SCIPincludeQuadconsUpgrade(), SCIPmakeSOS1sFeasible(), SCIPpropCumulativeCondition(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPsetLinearConsIndicator(), SCIPsetSolveCumulative(), SCIPsolveCumulative(), separateIISRounding(), separateIndicators(), separatePoint(), separateSOS1(), splitOffLinearPart(), tightenWeights(), upgradeLinearSuperindicator(), and upgradeSuperindicator().
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 4258 of file cons.c.
References SCIP_Conshdlr::conss, NULL, and SCIPconshdlrGetEnfoConss().
Referenced by addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addSetppcConstraints(), addVarboundConstraints(), calcNonZeros(), checkBounddisjunction(), checkFeasSubtree(), checkKnapsack(), checkLogicor(), checkVarbound(), computeAndConstraintInfos(), computeRanks(), countNonlinearities(), createCoveringProblem(), createSubSCIP(), getDiveBdChgsSOS1constraints(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIPconshdlrSetGetDiveBdChgs(), SCIPcopyConss(), SCIPmakeIndicatorsFeasible(), SCIPpermuteProb(), SCIPreaderWrite(), SCIPwriteLp(), tightenVarsBoundsSOS1(), writeOpbConstraints(), and writeOpbObjective().
gets total number of existing transformed constraints of constraint handler
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4288 of file cons.c.
References SCIP_Conshdlr::nconss, NULL, and SCIPconshdlrGetNEnfoConss().
Referenced by computeAndConstraintInfos(), computeRanks(), createSubSCIP(), getDiveBdChgsSOS1constraints(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_SEPAEXECLP(), SCIPconshdlrGetCheckConss(), SCIPmakeIndicatorsFeasible(), SCIPmakeSOS1sFeasible(), SCIPreaderWrite(), SCIPwriteLp(), SCIPwriteOpb(), tightenVarsBoundsSOS1(), 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 4322 of file cons.c.
References SCIP_Conshdlr::nactiveconss, NULL, and SCIPconshdlrGetNEnabledConss().
Referenced by addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addSetppcConstraints(), addVarboundConstraints(), calcNonZeros(), checkBounddisjunction(), checkKnapsack(), checkLogicor(), checkVarbound(), countNonlinearities(), createCoveringProblem(), SCIP_DECL_CONSINITSOL(), SCIPapplyUndercover(), SCIPconshdlrGetNCheckConss(), SCIPcopyConss(), SCIPpermuteProb(), SCIPpresolve(), and SCIPtransformProb().
enables or disables all clocks of conshdlr, depending on the value of the flag
- Parameters
-
| conshdlr | the constraint handler for which all clocks should be enabled or disabled |
| enable | should the clocks of the constraint handler be enabled? |
Definition at line 4342 of file cons.c.
References SCIP_Conshdlr::checktime, SCIP_Conshdlr::enfolptime, SCIP_Conshdlr::enfopstime, NULL, SCIP_Conshdlr::presoltime, SCIP_Conshdlr::proptime, SCIP_Conshdlr::resproptime, SCIP_Conshdlr::sbproptime, SCIP_Real, SCIPclockEnableOrDisable(), SCIPconshdlrGetSetupTime(), SCIP_Conshdlr::sepatime, and SCIP_Conshdlr::setuptime.
Referenced by SCIPconshdlrGetNEnabledConss(), and SCIPsetSetReoptimizationParams().
needs constraint handler a constraint to be called?
- Parameters
-
| conshdlr | constraint handler |
Definition at line 4781 of file cons.c.
References SCIP_Conshdlr::needscons, NULL, SCIP_Bool, and SCIPconshdlrDoesPresolve().
Referenced by checkSolOrig(), printConstraintStatistics(), printConstraintTimingStatistics(), printPresolverStatistics(), SCIPconshdlrGetEagerFreq(), SCIPprobFree(), SCIPprobTransform(), and 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 5045 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(), SCIPconsIsActive(), and SCIPconssetchgAddDisabledCons().
Referenced by conssetchgEnsureDisabledconssSize(), and 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 5120 of file cons.c.
References SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_ConsSetChg::addedconss, conssetchgDelDisabledCons(), SCIP_ConsSetChg::naddedconss, SCIP_Cons::name, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), and SCIPdebugMessage.
Referenced by SCIPconsDelete(), SCIPconssetchgAddDisabledCons(), SCIPconssetchgApply(), and SCIPconssetchgMakeGlobal().
deletes and releases deactivated constraint from the disabledconss array of the constraint set change data
- Parameters
-
| conssetchg | constraint set change to apply |
| blkmem | block memory |
| set | global SCIP settings |
| arraypos | position of constraint in disabledconss array |
Definition at line 5166 of file cons.c.
References SCIP_ConsSetChg::disabledconss, SCIP_Cons::name, SCIP_ConsSetChg::ndisabledconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), SCIPconssetchgApply(), and SCIPdebugMessage.
Referenced by conssetchgDelAddedCons(), SCIPconssetchgApply(), SCIPconssetchgMakeGlobal(), and SCIPconssetchgUndo().
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 5195 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(), SCIPconssetchgUndo(), SCIPdebugMessage, and SCIP_Cons::update.
Referenced by conssetchgDelDisabledCons(), and 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 5282 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(), SCIPconssetchgMakeGlobal(), SCIPdebugMessage, and SCIP_Cons::update.
Referenced by nodeDeactivate(), and SCIPconssetchgApply().
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 5368 of file cons.c.
References conssetchgDelAddedCons(), conssetchgDelDisabledCons(), SCIP_Cons::deleted, SCIP_ConsSetChg::naddedconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsCreate(), SCIPconsDelete(), SCIPconsIsStickingAtNode(), SCIPconsRelease(), SCIPconssetchgFree(), SCIPdebugMessage, SCIPprobAddCons(), and SCIP_Cons::update.
Referenced by SCIPconssetchgUndo(), and SCIPnodeFocus().
| SCIP_RETCODE SCIPconsCreate |
( |
SCIP_CONS ** |
cons, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
const char * |
name, |
|
|
SCIP_CONSHDLR * |
conshdlr, |
|
|
SCIP_CONSDATA * |
consdata, |
|
|
SCIP_Bool |
initial, |
|
|
SCIP_Bool |
separate, |
|
|
SCIP_Bool |
enforce, |
|
|
SCIP_Bool |
check, |
|
|
SCIP_Bool |
propagate, |
|
|
SCIP_Bool |
local, |
|
|
SCIP_Bool |
modifiable, |
|
|
SCIP_Bool |
dynamic, |
|
|
SCIP_Bool |
removable, |
|
|
SCIP_Bool |
stickingatnode, |
|
|
SCIP_Bool |
original, |
|
|
SCIP_Bool |
deleteconsdata |
|
) |
| |
creates and captures a constraint, and inserts it into the conss array of its constraint handler
- 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 5463 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(), SCIPconsCopy(), SCIPdebugMessage, SCIPerrorMessage, and TRUE.
Referenced by SCIPconssetchgMakeGlobal(), SCIPconsTransform(), and SCIPcreateCons().
| SCIP_RETCODE SCIPconsCopy |
( |
SCIP_CONS ** |
cons, |
|
|
SCIP_SET * |
set, |
|
|
const char * |
name, |
|
|
SCIP * |
sourcescip, |
|
|
SCIP_CONSHDLR * |
sourceconshdlr, |
|
|
SCIP_CONS * |
sourcecons, |
|
|
SCIP_HASHMAP * |
varmap, |
|
|
SCIP_HASHMAP * |
consmap, |
|
|
SCIP_Bool |
initial, |
|
|
SCIP_Bool |
separate, |
|
|
SCIP_Bool |
enforce, |
|
|
SCIP_Bool |
check, |
|
|
SCIP_Bool |
propagate, |
|
|
SCIP_Bool |
local, |
|
|
SCIP_Bool |
modifiable, |
|
|
SCIP_Bool |
dynamic, |
|
|
SCIP_Bool |
removable, |
|
|
SCIP_Bool |
stickingatnode, |
|
|
SCIP_Bool |
global, |
|
|
SCIP_Bool * |
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 5607 of file cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, and SCIPconsParse().
Referenced by SCIPconsCreate(), and SCIPgetConsCopy().
| SCIP_RETCODE SCIPconsParse |
( |
SCIP_CONS ** |
cons, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_MESSAGEHDLR * |
messagehdlr, |
|
|
const char * |
str, |
|
|
SCIP_Bool |
initial, |
|
|
SCIP_Bool |
separate, |
|
|
SCIP_Bool |
enforce, |
|
|
SCIP_Bool |
check, |
|
|
SCIP_Bool |
propagate, |
|
|
SCIP_Bool |
local, |
|
|
SCIP_Bool |
modifiable, |
|
|
SCIP_Bool |
dynamic, |
|
|
SCIP_Bool |
removable, |
|
|
SCIP_Bool |
stickingatnode, |
|
|
SCIP_Bool * |
success |
|
) |
| |
parses constraint information (in cip format) out of a string; if the parsing process was successful a constraint is created, captured, and inserted into the conss array of its constraint handler.
- 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 5663 of file cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPconsChgName(), SCIPdebugMessage, SCIPmessagePrintWarning(), SCIPsetFindConshdlr(), and SCIPstrCopySection().
Referenced by SCIPconsCopy(), and SCIPparseCons().
frees a constraint and removes it from the conss array of its constraint handler
- Parameters
-
| cons | constraint to free |
| blkmem | block memory buffer |
| set | global SCIP settings |
Definition at line 5790 of file cons.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, checkConssArrays, SCIP_Cons::consdata, conshdlrDelCons(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), and SCIPdebugMessage.
Referenced by SCIPconsChgName(), and SCIPconsRelease().
increases usage counter of constraint
- Parameters
-
Definition at line 5845 of file cons.c.
References SCIP_Cons::name, NULL, SCIP_Cons::nuses, SCIPconsRelease(), and SCIPdebugMessage.
Referenced by boundchgCaptureData(), conshdlrAddUpdateCons(), SCIPcaptureCons(), SCIPconsCreate(), SCIPconsFree(), 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 5857 of file cons.c.
References conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconsFree(), SCIPconsPrint(), SCIPdebugMessage, and TRUE.
Referenced by boundchgReleaseData(), conshdlrProcessUpdates(), conssetchgDelAddedCons(), conssetchgDelDisabledCons(), conssetchgRelease(), SCIPconsCapture(), 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 5936 of file cons.c.
References SCIP_Cons::conshdlr, FALSE, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, and SCIPconsGetNVars().
Referenced by saveLocalConssData(), SCIPconsPrint(), and 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 5972 of file cons.c.
References SCIP_Cons::conshdlr, FALSE, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, and SCIPconsDelete().
Referenced by calcNonZeros(), saveLocalConssData(), SCIPconsGetVars(), 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 6004 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(), SCIPconsTransform(), SCIPdebugMessage, SCIPprobDelCons(), TRUE, SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.
Referenced by SCIPconsAddAge(), SCIPconsGetNVars(), 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 6060 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(), SCIPconsSetInitial(), SCIP_Cons::separate, SCIP_Cons::stickingatnode, and SCIP_Cons::transorigcons.
Referenced by SCIPconsDelete(), SCIPprobTransform(), SCIPtransformCons(), and SCIPtransformConss().
sets the initial flag of the given constraint
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
| stat | dynamic problem statistics |
| initial | new value |
Definition at line 6110 of file cons.c.
References conshdlrAddInitcons(), conshdlrDelInitcons(), SCIP_Cons::initconsspos, SCIP_Cons::initial, NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsGetHdlr(), and SCIPconsSetSeparated().
Referenced by SCIPconsTransform(), and SCIPsetConsInitial().
sets the separate flag of the given constraint
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
| separate | new value |
Definition at line 6144 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddSepacons(), conshdlrDelSepacons(), SCIP_Cons::enabled, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPconsSetEnforced(), SCIPsetGetStage(), SCIP_Cons::sepaenabled, and SCIP_Cons::separate.
Referenced by SCIPconsSetInitial(), and SCIPsetConsSeparated().
sets the enforce flag of the given constraint
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
| enforce | new value |
Definition at line 6179 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, SCIPconsSetChecked(), and SCIPsetGetStage().
Referenced by SCIPconsSetSeparated(), and SCIPsetConsEnforced().
sets the check flag of the given constraint
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
| check | new value |
Definition at line 6214 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, SCIPconsAddLocks(), and SCIPconsSetPropagated().
Referenced by SCIPconsSetEnforced(), and SCIPsetConsChecked().
sets the propagate flag of the given constraint
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
| propagate | new value |
Definition at line 6262 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, SCIPconsSetLocal(), and SCIPsetGetStage().
Referenced by SCIPconsSetChecked(), and SCIPsetConsPropagated().
| void SCIPconsSetNamePointer |
( |
SCIP_CONS * |
cons, |
|
|
const char * |
name |
|
) |
| |
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 6379 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, SCIPconsDeactivate(), 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 SCIPconsGetTransformed(), 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 6421 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, SCIPconsEnable(), SCIPdebugMessage, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.
Referenced by SCIPconsActivate(), 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 6456 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, SCIPconsDisable(), TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, SCIP_Cons::updatedeactivate, SCIP_Cons::updatedisable, and SCIP_Cons::updateenable.
Referenced by SCIPconsDeactivate(), 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 6489 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, SCIPconsEnableSeparation(), TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, SCIP_Cons::updatedisable, and SCIP_Cons::updateenable.
Referenced by SCIPconsEnable(), 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 6523 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrEnableConsSeparation(), FALSE, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsDisableSeparation(), SCIP_Cons::sepaenabled, TRUE, SCIP_Cons::update, SCIP_Cons::updatesepadisable, and SCIP_Cons::updatesepaenable.
Referenced by SCIPconsDisable(), and SCIPenableConsSeparation().
disables constraint's separation capabilities or marks them to be disabled in next update
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
Definition at line 6553 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDisableConsSeparation(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsEnablePropagation(), SCIP_Cons::sepaenabled, TRUE, SCIP_Cons::update, SCIP_Cons::updatesepadisable, and SCIP_Cons::updatesepaenable.
Referenced by SCIPconsEnableSeparation(), and 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 6581 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrEnableConsPropagation(), FALSE, NULL, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsDisablePropagation(), TRUE, SCIP_Cons::update, SCIP_Cons::updatepropdisable, and SCIP_Cons::updatepropenable.
Referenced by SCIPconsDisableSeparation(), and SCIPenableConsPropagation().
disables constraint's propagation capabilities or marks them to be disabled in next update
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
Definition at line 6611 of file cons.c.
References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDisableConsPropagation(), FALSE, NULL, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsMarkPropagate(), TRUE, SCIP_Cons::update, SCIP_Cons::updatepropdisable, and SCIP_Cons::updatepropenable.
Referenced by SCIPconsEnablePropagation(), and SCIPdisableConsPropagation().
marks the constraint to be propagated (update might be delayed)
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
Definition at line 6641 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, SCIPconsUnmarkPropagate(), TRUE, SCIP_Cons::update, SCIP_Cons::updatemarkpropagate, and SCIP_Cons::updateunmarkpropagate.
Referenced by SCIPconsDisablePropagation(), SCIPconshdlrsResetPropagationStatus(), and SCIPmarkConsPropagate().
unmarks the constraint to be propagated (update might be delayed)
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
Definition at line 6671 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, SCIPconsAddAge(), TRUE, SCIP_Cons::update, SCIP_Cons::updatemarkpropagate, and SCIP_Cons::updateunmarkpropagate.
Referenced by SCIPconshdlrsStorePropagationStatus(), SCIPconsMarkPropagate(), 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 6709 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(), SCIPconsIncAge(), SCIPdebugMessage, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updateobsolete.
Referenced by SCIPaddConsAge(), SCIPconsIncAge(), and SCIPconsUnmarkPropagate().
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 6767 of file cons.c.
References SCIP_CALL, SCIP_OKAY, SCIPconsAddAge(), and SCIPconsResetAge().
Referenced by SCIPconsAddAge(), and 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 6787 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, SCIPconsPushProp(), SCIPdebugMessage, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updateobsolete.
Referenced by SCIPconsIncAge(), SCIPprobInitSolve(), and SCIPresetConsAge().
adds an active constraint to the propagation queue(if not already marked for propagation) of corresponding constraint handler and marks the constraint to be propagated in the next propagation round
- Note
- if constraint is added to the queue it will be captured
- Parameters
-
Definition at line 6827 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Cons::markedprop, NULL, SCIP_Conshdlr::pendingconss, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconshdlrFrontProp(), SCIPconsIsActive(), SCIPqueueInsert(), and TRUE.
Referenced by SCIPconsResetAge().
removes constraint from propagation queue(if not empty) of given constraint handler and unmarks constraint to be propagated in the next propagation round
- Note
- if constraint is removed from the queue it will be released
- Parameters
-
| conshdlr | constraint handler |
| blkmem | block memory |
| set | global SCIP settings |
Definition at line 6864 of file cons.c.
References FALSE, SCIP_Cons::markedprop, NULL, SCIP_Conshdlr::pendingconss, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), SCIPconsResolvePropagation(), SCIPqueueIsEmpty(), and SCIPqueueRemove().
Referenced by SCIPconshdlrExit(), SCIPconshdlrExitpre(), and SCIPconshdlrFrontProp().
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 6890 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(), SCIPconsAddLocks(), SCIPerrorMessage, SCIPvarGetLbAtIndex(), SCIPvarGetLbGlobal(), SCIPvarGetUbAtIndex(), SCIPvarGetUbGlobal(), and TRUE.
Referenced by conflictResolveBound(), and SCIPconshdlrPopProp().
adds given values to lock status of the constraint and updates the rounding locks of the involved variables
- Parameters
-
| cons | constraint |
| set | global SCIP settings |
| nlockspos | increase in number of rounding locks for constraint |
| nlocksneg | increase in number of rounding locks for constraint's negation |
Definition at line 6950 of file cons.c.
References SCIP_Cons::conshdlr, SCIP_Cons::nlocksneg, SCIP_Cons::nlockspos, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, and SCIPconsCheck().
Referenced by SCIPaddConsLocks(), SCIPconsResolvePropagation(), SCIPconsSetChecked(), SCIPprobAddCons(), and SCIPprobDelCons().
checks single constraint for feasibility of the given solution
- Parameters
-
| cons | constraint to check |
| set | global SCIP settings |
| sol | primal CIP solution |
| checkintegrality | Has integrality to be checked? |
| checklprows | Do constraints represented by rows in the current LP have to be checked? |
| printreason | Should the reason for the violation be printed? |
| result | pointer to store the result of the callback method |
Definition at line 6994 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, SCIPconsEnfops(), SCIPdebugMessage, and SCIPerrorMessage.
Referenced by checkSolOrig(), SCIPcheckCons(), and SCIPconsAddLocks().
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 7031 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, SCIPconsEnfolp(), SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPconsCheck(), and 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 7075 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, SCIPconsInitlp(), SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPconsEnfops(), and 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 7142 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, SCIPconsSepasol(), SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPconsInitlp(), and 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 7183 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, SCIPconsProp(), SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPconsSepalp(), and 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 7226 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, SCIPconsResprop(), SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPconsSepasol(), and 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 7266 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, SCIPconsPresol(), SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPconsProp(), and SCIPrespropCons().
| SCIP_RETCODE SCIPconsPresol |
( |
SCIP_CONS * |
cons, |
|
|
SCIP_SET * |
set, |
|
|
int |
nrounds, |
|
|
SCIP_PRESOLTIMING |
timing, |
|
|
int |
nnewfixedvars, |
|
|
int |
nnewaggrvars, |
|
|
int |
nnewchgvartypes, |
|
|
int |
nnewchgbds, |
|
|
int |
nnewholes, |
|
|
int |
nnewdelconss, |
|
|
int |
nnewaddconss, |
|
|
int |
nnewupgdconss, |
|
|
int |
nnewchgcoefs, |
|
|
int |
nnewchgsides, |
|
|
int * |
nfixedvars, |
|
|
int * |
naggrvars, |
|
|
int * |
nchgvartypes, |
|
|
int * |
nchgbds, |
|
|
int * |
naddholes, |
|
|
int * |
ndelconss, |
|
|
int * |
naddconss, |
|
|
int * |
nupgdconss, |
|
|
int * |
nchgcoefs, |
|
|
int * |
nchgsides, |
|
|
SCIP_RESULT * |
result |
|
) |
| |
presolves single constraint
- Parameters
-
| cons | constraint to presolve |
| set | global SCIP settings |
| nrounds | number of presolving rounds already done |
| timing | current presolving timing |
| nnewfixedvars | number of variables fixed since the last call to the presolving method |
| nnewaggrvars | number of variables aggregated since the last call to the presolving method |
| nnewchgvartypes | number of variable type changes since the last call to the presolving method |
| nnewchgbds | number of variable bounds tightened since the last call to the presolving method |
| nnewholes | number of domain holes added since the last call to the presolving method |
| nnewdelconss | number of deleted constraints since the last call to the presolving method |
| nnewaddconss | number of added constraints since the last call to the presolving method |
| nnewupgdconss | number of upgraded constraints since the last call to the presolving method |
| nnewchgcoefs | number of changed coefficients since the last call to the presolving method |
| nnewchgsides | number of changed left or right hand sides since the last call to the presolving method |
| nfixedvars | pointer to count total number of variables fixed of all presolvers |
| naggrvars | pointer to count total number of variables aggregated of all presolvers |
| nchgvartypes | pointer to count total number of variable type changes of all presolvers |
| nchgbds | pointer to count total number of variable bounds tightened of all presolvers |
| naddholes | pointer to count total number of domain holes added of all presolvers |
| ndelconss | pointer to count total number of deleted constraints of all presolvers |
| naddconss | pointer to count total number of added constraints of all presolvers |
| nupgdconss | pointer to count total number of upgraded constraints of all presolvers |
| nchgcoefs | pointer to count total number of changed coefficients of all presolvers |
| nchgsides | pointer to count total number of changed left/right hand sides of all presolvers |
| result | pointer to store the result of the callback method |
Definition at line 7308 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, SCIPconsActive(), SCIPdebugMessage, and SCIPerrorMessage.
Referenced by SCIPconsResprop(), and 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 7475 of file cons.c.
References BMScopyMemoryArray, ensurePropagationStorage(), SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::nmarkedpropconss, NULL, SCIP_Conshdlr::propconss, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconshdlrsResetPropagationStatus(), SCIPconsUnmarkPropagate(), SCIP_Conshdlr::storednmarkedpropconss, SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropdomchgcount.
Referenced by ensurePropagationStorage(), and 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 7516 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, SCIPconsGetName(), SCIPconsMarkPropagate(), SCIPconsRelease(), SCIP_Conshdlr::storednmarkedpropconss, SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropdomchgcount.
Referenced by SCIPconshdlrsStorePropagationStatus(), and 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 7620 of file cons.c.
References SCIP_Cons::name, NULL, and SCIPconsGetPos().
Referenced by addAllConss(), addCliques(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConflictBounds(), addCut(), addCuts(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addIntervalGradientEstimator(), addKnapsackConstraints(), addLinearConstraints(), addLinearization(), addLinearizationCuts(), addLogicOrConstraints(), addRelaxation(), addSetppcConstraints(), addVarbound(), addVarboundConstraints(), addVarSOS1(), addVarSOS2(), aggregateConstraints(), analyzeZeroResultant(), applyFixings(), branchCons(), checkAllConss(), checkBounddisjunction(), checkCons(), checkConsnames(), checkCurvature(), checkCurvatureEasy(), checkFactorable(), checkFixedVariables(), checkForOverlapping(), checkKnapsack(), checkLogicor(), checkOrigPbCons(), checkOverloadViaThetaTree(), checkSystemGF2(), checkVarbound(), cliquePresolve(), computeEffectiveHorizon(), computeGauge(), computeInteriorPoint(), computeReferencePointGauge(), conflictAddBound(), conflictResolveBound(), consCapacityConstraintsFinder(), consdataCheckSuperindicator(), consdataDeletePos(), consdataFixOperandsOne(), consdataFixResultantZero(), consdataLinearize(), consHasName(), constraintNonOverlappingGraph(), copyAndSolveComponent(), copyConsPseudoboolean(), copyCuts(), createCapacityRestriction(), createConsFromMonomial(), createConsFromQuadTerm(), createCoveringProblem(), createDisjuctiveCons(), createNlRow(), createRelaxation(), createRow(), createRows(), createSelectedSortedEventpointsSol(), createSubSCIP(), createVarUbs(), deleteAltLPConstraint(), deleteRedundantVars(), deleteTrivilCons(), detectRedundantConstraints(), detectRedundantVars(), disableCons(), dualPresolve(), dualPresolving(), dualWeightsTightening(), enforceConflictgraph(), enforceConssSOS1(), enforceCurrentSol(), enforceIndicators(), enforceSOS2(), evaluateGauge(), fillDigraph(), findAggregation(), fixDeleteOrUpgradeCons(), fixTriangle(), generate1ConvexIndefiniteUnderestimator(), generateBoundInequalityFromSOS1Cons(), generateConvexConcaveEstimator(), generateCut(), generateCutConvex(), generateCutFactorableDo(), generateCutLTI(), generateCutNonConvex(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateCutUnboundedLP(), generateLinearizationCut(), generateOverestimatingHyperplaneCut(), generateRowSOS2(), initsepaBoundInequalityFromSOS1Cons(), liftCliqueVariables(), mergeMultiples(), polishSolution(), preprocessConstraintPairs(), presolRoundConsSOS1(), presolRoundIndicator(), 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(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedLinearVariables(), removeFixedVariables(), removeIrrelevantJobs(), removeOversizedJobs(), removeRedundantCons(), removeRedundantConstraints(), removeRedundantNonZeros(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resolvePropagation(), saveLocalConssData(), 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_CONSINIT(), 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_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERWRITE(), SCIPaddCoefLinear(), SCIPaddConsNode(), SCIPaddToNlpiProblemQuadratic(), SCIPaddToNlpiProblemSOC(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarSOS2(), SCIPboundchgApply(), SCIPconshdlrsResetPropagationStatus(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateConsSuperindicator(), SCIPmatrixGetRowName(), SCIPmatrixPrintRow(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPprobAddCons(), SCIPreaderWrite(), SCIPseparateKnapsackCuts(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPtransformMinUC(), SCIPvisualizeConsCumulative(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), selectVarMultAggrBranching(), separateCons(), separateConsBinaryRepresentation(), separateConsOnIntegerVariables(), separateCoverCutsCons(), separateIndicators(), separatePoint(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), simplifyInequalities(), solveIndependentCons(), tightenBounds(), tightenCapacity(), tightenCoefs(), tightenSides(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varAddLbchginfo(), varAddUbchginfo(), and writeOpbConstraints().
returns the constraint handler of the constraint
- Parameters
-
Definition at line 7640 of file cons.c.
References SCIP_Cons::conshdlr, NULL, and SCIPconsGetData().
Referenced by addCoefTerm(), addLinearCoef(), addQuadVarTerm(), addRelaxation(), catchLinearVarEvents(), checkConsnames(), checkCurvature(), checkOrigPbCons(), chgLinearCoefPos(), computeAndConstraintInfos(), consdataCollectLinkingCons(), consdataDeletePos(), consdataPrint(), copyAndSolveComponent(), copyConsPseudoboolean(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCoverCutsTimepoint(), createNAryBranch(), createNlRow(), createNormalizedSetppc(), createRelaxation(), createRow(), createRows(), createSubSCIP(), delCoefPos(), deleteRedundantVars(), delLinearCoefPos(), delQuadVarTermPos(), detectRedundantConstraints(), detectRedundantVars(), dropLinearVarEvents(), enforceCurrentSol(), enforcePseudo(), extractLinearValues(), generate1ConvexIndefiniteUnderestimator(), generateConvexConcaveEstimator(), generateCut(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateLinearizationCut(), generateOverestimatingHyperplaneCut(), getLinVarsAndAndRess(), 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_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERWRITE(), SCIPaddCoefLogicor(), SCIPaddCoefPseudoboolean(), SCIPaddCoefSetppc(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddTermPseudoboolean(), SCIPaddVarIndicator(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarSOS2(), SCIPapplyHeurDualval(), SCIPcheckCurvatureNonlinear(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgBilinCoefQuadratic(), SCIPchgLhsLinear(), SCIPchgLhsPseudoboolean(), SCIPchgLhsQuadratic(), SCIPchgLinearCoefQuadratic(), SCIPchgRhsLinear(), SCIPchgRhsPseudoboolean(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPconsGetPos(), SCIPconsSetInitial(), SCIPcopyConsLinear(), SCIPcopyOrigConss(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsSuperindicator(), SCIPdelCoefLinear(), SCIPgetActivityQuadratic(), SCIPgetAndDatasPseudoboolean(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCoefLinearAbspower(), SCIPgetCurvatureNonlinear(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasSetppc(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolLogicor(), SCIPgetDualsolSetppc(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExponentAbspower(), SCIPgetExprtreeCurvaturesNonlinear(), SCIPgetFeasibilityQuadratic(), SCIPgetHmaxCumulative(), SCIPgetHminCumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntvarLinking(), SCIPgetLhsAbspower(), SCIPgetLhsPseudoboolean(), SCIPgetLhsVarbound(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinearVarAbspower(), SCIPgetNAndsPseudoboolean(), SCIPgetNBinvarsLinking(), SCIPgetNFixedonesSetppc(), SCIPgetNLinVarsWithoutAndPseudoboolean(), SCIPgetNlRowAbspower(), SCIPgetNlRowSOC(), SCIPgetNonlinearVarAbspower(), SCIPgetNVarsAnd(), SCIPgetNVarsBounddisjunction(), SCIPgetNVarsCumulative(), SCIPgetNVarsLogicor(), SCIPgetNVarsOr(), SCIPgetNVarsSetppc(), SCIPgetNVarsSOS2(), SCIPgetNVarsXor(), SCIPgetOffsetAbspower(), SCIPgetResultantAnd(), SCIPgetResultantOr(), SCIPgetRhsAbspower(), SCIPgetRhsPseudoboolean(), SCIPgetRhsVarbound(), SCIPgetRhsXor(), SCIPgetRowLogicor(), SCIPgetRowSetppc(), SCIPgetRowVarbound(), SCIPgetSlackConsSuperindicator(), SCIPgetSlackVarIndicator(), SCIPgetTypeSetppc(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCumulative(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSetppc(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetViolationAbspower(), SCIPgetViolationNonlinear(), SCIPgetViolationQuadratic(), SCIPgetWeightsSOS2(), SCIPisAndConsSorted(), SCIPmakeIndicatorFeasible(), SCIPprintDualSol(), SCIPsetBinaryVarIndicator(), SCIPsetHmaxCumulative(), SCIPsetHminCumulative(), SCIPsetLinearConsIndicator(), SCIPsortAndCons(), SCIPtransformMinUC(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), separateCons(), separateIndicators(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), tightenWeights(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), upgradeSuperindicator(), writeFzn(), writeOpbConstraints(), and writeOpbObjective().
returns the constraint data field of the constraint
- Parameters
-
Definition at line 7650 of file cons.c.
References SCIP_Cons::consdata, NULL, and SCIPconsGetNUses().
Referenced by addAllConss(), addBilinearTerm(), addCliques(), addCoef(), addCoefTerm(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConflictBounds(), addConsToOccurList(), addCut(), addCuts(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addIntervalGradientEstimator(), addLinearCoef(), addLinearization(), addLinearizationCuts(), addQuadVarTerm(), addRelaxation(), addUserEstimator(), addVarSOS1(), addVarSOS2(), aggregateConstraints(), analyzeConflict(), analyzeConflictOne(), analyzeConflictZero(), analyzeZeroResultant(), appendVarSOS1(), appendVarSOS2(), applyFixings(), applyGlobalBounds(), branchCons(), catchEvents(), catchLhsVarEvents(), catchLinearVarEvents(), catchQuadVarEvents(), catchRhsVarEvents(), catchVarEvents(), checkAllConss(), checkCons(), checkCurvature(), checkCurvatureEasy(), checkDemands(), checkFactorable(), checkFixedVariables(), checkForOverlapping(), checkLPBoundsClean(), checkOrigPbCons(), checkSwitchNonoverlappingSOS1Methods(), checkSystemGF2(), chgLhs(), chgLinearCoefPos(), chgRhs(), cliquePresolve(), collectBranchingCands(), collectCliqueConss(), collectCliqueData(), computeAlternativeBounds(), computeBoundsX(), computeBoundsZ(), computeEffectiveHorizon(), computeGauge(), computeInteriorPoint(), computeReferencePointGauge(), computeViolation(), computeViolations(), consCapacityConstraintsFinder(), consdataLinearize(), consdataPrint(), consFixInteger(), conshdlrdataIncludeUpgrade(), constraintNonOverlappingGraph(), copyConsPseudoboolean(), correctLocksAndCaptures(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCoverCuts(), createCoverCutsTimepoint(), createDisjuctiveCons(), createNAryBranch(), createNlRow(), createRelaxation(), createRow(), createRows(), createSelectedSortedEventpointsSol(), createVarUbs(), delCoefPos(), deleteAltLPConstraint(), deleteRedundantVars(), deleteTrivilCons(), delLinearCoefPos(), delQuadVarTermPos(), detectRedundantConstraints(), detectRedundantVars(), dropEvents(), dropLhsVarEvents(), dropLinearVarEvents(), dropQuadVarEvents(), dropRhsVarEvents(), dropVarEvents(), dualPresolve(), dualPresolving(), dualWeightsTightening(), enforceConflictgraph(), enforceConssSOS1(), enforceCuts(), enforceIndicators(), enforcePseudo(), enforceSOS2(), enforceViolatedFixedNonlinear(), evalLhs(), evaluateGauge(), extendToCover(), extensionOperatorSOS1(), findAggregation(), fixAltLPVariables(), fixDeleteOrUpgradeCons(), fixTriangle(), freeSepaData(), generate1ConvexIndefiniteUnderestimator(), generateBoundInequalityFromSOS1Cons(), generateConvexConcaveEstimator(), generateCut(), generateCutConvex(), generateCutFactorable(), generateCutFactorableDo(), generateCutLTI(), generateCutNonConvex(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateCutUnboundedLP(), generateLinearizationCut(), generateOverestimatingHyperplaneCut(), generateRowSOS2(), generateSparseCut(), getDiveBdChgsSOS1constraints(), getGradientMaxElement(), getGradientNorm(), getHighestCapacityUsage(), getLinVarsAndAndRess(), getVarWeight(), initConflictgraph(), initializeDurations(), initsepaBoundInequalityFromSOS1Cons(), initSepaData(), isConsIndependently(), isConvexLocal(), liftCliqueVariables(), lockLinearVariable(), lockRounding(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), mergeAndCleanBilinearTerms(), mergeAndCleanLinearVars(), mergeAndCleanQuadVarTerms(), mergeMultiples(), normalizeDemands(), performVarDeletions(), polishSolution(), prepareCons(), preprocessCliques(), preprocessConstraintPairs(), presolRoundConssSOS1(), presolveConsEffectiveHorizon(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveSolve(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), prettifyConss(), processBinvarFixings(), processContainedCons(), processFixings(), processIntegerBoundChg(), processWatchedVars(), propagateBounds(), propagateBoundsCons(), propagateCons(), propagateConstraintSides(), propagateVarbounds(), proposeBranchingPoint(), proposeFeasibleSolution(), reformReplaceNode(), reformulate(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeLPValueVariableForBranching(), removeBilinearTermsPos(), removeConsFromOccurList(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedBinvars(), removeFixedLinearVariables(), removeFixedVariables(), removeIrrelevantJobs(), removeOversizedJobs(), removeRedundantConss(), removeRedundantConssAndNonzeros(), removeRedundantConstraints(), removeRedundantNonZeros(), replaceByLinearConstraints(), replaceQuadVarTermPos(), replaceViolatedByLinearConstraints(), resolvePropagation(), 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_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_PARAMCHGD(), SCIP_DECL_SORTPTRCOMP(), SCIPaddBilinTermQuadratic(), SCIPaddCoefLinear(), SCIPaddCoefPseudoboolean(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddConstantQuadratic(), SCIPaddExprtreesNonlinear(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddSquareCoefQuadratic(), SCIPaddToNlpiProblemQuadratic(), SCIPaddToNlpiProblemSOC(), SCIPaddVarIndicator(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgBilinCoefQuadratic(), SCIPchgCapacityKnapsack(), SCIPchgCoefLinear(), SCIPchgLhsPseudoboolean(), SCIPchgLhsQuadratic(), SCIPchgLinearCoefQuadratic(), SCIPchgRhsPseudoboolean(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPconsGetHdlr(), SCIPfindQuadVarTermQuadratic(), SCIPgetActivityQuadratic(), SCIPgetAndDatasPseudoboolean(), SCIPgetBilinTermsQuadratic(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCapacityKnapsack(), SCIPgetCoefLinearAbspower(), SCIPgetCoefsLinearVarsQuadratic(), SCIPgetCurvatureNonlinear(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasKnapsack(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasSetppc(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolKnapsack(), SCIPgetDualsolLogicor(), SCIPgetDualsolSetppc(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExponentAbspower(), SCIPgetExprgraphNodeNonlinear(), SCIPgetExprtreeBivariate(), SCIPgetExprtreeCoefsNonlinear(), SCIPgetExprtreeCurvaturesNonlinear(), SCIPgetExprtreesNonlinear(), SCIPgetFeasibilityQuadratic(), SCIPgetHmaxCumulative(), SCIPgetHminCumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntvarLinking(), SCIPgetLhsAbspower(), SCIPgetLhsBivariate(), SCIPgetLhsCoefsSOC(), SCIPgetLhsConstantSOC(), 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(), SCIPgetNVarsLogicor(), SCIPgetNVarsOr(), SCIPgetNVarsSetppc(), SCIPgetNVarsSOS2(), SCIPgetNVarsXor(), SCIPgetOffsetAbspower(), SCIPgetQuadVarTermsQuadratic(), SCIPgetResultantAnd(), SCIPgetResultantOr(), SCIPgetRhsAbspower(), SCIPgetRhsBivariate(), SCIPgetRhsCoefSOC(), SCIPgetRhsNonlinear(), SCIPgetRhsOffsetSOC(), SCIPgetRhsPseudoboolean(), SCIPgetRhsQuadratic(), SCIPgetRhsVarbound(), SCIPgetRhsVarSOC(), SCIPgetRhsXor(), SCIPgetRowKnapsack(), SCIPgetRowLogicor(), SCIPgetRowSetppc(), SCIPgetRowVarbound(), SCIPgetSlackConsSuperindicator(), SCIPgetSlackVarIndicator(), SCIPgetTypeSetppc(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCumulative(), SCIPgetVarsKnapsack(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSetppc(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetViolationAbspower(), SCIPgetViolationNonlinear(), SCIPgetViolationQuadratic(), SCIPgetWeightsKnapsack(), SCIPgetWeightsSOS2(), SCIPisAndConsSorted(), SCIPisConcaveQuadratic(), SCIPisConvexQuadratic(), SCIPisLinearLocalQuadratic(), SCIPisViolatedIndicator(), SCIPmakeIndicatorFeasible(), SCIPmakeIndicatorsFeasible(), SCIPsetBinaryVarIndicator(), SCIPsetExprtreesNonlinear(), SCIPsetHmaxCumulative(), SCIPsetHminCumulative(), SCIPsetLinearConsIndicator(), SCIPsortAndCons(), SCIPsortQuadVarTermsQuadratic(), SCIPvisualizeConsCumulative(), separateCons(), separateConsBinaryRepresentation(), separateConsOnIntegerVariables(), separateCoverCutsCons(), separateIISRounding(), separateIndicators(), separatePoint(), setAltLPObj(), setAltLPObjZero(), setIntvar(), shortenConss(), simplifyInequalities(), solveIndependentCons(), splitOffLinearPart(), strengthenConss(), strengthenVarbounds(), switchWatchedvars(), tightenCapacity(), tightenCoefs(), tightenWeights(), tryUpgrading(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), unfixAltLPVariables(), unlockLinearVariable(), unlockRounding(), updateAndConss(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
| int SCIPconsGetActiveDepth |
( |
SCIP_CONS * |
cons | ) |
|
returns TRUE iff constraint is active in the current node
- Parameters
-
Definition at line 7681 of file cons.c.
References SCIP_Cons::active, NULL, SCIPconsGetValidDepth(), SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.
Referenced by addAllConss(), addAltLPConstraint(), addCliques(), addConsToOccurList(), aggregateConstraints(), calcNonZeros(), checkForOverlapping(), cleanupHashDatas(), cliquePresolve(), collectBranchingCands(), collectCliqueConss(), collectCliqueData(), correctPresoldata(), createPresoldata(), createVarUbs(), detectRedundantConstraints(), dualPresolve(), dualPresolving(), 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_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIPaddExprtreesNonlinear(), SCIPanalyzeConflictCons(), SCIPconsGetActiveDepth(), SCIPconsGetValidDepth(), SCIPconshdlrInitLP(), SCIPconsPushProp(), SCIPconssetchgAddAddedCons(), SCIPcopyConss(), SCIPgetViolationNonlinear(), SCIPmakeIndicatorFeasible(), SCIPnodeAddCons(), SCIPprobAddCons(), SCIPsetExprtreesNonlinear(), separatePoint(), strengthenConss(), tryOneOpt(), trySolCandidate(), tryUpgrading(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateAndConss(), and upgradeConss().
| int SCIPconsGetValidDepth |
( |
SCIP_CONS * |
cons | ) |
|
returns the depth in the tree at which the constraint is valid; returns INT_MAX, if the constraint is local and currently not active
- Parameters
-
Definition at line 7693 of file cons.c.
References SCIP_Cons::local, NULL, SCIP_Bool, SCIPconsGetActiveDepth(), SCIPconsIsActive(), SCIPconsIsEnabled(), and SCIP_Cons::validdepth.
Referenced by conflictResolveBound(), disableCons(), SCIPanalyzeConflictCons(), and SCIPconsIsActive().
returns TRUE iff constraint is enabled in the current node
- Parameters
-
Definition at line 7707 of file cons.c.
References SCIP_Cons::enabled, NULL, SCIP_Bool, SCIPconsIsSeparationEnabled(), SCIP_Cons::updatedisable, and SCIP_Cons::updateenable.
Referenced by addKnapsackConstraints(), addLinearCoef(), addLinearConstraints(), addLinearizationCuts(), addLogicOrConstraints(), addQuadVarTerm(), addSetppcConstraints(), addVarboundConstraints(), catchLinearVarEvents(), checkBounddisjunction(), checkConsnames(), checkKnapsack(), checkLogicor(), checkVarbound(), chgLinearCoefPos(), delLinearCoefPos(), printRangeSection(), propagateBounds(), propagateConstraintSides(), replaceQuadVarTermPos(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_READERWRITE(), SCIPaddBilinTermQuadratic(), SCIPaddConstantQuadratic(), SCIPaddLinearVarQuadratic(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddQuadVarQuadratic(), SCIPaddSquareCoefQuadratic(), SCIPconsGetValidDepth(), 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 7739 of file cons.c.
References SCIP_Cons::deleted, NULL, SCIP_Bool, and SCIPconsIsObsolete().
Referenced by addCliques(), addExtraCliques(), cleanupHashDatas(), collectCliqueConss(), computeAlternativeBounds(), computeConsAndDataChanges(), consdataPrint(), copyConsPseudoboolean(), correctConshdlrdata(), correctLocksAndCaptures(), detectRedundantVars(), dualWeightsTightening(), findAggregation(), fixDeleteOrUpgradeCons(), getLinVarsAndAndRess(), mergeMultiples(), prepareCons(), presolveCons(), presolveFindDuplicates(), prettifyConss(), propagateBounds(), propagateCons(), propagateConstraintSides(), 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_SORTPTRCOMP(), SCIPconsIsPropagationEnabled(), SCIPcopyConss(), SCIPisViolatedIndicator(), SCIPwriteLp(), separatePoint(), 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 7769 of file cons.c.
References SCIP_Cons::initial, NULL, SCIP_Bool, and SCIPconsIsSeparated().
Referenced by addCliques(), addCoefTerm(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundConsSOS1(), 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_QUADCONSUPGD(), SCIPconsGetAge(), 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 7779 of file cons.c.
References NULL, SCIP_Bool, SCIPconsIsEnforced(), and SCIP_Cons::separate.
Referenced by addCliques(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundConsSOS1(), 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_QUADCONSUPGD(), SCIPconsIsInitial(), 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 7789 of file cons.c.
References SCIP_Cons::enforce, NULL, SCIP_Bool, and SCIPconsIsChecked().
Referenced by addCliques(), addCoefTerm(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), 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_QUADCONSUPGD(), SCIPconsIsSeparated(), 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 7799 of file cons.c.
References SCIP_Cons::check, NULL, SCIP_Bool, and SCIPconsIsMarkedPropagate().
Referenced by addAllConss(), addCoefTerm(), addConsToOccurList(), addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addSetppcConstraints(), addVarboundConstraints(), aggregateConstraints(), applyFixings(), branchCons(), calcNonZeros(), checkSolOrig(), cliquePresolve(), computeAlternativeBounds(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualPresolving(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), presolComponents(), presolRoundConsSOS1(), presolveConsEst(), presolveConsLct(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), 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_QUADCONSUPGD(), SCIPconsIsEnforced(), 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 7819 of file cons.c.
References NULL, SCIP_Cons::propagate, SCIP_Bool, and SCIPconsIsGlobal().
Referenced by addCliques(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundConsSOS1(), 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_QUADCONSUPGD(), SCIPconsIsMarkedPropagate(), 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 7839 of file cons.c.
References SCIP_Cons::local, NULL, SCIP_Bool, and SCIPconsIsModifiable().
Referenced by addCliques(), addCoefTerm(), addLinearizationCuts(), addRelaxation(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createCoverCutsTimepoint(), createNAryBranch(), createRelaxation(), createRow(), createRows(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), generateCut(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), preprocessConstraintPairs(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), 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_PARAMCHGD(), SCIP_DECL_QUADCONSUPGD(), SCIPaddLinearConsIndicator(), SCIPconsIsGlobal(), 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 7849 of file cons.c.
References SCIP_Cons::modifiable, NULL, SCIP_Bool, and SCIPconsIsDynamic().
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(), normalizeDemands(), preprocessConstraintPairs(), presolRoundConsSOS1(), presolRoundConssSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), processBinvarFixings(), processFixings(), processIntegerBoundChg(), processWatchedVars(), propagateCons(), propConsSOS1(), propIndicator(), propSOS2(), 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_QUADCONSUPGD(), SCIPconsIsLocal(), SCIPcopyConss(), SCIPcopyOrigConss(), simplifyInequalities(), solveIndependentCons(), strengthenConss(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), and upgradeLinearSuperindicator().
returns TRUE iff constraint is subject to aging
- Parameters
-
Definition at line 7859 of file cons.c.
References SCIP_Cons::dynamic, NULL, SCIP_Bool, and SCIPconsIsRemovable().
Referenced by addCliques(), addCoefTerm(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundConsSOS1(), 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_QUADCONSUPGD(), SCIPconsIsModifiable(), 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 7869 of file cons.c.
References NULL, SCIP_Cons::removable, SCIP_Bool, and SCIPconsIsStickingAtNode().
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(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundConsSOS1(), 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_QUADCONSUPGD(), SCIPconsIsDynamic(), 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 7879 of file cons.c.
References NULL, SCIP_Bool, SCIPconsIsInProb(), and SCIP_Cons::stickingatnode.
Referenced by addCliques(), addCoefTerm(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundConsSOS1(), 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_QUADCONSUPGD(), SCIPconsIsRemovable(), 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 7899 of file cons.c.
References NULL, SCIP_Cons::original, SCIP_Bool, and SCIPconsIsTransformed().
Referenced by checkOrigPbCons(), consdataFree(), consdataPrint(), getLinVarsAndAndRess(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSTRANS(), SCIPchgBilinCoefQuadratic(), SCIPchgCoefLinear(), SCIPchgLhsQuadratic(), SCIPchgLinearCoefQuadratic(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPconsIsInProb(), SCIPcopyOrigConss(), SCIPgetAndDatasPseudoboolean(), and SCIPreleaseCons().
returns TRUE iff constraint is belonging to transformed space
- Parameters
-
Definition at line 7909 of file cons.c.
References NULL, SCIP_Cons::original, SCIP_Bool, and SCIPconsIsLockedPos().
Referenced by addCoef(), addLinearCoef(), addQuadVarTerm(), addVarSOS1(), addVarSOS2(), appendVarSOS1(), appendVarSOS2(), applyFixings(), catchLinearVarEvents(), checkConsnames(), chgLhs(), chgLinearCoefPos(), chgRhs(), consdataCreate(), consdataDeletePos(), delCoefPos(), dropLinearVarEvents(), 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(), SCIPconsIsOriginal(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsSOS1(), SCIPgetTransformedCons(), SCIPgetTransformedConss(), SCIPmatrixCreate(), SCIPsetBinaryVarIndicator(), SCIPtransformCons(), SCIPtransformConss(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), setIntvar(), writeFzn(), and writeOpbConstraints().
returns if the constraint was already added to a SCIP instance
- Parameters
-
Definition at line 7969 of file cons.c.
References SCIP_Cons::addarraypos, NULL, and SCIPconsAddUpgradeLocks().
Referenced by applyFixings(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSINITPRE(), SCIPactiveCons(), SCIPchgConsName(), SCIPconsGetNLocksNeg(), 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 7979 of file cons.c.
References NULL, SCIP_Cons::nupgradelocks, and SCIPconsGetNUpgradeLocks().
Referenced by createAndAddLinearCons(), createSubSCIP(), createVarUbs(), presolRoundIndicator(), propIndicator(), SCIP_DECL_CONSINITPRE(), SCIPconsIsAdded(), SCIPcreateConsIndicator(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsPseudobooleanWithConss(), and tryUpgrading().
| int SCIPconsGetNUpgradeLocks |
( |
SCIP_CONS * |
cons | ) |
|
|
