Scippy

SCIP

Solving Constraint Integer Programs

cons.c File Reference

Detailed Description

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.

Macros

#define AGERESETAVG_INIT   1000.0
 
#define AGERESETAVG_MIN   100.0
 
#define AGERESETAVG_DECAY   0.0005
 
#define AGERESETAVG_AGELIMIT   2.0
 
#define AGERESETAVG_OBSOLETEAGE   1.8
 
#define checkConssArrays(conshdlr)
 

Functions

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_CONSHDLRDATASCIPconshdlrGetData (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_CONSSCIPconsGetTransformed (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_CONSSCIPconshdlrFrontProp (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_CONSHDLRSCIPconsGetHdlr (SCIP_CONS *cons)
 
SCIP_CONSDATASCIPconsGetData (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)
 

Macro Definition Documentation

#define AGERESETAVG_INIT   1000.0

initial value of the exponentially decaying weighted sum for ages

Definition at line 45 of file cons.c.

Referenced by SCIPconshdlrCreate(), and SCIPconshdlrInit().

#define AGERESETAVG_MIN   100.0

minimal value to use for weighted sum of ages

Definition at line 46 of file cons.c.

Referenced by conshdlrGetAgeresetavg().

#define AGERESETAVG_DECAY   0.0005

weight of a new addend in the exponentially decyaing sum

Definition at line 47 of file cons.c.

Referenced by conshdlrUpdateAgeresetavg().

#define AGERESETAVG_AGELIMIT   2.0

in dynamic setting, a constraint is deleted if its age exceeds the average reset age by this factor

Definition at line 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().

Function Documentation

static SCIP_RETCODE conshdlrEnsureConssMem ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
int  num 
)
static

resizes conss array to be able to store at least num constraints

Parameters
conshdlrconstraint handler
setglobal SCIP settings
numminimal number of slots in array

Definition at line 66 of file cons.c.

References BMSreallocMemoryArray, conshdlrEnsureInitconssMem(), SCIP_Conshdlr::conss, SCIP_Conshdlr::consssize, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().

Referenced by conshdlrAddCons().

static SCIP_RETCODE conshdlrEnsureInitconssMem ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
int  num 
)
static

resizes initconss array to be able to store at least num constraints

Parameters
conshdlrconstraint handler
setglobal SCIP settings
numminimal number of slots in array

Definition at line 90 of file cons.c.

References BMSreallocMemoryArray, conshdlrEnsureSepaconssMem(), SCIP_Conshdlr::initconss, SCIP_Conshdlr::initconsssize, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().

Referenced by conshdlrAddInitcons(), and conshdlrEnsureConssMem().

static SCIP_RETCODE conshdlrEnsureSepaconssMem ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
int  num 
)
static

resizes sepaconss array to be able to store at least num constraints

Parameters
conshdlrconstraint handler
setglobal SCIP settings
numminimal number of slots in array

Definition at line 114 of file cons.c.

References BMSreallocMemoryArray, conshdlrEnsureEnfoconssMem(), NULL, SCIP_ALLOC, SCIP_OKAY, SCIPsetCalcMemGrowSize(), SCIP_Conshdlr::sepaconss, and SCIP_Conshdlr::sepaconsssize.

Referenced by conshdlrAddSepacons(), and conshdlrEnsureInitconssMem().

static SCIP_RETCODE conshdlrEnsureEnfoconssMem ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
int  num 
)
static

resizes enfoconss array to be able to store at least num constraints

Parameters
conshdlrconstraint handler
setglobal SCIP settings
numminimal number of slots in array

Definition at line 138 of file cons.c.

References BMSreallocMemoryArray, conshdlrEnsureCheckconssMem(), SCIP_Conshdlr::enfoconss, SCIP_Conshdlr::enfoconsssize, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().

Referenced by conshdlrAddEnfocons(), and conshdlrEnsureSepaconssMem().

static SCIP_RETCODE conshdlrEnsureCheckconssMem ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
int  num 
)
static

resizes checkconss array to be able to store at least num constraints

Parameters
conshdlrconstraint handler
setglobal SCIP settings
numminimal number of slots in array

Definition at line 162 of file cons.c.

References BMSreallocMemoryArray, SCIP_Conshdlr::checkconss, SCIP_Conshdlr::checkconsssize, conshdlrEnsurePropconssMem(), NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().

Referenced by conshdlrAddCheckcons(), and conshdlrEnsureEnfoconssMem().

static SCIP_RETCODE conshdlrEnsurePropconssMem ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
int  num 
)
static

resizes propconss array to be able to store at least num constraints

Parameters
conshdlrconstraint handler
setglobal SCIP settings
numminimal number of slots in array

Definition at line 186 of file cons.c.

References BMSreallocMemoryArray, conshdlrEnsureUpdateconssMem(), NULL, SCIP_Conshdlr::propconss, SCIP_Conshdlr::propconsssize, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().

Referenced by conshdlrAddPropcons(), and conshdlrEnsureCheckconssMem().

static SCIP_RETCODE conshdlrEnsureUpdateconssMem ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
int  num 
)
static

resizes updateconss array to be able to store at least num constraints

Parameters
conshdlrconstraint handler
setglobal SCIP settings
numminimal number of slots in array

Definition at line 210 of file cons.c.

References BMSreallocMemoryArray, NULL, SCIP_ALLOC, SCIP_OKAY, SCIPsetCalcMemGrowSize(), SCIP_Conshdlr::updateconss, and SCIP_Conshdlr::updateconsssize.

Referenced by conshdlrAddUpdateCons(), and conshdlrEnsurePropconssMem().

static SCIP_Real conshdlrGetAgeresetavg ( SCIP_CONSHDLR conshdlr)
static

returns the exponentially decaying weighted age average for age resets

Parameters
conshdlrconstraint handler

Definition at line 323 of file cons.c.

References SCIP_Conshdlr::ageresetavg, AGERESETAVG_MIN, conshdlrUpdateAgeresetavg(), MAX, and NULL.

Referenced by consExceedsAgelimit(), consExceedsObsoleteage(), and conshdlrAreUpdatesDelayed().

static void conshdlrUpdateAgeresetavg ( SCIP_CONSHDLR conshdlr,
SCIP_Real  age 
)
static

updates the exponentially decaying weighted age average for age resets after a constraint age was reset

Parameters
conshdlrconstraint handler
ageage of the constraint that is reset to zero

Definition at line 334 of file cons.c.

References SCIP_Conshdlr::ageresetavg, AGERESETAVG_DECAY, consExceedsAgelimit(), NULL, and SCIP_Bool.

Referenced by conshdlrGetAgeresetavg(), and SCIPconsResetAge().

static SCIP_Bool consExceedsAgelimit ( SCIP_CONS cons,
SCIP_SET set 
)
static

returns whether the constraint's age exceeds the age limit

Parameters
consconstraint to check
setglobal SCIP settings

Definition at line 347 of file cons.c.

References SCIP_Cons::age, AGERESETAVG_AGELIMIT, consExceedsObsoleteage(), SCIP_Cons::conshdlr, conshdlrGetAgeresetavg(), SCIP_Cons::dynamic, NULL, and SCIP_Bool.

Referenced by conshdlrUpdateAgeresetavg(), and SCIPconsAddAge().

static SCIP_Bool consExceedsObsoleteage ( SCIP_CONS cons,
SCIP_SET set 
)
static

returns whether the constraint's age exceeds the obsolete age limit

Parameters
consconstraint to check
setglobal SCIP settings

Definition at line 362 of file cons.c.

References SCIP_Cons::age, AGERESETAVG_OBSOLETEAGE, SCIP_Cons::conshdlr, conshdlrGetAgeresetavg(), conshdlrMarkConsObsolete(), SCIP_Cons::dynamic, and NULL.

Referenced by consExceedsAgelimit(), conshdlrProcessUpdates(), and SCIPconsAddAge().

static SCIP_RETCODE conshdlrMarkConsObsolete ( SCIP_CONSHDLR conshdlr,
SCIP_CONS cons 
)
static
static void conshdlrMarkConsPropagate ( SCIP_CONSHDLR conshdlr,
SCIP_CONS cons 
)
static

marks constraint to be propagated in the next propagation round;

Note
the propagation array is divided into three parts in contrast to the other constraint arrays; the first part contains constraints which were marked to be propagated (independently of its age) the second part contains the useful (non-obsolete) constraints which are not marked to be propagated finally, the third part contains obsolete constraints which are not marked to be propagated
if a constraint gets marked for propagation we put it into the first part regardless of its age
Parameters
conshdlrconstraint handler
consconstraint 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().

static void conshdlrUnmarkConsPropagate ( SCIP_CONSHDLR conshdlr,
SCIP_CONS cons 
)
static

unmarks constraint to be propagated in the next propagation round;

Note
the propagation array is divided into three parts in contrast to the other constraint arrays; the first part contains constraints which were marked to be propagated (independently of its age) the second part contains the useful (non-obsolete) constraints which are not marked to be propagated finally, the third part contains obsolete constraints which are not marked to be propagated
if a constraint gets unmarked for propagation, it is put into the right part depending on its age
Parameters
conshdlrconstraint handler
consconstraint 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().

static SCIP_RETCODE conshdlrAddCons ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
SCIP_CONS cons 
)
static

adds constraint to the conss array of constraint handler

Parameters
conshdlrconstraint handler
setglobal SCIP settings
consconstraint 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().

static void conshdlrDelCons ( SCIP_CONSHDLR conshdlr,
SCIP_CONS cons 
)
static

deletes constraint from the conss array of constraint handler

Parameters
conshdlrconstraint handler
consconstraint to remove

Definition at line 784 of file cons.c.

References SCIP_Cons::active, SCIP_Cons::conshdlr, conshdlrAddInitcons(), SCIP_Conshdlr::conss, SCIP_Cons::consspos, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::nconss, NULL, and SCIP_Cons::original.

Referenced by conshdlrAddCons(), and SCIPconsFree().

static SCIP_RETCODE conshdlrAddInitcons ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
SCIP_STAT stat,
SCIP_CONS cons 
)
static

adds constraint to the initconss array of constraint handler

Parameters
conshdlrconstraint handler
setglobal SCIP settings
statdynamic problem statistics
consconstraint 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().

static void conshdlrDelInitcons ( SCIP_CONSHDLR conshdlr,
SCIP_CONS cons 
)
static

deletes constraint from the initconss array of constraint handler

Parameters
conshdlrconstraint handler
consconstraint 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().

static void conshdlrDelEnfocons ( SCIP_CONSHDLR conshdlr,
SCIP_CONS cons 
)
static

deletes constraint from the enfoconss array of constraint handler

Parameters
conshdlrconstraint handler
consconstraint 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().

static SCIP_RETCODE conshdlrAddCheckcons ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
SCIP_CONS cons 
)
static
static void conshdlrDelCheckcons ( SCIP_CONSHDLR conshdlr,
SCIP_CONS cons 
)
static

deletes constraint from the checkconss array of constraint handler

Parameters
conshdlrconstraint handler
consconstraint 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().

static SCIP_RETCODE conshdlrEnableConsSeparation ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
SCIP_CONS cons 
)
static
static SCIP_RETCODE conshdlrDisableConsSeparation ( SCIP_CONSHDLR conshdlr,
SCIP_CONS cons 
)
static
static SCIP_RETCODE conshdlrEnableConsPropagation ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
SCIP_CONS cons 
)
static
static SCIP_RETCODE conshdlrDisableConsPropagation ( SCIP_CONSHDLR conshdlr,
SCIP_CONS cons 
)
static
static SCIP_RETCODE conshdlrActivateCons ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
SCIP_STAT stat,
SCIP_CONS cons,
int  depth,
SCIP_Bool  focusnode 
)
static
static SCIP_RETCODE conshdlrProcessUpdates ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat 
)
static

processes all delayed updates of constraints: recently (de)activated constraints will be (de)activated; recently en/disabled constraints will be en/disabled; recent obsolete non-check constraints will be globally deleted; recent obsolete check constraints will be moved to the last positions in the sepa-, enfo-, check-, and prop-arrays; recent useful constraints will be moved to the first positions in the sepa-, enfo-, check-, and prop-arrays; constraints which were recently marked to be propagated are moved to the first positions in the prop-array; no longer used constraints will be freed and removed from the conss array

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic 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().

static SCIP_RETCODE conshdlrForceUpdates ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat 
)
static
SCIP_DECL_SORTPTRCOMP ( SCIPconshdlrCompSepa  )

compares two constraint handlers w. r. to their separation priority

Definition at line 1941 of file cons.c.

Referenced by conshdlrAddUpdateCons().

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 SCIPconshdlrCopyInclude ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
SCIP_Bool valid 
)

copies the given constraint handler to a new scip

Parameters
conshdlrconstraint handler
setSCIP_SET of SCIP to copy to
validwas the copying process valid?

Definition at line 1959 of file cons.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrCreate(), SCIPconshdlrGetName(), and SCIPdebugMessage.

Referenced by SCIPsetCopyPlugins().

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
conshdlrpointer to constraint handler data structure
setglobal SCIP settings
messagehdlrmessage handler
blkmemblock memory for parameter settings
namename of constraint handler
descdescription of constraint handler
sepaprioritypriority of the constraint handler for separation
enfoprioritypriority of the constraint handler for constraint enforcing
checkprioritypriority of the constraint handler for checking feasibility (and propagation)
sepafreqfrequency for separating cuts; zero means to separate only in the root node
propfreqfrequency for propagating domains; zero means only preprocessing propagation
eagerfreqfrequency for using all instead of only the useful constraints in separation, propagation and enforcement, -1 for no eager evaluations, 0 for first only
maxpreroundsmaximal number of presolving rounds the constraint handler participates in (-1: no limit)
delaysepashould separation method be delayed, if other separators found cuts?
delaypropshould propagation method be delayed, if other propagators found reductions?
needsconsshould the constraint handler be skipped, if no constraints are available?
proptimingpositions in the node solving loop where propagation method of constraint handlers should be executed
presoltimingtiming mask of the constraint handler's presolving method
conshdlrdataconstraint 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().

SCIP_RETCODE SCIPconshdlrFree ( SCIP_CONSHDLR **  conshdlr,
SCIP_SET set 
)

calls destructor and frees memory of constraint handler

Parameters
conshdlrpointer to constraint handler data structure
setglobal SCIP settings

Definition at line 2252 of file cons.c.

References BMSfreeMemory, BMSfreeMemoryArray, BMSfreeMemoryArrayNull, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockFree(), SCIPconshdlrInit(), and SCIPqueueFree().

Referenced by SCIPconshdlrCreate().

SCIP_RETCODE SCIPconshdlrInit ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat 
)

calls initialization method of constraint handler

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic 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().

SCIP_RETCODE SCIPconshdlrExit ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat 
)

calls exit method of constraint handler

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic 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().

SCIP_RETCODE SCIPconshdlrInitpre ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat 
)

informs constraint handler that the presolving process is being started

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic 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().

SCIP_RETCODE SCIPconshdlrExitpre ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat 
)

informs constraint handler that the presolving is finished

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic 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().

SCIP_RETCODE SCIPconshdlrInitsol ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat 
)

informs constraint handler that the branch and bound process is being started

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic 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().

SCIP_RETCODE SCIPconshdlrExitsol ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_Bool  restart 
)

informs constraint handler that the branch and bound process data is being freed

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
restartwas 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().

SCIP_RETCODE SCIPconshdlrInitLP ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_TREE tree,
SCIP_Bool  initkeptconss 
)

calls LP initialization method of constraint handler to separate all initial active constraints

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
treebranch and bound tree
initkeptconssAlso 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().

SCIP_RETCODE SCIPconshdlrSeparateLP ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_SEPASTORE sepastore,
int  depth,
SCIP_Bool  execdelayed,
SCIP_RESULT result 
)

calls separator method of constraint handler to separate LP solution

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
sepastoreseparation storage
depthdepth of current node
execdelayedexecute separation method even if it is marked to be delayed
resultpointer 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().

SCIP_RETCODE SCIPconshdlrSeparateSol ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_SEPASTORE sepastore,
SCIP_SOL sol,
int  depth,
SCIP_Bool  execdelayed,
SCIP_RESULT result 
)

calls separator method of constraint handler to separate given primal solution

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
sepastoreseparation storage
solprimal solution that should be separated
depthdepth of current node
execdelayedexecute separation method even if it is marked to be delayed
resultpointer 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().

SCIP_RETCODE SCIPconshdlrEnforceLPSol ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_TREE tree,
SCIP_SEPASTORE sepastore,
SCIP_Bool  solinfeasible,
SCIP_RESULT result 
)

calls enforcing method of constraint handler for LP solution for all constraints added after last conshdlrResetEnfo() call

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
treebranch and bound tree
sepastoreseparation storage
solinfeasiblewas the solution already found out to be infeasible?
resultpointer 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().

SCIP_RETCODE SCIPconshdlrGetDiveBoundChanges ( SCIP_CONSHDLR conshdlr,
SCIP_SET set,
SCIP_DIVESET diveset,
SCIP_SOL sol,
SCIP_Bool success,
SCIP_Bool infeasible 
)

calls diving solution enforcement callback of constraint handler, if it exists

Parameters
conshdlrconstraint handler
setglobal SCIP settings
divesetdiving settings to control scoring
solcurrent solution of diving mode
successpointer to store whether constraint handler successfully found a variable
infeasiblepointer 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().

SCIP_RETCODE SCIPconshdlrEnforcePseudoSol ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_TREE tree,
SCIP_BRANCHCAND branchcand,
SCIP_Bool  solinfeasible,
SCIP_Bool  objinfeasible,
SCIP_Bool  forced,
SCIP_RESULT result 
)

calls enforcing method of constraint handler for pseudo solution for all constraints added after last conshdlrResetEnfo() call

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
treebranch and bound tree
branchcandbranching candidate storage
solinfeasiblewas the solution already found out to be infeasible?
objinfeasibleis the solution infeasible anyway due to violating lower objective bound?
forcedshould enforcement of pseudo solution be forced?
resultpointer 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().

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 
)

calls feasibility check method of constraint handler

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
solprimal CIP solution
checkintegralityHas integrality to be checked?
checklprowsDo constraints represented by rows in the current LP have to be checked?
printreasonShould the reason for the violation be printed?
resultpointer 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().

SCIP_RETCODE SCIPconshdlrPropagate ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
int  depth,
SCIP_Bool  fullpropagation,
SCIP_Bool  execdelayed,
SCIP_Bool  instrongbranching,
SCIP_PROPTIMING  proptiming,
SCIP_RESULT result 
)

calls propagation method of constraint handler

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
depthdepth of current node
fullpropagationshould all constraints be propagated (or only new ones)?
execdelayedexecute propagation method even if it is marked to be delayed
instrongbranchingare we currently doing strong branching?
proptimingcurrent point in the node solving process
resultpointer 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
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
timingcurrent presolving timing
nroundsnumber of presolving rounds already done
nfixedvarspointer to total number of variables fixed of all presolvers
naggrvarspointer to total number of variables aggregated of all presolvers
nchgvartypespointer to total number of variable type changes of all presolvers
nchgbdspointer to total number of variable bounds tightened of all presolvers
naddholespointer to total number of domain holes added of all presolvers
ndelconsspointer to total number of deleted constraints of all presolvers
naddconsspointer to total number of added constraints of all presolvers
nupgdconsspointer to total number of upgraded constraints of all presolvers
nchgcoefspointer to total number of changed coefficients of all presolvers
nchgsidespointer to total number of changed left/right hand sides of all presolvers
resultpointer 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().

SCIP_RETCODE SCIPconshdlrDelVars ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat 
)

calls variable deletion method of constraint handler

Parameters
conshdlrconstraint handler
blkmemblock memory
setglobal SCIP settings
statdynamic 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().

SCIP_RETCODE SCIPconshdlrLockVars ( SCIP_CONSHDLR conshdlr,
SCIP_SET set 
)

locks rounding of variables involved in the given constraint constraint handler that doesn't need constraints

Parameters
conshdlrconstraint handler
setglobal SCIP settings

Definition at line 3867 of file cons.c.

References SCIP_Conshdlr::needscons, NULL, SCIP_CALL, SCIP_OKAY, and SCIPconshdlrUnlockVars().

Referenced by SCIPconshdlrDelVars(), and SCIPprobTransform().

SCIP_RETCODE SCIPconshdlrUnlockVars ( SCIP_CONSHDLR conshdlr,
SCIP_SET set 
)

unlocks rounding of variables involved in the given constraint constraint handler that doesn't need constraints

Parameters
conshdlrconstraint handler
setglobal SCIP settings

Definition at line 3882 of file cons.c.

References SCIP_Conshdlr::needscons, NULL, SCIP_CALL, SCIP_OKAY, and SCIPconshdlrGetName().

Referenced by SCIPconshdlrLockVars(), and SCIPprobFree().

const char* SCIPconshdlrGetName ( SCIP_CONSHDLR conshdlr)

gets name of constraint handler

Parameters
conshdlrconstraint 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().

const char* SCIPconshdlrGetDesc ( SCIP_CONSHDLR conshdlr)

gets description of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 3907 of file cons.c.

References SCIP_Conshdlr::desc, NULL, and SCIPconshdlrGetData().

Referenced by SCIP_DECL_DIALOGEXEC(), SCIPconshdlrGetName(), SCIPincludeDialogDefaultFix(), and SCIPincludeDialogDefaultSet().

SCIP_CONSHDLRDATA* SCIPconshdlrGetData ( SCIP_CONSHDLR conshdlr)

gets user data of constraint handler

Parameters
conshdlrconstraint 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().

void SCIPconshdlrSetData ( SCIP_CONSHDLR conshdlr,
SCIP_CONSHDLRDATA conshdlrdata 
)

sets user data of constraint handler; user has to free old data in advance!

Parameters
conshdlrconstraint handler
conshdlrdatanew constraint handler user data

Definition at line 3927 of file cons.c.

References SCIP_Conshdlr::conshdlrdata, NULL, and SCIPconshdlrSetSepa().

Referenced by SCIP_DECL_CONSFREE(), SCIP_DECL_CONSHDLRCOPY(), and SCIPconshdlrGetData().

void SCIPconshdlrSetSepa ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSSEPALP((*conssepalp))  ,
SCIP_DECL_CONSSEPASOL((*conssepasol))  ,
int  sepafreq,
int  sepapriority,
SCIP_Bool  delaysepa 
)

sets all separation related callbacks of the constraint handler

Parameters
conshdlrconstraint handler
sepafreqfrequency for separating cuts; zero means to separate only in the root node
sepaprioritypriority of the constraint handler for separation
delaysepashould separation method be delayed, if other separators found cuts?

Definition at line 3938 of file cons.c.

References SCIP_Conshdlr::delaysepa, NULL, SCIPconshdlrSetProp(), SCIP_Conshdlr::sepafreq, and SCIP_Conshdlr::sepapriority.

Referenced by SCIPconshdlrSetData(), and SCIPsetConshdlrSepa().

void SCIPconshdlrSetProp ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSPROP((*consprop))  ,
int  propfreq,
SCIP_Bool  delayprop,
SCIP_PROPTIMING  timingmask 
)

sets both the propagation callback and the propagation frequency of the constraint handler

Parameters
conshdlrconstraint handler
propfreqfrequency for propagating domains; zero means only preprocessing propagation
delaypropshould propagation method be delayed, if other propagators found reductions?
timingmaskpositions in the node solving loop where propagators should be executed

Definition at line 3959 of file cons.c.

References SCIP_Conshdlr::delayprop, NULL, SCIP_Conshdlr::propfreq, SCIP_Conshdlr::proptiming, and SCIPconshdlrSetCopy().

Referenced by SCIPconshdlrSetSepa(), and SCIPsetConshdlrProp().

void SCIPconshdlrSetCopy ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSHDLRCOPY((*conshdlrcopy))  ,
SCIP_DECL_CONSCOPY((*conscopy))   
)

sets copy method of both the constraint handler and each associated constraint

Parameters
conshdlrconstraint handler

Definition at line 3978 of file cons.c.

References SCIP_Conshdlr::needscons, NULL, and SCIPconshdlrSetFree().

Referenced by SCIPconshdlrSetProp(), and SCIPsetConshdlrCopy().

void SCIPconshdlrSetFree ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSFREE((*consfree))   
)

sets destructor method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 3993 of file cons.c.

References NULL, and SCIPconshdlrSetInit().

Referenced by SCIPconshdlrSetCopy(), and SCIPsetConshdlrFree().

void SCIPconshdlrSetInit ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSINIT((*consinit))   
)

sets initialization method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4004 of file cons.c.

References NULL, and SCIPconshdlrSetExit().

Referenced by SCIPconshdlrSetFree(), and SCIPsetConshdlrInit().

void SCIPconshdlrSetExit ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSEXIT((*consexit))   
)

sets deinitialization method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4015 of file cons.c.

References NULL, and SCIPconshdlrSetInitsol().

Referenced by SCIPconshdlrSetInit(), and SCIPsetConshdlrExit().

void SCIPconshdlrSetInitsol ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSINITSOL((*consinitsol))   
)

sets solving process initialization method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4026 of file cons.c.

References NULL, and SCIPconshdlrSetExitsol().

Referenced by SCIPconshdlrSetExit(), and SCIPsetConshdlrInitsol().

void SCIPconshdlrSetExitsol ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSEXITSOL((*consexitsol))   
)

sets solving process deinitialization method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4037 of file cons.c.

References NULL, and SCIPconshdlrSetInitpre().

Referenced by SCIPconshdlrSetInitsol(), and SCIPsetConshdlrExitsol().

void SCIPconshdlrSetInitpre ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSINITPRE((*consinitpre))   
)

sets preprocessing initialization method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4048 of file cons.c.

References NULL, and SCIPconshdlrSetExitpre().

Referenced by SCIPconshdlrSetExitsol(), and SCIPsetConshdlrInitpre().

void SCIPconshdlrSetExitpre ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSEXITPRE((*consexitpre))   
)

sets preprocessing deinitialization method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4059 of file cons.c.

References NULL, and SCIPconshdlrSetPresol().

Referenced by SCIPconshdlrSetInitpre(), and SCIPsetConshdlrExitpre().

SCIP_RETCODE SCIPconshdlrSetPresol ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSPRESOL((*conspresol))  ,
int  maxprerounds,
SCIP_PRESOLTIMING  presoltiming 
)

sets presolving method of constraint handler

Parameters
conshdlrconstraint handler
maxpreroundsmaximal number of presolving rounds the constraint handler participates in (-1: no limit)
presoltimingtiming mask of the constraint handler's presolving method

Definition at line 4070 of file cons.c.

References SCIP_Conshdlr::maxprerounds, SCIP_Conshdlr::name, NULL, SCIP_Conshdlr::presoltiming, SCIP_OKAY, SCIP_PARAMETERWRONGVAL, SCIP_PRESOLTIMING_ALWAYS, SCIPconshdlrSetDelete(), and SCIPmessagePrintError().

Referenced by SCIPconshdlrSetExitpre(), and SCIPsetConshdlrPresol().

void SCIPconshdlrSetDelete ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSDELETE((*consdelete))   
)

sets method of constraint handler to free specific constraint data

Parameters
conshdlrconstraint handler

Definition at line 4099 of file cons.c.

References NULL, and SCIPconshdlrSetTrans().

Referenced by SCIPconshdlrSetPresol(), and SCIPsetConshdlrDelete().

void SCIPconshdlrSetTrans ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSTRANS((*constrans))   
)

sets method of constraint handler to transform constraint data into data belonging to the transformed problem

Parameters
conshdlrconstraint handler

Definition at line 4110 of file cons.c.

References NULL, and SCIPconshdlrSetInitlp().

Referenced by SCIPconshdlrSetDelete(), and SCIPsetConshdlrTrans().

void SCIPconshdlrSetInitlp ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSINITLP((*consinitlp))   
)

sets method of constraint handler to initialize LP with relaxations of "initial" constraints

Parameters
conshdlrconstraint handler

Definition at line 4121 of file cons.c.

References NULL, and SCIPconshdlrSetResprop().

Referenced by SCIPconshdlrSetTrans(), and SCIPsetConshdlrInitlp().

void SCIPconshdlrSetResprop ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSRESPROP((*consresprop))   
)

sets propagation conflict resolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4132 of file cons.c.

References NULL, and SCIPconshdlrSetActive().

Referenced by SCIPconshdlrSetInitlp(), and SCIPsetConshdlrResprop().

void SCIPconshdlrSetActive ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSACTIVE((*consactive))   
)

sets activation notification method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4143 of file cons.c.

References NULL, and SCIPconshdlrSetDeactive().

Referenced by SCIPconshdlrSetResprop(), and SCIPsetConshdlrActive().

void SCIPconshdlrSetDeactive ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSDEACTIVE((*consdeactive))   
)

sets deactivation notification method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4154 of file cons.c.

References NULL, and SCIPconshdlrSetEnable().

Referenced by SCIPconshdlrSetActive(), and SCIPsetConshdlrDeactive().

void SCIPconshdlrSetEnable ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSENABLE((*consenable))   
)

sets enabling notification method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4165 of file cons.c.

References NULL, and SCIPconshdlrSetDisable().

Referenced by SCIPconshdlrSetDeactive(), and SCIPsetConshdlrEnable().

void SCIPconshdlrSetDisable ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSDISABLE((*consdisable))   
)

sets disabling notification method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4176 of file cons.c.

References NULL, and SCIPconshdlrSetDelvars().

Referenced by SCIPconshdlrSetEnable(), and SCIPsetConshdlrDisable().

void SCIPconshdlrSetDelvars ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSDELVARS((*consdelvars))   
)

sets variable deletion method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4187 of file cons.c.

References NULL, and SCIPconshdlrSetPrint().

Referenced by SCIPconshdlrSetDisable(), and SCIPsetConshdlrDelvars().

void SCIPconshdlrSetPrint ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSPRINT((*consprint))   
)

sets constraint display method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4198 of file cons.c.

References NULL, and SCIPconshdlrSetParse().

Referenced by SCIPconshdlrSetDelvars(), and SCIPsetConshdlrPrint().

void SCIPconshdlrSetParse ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSPARSE((*consparse))   
)

sets constraint parsing method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4209 of file cons.c.

References NULL, and SCIPconshdlrSetGetVars().

Referenced by SCIPconshdlrSetPrint(), and SCIPsetConshdlrParse().

void SCIPconshdlrSetGetVars ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSGETVARS((*consgetvars))   
)

sets constraint variable getter method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4220 of file cons.c.

References NULL, and SCIPconshdlrSetGetNVars().

Referenced by SCIPconshdlrSetParse(), and SCIPsetConshdlrGetVars().

void SCIPconshdlrSetGetNVars ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSGETNVARS((*consgetnvars))   
)

sets constraint variable number getter method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4231 of file cons.c.

References NULL, and SCIPconshdlrSetGetDiveBdChgs().

Referenced by SCIPconshdlrSetGetVars(), and SCIPsetConshdlrGetNVars().

void SCIPconshdlrSetGetDiveBdChgs ( SCIP_CONSHDLR conshdlr,
SCIP_DECL_CONSGETDIVEBDCHGS((*consgetdivebdchgs))   
)

sets diving enforcement method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4242 of file cons.c.

References NULL, and SCIPconshdlrGetConss().

Referenced by SCIPconshdlrSetGetNVars(), and SCIPsetConshdlrGetDiveBdChgs().

SCIP_CONS** SCIPconshdlrGetEnfoConss ( SCIP_CONSHDLR conshdlr)

gets array with enforced constraints of constraint handler; this is local information

Parameters
conshdlrconstraint handler

Definition at line 4268 of file cons.c.

References SCIP_Conshdlr::enfoconss, NULL, and SCIPconshdlrGetCheckConss().

Referenced by SCIPconshdlrGetConss(), and SCIPreaderWrite().

SCIP_CONS** SCIPconshdlrGetCheckConss ( SCIP_CONSHDLR conshdlr)

gets array with checked constraints of constraint handler; this is local information

Parameters
conshdlrconstraint handler

Definition at line 4278 of file cons.c.

References SCIP_Conshdlr::checkconss, NULL, and SCIPconshdlrGetNConss().

Referenced by calcNonZeros(), SCIPconshdlrGetEnfoConss(), SCIPcopyConss(), and SCIPmatrixCreate().

int SCIPconshdlrGetNEnfoConss ( SCIP_CONSHDLR conshdlr)

gets number of enforced constraints of constraint handler; this is local information

Parameters
conshdlrconstraint handler

Definition at line 4298 of file cons.c.

References SCIP_Conshdlr::nenfoconss, NULL, and SCIPconshdlrGetNCheckConss().

Referenced by SCIPconshdlrGetNConss(), and SCIPreaderWrite().

int SCIPconshdlrGetNCheckConss ( SCIP_CONSHDLR conshdlr)

gets number of checked constraints of constraint handler; this is local information

Parameters
conshdlrconstraint handler

Definition at line 4308 of file cons.c.

References SCIP_Conshdlr::ncheckconss, NULL, and SCIPconshdlrGetNActiveConss().

Referenced by calcNonZeros(), SCIPconshdlrGetNEnfoConss(), SCIPcopyConss(), SCIPgetNCheckConss(), and SCIPmatrixCreate().

int SCIPconshdlrGetNActiveConss ( SCIP_CONSHDLR conshdlr)

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
conshdlrconstraint 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().

int SCIPconshdlrGetNEnabledConss ( SCIP_CONSHDLR conshdlr)

gets number of enabled constraints of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4332 of file cons.c.

References SCIP_Conshdlr::nenabledconss, NULL, and SCIPconshdlrEnableOrDisableClocks().

Referenced by checkBounddisjunction(), checkFeasSubtree(), checkKnapsack(), checkLogicor(), checkVarbound(), and SCIPconshdlrGetNActiveConss().

void SCIPconshdlrEnableOrDisableClocks ( SCIP_CONSHDLR conshdlr,
SCIP_Bool  enable 
)

enables or disables all clocks of conshdlr, depending on the value of the flag

Parameters
conshdlrthe constraint handler for which all clocks should be enabled or disabled
enableshould 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().

SCIP_Real SCIPconshdlrGetSetupTime ( SCIP_CONSHDLR conshdlr)

gets time in seconds used for setting up this constraint handler for new stages

Parameters
conshdlrconstraint handler

Definition at line 4361 of file cons.c.

References NULL, SCIP_Real, SCIPclockGetTime(), SCIPconshdlrGetPresolTime(), and SCIP_Conshdlr::setuptime.

Referenced by printConstraintTimingStatistics(), printPresolverStatistics(), and SCIPconshdlrEnableOrDisableClocks().

SCIP_Real SCIPconshdlrGetPresolTime ( SCIP_CONSHDLR conshdlr)

gets time in seconds used for presolving in this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4371 of file cons.c.

References NULL, SCIP_Conshdlr::presoltime, SCIP_Real, SCIPclockGetTime(), and SCIPconshdlrGetSepaTime().

Referenced by printPresolverStatistics(), and SCIPconshdlrGetSetupTime().

SCIP_Real SCIPconshdlrGetSepaTime ( SCIP_CONSHDLR conshdlr)

gets time in seconds used for separation in this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4381 of file cons.c.

References NULL, SCIP_Real, SCIPclockGetTime(), SCIPconshdlrGetEnfoLPTime(), and SCIP_Conshdlr::sepatime.

Referenced by printConstraintTimingStatistics(), and SCIPconshdlrGetPresolTime().

SCIP_Real SCIPconshdlrGetEnfoLPTime ( SCIP_CONSHDLR conshdlr)

gets time in seconds used for LP enforcement in this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4391 of file cons.c.

References SCIP_Conshdlr::enfolptime, NULL, SCIP_Real, SCIPclockGetTime(), and SCIPconshdlrGetEnfoPSTime().

Referenced by printConstraintTimingStatistics(), and SCIPconshdlrGetSepaTime().

SCIP_Real SCIPconshdlrGetEnfoPSTime ( SCIP_CONSHDLR conshdlr)

gets time in seconds used for pseudo enforcement in this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4401 of file cons.c.

References SCIP_Conshdlr::enfopstime, NULL, SCIP_Real, SCIPclockGetTime(), and SCIPconshdlrGetPropTime().

Referenced by printConstraintTimingStatistics(), and SCIPconshdlrGetEnfoLPTime().

SCIP_Real SCIPconshdlrGetPropTime ( SCIP_CONSHDLR conshdlr)

gets time in seconds used for propagation in this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4411 of file cons.c.

References NULL, SCIP_Conshdlr::proptime, SCIP_Real, SCIPclockGetTime(), and SCIPconshdlrGetStrongBranchPropTime().

Referenced by printConstraintTimingStatistics(), and SCIPconshdlrGetEnfoPSTime().

SCIP_Real SCIPconshdlrGetStrongBranchPropTime ( SCIP_CONSHDLR conshdlr)

gets time in seconds used for propagation in this constraint handler during strong branching

Parameters
conshdlrconstraint handler

Definition at line 4421 of file cons.c.

References NULL, SCIP_Conshdlr::sbproptime, SCIP_Real, SCIPclockGetTime(), and SCIPconshdlrGetCheckTime().

Referenced by printConstraintTimingStatistics(), and SCIPconshdlrGetPropTime().

SCIP_Real SCIPconshdlrGetCheckTime ( SCIP_CONSHDLR conshdlr)

gets time in seconds used for feasibility checking in this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4431 of file cons.c.

References SCIP_Conshdlr::checktime, NULL, SCIP_Real, SCIPclockGetTime(), and SCIPconshdlrGetRespropTime().

Referenced by printConstraintTimingStatistics(), and SCIPconshdlrGetStrongBranchPropTime().

SCIP_Real SCIPconshdlrGetRespropTime ( SCIP_CONSHDLR conshdlr)

gets time in seconds used for resolving propagation in this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4441 of file cons.c.

References NULL, SCIP_Conshdlr::resproptime, SCIP_Longint, SCIPclockGetTime(), and SCIPconshdlrGetNSepaCalls().

Referenced by printConstraintTimingStatistics(), and SCIPconshdlrGetCheckTime().

SCIP_Longint SCIPconshdlrGetNSepaCalls ( SCIP_CONSHDLR conshdlr)

gets number of calls to the constraint handler's separation method

Parameters
conshdlrconstraint handler

Definition at line 4451 of file cons.c.

References SCIP_Conshdlr::nsepacalls, NULL, SCIP_Longint, and SCIPconshdlrGetNEnfoLPCalls().

Referenced by printConstraintStatistics(), and SCIPconshdlrGetRespropTime().

SCIP_Longint SCIPconshdlrGetNEnfoLPCalls ( SCIP_CONSHDLR conshdlr)

gets number of calls to the constraint handler's LP enforcing method

Parameters
conshdlrconstraint handler

Definition at line 4461 of file cons.c.

References SCIP_Conshdlr::nenfolpcalls, NULL, SCIP_Longint, and SCIPconshdlrGetNEnfoPSCalls().

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNSepaCalls().

SCIP_Longint SCIPconshdlrGetNEnfoPSCalls ( SCIP_CONSHDLR conshdlr)

gets number of calls to the constraint handler's pseudo enforcing method

Parameters
conshdlrconstraint handler

Definition at line 4471 of file cons.c.

References SCIP_Conshdlr::nenfopscalls, NULL, SCIP_Longint, and SCIPconshdlrGetNPropCalls().

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNEnfoLPCalls().

SCIP_Longint SCIPconshdlrGetNPropCalls ( SCIP_CONSHDLR conshdlr)

gets number of calls to the constraint handler's propagation method

Parameters
conshdlrconstraint handler

Definition at line 4481 of file cons.c.

References SCIP_Conshdlr::npropcalls, NULL, SCIP_Longint, and SCIPconshdlrGetNCheckCalls().

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNEnfoPSCalls().

SCIP_Longint SCIPconshdlrGetNCheckCalls ( SCIP_CONSHDLR conshdlr)

gets number of calls to the constraint handler's checking method

Parameters
conshdlrconstraint handler

Definition at line 4491 of file cons.c.

References SCIP_Conshdlr::ncheckcalls, NULL, SCIP_Longint, and SCIPconshdlrGetNRespropCalls().

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNPropCalls().

SCIP_Longint SCIPconshdlrGetNRespropCalls ( SCIP_CONSHDLR conshdlr)

gets number of calls to the constraint handler's resolve propagation method

Parameters
conshdlrconstraint handler

Definition at line 4501 of file cons.c.

References SCIP_Conshdlr::nrespropcalls, NULL, SCIP_Longint, and SCIPconshdlrGetNCutoffs().

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNCheckCalls().

SCIP_Longint SCIPconshdlrGetNCutoffs ( SCIP_CONSHDLR conshdlr)

gets total number of times, this constraint handler detected a cutoff

Parameters
conshdlrconstraint handler

Definition at line 4511 of file cons.c.

References SCIP_Conshdlr::ncutoffs, NULL, SCIP_Longint, and SCIPconshdlrGetNCutsFound().

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNRespropCalls().

SCIP_Longint SCIPconshdlrGetNCutsFound ( SCIP_CONSHDLR conshdlr)

gets total number of cuts found by this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4521 of file cons.c.

References SCIP_Conshdlr::ncutsfound, NULL, SCIP_Longint, and SCIPconshdlrGetNCutsApplied().

Referenced by printConstraintStatistics(), SCIPconshdlrGetNCutoffs(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), and separateSupLiftedMinimalCoverInequality().

SCIP_Longint SCIPconshdlrGetNCutsApplied ( SCIP_CONSHDLR conshdlr)

gets total number of cuts found by this constraint handler applied to lp

Parameters
conshdlrconstraint handler

Definition at line 4531 of file cons.c.

References SCIP_Conshdlr::ncutsapplied, NULL, and SCIPconshdlrIncNAppliedCuts().

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNCutsFound().

void SCIPconshdlrIncNAppliedCuts ( SCIP_CONSHDLR conshdlr)

increase count of applied cuts

Parameters
conshdlrconstraint handler

Definition at line 4541 of file cons.c.

References SCIP_Conshdlr::ncutsapplied, NULL, and SCIPconshdlrIncNCutsFound().

Referenced by SCIPconshdlrGetNCutsApplied(), and sepastoreApplyCut().

void SCIPconshdlrIncNCutsFound ( SCIP_CONSHDLR conshdlr)

increase count of found cuts

Parameters
conshdlrconstraint handler

Definition at line 4551 of file cons.c.

References SCIP_Conshdlr::ncutsfound, NULL, SCIP_Longint, and SCIPconshdlrGetNConssFound().

Referenced by SCIPconshdlrIncNAppliedCuts(), and SCIPcutpoolSeparate().

SCIP_Longint SCIPconshdlrGetNConssFound ( SCIP_CONSHDLR conshdlr)

gets total number of additional constraints added by this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4561 of file cons.c.

References SCIP_Conshdlr::nconssfound, NULL, SCIP_Longint, and SCIPconshdlrGetNDomredsFound().

Referenced by printConstraintStatistics(), and SCIPconshdlrIncNCutsFound().

SCIP_Longint SCIPconshdlrGetNDomredsFound ( SCIP_CONSHDLR conshdlr)

gets total number of domain reductions found by this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4571 of file cons.c.

References SCIP_Conshdlr::ndomredsfound, NULL, SCIP_Longint, and SCIPconshdlrGetNChildren().

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNConssFound().

SCIP_Longint SCIPconshdlrGetNChildren ( SCIP_CONSHDLR conshdlr)

gets number of children created by this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4581 of file cons.c.

References SCIP_Conshdlr::nchildren, NULL, and SCIPconshdlrGetMaxNActiveConss().

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNDomredsFound().

int SCIPconshdlrGetMaxNActiveConss ( SCIP_CONSHDLR conshdlr)

gets maximum number of active constraints of constraint handler existing at the same time

Parameters
conshdlrconstraint handler

Definition at line 4591 of file cons.c.

References SCIP_Conshdlr::maxnactiveconss, NULL, and SCIPconshdlrGetStartNActiveConss().

Referenced by printConstraintStatistics(), printConstraintTimingStatistics(), printPresolverStatistics(), and SCIPconshdlrGetNChildren().

int SCIPconshdlrGetStartNActiveConss ( SCIP_CONSHDLR conshdlr)

gets initial number of active constraints of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4601 of file cons.c.

References NULL, SCIPconshdlrGetNFixedVars(), and SCIP_Conshdlr::startnactiveconss.

Referenced by printConstraintStatistics(), and SCIPconshdlrGetMaxNActiveConss().

int SCIPconshdlrGetNFixedVars ( SCIP_CONSHDLR conshdlr)

gets number of variables fixed in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4611 of file cons.c.

References SCIP_Conshdlr::nfixedvars, NULL, and SCIPconshdlrGetNAggrVars().

Referenced by printPresolverStatistics(), and SCIPconshdlrGetStartNActiveConss().

int SCIPconshdlrGetNAggrVars ( SCIP_CONSHDLR conshdlr)

gets number of variables aggregated in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4621 of file cons.c.

References SCIP_Conshdlr::naggrvars, NULL, and SCIPconshdlrGetNChgVarTypes().

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNFixedVars().

int SCIPconshdlrGetNChgVarTypes ( SCIP_CONSHDLR conshdlr)

gets number of variable types changed in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4631 of file cons.c.

References SCIP_Conshdlr::nchgvartypes, NULL, and SCIPconshdlrGetNChgBds().

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNAggrVars().

int SCIPconshdlrGetNChgBds ( SCIP_CONSHDLR conshdlr)

gets number of bounds changed in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4641 of file cons.c.

References SCIP_Conshdlr::nchgbds, NULL, and SCIPconshdlrGetNAddHoles().

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNChgVarTypes().

int SCIPconshdlrGetNAddHoles ( SCIP_CONSHDLR conshdlr)

gets number of holes added to domains of variables in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4651 of file cons.c.

References SCIP_Conshdlr::naddholes, NULL, and SCIPconshdlrGetNDelConss().

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNChgBds().

int SCIPconshdlrGetNDelConss ( SCIP_CONSHDLR conshdlr)

gets number of constraints deleted in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4661 of file cons.c.

References SCIP_Conshdlr::ndelconss, NULL, and SCIPconshdlrGetNAddConss().

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNAddHoles().

int SCIPconshdlrGetNAddConss ( SCIP_CONSHDLR conshdlr)

gets number of constraints added in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4671 of file cons.c.

References SCIP_Conshdlr::naddconss, NULL, and SCIPconshdlrGetNUpgdConss().

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNDelConss().

int SCIPconshdlrGetNUpgdConss ( SCIP_CONSHDLR conshdlr)

gets number of constraints upgraded in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4681 of file cons.c.

References NULL, SCIP_Conshdlr::nupgdconss, and SCIPconshdlrGetNChgCoefs().

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNAddConss().

int SCIPconshdlrGetNChgCoefs ( SCIP_CONSHDLR conshdlr)

gets number of coefficients changed in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4691 of file cons.c.

References SCIP_Conshdlr::nchgcoefs, NULL, and SCIPconshdlrGetNChgSides().

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNUpgdConss().

int SCIPconshdlrGetNChgSides ( SCIP_CONSHDLR conshdlr)

gets number of constraint sides changed in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4701 of file cons.c.

References SCIP_Conshdlr::nchgsides, NULL, and SCIPconshdlrGetNPresolCalls().

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNChgCoefs().

int SCIPconshdlrGetNPresolCalls ( SCIP_CONSHDLR conshdlr)

gets number of times the presolving method of the constraint handler was called and tried to find reductions

Parameters
conshdlrconstraint handler

Definition at line 4711 of file cons.c.

References SCIP_Conshdlr::npresolcalls, NULL, and SCIPconshdlrGetSepaPriority().

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNChgSides().

int SCIPconshdlrGetSepaPriority ( SCIP_CONSHDLR conshdlr)

gets separation priority of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4721 of file cons.c.

References NULL, SCIPconshdlrGetEnfoPriority(), and SCIP_Conshdlr::sepapriority.

Referenced by SCIP_DECL_DIALOGEXEC(), SCIPconshdlrGetNPresolCalls(), SCIPsetConshdlrSepa(), SCIPsetIncludeConshdlr(), and separationRoundLP().

int SCIPconshdlrGetEnfoPriority ( SCIP_CONSHDLR conshdlr)

gets enforcing priority of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4731 of file cons.c.

References SCIP_Conshdlr::enfopriority, NULL, and SCIPconshdlrGetCheckPriority().

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPconshdlrGetSepaPriority().

int SCIPconshdlrGetCheckPriority ( SCIP_CONSHDLR conshdlr)

gets checking priority of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4741 of file cons.c.

References SCIP_Conshdlr::checkpriority, NULL, and SCIPconshdlrGetSepaFreq().

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPconshdlrGetEnfoPriority().

int SCIPconshdlrGetSepaFreq ( SCIP_CONSHDLR conshdlr)

gets separation frequency of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4751 of file cons.c.

References NULL, SCIPconshdlrGetPropFreq(), and SCIP_Conshdlr::sepafreq.

Referenced by SCIP_DECL_CONSINITSOL(), SCIP_DECL_DIALOGEXEC(), and SCIPconshdlrGetCheckPriority().

int SCIPconshdlrGetPropFreq ( SCIP_CONSHDLR conshdlr)

gets propagation frequency of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4761 of file cons.c.

References NULL, SCIP_Conshdlr::propfreq, and SCIPconshdlrGetEagerFreq().

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPconshdlrGetSepaFreq().

int SCIPconshdlrGetEagerFreq ( SCIP_CONSHDLR conshdlr)

gets frequency of constraint handler for eager evaluations in separation, propagation and enforcement

Parameters
conshdlrconstraint handler

Definition at line 4771 of file cons.c.

References SCIP_Conshdlr::eagerfreq, NULL, SCIP_Bool, and SCIPconshdlrNeedsCons().

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPconshdlrGetPropFreq().

SCIP_Bool SCIPconshdlrNeedsCons ( SCIP_CONSHDLR conshdlr)

needs constraint handler a constraint to be called?

Parameters
conshdlrconstraint 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().

SCIP_Bool SCIPconshdlrDoesPresolve ( SCIP_CONSHDLR conshdlr)

does the constraint handler perform presolving?

Parameters
conshdlrconstraint handler

Definition at line 4791 of file cons.c.

References NULL, SCIP_Bool, and SCIPconshdlrIsSeparationDelayed().

Referenced by printPresolverStatistics(), and SCIPconshdlrNeedsCons().

SCIP_Bool SCIPconshdlrIsSeparationDelayed ( SCIP_CONSHDLR conshdlr)

should separation method be delayed, if other separators found cuts?

Parameters
conshdlrconstraint handler

Definition at line 4801 of file cons.c.

References SCIP_Conshdlr::delaysepa, NULL, SCIP_Bool, and SCIPconshdlrIsPropagationDelayed().

Referenced by SCIPconshdlrDoesPresolve().

SCIP_Bool SCIPconshdlrIsPropagationDelayed ( SCIP_CONSHDLR conshdlr)

should propagation method be delayed, if other propagators found reductions?

Parameters
conshdlrconstraint handler

Definition at line 4811 of file cons.c.

References SCIP_Conshdlr::delayprop, NULL, SCIP_Bool, and SCIPconshdlrWasLPSeparationDelayed().

Referenced by SCIPconshdlrIsSeparationDelayed().

SCIP_Bool SCIPconshdlrWasLPSeparationDelayed ( SCIP_CONSHDLR conshdlr)

was LP separation method delayed at the last call?

Parameters
conshdlrconstraint handler

Definition at line 4821 of file cons.c.

References NULL, SCIP_Bool, SCIPconshdlrWasSolSeparationDelayed(), and SCIP_Conshdlr::sepalpwasdelayed.

Referenced by SCIPconshdlrIsPropagationDelayed(), and separationRoundLP().

SCIP_Bool SCIPconshdlrWasSolSeparationDelayed ( SCIP_CONSHDLR conshdlr)

was primal solution separation method delayed at the last call?

Parameters
conshdlrconstraint handler

Definition at line 4831 of file cons.c.

References NULL, SCIP_Bool, SCIPconshdlrWasPropagationDelayed(), and SCIP_Conshdlr::sepasolwasdelayed.

Referenced by SCIPconshdlrWasLPSeparationDelayed(), and separationRoundSol().

SCIP_Bool SCIPconshdlrWasPropagationDelayed ( SCIP_CONSHDLR conshdlr)

was propagation method delayed at the last call?

Parameters
conshdlrconstraint handler

Definition at line 4841 of file cons.c.

References NULL, SCIP_Conshdlr::propwasdelayed, SCIP_Bool, and SCIPconshdlrIsInitialized().

Referenced by propagationRound(), and SCIPconshdlrWasSolSeparationDelayed().

SCIP_Bool SCIPconshdlrIsInitialized ( SCIP_CONSHDLR conshdlr)

is constraint handler initialized?

Parameters
conshdlrconstraint handler

Definition at line 4851 of file cons.c.

References SCIP_Conshdlr::initialized, NULL, SCIP_Bool, and SCIPconshdlrIsClonable().

Referenced by SCIPconshdlrWasPropagationDelayed(), and SCIPsetFindPricer().

SCIP_Bool SCIPconshdlrIsClonable ( SCIP_CONSHDLR conshdlr)

does the constraint handler have a copy function?

Parameters
conshdlrconstraint handler

Definition at line 4861 of file cons.c.

References NULL, and SCIPconshdlrGetPropTiming().

Referenced by SCIPconshdlrIsInitialized(), and SCIPsetCopyPlugins().

SCIP_PROPTIMING SCIPconshdlrGetPropTiming ( SCIP_CONSHDLR conshdlr)

returns the timing mask of the propagation method of the constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4871 of file cons.c.

References NULL, SCIP_Conshdlr::proptiming, and SCIPconshdlrSetPropTiming().

Referenced by propagationRound(), and SCIPconshdlrIsClonable().

void SCIPconshdlrSetPropTiming ( SCIP_CONSHDLR conshdlr,
SCIP_PROPTIMING  proptiming 
)

sets the timing mask of the propagation method of the constraint handler

Parameters
conshdlrconstraint handler
proptimingtiming mask to be set

Definition at line 4881 of file cons.c.

References NULL, SCIP_Conshdlr::proptiming, and SCIPconshdlrGetPresolTiming().

Referenced by SCIPconshdlrGetPropTiming().

SCIP_PRESOLTIMING SCIPconshdlrGetPresolTiming ( SCIP_CONSHDLR conshdlr)

returns the timing mask of the presolving method of the constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4893 of file cons.c.

References NULL, SCIP_Conshdlr::presoltiming, and SCIPconshdlrSetPresolTiming().

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPconshdlrSetPropTiming().

void SCIPconshdlrSetPresolTiming ( SCIP_CONSHDLR conshdlr,
SCIP_PRESOLTIMING  presoltiming 
)

sets the timing mask of the presolving method of the constraint handler

Parameters
conshdlrconstraint handler
presoltimingtiming mask to be set

Definition at line 4903 of file cons.c.

References conssetchgCreate(), NULL, and SCIP_Conshdlr::presoltiming.

Referenced by SCIPconshdlrGetPresolTiming().

static SCIP_RETCODE conssetchgCreate ( SCIP_CONSSETCHG **  conssetchg,
BMS_BLKMEM blkmem 
)
static

creates empty constraint set change data

Parameters
conssetchgpointer to constraint set change data
blkmemblock memory

Definition at line 4920 of file cons.c.

References BMSallocBlockMemory, conssetchgRelease(), NULL, SCIP_ALLOC, and SCIP_OKAY.

Referenced by SCIPconshdlrSetPresolTiming(), SCIPconssetchgAddAddedCons(), and SCIPconssetchgAddDisabledCons().

static SCIP_RETCODE conssetchgRelease ( SCIP_CONSSETCHG conssetchg,
BMS_BLKMEM blkmem,
SCIP_SET set 
)
static

releases all constraints of the constraint set change data

Parameters
conssetchgconstraint set change data
blkmemblock memory
setglobal SCIP settings

Definition at line 4941 of file cons.c.

References SCIP_ConsSetChg::addedconss, SCIP_ConsSetChg::disabledconss, SCIP_ConsSetChg::naddedconss, SCIP_ConsSetChg::ndisabledconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), and SCIPconssetchgFree().

Referenced by conssetchgCreate(), and SCIPconssetchgFree().

SCIP_RETCODE SCIPconssetchgFree ( SCIP_CONSSETCHG **  conssetchg,
BMS_BLKMEM blkmem,
SCIP_SET set 
)

frees constraint set change data and releases all included constraints

Parameters
conssetchgpointer to constraint set change
blkmemblock memory
setglobal SCIP settings

Definition at line 4971 of file cons.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArrayNull, conssetchgEnsureAddedconssSize(), conssetchgRelease(), NULL, SCIP_CALL, and SCIP_OKAY.

Referenced by conssetchgRelease(), SCIPconssetchgMakeGlobal(), and SCIPnodeFree().

static SCIP_RETCODE conssetchgEnsureAddedconssSize ( SCIP_CONSSETCHG conssetchg,
BMS_BLKMEM blkmem,
SCIP_SET set,
int  num 
)
static

ensures, that addedconss array can store at least num entries

Parameters
conssetchgconstraint set change data structure
blkmemblock memory
setglobal SCIP settings
numminimum number of entries to store

Definition at line 4996 of file cons.c.

References SCIP_ConsSetChg::addedconss, SCIP_ConsSetChg::addedconsssize, BMSreallocBlockMemoryArray, conssetchgEnsureDisabledconssSize(), NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPsetCalcMemGrowSize().

Referenced by SCIPconssetchgAddAddedCons(), and SCIPconssetchgFree().

static SCIP_RETCODE conssetchgEnsureDisabledconssSize ( SCIP_CONSSETCHG conssetchg,
BMS_BLKMEM blkmem,
SCIP_SET set,
int  num 
)
static

ensures, that disabledconss array can store at least num entries

Parameters
conssetchgconstraint set change data structure
blkmemblock memory
setglobal SCIP settings
numminimum number of entries to store

Definition at line 5020 of file cons.c.

References BMSreallocBlockMemoryArray, SCIP_ConsSetChg::disabledconss, SCIP_ConsSetChg::disabledconsssize, NULL, SCIP_ALLOC, SCIP_OKAY, SCIPconssetchgAddAddedCons(), and SCIPsetCalcMemGrowSize().

Referenced by conssetchgEnsureAddedconssSize(), and SCIPconssetchgAddDisabledCons().

SCIP_RETCODE SCIPconssetchgAddAddedCons ( SCIP_CONSSETCHG **  conssetchg,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_CONS cons,
int  depth,
SCIP_Bool  focusnode,
SCIP_Bool  active 
)

adds constraint addition to constraint set changes, and captures constraint; activates constraint if the constraint set change data is currently active

Parameters
conssetchgpointer to constraint set change data structure
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
consadded constraint
depthdepth of constraint set change's node
focusnodedoes the constraint set change belong to the focus node?
activeis 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().

SCIP_RETCODE SCIPconssetchgAddDisabledCons ( SCIP_CONSSETCHG **  conssetchg,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_CONS cons 
)

adds constraint disabling to constraint set changes, and captures constraint

Parameters
conssetchgpointer to constraint set change data structure
blkmemblock memory
setglobal SCIP settings
consdisabled constraint

Definition at line 5091 of file cons.c.

References conssetchgCreate(), conssetchgDelAddedCons(), conssetchgEnsureDisabledconssSize(), SCIP_ConsSetChg::ndisabledconss, NULL, SCIP_CALL, SCIP_OKAY, and SCIPconsCapture().

Referenced by SCIPconssetchgAddAddedCons(), and SCIPnodeDelCons().

static SCIP_RETCODE conssetchgDelAddedCons ( SCIP_CONSSETCHG conssetchg,
BMS_BLKMEM blkmem,
SCIP_SET set,
int  arraypos 
)
static

deactivates, deletes, and releases constraint from the addedconss array of the constraint set change data

Parameters
conssetchgconstraint set change to delete constraint from
blkmemblock memory
setglobal SCIP settings
arrayposposition 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().

static SCIP_RETCODE conssetchgDelDisabledCons ( SCIP_CONSSETCHG conssetchg,
BMS_BLKMEM blkmem,
SCIP_SET set,
int  arraypos 
)
static

deletes and releases deactivated constraint from the disabledconss array of the constraint set change data

Parameters
conssetchgconstraint set change to apply
blkmemblock memory
setglobal SCIP settings
arrayposposition 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().

SCIP_RETCODE SCIPconssetchgApply ( SCIP_CONSSETCHG conssetchg,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
int  depth,
SCIP_Bool  focusnode 
)

applies constraint set change

Parameters
conssetchgconstraint set change to apply
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
depthdepth of constraint set change's node
focusnodedoes 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().

SCIP_RETCODE SCIPconssetchgMakeGlobal ( SCIP_CONSSETCHG **  conssetchg,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB prob 
)

applies constraint set change to the global problem and deletes the constraint set change data

Parameters
conssetchgpointer to constraint set change data
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
probproblem 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
conspointer to constraint
blkmemblock memory
setglobal SCIP settings
namename of constraint
conshdlrconstraint handler for this constraint
consdatadata for this specific constraint
initialshould the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'.
separateshould the constraint be separated during LP processing? Usually set to TRUE.
enforceshould the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints.
checkshould the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints.
propagateshould the constraint be propagated during node processing? Usually set to TRUE.
localis constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints.
modifiableis constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint.
dynamicis constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints.
removableshould 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'.
stickingatnodeshould 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.
originalis constraint belonging to the original problem?
deleteconsdatahas 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
conspointer to store the created target constraint
setglobal SCIP settings of the target SCIP
namename of constraint, or NULL if the name of the source constraint should be used
sourcescipsource SCIP data structure
sourceconshdlrsource constraint handler for this constraint
sourceconssource constraint of the source SCIP
varmapa SCIP_HASHMAP mapping variables of the source SCIP to corresponding variables of the target SCIP
consmapa hashmap to store the mapping of source constraints to the corresponding target constraints, must not be NULL!
initialshould the LP relaxation of constraint be in the initial LP?
separateshould the constraint be separated during LP processing?
enforceshould the constraint be enforced during node processing?
checkshould the constraint be checked for feasibility?
propagateshould the constraint be propagated during node processing?
localis constraint only valid locally?
modifiableis constraint modifiable (subject to column generation)?
dynamicis constraint subject to aging?
removableshould the relaxation be removed from the LP due to aging or cleanup?
stickingatnodeshould the constraint always be kept at the node where it was added, even if it may be moved to a more global node?
globalcreate a global or a local copy?
successpointer 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
conspointer to constraint
setglobal SCIP settings
messagehdlrmessage handler of target SCIP
strstring to parse for constraint
initialshould the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'.
separateshould the constraint be separated during LP processing? Usually set to TRUE.
enforceshould the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints.
checkshould the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints.
propagateshould the constraint be propagated during node processing? Usually set to TRUE.
localis constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints.
modifiableis constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint.
dynamicis constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints.
removableshould 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'.
stickingatnodeshould 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.
successpointer 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().

SCIP_RETCODE SCIPconsChgName ( SCIP_CONS cons,
BMS_BLKMEM blkmem,
const char *  name 
)

change name of given constraint

Parameters
consproblem constraint
blkmemblock memory buffer
namenew name of constraint

Definition at line 5770 of file cons.c.

References BMSduplicateBlockMemoryArray, BMSfreeBlockMemoryArray, SCIP_Cons::name, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIPconsFree().

Referenced by SCIPchgConsName(), and SCIPconsParse().

SCIP_RETCODE SCIPconsFree ( SCIP_CONS **  cons,
BMS_BLKMEM blkmem,
SCIP_SET set 
)

frees a constraint and removes it from the conss array of its constraint handler

Parameters
consconstraint to free
blkmemblock memory buffer
setglobal 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().

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 
)

outputs constraint information to file stream

Parameters
consconstraint to print
setglobal SCIP settings
messagehdlrmessage handler
fileoutput file (or NULL for standard output)

Definition at line 5897 of file cons.c.

References SCIP_Cons::conshdlr, SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsGetVars(), and SCIPmessageFPrintInfo().

Referenced by SCIPconsRelease(), and SCIPprintCons().

SCIP_RETCODE SCIPconsGetVars ( SCIP_CONS cons,
SCIP_SET set,
SCIP_VAR **  vars,
int  varssize,
SCIP_Bool success 
)

method to collect the variables of a constraint

If the number of variables is greater than the available slots in the variable array, nothing happens except that the success point is set to FALSE. With the method SCIPconsGetNVars() it is possible to get the number of variables a constraint has in its scope.

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
consconstraint to print
setglobal SCIP settings
varsarray to store the involved variable of the constraint
varssizeavailable slots in vars array which is needed to check if the array is large enough
successpointer 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().

SCIP_RETCODE SCIPconsGetNVars ( SCIP_CONS cons,
SCIP_SET set,
int *  nvars,
SCIP_Bool success 
)

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
consconstraint to print
setglobal SCIP settings
nvarspointer to store the number of variables
successpointer 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().

SCIP_RETCODE SCIPconsDelete ( SCIP_CONS cons,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB prob 
)

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
consconstraint to delete
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
probproblem 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().

SCIP_RETCODE SCIPconsTransform ( SCIP_CONS origcons,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_CONS **  transcons 
)

gets and captures transformed constraint of a given original constraint; if the constraint is not yet transformed, a new transformed constraint for this constraint is created

Parameters
origconsoriginal constraint
blkmemblock memory buffer
setglobal SCIP settings
transconspointer 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().

SCIP_RETCODE SCIPconsSetInitial ( SCIP_CONS cons,
SCIP_SET set,
SCIP_STAT stat,
SCIP_Bool  initial 
)

sets the initial flag of the given constraint

Parameters
consconstraint
setglobal SCIP settings
statdynamic problem statistics
initialnew 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().

SCIP_RETCODE SCIPconsSetSeparated ( SCIP_CONS cons,
SCIP_SET set,
SCIP_Bool  separate 
)

sets the separate flag of the given constraint

Parameters
consconstraint
setglobal SCIP settings
separatenew 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().

SCIP_RETCODE SCIPconsSetEnforced ( SCIP_CONS cons,
SCIP_SET set,
SCIP_Bool  enforce 
)

sets the enforce flag of the given constraint

Parameters
consconstraint
setglobal SCIP settings
enforcenew 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().

SCIP_RETCODE SCIPconsSetChecked ( SCIP_CONS cons,
SCIP_SET set,
SCIP_Bool  check 
)

sets the check flag of the given constraint

Parameters
consconstraint
setglobal SCIP settings
checknew 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().

SCIP_RETCODE SCIPconsSetPropagated ( SCIP_CONS cons,
SCIP_SET set,
SCIP_Bool  propagate 
)

sets the propagate flag of the given constraint

Parameters
consconstraint
setglobal SCIP settings
propagatenew 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 SCIPconsSetLocal ( SCIP_CONS cons,
SCIP_Bool  local 
)

sets the local flag of the given constraint

Parameters
consconstraint
localnew value

Definition at line 6297 of file cons.c.

References SCIP_Cons::local, NULL, SCIPconsSetModifiable(), and SCIP_Cons::validdepth.

Referenced by SCIPaddCons(), SCIPaddConsNode(), SCIPconsSetPropagated(), SCIPprobAddCons(), and SCIPsetConsLocal().

void SCIPconsSetModifiable ( SCIP_CONS cons,
SCIP_Bool  modifiable 
)

sets the modifiable flag of the given constraint

Parameters
consconstraint
modifiablenew value

Definition at line 6310 of file cons.c.

References SCIP_Cons::modifiable, NULL, and SCIPconsSetDynamic().

Referenced by SCIPconsSetLocal(), SCIPcopyConss(), SCIPcopyOrigConss(), and SCIPsetConsModifiable().

void SCIPconsSetDynamic ( SCIP_CONS cons,
SCIP_Bool  dynamic 
)

sets the dynamic flag of the given constraint

Parameters
consconstraint
dynamicnew value

Definition at line 6321 of file cons.c.

References SCIP_Cons::dynamic, NULL, and SCIPconsSetRemovable().

Referenced by SCIPconsSetModifiable(), and SCIPsetConsDynamic().

void SCIPconsSetRemovable ( SCIP_CONS cons,
SCIP_Bool  removable 
)

sets the removable flag of the given constraint

Parameters
consconstraint
removablenew value

Definition at line 6332 of file cons.c.

References NULL, SCIP_Cons::removable, and SCIPconsSetStickingAtNode().

Referenced by SCIPconsSetDynamic(), and SCIPsetConsRemovable().

void SCIPconsSetStickingAtNode ( SCIP_CONS cons,
SCIP_Bool  stickingatnode 
)

sets the stickingatnode flag of the given constraint

Parameters
consconstraint
stickingatnodenew value

Definition at line 6343 of file cons.c.

References NULL, SCIPconsSetNamePointer(), and SCIP_Cons::stickingatnode.

Referenced by SCIPconsSetRemovable(), and SCIPsetConsStickingAtNode().

void SCIPconsSetNamePointer ( SCIP_CONS cons,
const char *  name 
)

gives the constraint a new name; ATTENTION: to old pointer is over written that might result in a memory leakage

Parameters
consconstraint
namenew name of constraint

Definition at line 6355 of file cons.c.

References SCIP_Cons::name, NULL, and SCIPconsGetTransformed().

Referenced by SCIPconsSetStickingAtNode(), and SCIPreaderWrite().

SCIP_CONS* SCIPconsGetTransformed ( SCIP_CONS cons)

gets associated transformed constraint of an original constraint, or NULL if no associated transformed constraint exists

Parameters
consconstraint

Definition at line 6369 of file cons.c.

References SCIP_Cons::original, SCIPconsActivate(), and SCIP_Cons::transorigcons.

Referenced by SCIPconsSetNamePointer(), SCIPgetTransformedCons(), and SCIPgetTransformedConss().

SCIP_RETCODE SCIPconsActivate ( SCIP_CONS cons,
SCIP_SET set,
SCIP_STAT stat,
int  depth,
SCIP_Bool  focusnode 
)

activates constraint or marks constraint to be activated in next update

Parameters
consconstraint
setglobal SCIP settings
statdynamic problem statistics
depthdepth in the tree where the constraint activation takes place, or -1 for global problem
focusnodedoes 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().

SCIP_RETCODE SCIPconsDeactivate ( SCIP_CONS cons,
SCIP_SET set,
SCIP_STAT stat 
)
SCIP_RETCODE SCIPconsEnable ( SCIP_CONS cons,
SCIP_SET set,
SCIP_STAT stat 
)

enables constraint's separation, enforcing, and propagation capabilities or marks them to be enabled in next update

Parameters
consconstraint
setglobal SCIP settings
statdynamic 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().

SCIP_RETCODE SCIPconsDisable ( SCIP_CONS cons,
SCIP_SET set,
SCIP_STAT stat 
)

disables constraint's separation, enforcing, and propagation capabilities or marks them to be disabled in next update

Parameters
consconstraint
setglobal SCIP settings
statdynamic 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().

SCIP_RETCODE SCIPconsEnableSeparation ( SCIP_CONS cons,
SCIP_SET set 
)

enables constraint's separation capabilities or marks them to be enabled in next update

Parameters
consconstraint
setglobal 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().

SCIP_RETCODE SCIPconsDisableSeparation ( SCIP_CONS cons,
SCIP_SET set 
)

disables constraint's separation capabilities or marks them to be disabled in next update

Parameters
consconstraint
setglobal 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().

SCIP_RETCODE SCIPconsEnablePropagation ( SCIP_CONS cons,
SCIP_SET set 
)

enables constraint's propagation capabilities or marks them to be enabled in next update

Parameters
consconstraint
setglobal 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().

SCIP_RETCODE SCIPconsDisablePropagation ( SCIP_CONS cons,
SCIP_SET set 
)

disables constraint's propagation capabilities or marks them to be disabled in next update

Parameters
consconstraint
setglobal 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().

SCIP_RETCODE SCIPconsAddAge ( SCIP_CONS cons,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB prob,
SCIP_Real  deltaage 
)

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
consconstraint
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
probproblem data
deltaagevalue 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().

SCIP_RETCODE SCIPconsIncAge ( SCIP_CONS cons,
BMS_BLKMEM blkmem,
SCIP_SET set,
SCIP_STAT stat,
SCIP_PROB prob 
)

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
consconstraint
blkmemblock memory
setglobal SCIP settings
statdynamic problem statistics
probproblem data

Definition at line 6767 of file cons.c.

References SCIP_CALL, SCIP_OKAY, SCIPconsAddAge(), and SCIPconsResetAge().

Referenced by SCIPconsAddAge(), and SCIPincConsAge().

SCIP_RETCODE SCIPconsResetAge ( SCIP_CONS cons,
SCIP_SET set 
)

resets age of constraint to zero; should be called

  • 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
consconstraint
setglobal 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().

SCIP_RETCODE SCIPconsPushProp ( SCIP_CONS cons)

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
consconstraint

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().

SCIP_CONS* SCIPconshdlrFrontProp ( SCIP_CONSHDLR conshdlr)

returns first constraint from propagation queue(if not empty) of given constraint handler

Parameters
conshdlrconstraint handler

Definition at line 6849 of file cons.c.

References NULL, SCIP_Conshdlr::pendingconss, SCIPconshdlrPopProp(), SCIPqueueFirst(), and SCIPqueueIsEmpty().

Referenced by SCIPconsPushProp().

SCIP_RETCODE SCIPconshdlrPopProp ( SCIP_CONSHDLR conshdlr,
BMS_BLKMEM blkmem,
SCIP_SET set 
)

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
conshdlrconstraint handler
blkmemblock memory
setglobal 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().

SCIP_RETCODE SCIPconsResolvePropagation ( SCIP_CONS cons,
SCIP_SET set,
SCIP_VAR infervar,
int  inferinfo,
SCIP_BOUNDTYPE  inferboundtype,
SCIP_BDCHGIDX bdchgidx,
SCIP_Real  relaxedbd,
SCIP_RESULT result 
)

resolves the given conflicting bound, that was deduced by the given constraint, by putting all "reason" bounds leading to the deduction into the conflict queue with calls to SCIPaddConflictLb(), SCIPaddConflictUb(), SCIPaddConflictBd(), SCIPaddConflictRelaxedLb(), SCIPaddConflictRelaxedUb(), SCIPaddConflictRelaxedBd(), or SCIPaddConflictBinvar();

Note
it is sufficient to explain the relaxed bound change
Parameters
consconstraint that deduced the assignment
setglobal SCIP settings
infervarvariable whose bound was deduced by the constraint
inferinfouser inference information attached to the bound change
inferboundtypebound that was deduced (lower or upper bound)
bdchgidxbound change index, representing the point of time where change took place
relaxedbdthe relaxed bound
resultpointer 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().

SCIP_RETCODE SCIPconsAddLocks ( SCIP_CONS cons,
SCIP_SET set,
int  nlockspos,
int  nlocksneg 
)

adds given values to lock status of the constraint and updates the rounding locks of the involved variables

Parameters
consconstraint
setglobal SCIP settings
nlocksposincrease in number of rounding locks for constraint
nlocksnegincrease 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().

SCIP_RETCODE SCIPconsCheck ( SCIP_CONS cons,
SCIP_SET set,
SCIP_SOL sol,
SCIP_Bool  checkintegrality,
SCIP_Bool  checklprows,
SCIP_Bool  printreason,
SCIP_RESULT result 
)

checks single constraint for feasibility of the given solution

Parameters
consconstraint to check
setglobal SCIP settings
solprimal CIP solution
checkintegralityHas integrality to be checked?
checklprowsDo constraints represented by rows in the current LP have to be checked?
printreasonShould the reason for the violation be printed?
resultpointer 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().

SCIP_RETCODE SCIPconsEnfops ( SCIP_CONS cons,
SCIP_SET set,
SCIP_Bool  solinfeasible,
SCIP_Bool  objinfeasible,
SCIP_RESULT result 
)

enforces single constraint for a given pseudo solution

Parameters
consconstraint to enforce
setglobal SCIP settings
solinfeasiblewas the solution already declared infeasible by a constraint handler?
objinfeasibleis the solution infeasible anyway due to violating lower objective bound?
resultpointer 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().

SCIP_RETCODE SCIPconsEnfolp ( SCIP_CONS cons,
SCIP_SET set,
SCIP_Bool  solinfeasible,
SCIP_RESULT result 
)

enforces single constraint for a given LP solution

Parameters
consconstraint to enforce
setglobal SCIP settings
solinfeasiblewas the solution already declared infeasible by a constraint handler?
resultpointer 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().

SCIP_RETCODE SCIPconsInitlp ( SCIP_CONS cons,
SCIP_SET set 
)

calls LP initialization method for single constraint

Parameters
consconstraint to initialize
setglobal SCIP settings

Definition at line 7118 of file cons.c.

References SCIP_Cons::conshdlr, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, and SCIPconsSepalp().

Referenced by SCIPconsEnfolp(), and SCIPinitlpCons().

SCIP_RETCODE SCIPconsSepalp ( SCIP_CONS cons,
SCIP_SET set,
SCIP_RESULT result 
)

calls separation method of single constraint for LP solution

Parameters
consconstraint to separate
setglobal SCIP settings
resultpointer 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().

SCIP_RETCODE SCIPconsSepasol ( SCIP_CONS cons,
SCIP_SET set,
SCIP_SOL sol,
SCIP_RESULT result 
)

calls separation method of single constraint for given primal solution

Parameters
consconstraint to separate
setglobal SCIP settings
solprimal solution that should be separated
resultpointer 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().

SCIP_RETCODE SCIPconsProp ( SCIP_CONS cons,
SCIP_SET set,
SCIP_PROPTIMING  proptiming,
SCIP_RESULT result 
)

calls domain propagation method of single constraint

Parameters
consconstraint to propagate
setglobal SCIP settings
proptimingcurrent point in the node solving loop
resultpointer 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().

SCIP_RETCODE SCIPconsResprop ( SCIP_CONS cons,
SCIP_SET set,
SCIP_VAR infervar,
int  inferinfo,
SCIP_BOUNDTYPE  boundtype,
SCIP_BDCHGIDX bdchgidx,
SCIP_Real  relaxedbd,
SCIP_RESULT result 
)

resolves propagation conflict of single constraint

Parameters
consconstraint to resolve conflict for
setglobal SCIP settings
infervarthe conflict variable whose bound change has to be resolved
inferinfothe user information passed to the corresponding SCIPinferVarLbCons() or SCIPinferVarUbCons() call
boundtypethe type of the changed bound (lower or upper bound)
bdchgidxthe index of the bound change, representing the point of time where the change took place
relaxedbdthe relaxed bound which is sufficient to be explained
resultpointer 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
consconstraint to presolve
setglobal SCIP settings
nroundsnumber of presolving rounds already done
timingcurrent presolving timing
nnewfixedvarsnumber of variables fixed since the last call to the presolving method
nnewaggrvarsnumber of variables aggregated since the last call to the presolving method
nnewchgvartypesnumber of variable type changes since the last call to the presolving method
nnewchgbdsnumber of variable bounds tightened since the last call to the presolving method
nnewholesnumber of domain holes added since the last call to the presolving method
nnewdelconssnumber of deleted constraints since the last call to the presolving method
nnewaddconssnumber of added constraints since the last call to the presolving method
nnewupgdconssnumber of upgraded constraints since the last call to the presolving method
nnewchgcoefsnumber of changed coefficients since the last call to the presolving method
nnewchgsidesnumber of changed left or right hand sides since the last call to the presolving method
nfixedvarspointer to count total number of variables fixed of all presolvers
naggrvarspointer to count total number of variables aggregated of all presolvers
nchgvartypespointer to count total number of variable type changes of all presolvers
nchgbdspointer to count total number of variable bounds tightened of all presolvers
naddholespointer to count total number of domain holes added of all presolvers
ndelconsspointer to count total number of deleted constraints of all presolvers
naddconsspointer to count total number of added constraints of all presolvers
nupgdconsspointer to count total number of upgraded constraints of all presolvers
nchgcoefspointer to count total number of changed coefficients of all presolvers
nchgsidespointer to count total number of changed left/right hand sides of all presolvers
resultpointer 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_RETCODE SCIPconsActive ( SCIP_CONS cons,
SCIP_SET set 
)

calls constraint activation notification method of single constraint

Parameters
consconstraint to notify
setglobal SCIP settings

Definition at line 7382 of file cons.c.

References SCIP_Cons::conshdlr, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, and SCIPconsDeactive().

Referenced by SCIPactiveCons(), and SCIPconsPresol().

SCIP_RETCODE SCIPconsDeactive ( SCIP_CONS cons,
SCIP_SET set 
)

calls constraint deactivation notification method of single constraint

Parameters
consconstraint to notify
setglobal SCIP settings

Definition at line 7406 of file cons.c.

References SCIP_Cons::conshdlr, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_DECL_HASHGETKEY(), and SCIP_OKAY.

Referenced by SCIPconsActive(), and SCIPdeactiveCons().

SCIP_DECL_HASHGETKEY ( SCIPhashGetKeyCons  )

gets the key (i.e. the name) of the given constraint

Definition at line 7436 of file cons.c.

Referenced by SCIPconsDeactive().

static SCIP_RETCODE ensurePropagationStorage ( SCIP_SET set,
SCIP_CONSHDLR conshdlr,
int  num 
)
static

ensures size of storage for propagable constraints with a minimum size of num

Parameters
setglobal SCIP settings
conshdlrconstraint handler
numminimum number of entries to store

Definition at line 7451 of file cons.c.

References BMSreallocMemoryArray, NULL, SCIP_ALLOC, SCIP_OKAY, SCIPconshdlrsStorePropagationStatus(), SCIPsetCalcMemGrowSize(), SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropconsssize.

Referenced by SCIPconshdlrsStorePropagationStatus().

SCIP_RETCODE SCIPconshdlrsStorePropagationStatus ( SCIP_SET set,
SCIP_CONSHDLR **  conshdlrs,
int  nconshdlrs 
)

stores all constraints marked for propagation away when probing is started

Parameters
setglobal SCIP settings
conshdlrsall constraint handlers
nconshdlrsnumber 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().

SCIP_RETCODE SCIPconshdlrsResetPropagationStatus ( SCIP_SET set,
BMS_BLKMEM blkmem,
SCIP_CONSHDLR **  conshdlrs,
int  nconshdlrs 
)

reset all constraints marked for propagation when probing was finished

Parameters
setglobal SCIP settings
blkmemblock memory
conshdlrsall constraint handlers
nconshdlrsnumber 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
consconstraint

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().

int SCIPconsGetPos ( SCIP_CONS cons)

returns the position of constraint in the corresponding handler's conss array

Parameters
consconstraint

Definition at line 7630 of file cons.c.

References SCIP_Cons::consspos, NULL, and SCIPconsGetHdlr().

Referenced by detectRedundantConstraints(), and SCIPconsGetName().

SCIP_CONSHDLR* SCIPconsGetHdlr ( SCIP_CONS cons)

returns the constraint handler of the constraint

Parameters
consconstraint

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().

SCIP_CONSDATA* SCIPconsGetData ( SCIP_CONS cons)

returns the constraint data field of the constraint

Parameters
consconstraint

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 SCIPconsGetNUses ( SCIP_CONS cons)

gets number of times, the constraint is currently captured

Parameters
consconstraint

Definition at line 7660 of file cons.c.

References NULL, SCIP_Cons::nuses, and SCIPconsGetActiveDepth().

Referenced by SCIPconsGetData().

int SCIPconsGetActiveDepth ( SCIP_CONS cons)

for an active constraint, returns the depth in the tree at which the constraint was activated

Parameters
consconstraint

Definition at line 7670 of file cons.c.

References SCIP_Cons::activedepth, NULL, SCIP_Bool, and SCIPconsIsActive().

Referenced by SCIPconsGetNUses(), SCIPconsGetValidDepth(), and SCIPconshdlrInitLP().

SCIP_Bool SCIPconsIsActive ( SCIP_CONS cons)

returns TRUE iff constraint is active in the current node

Parameters
consconstraint

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
consconstraint

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().

SCIP_Bool SCIPconsIsSeparationEnabled ( SCIP_CONS cons)

returns TRUE iff constraint's separation is enabled in the current node

Parameters
consconstraint

Definition at line 7717 of file cons.c.

References NULL, SCIP_Bool, SCIPconsIsEnabled(), SCIPconsIsPropagationEnabled(), SCIP_Cons::sepaenabled, SCIP_Cons::updatesepadisable, and SCIP_Cons::updatesepaenable.

Referenced by SCIPconsIsEnabled().

SCIP_Bool SCIPconsIsPropagationEnabled ( SCIP_CONS cons)

returns TRUE iff constraint's propagation is enabled in the current node

Parameters
consconstraint

Definition at line 7728 of file cons.c.

References NULL, SCIP_Cons::propenabled, SCIP_Bool, SCIPconsIsDeleted(), SCIPconsIsEnabled(), SCIP_Cons::updatepropdisable, and SCIP_Cons::updatepropenable.

Referenced by enforceCurrentSol(), enforcePseudo(), SCIPconsIsSeparationEnabled(), and separateCons().

SCIP_Bool SCIPconsIsObsolete ( SCIP_CONS cons)

returns TRUE iff constraint is marked obsolete

Parameters
consconstraint

Definition at line 7749 of file cons.c.

References NULL, SCIP_Cons::obsolete, SCIP_Real, SCIPconsGetAge(), and SCIP_Cons::updateobsolete.

Referenced by SCIPconsIsDeleted().

SCIP_Real SCIPconsGetAge ( SCIP_CONS cons)

gets age of constraint

Parameters
consconstraint

Definition at line 7759 of file cons.c.

References SCIP_Cons::age, NULL, SCIP_Bool, and SCIPconsIsInitial().

Referenced by SCIPconsIsObsolete().

SCIP_Bool SCIPconsIsInitial ( SCIP_CONS cons)

returns TRUE iff the LP relaxation of constraint should be in the initial LP

Parameters
consconstraint

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().

SCIP_Bool SCIPconsIsSeparated ( SCIP_CONS cons)

returns TRUE iff constraint should be separated during LP processing

Parameters
consconstraint

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().

SCIP_Bool SCIPconsIsEnforced ( SCIP_CONS cons)

returns TRUE iff constraint should be enforced during node processing

Parameters
consconstraint

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().

SCIP_Bool SCIPconsIsChecked ( SCIP_CONS cons)

returns TRUE iff constraint should be checked for feasibility

Parameters
consconstraint

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().

SCIP_Bool SCIPconsIsMarkedPropagate ( SCIP_CONS cons)

returns whether the constraint is marked for propagation

Parameters
consconstraint

Definition at line 7809 of file cons.c.

References SCIP_Cons::markpropagate, NULL, SCIP_Bool, and SCIPconsIsPropagated().

Referenced by SCIPconsIsChecked().

SCIP_Bool SCIPconsIsPropagated ( SCIP_CONS cons)

returns TRUE iff constraint should be propagated during node processing

Parameters
consconstraint

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().

SCIP_Bool SCIPconsIsGlobal ( SCIP_CONS cons)

returns TRUE iff constraint is globally valid

Parameters
consconstraint

Definition at line 7829 of file cons.c.

References SCIP_Cons::local, NULL, SCIP_Bool, and SCIPconsIsLocal().

Referenced by conflictResolveBound(), generateCut(), SCIPaddCons(), SCIPanalyzeConflictCons(), SCIPconsIsPropagated(), and SCIPnodeAddCons().

SCIP_Bool SCIPconsIsLocal ( SCIP_CONS cons)

returns TRUE iff constraint is only locally valid or not added to any (sub)problem

Parameters
consconstraint

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().

SCIP_Bool SCIPconsIsModifiable ( SCIP_CONS cons)

returns TRUE iff constraint is modifiable (subject to column generation)

Parameters
consconstraint

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().

SCIP_Bool SCIPconsIsDynamic ( SCIP_CONS cons)

returns TRUE iff constraint is subject to aging

Parameters
consconstraint

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().

SCIP_Bool SCIPconsIsRemovable ( SCIP_CONS cons)

returns TRUE iff constraint's relaxation should be removed from the LP due to aging or cleanup

Parameters
consconstraint

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().

SCIP_Bool SCIPconsIsStickingAtNode ( SCIP_CONS cons)

returns TRUE iff constraint's relaxation should be removed from the LP due to aging or cleanup

Parameters
consconstraint

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().

SCIP_Bool SCIPconsIsInProb ( SCIP_CONS cons)

returns TRUE iff constraint belongs to the global problem

Parameters
consconstraint

Definition at line 7889 of file cons.c.

References SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, NULL, SCIP_Bool, and SCIPconsIsOriginal().

Referenced by SCIPconsIsStickingAtNode().

SCIP_Bool SCIPconsIsLockedPos ( SCIP_CONS cons)

returns TRUE iff roundings for variables in constraint are locked

Parameters
consconstraint

Definition at line 7919 of file cons.c.

References SCIP_Cons::nlockspos, NULL, SCIP_Bool, and SCIPconsIsLockedNeg().

Referenced by SCIPconsIsTransformed(), SCIPlockVarCons(), and SCIPunlockVarCons().

SCIP_Bool SCIPconsIsLockedNeg ( SCIP_CONS cons)

returns TRUE iff roundings for variables in constraint's negation are locked

Parameters
consconstraint

Definition at line 7929 of file cons.c.

References SCIP_Cons::nlocksneg, NULL, SCIP_Bool, and SCIPconsIsLocked().

Referenced by SCIPconsIsLockedPos(), SCIPlockVarCons(), and SCIPunlockVarCons().

SCIP_Bool SCIPconsIsLocked ( SCIP_CONS cons)

returns TRUE iff roundings for variables in constraint or in constraint's negation are locked

Parameters
consconstraint

Definition at line 7939 of file cons.c.

References SCIP_Cons::nlocksneg, SCIP_Cons::nlockspos, NULL, and SCIPconsGetNLocksPos().

Referenced by chgLhs(), chgLinearCoefPos(), chgRhs(), lockRoundingAndCons(), preprocessConstraintPairs(), SCIPconsIsLockedNeg(), and unlockRoundingAndCons().

int SCIPconsGetNLocksPos ( SCIP_CONS cons)

get number of times the roundings for variables in constraint are locked

Parameters
consconstraint

Definition at line 7949 of file cons.c.

References SCIP_Cons::nlockspos, NULL, and SCIPconsGetNLocksNeg().

Referenced by SCIPconsIsLocked().

int SCIPconsGetNLocksNeg ( SCIP_CONS cons)

get number of times the roundings for variables in constraint's negation are locked

Parameters
consconstraint

Definition at line 7959 of file cons.c.

References SCIP_Cons::nlocksneg, NULL, SCIP_Bool, and SCIPconsIsAdded().

Referenced by SCIPconsGetNLocksPos().

SCIP_Bool SCIPconsIsAdded ( SCIP_CONS cons)
void SCIPconsAddUpgradeLocks ( SCIP_CONS cons,
int  nlocks 
)

adds locks to (dis-)allow upgrading of constraint

Parameters
consconstraint to add locks
nlocksnumber 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)

gets number of locks against upgrading the constraint, 0 means this constraint can be upgraded

Parameters
consconstraint

Definition at line 7991 of file cons.c.

References NULL, and SCIP_Cons::nupgradelocks.

Referenced by aggregateConstraints(), createVarUbs(), presolRoundIndicator(), propIndicator(), SCIPconsAddUpgradeLocks(), SCIPcreateConsIndicator(), SCIPcreateConsIndicatorLinCons(), and tryUpgrading().