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/scip.h"
#include "scip/sepastore.h"
#include "scip/cons.h"
#include "scip/branch.h"
#include "scip/reopt.h"
#include "scip/pub_misc.h"
#include "scip/struct_cons.h"

Go to the source code of this file.

Macros
#define	AGERESETAVG_INIT 1000.0

#define	AGERESETAVG_MIN 100.0

#define	AGERESETAVG_DECAY 0.0005

#define	AGERESETAVG_AGELIMIT 2.0

#define	AGERESETAVG_OBSOLETEAGE 1.8

#define	checkConssArrays(conshdlr)

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)

static SCIP_RETCODE	doConshdlrCreate (SCIP_CONSHDLR *conshdlr, SCIP_SET set, SCIP_MESSAGEHDLR messagehdlr, BMS_BLKMEM blkmem, const char name, const char desc, int sepapriority, int enfopriority, int checkpriority, int sepafreq, int propfreq, int eagerfreq, int maxprerounds, SCIP_Bool delaysepa, SCIP_Bool delayprop, SCIP_Bool needscons, SCIP_PROPTIMING proptiming, SCIP_PRESOLTIMING presoltiming, SCIP_DECL_CONSHDLRCOPY((conshdlrcopy)), SCIP_DECL_CONSFREE((consfree)), SCIP_DECL_CONSINIT((consinit)), SCIP_DECL_CONSEXIT((consexit)), SCIP_DECL_CONSINITPRE((consinitpre)), SCIP_DECL_CONSEXITPRE((consexitpre)), SCIP_DECL_CONSINITSOL((consinitsol)), SCIP_DECL_CONSEXITSOL((consexitsol)), SCIP_DECL_CONSDELETE((consdelete)), SCIP_DECL_CONSTRANS((constrans)), SCIP_DECL_CONSINITLP((consinitlp)), SCIP_DECL_CONSSEPALP((conssepalp)), SCIP_DECL_CONSSEPASOL((conssepasol)), SCIP_DECL_CONSENFOLP((consenfolp)), SCIP_DECL_CONSENFORELAX((consenforelax)), SCIP_DECL_CONSENFOPS((consenfops)), SCIP_DECL_CONSCHECK((conscheck)), SCIP_DECL_CONSPROP((consprop)), SCIP_DECL_CONSPRESOL((conspresol)), SCIP_DECL_CONSRESPROP((consresprop)), SCIP_DECL_CONSLOCK((conslock)), SCIP_DECL_CONSACTIVE((consactive)), SCIP_DECL_CONSDEACTIVE((consdeactive)), SCIP_DECL_CONSENABLE((consenable)), SCIP_DECL_CONSDISABLE((consdisable)), SCIP_DECL_CONSDELVARS((consdelvars)), SCIP_DECL_CONSPRINT((consprint)), SCIP_DECL_CONSCOPY((conscopy)), SCIP_DECL_CONSPARSE((consparse)), SCIP_DECL_CONSGETVARS((consgetvars)), SCIP_DECL_CONSGETNVARS((consgetnvars)), SCIP_DECL_CONSGETDIVEBDCHGS((consgetdivebdchgs)), SCIP_CONSHDLRDATA *conshdlrdata)

SCIP_RETCODE	SCIPconshdlrCreate (SCIP_CONSHDLR *conshdlr, SCIP_SET set, SCIP_MESSAGEHDLR messagehdlr, BMS_BLKMEM blkmem, const char name, const char desc, int sepapriority, int enfopriority, int checkpriority, int sepafreq, int propfreq, int eagerfreq, int maxprerounds, SCIP_Bool delaysepa, SCIP_Bool delayprop, SCIP_Bool needscons, SCIP_PROPTIMING proptiming, SCIP_PRESOLTIMING presoltiming, SCIP_DECL_CONSHDLRCOPY((conshdlrcopy)), SCIP_DECL_CONSFREE((consfree)), SCIP_DECL_CONSINIT((consinit)), SCIP_DECL_CONSEXIT((consexit)), SCIP_DECL_CONSINITPRE((consinitpre)), SCIP_DECL_CONSEXITPRE((consexitpre)), SCIP_DECL_CONSINITSOL((consinitsol)), SCIP_DECL_CONSEXITSOL((consexitsol)), SCIP_DECL_CONSDELETE((consdelete)), SCIP_DECL_CONSTRANS((constrans)), SCIP_DECL_CONSINITLP((consinitlp)), SCIP_DECL_CONSSEPALP((conssepalp)), SCIP_DECL_CONSSEPASOL((conssepasol)), SCIP_DECL_CONSENFOLP((consenfolp)), SCIP_DECL_CONSENFORELAX((consenforelax)), SCIP_DECL_CONSENFOPS((consenfops)), SCIP_DECL_CONSCHECK((conscheck)), SCIP_DECL_CONSPROP((consprop)), SCIP_DECL_CONSPRESOL((conspresol)), SCIP_DECL_CONSRESPROP((consresprop)), SCIP_DECL_CONSLOCK((conslock)), SCIP_DECL_CONSACTIVE((consactive)), SCIP_DECL_CONSDEACTIVE((consdeactive)), SCIP_DECL_CONSENABLE((consenable)), SCIP_DECL_CONSDISABLE((consdisable)), SCIP_DECL_CONSDELVARS((consdelvars)), SCIP_DECL_CONSPRINT((consprint)), SCIP_DECL_CONSCOPY((conscopy)), SCIP_DECL_CONSPARSE((consparse)), SCIP_DECL_CONSGETVARS((consgetvars)), SCIP_DECL_CONSGETNVARS((consgetnvars)), SCIP_DECL_CONSGETDIVEBDCHGS((consgetdivebdchgs)), SCIP_CONSHDLRDATA *conshdlrdata)

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_Bool cutoff)

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	SCIPconshdlrEnforceRelaxSol (SCIP_CONSHDLR conshdlr, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_TREE tree, SCIP_SEPASTORE sepastore, SCIP_SOL relaxsol, SCIP_Bool solinfeasible, SCIP_RESULT result)

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_Bool completely, SCIP_RESULT result)

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

SCIP_RETCODE	SCIPconshdlrPresolve (SCIP_CONSHDLR conshdlr, BMS_BLKMEM blkmem, SCIP_SET set, SCIP_STAT stat, SCIP_PRESOLTIMING timing, int nrounds, int nfixedvars, int naggrvars, int nchgvartypes, int nchgbds, int naddholes, int ndelconss, int naddconss, int nupgdconss, int nchgcoefs, int nchgsides, SCIP_RESULT *result)

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

SCIP_RETCODE	SCIPconshdlrLockVars (SCIP_CONSHDLR conshdlr, SCIP_SET set)

SCIP_RETCODE	SCIPconshdlrUnlockVars (SCIP_CONSHDLR conshdlr, SCIP_SET set)

const char *	SCIPconshdlrGetName (SCIP_CONSHDLR *conshdlr)

const char *	SCIPconshdlrGetDesc (SCIP_CONSHDLR *conshdlr)

SCIP_CONSHDLRDATA *	SCIPconshdlrGetData (SCIP_CONSHDLR *conshdlr)

void	SCIPconshdlrSetData (SCIP_CONSHDLR conshdlr, SCIP_CONSHDLRDATA conshdlrdata)

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

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

void	SCIPconshdlrSetEnforelax (SCIP_CONSHDLR conshdlr, SCIP_DECL_CONSENFORELAX((consenforelax)))

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	SCIPconshdlrGetEnfoRelaxTime (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	SCIPconshdlrGetNEnfoRelaxCalls (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)

void	SCIPconssetchgGetAddedConsData (SCIP_CONSSETCHG conssetchg, SCIP_CONS *conss, int nconss)

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_REOPT reopt)

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 *valid)

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_REOPT reopt)

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

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

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

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

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

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

void	SCIPconsSetLocal (SCIP_CONS *cons, SCIP_Bool local)

void	SCIPconsSetModifiable (SCIP_CONS *cons, SCIP_Bool modifiable)

void	SCIPconsSetDynamic (SCIP_CONS *cons, SCIP_Bool dynamic)

void	SCIPconsSetRemovable (SCIP_CONS *cons, SCIP_Bool removable)

void	SCIPconsSetStickingAtNode (SCIP_CONS *cons, SCIP_Bool stickingatnode)

void	SCIPconsSetNamePointer (SCIP_CONS cons, const char name)

SCIP_CONS *	SCIPconsGetTransformed (SCIP_CONS *cons)

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

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

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

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

SCIP_RETCODE	SCIPconsEnableSeparation (SCIP_CONS cons, SCIP_SET set)

SCIP_RETCODE	SCIPconsDisableSeparation (SCIP_CONS cons, SCIP_SET set)

SCIP_RETCODE	SCIPconsEnablePropagation (SCIP_CONS cons, SCIP_SET set)

SCIP_RETCODE	SCIPconsDisablePropagation (SCIP_CONS cons, SCIP_SET set)

void	SCIPconsMarkConflict (SCIP_CONS *cons)

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_REOPT reopt)

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

SCIP_RETCODE	SCIPconsResetAge (SCIP_CONS cons, 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, SCIP_LOCKTYPE locktype, 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	SCIPconsEnforelax (SCIP_CONS cons, SCIP_SET set, SCIP_SOL sol, SCIP_Bool solinfeasible, SCIP_RESULT result)

SCIP_RETCODE	SCIPconsInitlp (SCIP_CONS cons, SCIP_SET set, SCIP_Bool *infeasible)

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)

SCIP_RETCODE	SCIPlinConsStatsCreate (SCIP scip, SCIP_LINCONSSTATS *linconsstats)

void	SCIPlinConsStatsFree (SCIP scip, SCIP_LINCONSSTATS *linconsstats)

void	SCIPlinConsStatsReset (SCIP_LINCONSSTATS *linconsstats)

int	SCIPlinConsStatsGetTypeCount (SCIP_LINCONSSTATS *linconsstats, SCIP_LINCONSTYPE linconstype)

int	SCIPlinConsStatsGetSum (SCIP_LINCONSSTATS *linconsstats)

void	SCIPlinConsStatsIncTypeCount (SCIP_LINCONSSTATS *linconsstats, SCIP_LINCONSTYPE linconstype, int increment)

void	SCIPprintLinConsStats (SCIP scip, FILE file, SCIP_LINCONSSTATS *linconsstats)

const char *	SCIPconsGetName (SCIP_CONS *cons)

int	SCIPconsGetPos (SCIP_CONS *cons)

SCIP_CONSHDLR *	SCIPconsGetHdlr (SCIP_CONS *cons)

SCIP_CONSDATA *	SCIPconsGetData (SCIP_CONS *cons)

int	SCIPconsGetNUses (SCIP_CONS *cons)

int	SCIPconsGetActiveDepth (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsActive (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsUpdatedeactivate (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_Bool	SCIPconsIsConflict (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	SCIPconsIsLockedTypePos (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)

SCIP_Bool	SCIPconsIsLockedTypeNeg (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)

SCIP_Bool	SCIPconsIsLockedType (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)

int	SCIPconsGetNLocksTypePos (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)

int	SCIPconsGetNLocksTypeNeg (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)

SCIP_Bool	SCIPconsIsAdded (SCIP_CONS *cons)

void	SCIPconsAddUpgradeLocks (SCIP_CONS *cons, int nlocks)

int	SCIPconsGetNUpgradeLocks (SCIP_CONS *cons)

Macro Definition Documentation

◆ AGERESETAVG_INIT

#define AGERESETAVG_INIT 1000.0

initial value of the exponentially decaying weighted sum for ages

Definition at line 47 of file cons.c.

Referenced by doConshdlrCreate(), and SCIPconshdlrInit().

◆ AGERESETAVG_MIN

#define AGERESETAVG_MIN 100.0

minimal value to use for weighted sum of ages

Definition at line 48 of file cons.c.

Referenced by conshdlrGetAgeresetavg().

◆ AGERESETAVG_DECAY

#define AGERESETAVG_DECAY 0.0005

weight of a new addend in the exponentially decyaing sum

Definition at line 49 of file cons.c.

Referenced by conshdlrUpdateAgeresetavg().

◆ AGERESETAVG_AGELIMIT

#define AGERESETAVG_AGELIMIT 2.0

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

Definition at line 50 of file cons.c.

Referenced by consExceedsAgelimit().

◆ AGERESETAVG_OBSOLETEAGE

#define AGERESETAVG_OBSOLETEAGE 1.8

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

Definition at line 53 of file cons.c.

Referenced by consExceedsObsoleteage().

◆ checkConssArrays

#define checkConssArrays ( conshdlr )

Function Documentation

◆ conshdlrEnsureConssMem()

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

conshdlr	constraint handler
set	global SCIP settings
num	minimal number of slots in array

Definition at line 68 of file cons.c.

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

Referenced by conshdlrAddCons().

◆ conshdlrEnsureInitconssMem()

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

conshdlr	constraint handler
set	global SCIP settings
num	minimal number of slots in array

Definition at line 92 of file cons.c.

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

Referenced by conshdlrAddInitcons(), and conshdlrEnsureConssMem().

◆ conshdlrEnsureSepaconssMem()

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

conshdlr	constraint handler
set	global SCIP settings
num	minimal number of slots in array

Definition at line 116 of file cons.c.

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

Referenced by conshdlrAddSepacons(), and conshdlrEnsureInitconssMem().

◆ conshdlrEnsureEnfoconssMem()

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

conshdlr	constraint handler
set	global SCIP settings
num	minimal number of slots in array

Definition at line 140 of file cons.c.

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

Referenced by conshdlrAddEnfocons(), and conshdlrEnsureSepaconssMem().

◆ conshdlrEnsureCheckconssMem()

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

conshdlr	constraint handler
set	global SCIP settings
num	minimal number of slots in array

Definition at line 164 of file cons.c.

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

Referenced by conshdlrAddCheckcons(), and conshdlrEnsureEnfoconssMem().

◆ conshdlrEnsurePropconssMem()

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

conshdlr	constraint handler
set	global SCIP settings
num	minimal number of slots in array

Definition at line 188 of file cons.c.

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

Referenced by conshdlrAddPropcons(), and conshdlrEnsureCheckconssMem().

◆ conshdlrEnsureUpdateconssMem()

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

conshdlr	constraint handler
set	global SCIP settings
num	minimal number of slots in array

Definition at line 212 of file cons.c.

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

Referenced by conshdlrAddUpdateCons(), and conshdlrEnsurePropconssMem().

◆ conshdlrAreUpdatesDelayed()

static SCIP_Bool conshdlrAreUpdatesDelayed ( SCIP_CONSHDLR * conshdlr )

static

returns whether the constraint updates of the constraint handler are currently delayed

Parameters

conshdlr constraint handler

Definition at line 317 of file cons.c.

References conshdlrGetAgeresetavg(), SCIP_Conshdlr::delayupdatecount, and SCIP_Real.

Referenced by conshdlrAddPropcons(), conshdlrAddSepacons(), conshdlrDelPropcons(), conshdlrDelSepacons(), conshdlrForceUpdates(), conshdlrMarkConsObsolete(), conshdlrMarkConsUseful(), conshdlrProcessUpdates(), SCIPconsActivate(), SCIPconsAddAge(), SCIPconsCreate(), SCIPconsDeactivate(), SCIPconsDisable(), SCIPconsDisablePropagation(), SCIPconsDisableSeparation(), SCIPconsEnable(), SCIPconsEnablePropagation(), SCIPconsEnableSeparation(), SCIPconshdlrInit(), SCIPconshdlrsResetPropagationStatus(), SCIPconsMarkPropagate(), SCIPconsRelease(), SCIPconsResetAge(), and SCIPconsUnmarkPropagate().

◆ conshdlrGetAgeresetavg()

static SCIP_Real conshdlrGetAgeresetavg ( SCIP_CONSHDLR * conshdlr )

static

returns the exponentially decaying weighted age average for age resets

Parameters

conshdlr constraint handler

Definition at line 326 of file cons.c.

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

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

◆ conshdlrUpdateAgeresetavg()

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

conshdlr	constraint handler
age	age of the constraint that is reset to zero

Definition at line 337 of file cons.c.

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

Referenced by conshdlrGetAgeresetavg(), and SCIPconsResetAge().

◆ consExceedsAgelimit()

static SCIP_Bool consExceedsAgelimit	(	SCIP_CONS *	cons,
		SCIP_SET *	set
	)

static

returns whether the constraint's age exceeds the age limit

Parameters

cons	constraint to check
set	global SCIP settings

Definition at line 350 of file cons.c.

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

Referenced by conshdlrUpdateAgeresetavg(), and SCIPconsAddAge().

◆ consExceedsObsoleteage()

static SCIP_Bool consExceedsObsoleteage	(	SCIP_CONS *	cons,
		SCIP_SET *	set
	)

static

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

Parameters

cons	constraint to check
set	global SCIP settings

Definition at line 365 of file cons.c.

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

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

◆ conshdlrMarkConsObsolete()

static SCIP_RETCODE conshdlrMarkConsObsolete	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons
	)

static

marks constraint to be obsolete; it will be moved to the last part of the constraint arrays, such that it is checked, enforced, separated, and propagated after the useful constraints

Parameters

conshdlr	constraint handler
cons	constraint to be marked obsolete

Definition at line 382 of file cons.c.

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

◆ conshdlrMarkConsUseful()

static SCIP_RETCODE conshdlrMarkConsUseful	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons
	)

static

marks obsolete constraint to be not obsolete anymore; it will be moved to the first part of the constraint arrays, such that it is checked, enforced, separated, and propagated before the obsolete constraints

Parameters

conshdlr	constraint handler
cons	constraint to be marked obsolete

Definition at line 512 of file cons.c.

References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, conshdlrAreUpdatesDelayed(), conshdlrMarkConsPropagate(), SCIP_Cons::enabled, SCIP_Conshdlr::enfoconss, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, FALSE, SCIP_Cons::markpropagate, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Conshdlr::propconss, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_OKAY, SCIP_Conshdlr::sepaconss, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, and SCIP_Cons::separate.

Referenced by conshdlrMarkConsObsolete(), conshdlrProcessUpdates(), and SCIPconsResetAge().

◆ conshdlrMarkConsPropagate()

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

conshdlr	constraint handler
cons	constraint to be marked obsolete

Definition at line 617 of file cons.c.

References checkConssArrays, conshdlrUnmarkConsPropagate(), SCIP_Cons::enabled, SCIP_Cons::markpropagate, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::npropconss, 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().

◆ conshdlrUnmarkConsPropagate()

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

conshdlr	constraint handler
cons	constraint to be marked obsolete

Definition at line 692 of file cons.c.

References checkConssArrays, conshdlrAddCons(), SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::npropconss, 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().

◆ conshdlrAddCons()

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

static

adds constraint to the conss array of constraint handler

Parameters

conshdlr	constraint handler
set	global SCIP settings
cons	constraint to add

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

◆ conshdlrDelCons()

static void conshdlrDelCons	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons
	)

static

deletes constraint from the conss array of constraint handler

Parameters

conshdlr	constraint handler
cons	constraint to remove

Definition at line 790 of file cons.c.

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

Referenced by conshdlrAddCons(), and SCIPconsFree().

◆ conshdlrAddInitcons()

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

conshdlr	constraint handler
set	global SCIP settings
stat	dynamic problem statistics
cons	constraint to add

Definition at line 810 of file cons.c.

References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrDelInitcons(), conshdlrEnsureInitconssMem(), SCIP_Conshdlr::initconss, SCIP_Cons::initconsspos, SCIP_Cons::initial, SCIP_Conshdlr::ninitconss, SCIP_Stat::ninitconssadded, SCIP_Conshdlr::ninitconsskept, NULL, SCIP_Cons::original, SCIP_CALL, and SCIP_OKAY.

Referenced by conshdlrActivateCons(), conshdlrDelCons(), SCIPconshdlrInitLP(), SCIPconshdlrInitpre(), and SCIPconsSetInitial().

◆ conshdlrDelInitcons()

static void conshdlrDelInitcons	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons
	)

static

deletes constraint from the initconss array of constraint handler

Parameters

conshdlr	constraint handler
cons	constraint to remove

Definition at line 846 of file cons.c.

References checkConssArrays, SCIP_Cons::conshdlr, conshdlrAddSepacons(), SCIP_Conshdlr::initconss, SCIP_Cons::initconsspos, SCIP_Conshdlr::ninitconss, SCIP_Conshdlr::ninitconsskept, NULL, and SCIP_Cons::original.

Referenced by conshdlrAddInitcons(), conshdlrDeactivateCons(), and SCIPconsSetInitial().

◆ conshdlrAddSepacons()

static SCIP_RETCODE conshdlrAddSepacons	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_SET *	set,
		SCIP_CONS *	cons
	)

static

adds constraint to the sepaconss array of constraint handler

Parameters

conshdlr	constraint handler
set	global SCIP settings
cons	constraint to add

Definition at line 881 of file cons.c.

References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrAreUpdatesDelayed(), conshdlrDelSepacons(), conshdlrEnsureSepaconssMem(), SCIP_Conshdlr::duringsepa, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIP_Conshdlr::sepaconss, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, and SCIP_Cons::separate.

Referenced by conshdlrDelInitcons(), conshdlrEnableCons(), conshdlrEnableConsSeparation(), and SCIPconsSetSeparated().

◆ conshdlrDelSepacons()

static void conshdlrDelSepacons	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons
	)

static

deletes constraint from the sepaconss array of constraint handler

Parameters

conshdlr	constraint handler
cons	constraint to remove

Definition at line 925 of file cons.c.

References checkConssArrays, SCIP_Cons::conshdlr, conshdlrAddEnfocons(), conshdlrAreUpdatesDelayed(), SCIP_Conshdlr::duringsepa, SCIP_Conshdlr::lastnusefulsepaconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Conshdlr::sepaconss, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, and SCIP_Cons::separate.

Referenced by conshdlrAddSepacons(), conshdlrDisableCons(), conshdlrDisableConsSeparation(), and SCIPconsSetSeparated().

◆ conshdlrAddEnfocons()

static SCIP_RETCODE conshdlrAddEnfocons	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_SET *	set,
		SCIP_CONS *	cons
	)

static

adds constraint to the enfoconss array of constraint handler

Parameters

conshdlr	constraint handler
set	global SCIP settings
cons	constraint to add

Definition at line 971 of file cons.c.

References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrDelEnfocons(), conshdlrEnsureEnfoconssMem(), SCIP_Conshdlr::enfoconss, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, SCIP_Conshdlr::lastenfolpdomchgcount, SCIP_Conshdlr::lastenfolplpcount, SCIP_Conshdlr::lastenfolpnode, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::lastenforelaxdomchgcount, SCIP_Conshdlr::lastenforelaxrelaxcount, SCIP_Conshdlr::nenfoconss, NULL, SCIP_Conshdlr::nusefulenfoconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.

Referenced by conshdlrDelSepacons(), conshdlrEnableCons(), and SCIPconsSetEnforced().

◆ conshdlrDelEnfocons()

static void conshdlrDelEnfocons	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons
	)

static

deletes constraint from the enfoconss array of constraint handler

Parameters

conshdlr	constraint handler
cons	constraint to remove

Definition at line 1028 of file cons.c.

References checkConssArrays, SCIP_Cons::conshdlr, conshdlrAddCheckcons(), SCIP_Conshdlr::enfoconss, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, SCIP_Conshdlr::lastnusefulenfoconss, SCIP_Conshdlr::nenfoconss, NULL, SCIP_Conshdlr::nusefulenfoconss, SCIP_Cons::obsolete, and SCIP_Cons::original.

Referenced by conshdlrAddEnfocons(), conshdlrDisableCons(), and SCIPconsSetEnforced().

◆ conshdlrAddCheckcons()

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

static

adds constraint to the checkconss array of constraint handler

Parameters

conshdlr	constraint handler
set	global SCIP settings
cons	constraint to add

Definition at line 1080 of file cons.c.

References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, conshdlrDelCheckcons(), conshdlrEnsureCheckconssMem(), SCIP_Conshdlr::ncheckconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.

Referenced by conshdlrActivateCons(), conshdlrDelEnfocons(), and SCIPconsSetChecked().

◆ conshdlrDelCheckcons()

static void conshdlrDelCheckcons	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons
	)

static

deletes constraint from the checkconss array of constraint handler

Parameters

conshdlr	constraint handler
cons	constraint to add

Definition at line 1124 of file cons.c.

References SCIP_Cons::active, SCIP_Cons::check, SCIP_Conshdlr::checkconss, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, conshdlrAddPropcons(), SCIP_Conshdlr::ncheckconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Cons::obsolete, and SCIP_Cons::original.

Referenced by conshdlrAddCheckcons(), conshdlrDeactivateCons(), and SCIPconsSetChecked().

◆ conshdlrAddPropcons()

static SCIP_RETCODE conshdlrAddPropcons	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_SET *	set,
		SCIP_CONS *	cons
	)

static

adds constraint to the propconss array of constraint handler

Parameters

conshdlr	constraint handler
set	global SCIP settings
cons	constraint to add

Definition at line 1163 of file cons.c.

References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrAreUpdatesDelayed(), conshdlrDelPropcons(), conshdlrEnsurePropconssMem(), conshdlrMarkConsPropagate(), SCIP_Conshdlr::duringprop, SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, SCIP_Conshdlr::npropconss, NULL, SCIP_Conshdlr::nusefulpropconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Conshdlr::propconss, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, and SCIP_OKAY.

Referenced by conshdlrDelCheckcons(), conshdlrEnableCons(), conshdlrEnableConsPropagation(), and SCIPconsSetPropagated().

◆ conshdlrDelPropcons()

static void conshdlrDelPropcons	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons
	)

static

deletes constraint from the propconss array of constraint handler

Parameters

conshdlr	constraint handler
cons	constraint to remove

Definition at line 1219 of file cons.c.

References checkConssArrays, SCIP_Cons::conshdlr, conshdlrAreUpdatesDelayed(), conshdlrEnableConsSeparation(), conshdlrUnmarkConsPropagate(), SCIP_Conshdlr::duringprop, SCIP_Conshdlr::lastnusefulpropconss, SCIP_Cons::markpropagate, SCIP_Conshdlr::nmarkedpropconss, SCIP_Conshdlr::npropconss, NULL, SCIP_Conshdlr::nusefulpropconss, SCIP_Cons::obsolete, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Conshdlr::propconss, SCIP_Cons::propconsspos, and SCIP_Cons::propenabled.

Referenced by conshdlrAddPropcons(), conshdlrDisableCons(), conshdlrDisableConsPropagation(), and SCIPconsSetPropagated().

◆ conshdlrEnableConsSeparation()

static SCIP_RETCODE conshdlrEnableConsSeparation	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_SET *	set,
		SCIP_CONS *	cons
	)

static

enables separation of constraint

Parameters

conshdlr	constraint handler
set	global SCIP settings
cons	constraint to add

Definition at line 1278 of file cons.c.

References SCIP_Cons::conshdlr, conshdlrAddSepacons(), conshdlrDisableConsSeparation(), SCIP_Cons::enabled, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, SCIP_Cons::separate, and TRUE.

Referenced by conshdlrDelPropcons(), conshdlrProcessUpdates(), and SCIPconsEnableSeparation().

◆ conshdlrDisableConsSeparation()

static SCIP_RETCODE conshdlrDisableConsSeparation	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons
	)

static

disables separation of constraint

Parameters

conshdlr	constraint handler
cons	constraint to remove

Definition at line 1309 of file cons.c.

References SCIP_Cons::conshdlr, conshdlrDelSepacons(), conshdlrEnableConsPropagation(), SCIP_Cons::enabled, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulsepaconss, SCIP_OKAY, SCIPdebugMessage, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, and SCIP_Cons::separate.

Referenced by conshdlrEnableConsSeparation(), conshdlrProcessUpdates(), and SCIPconsDisableSeparation().

◆ conshdlrEnableConsPropagation()

static SCIP_RETCODE conshdlrEnableConsPropagation	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_SET *	set,
		SCIP_CONS *	cons
	)

static

enables propagation of constraint

Parameters

conshdlr	constraint handler
set	global SCIP settings
cons	constraint to add

Definition at line 1338 of file cons.c.

References SCIP_Cons::conshdlr, conshdlrAddPropcons(), conshdlrDisableConsPropagation(), SCIP_Cons::enabled, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::npropconss, NULL, SCIP_Conshdlr::nusefulpropconss, SCIP_Cons::propagate, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, and TRUE.

Referenced by conshdlrDisableConsSeparation(), conshdlrProcessUpdates(), and SCIPconsEnablePropagation().

◆ conshdlrDisableConsPropagation()

static SCIP_RETCODE conshdlrDisableConsPropagation	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_CONS *	cons
	)

static

disables propagation of constraint

Parameters

conshdlr	constraint handler
cons	constraint to remove

Definition at line 1369 of file cons.c.

References SCIP_Cons::conshdlr, conshdlrDelPropcons(), conshdlrEnableCons(), SCIP_Cons::enabled, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::npropconss, NULL, SCIP_Conshdlr::nusefulpropconss, SCIP_Cons::propagate, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_OKAY, and SCIPdebugMessage.

Referenced by conshdlrEnableConsPropagation(), conshdlrProcessUpdates(), and SCIPconsDisablePropagation().

◆ conshdlrEnableCons()

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

static

enables separation, enforcement, and propagation of constraint

Parameters

conshdlr	constraint handler
set	global SCIP settings
stat	dynamic problem statistics
cons	constraint to add

Definition at line 1398 of file cons.c.

References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrAddEnfocons(), conshdlrAddPropcons(), conshdlrAddSepacons(), conshdlrDisableCons(), SCIP_Cons::enabled, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Stat::nenabledconss, SCIP_Conshdlr::nenabledconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, SCIP_Cons::separate, and TRUE.

Referenced by conshdlrActivateCons(), conshdlrDisableConsPropagation(), conshdlrProcessUpdates(), and SCIPconsEnable().

◆ conshdlrDisableCons()

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

static

disables separation, enforcement, and propagation of constraint

Parameters

conshdlr	constraint handler
set	global SCIP settings
stat	dynamic problem statistics
cons	constraint to remove

Definition at line 1460 of file cons.c.

References SCIP_Cons::active, checkConssArrays, SCIP_Cons::conshdlr, conshdlrActivateCons(), conshdlrDelEnfocons(), conshdlrDelPropcons(), conshdlrDelSepacons(), SCIP_Cons::enabled, SCIP_Cons::enfoconsspos, SCIP_Cons::enforce, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Stat::nenabledconss, SCIP_Conshdlr::nenabledconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::original, SCIP_Cons::propagate, SCIP_Cons::propconsspos, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, SCIP_Cons::sepaconsspos, SCIP_Cons::sepaenabled, and SCIP_Cons::separate.

Referenced by conshdlrDeactivateCons(), conshdlrEnableCons(), conshdlrProcessUpdates(), and SCIPconsDisable().

◆ conshdlrActivateCons()

static SCIP_RETCODE conshdlrActivateCons	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_CONS *	cons,
		int	depth,
		SCIP_Bool	focusnode
	)

static

activates and adds constraint to constraint handler's constraint arrays

Parameters

conshdlr	constraint handler
set	global SCIP settings
stat	dynamic problem statistics
cons	constraint to add
depth	depth in the tree where the activation takes place, or -1 for global problem
focusnode	does the constraint activation take place at the focus node?

Definition at line 1526 of file cons.c.

Referenced by conshdlrDisableCons(), conshdlrProcessUpdates(), and SCIPconsActivate().

◆ conshdlrDeactivateCons()

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

static

deactivates and removes constraint from constraint handler's conss array

Parameters

conshdlr	constraint handler
set	global SCIP settings
stat	dynamic problem statistics
cons	constraint to remove

Definition at line 1601 of file cons.c.

References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::check, checkConssArrays, SCIP_Cons::checkconsspos, SCIP_Cons::conshdlr, conshdlrDelCheckcons(), conshdlrDelInitcons(), conshdlrDisableCons(), conshdlrProcessUpdates(), SCIP_Conshdlr::conss, SCIP_Cons::consspos, SCIP_Cons::enabled, SCIP_Cons::enfoconsspos, FALSE, SCIP_Cons::initconsspos, SCIP_Conshdlr::nactiveconss, SCIP_Stat::nactiveconss, SCIP_Cons::name, SCIP_Conshdlr::name, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nconss, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Cons::original, SCIP_Cons::propconsspos, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, and SCIP_Cons::sepaconsspos.

Referenced by conshdlrActivateCons(), conshdlrProcessUpdates(), and SCIPconsDeactivate().

◆ conshdlrProcessUpdates()

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

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics

Definition at line 1683 of file cons.c.

Referenced by conshdlrDeactivateCons(), and conshdlrForceUpdates().

◆ conshdlrDelayUpdates()

static void conshdlrDelayUpdates ( SCIP_CONSHDLR * conshdlr )

static

marks constraint handler to delay all constraint updates until the next conshdlrProcessUpdates() call

Parameters

conshdlr constraint handler

Definition at line 1877 of file cons.c.

References conshdlrForceUpdates(), SCIP_Conshdlr::delayupdatecount, SCIP_Conshdlr::name, NULL, and SCIPdebugMessage.

Referenced by conshdlrProcessUpdates(), SCIPconshdlrCheck(), SCIPconshdlrDelVars(), SCIPconshdlrEnforceLPSol(), SCIPconshdlrEnforcePseudoSol(), SCIPconshdlrEnforceRelaxSol(), SCIPconshdlrExit(), SCIPconshdlrExitpre(), SCIPconshdlrExitsol(), SCIPconshdlrInit(), SCIPconshdlrInitLP(), SCIPconshdlrInitpre(), SCIPconshdlrInitsol(), SCIPconshdlrPresolve(), SCIPconshdlrPropagate(), SCIPconshdlrSeparateLP(), and SCIPconshdlrSeparateSol().

◆ conshdlrForceUpdates()

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

static

marks constraint handler to perform all constraint updates immediately; all delayed constraint updates will be processed

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics

Definition at line 1893 of file cons.c.

References conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrProcessUpdates(), SCIP_Conshdlr::delayupdatecount, SCIP_Conshdlr::name, NULL, SCIP_Conshdlr::nupdateconss, SCIP_CALL, SCIP_OKAY, and SCIPsetDebugMsg.

Referenced by conshdlrDelayUpdates(), SCIPconshdlrCheck(), SCIPconshdlrDelVars(), SCIPconshdlrEnforceLPSol(), SCIPconshdlrEnforcePseudoSol(), SCIPconshdlrEnforceRelaxSol(), SCIPconshdlrExit(), SCIPconshdlrExitpre(), SCIPconshdlrExitsol(), SCIPconshdlrInit(), SCIPconshdlrInitLP(), SCIPconshdlrInitpre(), SCIPconshdlrInitsol(), SCIPconshdlrPresolve(), SCIPconshdlrPropagate(), SCIPconshdlrSeparateLP(), and SCIPconshdlrSeparateSol().

◆ conshdlrAddUpdateCons()

static SCIP_RETCODE conshdlrAddUpdateCons	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_SET *	set,
		SCIP_CONS *	cons
	)

static

adds constraint to constraint handler's update constraint array and captures it

Parameters

conshdlr	constraint handler
set	global SCIP settings
cons	constraint to add

Definition at line 1919 of file cons.c.

References SCIP_Cons::age, SCIP_Cons::consdata, SCIP_Cons::conshdlr, conshdlrEnsureUpdateconssMem(), SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Conshdlr::nupdateconss, SCIP_CALL, SCIP_DECL_SORTPTRCOMP(), SCIP_OKAY, SCIPconsCapture(), SCIPsetDebugMsg, TRUE, SCIP_Cons::update, and SCIP_Conshdlr::updateconss.

Referenced by conshdlrForceUpdates(), SCIPconsActivate(), SCIPconsAddAge(), SCIPconsCreate(), SCIPconsDeactivate(), SCIPconsDisable(), SCIPconsDisablePropagation(), SCIPconsDisableSeparation(), SCIPconsEnable(), SCIPconsEnablePropagation(), SCIPconsEnableSeparation(), SCIPconsMarkPropagate(), SCIPconsRelease(), SCIPconsResetAge(), and SCIPconsUnmarkPropagate().

◆ SCIPconshdlrCopyInclude()

SCIP_RETCODE SCIPconshdlrCopyInclude	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_SET *	set,
		SCIP_Bool *	valid
	)

copies the given constraint handler to a new scip

Parameters

conshdlr	constraint handler
set	SCIP_SET of SCIP to copy to
valid	was the copying process valid?

Definition at line 1968 of file cons.c.

References doConshdlrCreate(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetName(), and SCIPsetDebugMsg.

Referenced by SCIP_DECL_PARAMCHGD().

◆ doConshdlrCreate()

static SCIP_RETCODE doConshdlrCreate	(	SCIP_CONSHDLR **	conshdlr,
		SCIP_SET *	set,
		SCIP_MESSAGEHDLR *	messagehdlr,
		BMS_BLKMEM *	blkmem,
		const char *	name,
		const char *	desc,
		int	sepapriority,
		int	enfopriority,
		int	checkpriority,
		int	sepafreq,
		int	propfreq,
		int	eagerfreq,
		int	maxprerounds,
		SCIP_Bool	delaysepa,
		SCIP_Bool	delayprop,
		SCIP_Bool	needscons,
		SCIP_PROPTIMING	proptiming,
		SCIP_PRESOLTIMING	presoltiming,
		SCIP_DECL_CONSHDLRCOPY((*conshdlrcopy))	,
		SCIP_DECL_CONSFREE((*consfree))	,
		SCIP_DECL_CONSINIT((*consinit))	,
		SCIP_DECL_CONSEXIT((*consexit))	,
		SCIP_DECL_CONSINITPRE((*consinitpre))	,
		SCIP_DECL_CONSEXITPRE((*consexitpre))	,
		SCIP_DECL_CONSINITSOL((*consinitsol))	,
		SCIP_DECL_CONSEXITSOL((*consexitsol))	,
		SCIP_DECL_CONSDELETE((*consdelete))	,
		SCIP_DECL_CONSTRANS((*constrans))	,
		SCIP_DECL_CONSINITLP((*consinitlp))	,
		SCIP_DECL_CONSSEPALP((*conssepalp))	,
		SCIP_DECL_CONSSEPASOL((*conssepasol))	,
		SCIP_DECL_CONSENFOLP((*consenfolp))	,
		SCIP_DECL_CONSENFORELAX((*consenforelax))	,
		SCIP_DECL_CONSENFOPS((*consenfops))	,
		SCIP_DECL_CONSCHECK((*conscheck))	,
		SCIP_DECL_CONSPROP((*consprop))	,
		SCIP_DECL_CONSPRESOL((*conspresol))	,
		SCIP_DECL_CONSRESPROP((*consresprop))	,
		SCIP_DECL_CONSLOCK((*conslock))	,
		SCIP_DECL_CONSACTIVE((*consactive))	,
		SCIP_DECL_CONSDEACTIVE((*consdeactive))	,
		SCIP_DECL_CONSENABLE((*consenable))	,
		SCIP_DECL_CONSDISABLE((*consdisable))	,
		SCIP_DECL_CONSDELVARS((*consdelvars))	,
		SCIP_DECL_CONSPRINT((*consprint))	,
		SCIP_DECL_CONSCOPY((*conscopy))	,
		SCIP_DECL_CONSPARSE((*consparse))	,
		SCIP_DECL_CONSGETVARS((*consgetvars))	,
		SCIP_DECL_CONSGETNVARS((*consgetnvars))	,
		SCIP_DECL_CONSGETDIVEBDCHGS((*consgetdivebdchgs))	,
		SCIP_CONSHDLRDATA *	conshdlrdata
	)

static

internal method for creating a constraint handler

Parameters

conshdlr	pointer to constraint handler data structure
set	global SCIP settings
messagehdlr	message handler
blkmem	block memory for parameter settings
name	name of constraint handler
desc	description of constraint handler
sepapriority	priority of the constraint handler for separation
enfopriority	priority of the constraint handler for constraint enforcing
checkpriority	priority of the constraint handler for checking feasibility (and propagation)
sepafreq	frequency for separating cuts; zero means to separate only in the root node
propfreq	frequency for propagating domains; zero means only preprocessing propagation
eagerfreq	frequency for using all instead of only the useful constraints in separation, propagation and enforcement, -1 for no eager evaluations, 0 for first only
maxprerounds	maximal number of presolving rounds the constraint handler participates in (-1: no limit)
delaysepa	should separation method be delayed, if other separators found cuts?
delayprop	should propagation method be delayed, if other propagators found reductions?
needscons	should the constraint handler be skipped, if no constraints are available?
proptiming	positions in the node solving loop where propagation method of constraint handlers should be executed
presoltiming	timing mask of the constraint handler's presolving method
conshdlrdata	constraint handler data

Definition at line 1990 of file cons.c.

References AGERESETAVG_INIT, BMSallocMemory, BMSclearMemory, BMSduplicateMemoryArray, FALSE, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_CLOCKTYPE_DEFAULT, SCIP_DIDNOTRUN, SCIP_MAXSTRLEN, SCIP_MAXTREEDEPTH, SCIP_OKAY, SCIP_PARAMETERWRONGVAL, SCIP_PRESOLTIMING_EXHAUSTIVE, SCIP_PRESOLTIMING_FAST, SCIP_PRESOLTIMING_FINAL, SCIP_PRESOLTIMING_MAX, SCIP_PRESOLTIMING_MEDIUM, SCIP_PROPTIMING_AFTERLPLOOP, SCIP_PROPTIMING_ALWAYS, SCIP_PROPTIMING_BEFORELP, SCIP_PROPTIMING_DURINGLPLOOP, SCIPclockCreate(), SCIPconshdlrCreate(), SCIPmessagePrintError(), SCIPsetAddBoolParam(), SCIPsetAddIntParam(), SCIPsnprintf(), and TRUE.

Referenced by SCIPconshdlrCopyInclude(), and SCIPconshdlrCreate().

◆ SCIPconshdlrCreate()

SCIP_RETCODE SCIPconshdlrCreate	(	SCIP_CONSHDLR **	conshdlr,
		SCIP_SET *	set,
		SCIP_MESSAGEHDLR *	messagehdlr,
		BMS_BLKMEM *	blkmem,
		const char *	name,
		const char *	desc,
		int	sepapriority,
		int	enfopriority,
		int	checkpriority,
		int	sepafreq,
		int	propfreq,
		int	eagerfreq,
		int	maxprerounds,
		SCIP_Bool	delaysepa,
		SCIP_Bool	delayprop,
		SCIP_Bool	needscons,
		SCIP_PROPTIMING	proptiming,
		SCIP_PRESOLTIMING	presoltiming,
		SCIP_DECL_CONSHDLRCOPY((*conshdlrcopy))	,
		SCIP_DECL_CONSFREE((*consfree))	,
		SCIP_DECL_CONSINIT((*consinit))	,
		SCIP_DECL_CONSEXIT((*consexit))	,
		SCIP_DECL_CONSINITPRE((*consinitpre))	,
		SCIP_DECL_CONSEXITPRE((*consexitpre))	,
		SCIP_DECL_CONSINITSOL((*consinitsol))	,
		SCIP_DECL_CONSEXITSOL((*consexitsol))	,
		SCIP_DECL_CONSDELETE((*consdelete))	,
		SCIP_DECL_CONSTRANS((*constrans))	,
		SCIP_DECL_CONSINITLP((*consinitlp))	,
		SCIP_DECL_CONSSEPALP((*conssepalp))	,
		SCIP_DECL_CONSSEPASOL((*conssepasol))	,
		SCIP_DECL_CONSENFOLP((*consenfolp))	,
		SCIP_DECL_CONSENFORELAX((*consenforelax))	,
		SCIP_DECL_CONSENFOPS((*consenfops))	,
		SCIP_DECL_CONSCHECK((*conscheck))	,
		SCIP_DECL_CONSPROP((*consprop))	,
		SCIP_DECL_CONSPRESOL((*conspresol))	,
		SCIP_DECL_CONSRESPROP((*consresprop))	,
		SCIP_DECL_CONSLOCK((*conslock))	,
		SCIP_DECL_CONSACTIVE((*consactive))	,
		SCIP_DECL_CONSDEACTIVE((*consdeactive))	,
		SCIP_DECL_CONSENABLE((*consenable))	,
		SCIP_DECL_CONSDISABLE((*consdisable))	,
		SCIP_DECL_CONSDELVARS((*consdelvars))	,
		SCIP_DECL_CONSPRINT((*consprint))	,
		SCIP_DECL_CONSCOPY((*conscopy))	,
		SCIP_DECL_CONSPARSE((*consparse))	,
		SCIP_DECL_CONSGETVARS((*consgetvars))	,
		SCIP_DECL_CONSGETNVARS((*consgetnvars))	,
		SCIP_DECL_CONSGETDIVEBDCHGS((*consgetdivebdchgs))	,
		SCIP_CONSHDLRDATA *	conshdlrdata
	)

creates a constraint handler

Parameters

conshdlr	pointer to constraint handler data structure
set	global SCIP settings
messagehdlr	message handler
blkmem	block memory for parameter settings
name	name of constraint handler
desc	description of constraint handler
sepapriority	priority of the constraint handler for separation
enfopriority	priority of the constraint handler for constraint enforcing
checkpriority	priority of the constraint handler for checking feasibility (and propagation)
sepafreq	frequency for separating cuts; zero means to separate only in the root node
propfreq	frequency for propagating domains; zero means only preprocessing propagation
eagerfreq	frequency for using all instead of only the useful constraints in separation, propagation and enforcement, -1 for no eager evaluations, 0 for first only
maxprerounds	maximal number of presolving rounds the constraint handler participates in (-1: no limit)
delaysepa	should separation method be delayed, if other separators found cuts?
delayprop	should propagation method be delayed, if other propagators found reductions?
needscons	should the constraint handler be skipped, if no constraints are available?
proptiming	positions in the node solving loop where propagation method of constraint handlers should be executed
presoltiming	timing mask of the constraint handler's presolving method
conshdlrdata	constraint handler data

Definition at line 2268 of file cons.c.

References doConshdlrCreate(), NULL, SCIP_CALL_FINALLY, SCIP_OKAY, and SCIPconshdlrFree().

Referenced by doConshdlrCreate(), SCIPincludeConshdlr(), and SCIPincludeConshdlrBasic().

◆ SCIPconshdlrFree()

SCIP_RETCODE SCIPconshdlrFree	(	SCIP_CONSHDLR **	conshdlr,
		SCIP_SET *	set
	)

calls destructor and frees memory of constraint handler

Parameters

conshdlr	pointer to constraint handler data structure
set	global SCIP settings

Definition at line 2343 of file cons.c.

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

Referenced by SCIPconshdlrCreate().

◆ SCIPconshdlrInit()

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

calls initialization method of constraint handler

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics

Definition at line 2388 of file cons.c.

Referenced by SCIPconshdlrFree().

◆ SCIPconshdlrExit()

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

calls exit method of constraint handler

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics

Definition at line 2501 of file cons.c.

References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, FALSE, SCIP_Conshdlr::initialized, SCIP_Conshdlr::name, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrInitpre(), SCIPerrorMessage, and SCIP_Conshdlr::setuptime.

Referenced by SCIPconshdlrInit(), and SCIPsetInitPlugins().

◆ SCIPconshdlrInitpre()

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

informs constraint handler that the presolving process is being started

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics

Definition at line 2544 of file cons.c.

Referenced by SCIPconshdlrExit(), and SCIPsetExitPlugins().

◆ SCIPconshdlrExitpre()

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

informs constraint handler that the presolving is finished

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics

Definition at line 2644 of file cons.c.

References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::maxnactiveconss, SCIP_Conshdlr::nactiveconss, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrInitsol(), SCIP_Conshdlr::setuptime, and SCIP_Conshdlr::startnactiveconss.

Referenced by SCIPconshdlrInitpre(), and SCIPsetExitPlugins().

◆ SCIPconshdlrInitsol()

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

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

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics

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

◆ SCIPconshdlrExitsol()

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

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

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
restart	was this exit solve call triggered by a restart?

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

◆ SCIPconshdlrInitLP()

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

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

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
tree	branch and bound tree
initkeptconss	Also initialize constraints which are valid at a more global node, but were not activated there? Should be FALSE for repeated calls at one node or if the current focusnode is a child of the former one
cutoff	pointer to store whether infeasibility was detected while building the LP

Definition at line 2761 of file cons.c.

References BMSfreeMemoryArrayNull, conshdlrAddInitcons(), conshdlrDelayUpdates(), conshdlrForceUpdates(), FALSE, SCIP_Conshdlr::initconss, SCIP_Cons::initconsspos, SCIP_Conshdlr::initconsssize, SCIP_Conshdlr::name, SCIP_Conshdlr::needscons, SCIP_Conshdlr::ninitconss, SCIP_Conshdlr::ninitconsskept, SCIP_Stat::nnodes, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPconsGetActiveDepth(), SCIPconshdlrSeparateLP(), SCIPconsIsActive(), SCIPsetDebugMsg, SCIPtreeGetCurrentDepth(), SCIPtreeProbing(), and SCIP_Conshdlr::sepatime.

Referenced by SCIPconshdlrExitsol(), and SCIPinitConssLP().

◆ SCIPconshdlrSeparateLP()

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

calls separator method of constraint handler to separate LP solution

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
sepastore	separation storage
depth	depth of current node
execdelayed	execute separation method even if it is marked to be delayed
result	pointer to store the result of the callback method

Definition at line 2868 of file cons.c.

Referenced by SCIPconshdlrInitLP(), and separationRoundLP().

◆ SCIPconshdlrSeparateSol()

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

calls separator method of constraint handler to separate given primal solution

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
sepastore	separation storage
sol	primal solution that should be separated
depth	depth of current node
execdelayed	execute separation method even if it is marked to be delayed
result	pointer to store the result of the callback method

Definition at line 3025 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(), SCIPconshdlrEnforceRelaxSol(), SCIPerrorMessage, SCIPsepastoreGetNCuts(), SCIPsetDebugMsg, SCIP_Conshdlr::sepaconss, SCIP_Conshdlr::sepafreq, SCIP_Conshdlr::sepasolwasdelayed, SCIP_Conshdlr::sepatime, and TRUE.

Referenced by SCIPconshdlrSeparateLP(), and separationRoundSol().

◆ SCIPconshdlrEnforceRelaxSol()

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

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

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
tree	branch and bound tree
sepastore	separation storage
relaxsol	solution to be enforced
solinfeasible	was the solution already found out to be infeasible?
result	pointer to store the result of the callback method

Definition at line 3154 of file cons.c.

References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Stat::domchgcount, SCIP_Conshdlr::eagerfreq, SCIP_Conshdlr::enfoconss, SCIP_Conshdlr::enforelaxtime, FALSE, SCIP_Conshdlr::lastenfopsdomchgcount, SCIP_Conshdlr::lastenfopsnode, SCIP_Conshdlr::lastenforelaxdomchgcount, SCIP_Conshdlr::lastenforelaxnode, SCIP_Conshdlr::lastenforelaxrelaxcount, SCIP_Conshdlr::lastenforelaxresult, SCIP_Conshdlr::lastnusefulenfoconss, MAX, SCIP_Stat::nactiveconss, SCIP_Conshdlr::name, SCIP_Stat::nboundchgs, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::nchildren, SCIP_Tree::nchildren, SCIP_Conshdlr::nconssfound, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ncutsfound, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Conshdlr::nenforelaxcalls, SCIP_Stat::nholechgs, SCIP_Stat::nnodes, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Stat::relaxcount, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIP_SOLVELP, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrEnforceLPSol(), SCIPdebugMessage, SCIPerrorMessage, SCIPsepastoreGetNCuts(), and TRUE.

Referenced by enforceConstraints(), and SCIPconshdlrSeparateSol().

◆ SCIPconshdlrEnforceLPSol()

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

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

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
tree	branch and bound tree
sepastore	separation storage
solinfeasible	was the solution already found out to be infeasible?
result	pointer to store the result of the callback method

Definition at line 3353 of file cons.c.

Referenced by enforceConstraints(), and SCIPconshdlrEnforceRelaxSol().

◆ SCIPconshdlrGetDiveBoundChanges()

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

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

Parameters

conshdlr	constraint handler
set	global SCIP settings
diveset	diving settings to control scoring
sol	current solution of diving mode
success	pointer to store whether constraint handler successfully found a variable
infeasible	pointer to store whether the current node was detected to be infeasible

Definition at line 3531 of file cons.c.

References NULL, SCIP_CALL, SCIP_OKAY, and SCIPconshdlrEnforcePseudoSol().

Referenced by SCIPconshdlrEnforceLPSol(), and SCIPgetDiveBoundChanges().

◆ SCIPconshdlrEnforcePseudoSol()

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

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

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
tree	branch and bound tree
branchcand	branching candidate storage
solinfeasible	was the solution already found out to be infeasible?
objinfeasible	is the solution infeasible anyway due to violating lower objective bound?
forced	should enforcement of pseudo solution be forced?
result	pointer to store the result of the callback method

Definition at line 3558 of file cons.c.

Referenced by enforceConstraints(), and SCIPconshdlrGetDiveBoundChanges().

◆ SCIPconshdlrCheck()

SCIP_RETCODE SCIPconshdlrCheck	(	SCIP_CONSHDLR *	conshdlr,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_SOL *	sol,
		SCIP_Bool	checkintegrality,
		SCIP_Bool	checklprows,
		SCIP_Bool	printreason,
		SCIP_Bool	completely,
		SCIP_RESULT *	result
	)

calls feasibility check method of constraint handler

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
sol	primal CIP solution
checkintegrality	Has integrality to be checked?
checklprows	Do constraints represented by rows in the current LP have to be checked?
printreason	Should the reason for the violation be printed?
completely	Should all violations be checked?
result	pointer to store the result of the callback method

Definition at line 3754 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(), SCIPerrorMessage, and SCIPsetDebugMsg.

Referenced by checkSolOrig(), SCIPconshdlrEnforcePseudoSol(), and SCIPsolCheck().

◆ SCIPconshdlrPropagate()

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

calls propagation method of constraint handler

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
depth	depth of current node
fullpropagation	should all constraints be propagated (or only new ones)?
execdelayed	execute propagation method even if it is marked to be delayed
instrongbranching	are we currently doing strong branching?
proptiming	current point in the node solving process
result	pointer to store the result of the callback method

Definition at line 3816 of file cons.c.

References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::delayprop, SCIP_Stat::domchgcount, SCIP_Conshdlr::duringprop, SCIP_Conshdlr::eagerfreq, FALSE, SCIP_Conshdlr::lastnusefulpropconss, SCIP_Conshdlr::lastpropdomchgcount, MIN, SCIP_Conshdlr::name, SCIP_Stat::nboundchgs, SCIP_Conshdlr::ncheckconss, SCIP_Conshdlr::ncutoffs, SCIP_Conshdlr::ndomredsfound, SCIP_Conshdlr::needscons, SCIP_Conshdlr::nenfoconss, SCIP_Stat::nholechgs, SCIP_Conshdlr::nmarkedpropconss, SCIP_Stat::nprobboundchgs, SCIP_Stat::nprobholechgs, SCIP_Conshdlr::npropcalls, SCIP_Conshdlr::npropconss, SCIP_Conshdlr::nsepaconss, NULL, SCIP_Conshdlr::nusefulcheckconss, SCIP_Conshdlr::nusefulenfoconss, SCIP_Conshdlr::nusefulpropconss, SCIP_Conshdlr::nusefulsepaconss, SCIP_Conshdlr::propconss, SCIP_Conshdlr::propfreq, SCIP_Conshdlr::proptime, SCIP_Conshdlr::propwasdelayed, SCIP_Conshdlr::sbproptime, SCIP_CALL, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DELAYNODE, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_Longint, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPclockStart(), SCIPclockStop(), SCIPconshdlrPresolve(), SCIPerrorMessage, SCIPsetDebugMsg, and TRUE.

Referenced by propagationRound(), and SCIPconshdlrCheck().

◆ SCIPconshdlrPresolve()

SCIP_RETCODE SCIPconshdlrPresolve	(	SCIP_CONSHDLR *	conshdlr,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat,
		SCIP_PRESOLTIMING	timing,
		int	nrounds,
		int *	nfixedvars,
		int *	naggrvars,
		int *	nchgvartypes,
		int *	nchgbds,
		int *	naddholes,
		int *	ndelconss,
		int *	naddconss,
		int *	nupgdconss,
		int *	nchgcoefs,
		int *	nchgsides,
		SCIP_RESULT *	result
	)

calls presolving method of constraint handler

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
timing	current presolving timing
nrounds	number of presolving rounds already done
nfixedvars	pointer to total number of variables fixed of all presolvers
naggrvars	pointer to total number of variables aggregated of all presolvers
nchgvartypes	pointer to total number of variable type changes of all presolvers
nchgbds	pointer to total number of variable bounds tightened of all presolvers
naddholes	pointer to total number of domain holes added of all presolvers
ndelconss	pointer to total number of deleted constraints of all presolvers
naddconss	pointer to total number of added constraints of all presolvers
nupgdconss	pointer to total number of upgraded constraints of all presolvers
nchgcoefs	pointer to total number of changed coefficients of all presolvers
nchgsides	pointer to total number of changed left/right hand sides of all presolvers
result	pointer to store the result of the callback method

Definition at line 3987 of file cons.c.

Referenced by presolveRound(), and SCIPconshdlrPropagate().

◆ SCIPconshdlrDelVars()

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

calls variable deletion method of constraint handler

Parameters

conshdlr	constraint handler
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics

Definition at line 4130 of file cons.c.

References conshdlrDelayUpdates(), conshdlrForceUpdates(), SCIP_Conshdlr::conss, SCIP_Conshdlr::name, SCIP_Conshdlr::nconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrLockVars(), and SCIPsetDebugMsg.

Referenced by SCIPconshdlrPresolve(), and SCIPprobPerformVarDeletions().

◆ SCIPconshdlrLockVars()

SCIP_RETCODE SCIPconshdlrLockVars	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_SET *	set
	)

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

Parameters

conshdlr	constraint handler
set	global SCIP settings

Definition at line 4161 of file cons.c.

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

Referenced by SCIPconshdlrDelVars(), and SCIPprobTransform().

◆ SCIPconshdlrUnlockVars()

SCIP_RETCODE SCIPconshdlrUnlockVars	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_SET *	set
	)

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

Parameters

conshdlr	constraint handler
set	global SCIP settings

Definition at line 4176 of file cons.c.

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

Referenced by SCIPconshdlrLockVars(), and SCIPprobFree().

◆ SCIPconshdlrSetCopy()

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

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

Parameters

conshdlr constraint handler

Definition at line 4283 of file cons.c.

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

Referenced by SCIPconshdlrSetEnforelax(), and SCIPsetConshdlrCopy().

◆ SCIPconshdlrSetFree()

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

sets destructor method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4298 of file cons.c.

References NULL, and SCIPconshdlrSetInit().

Referenced by SCIPconshdlrSetCopy(), and SCIPsetConshdlrFree().

◆ SCIPconshdlrSetInit()

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

sets initialization method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4309 of file cons.c.

References NULL, and SCIPconshdlrSetExit().

Referenced by SCIPconshdlrSetFree(), and SCIPsetConshdlrInit().

◆ SCIPconshdlrSetExit()

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

sets deinitialization method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4320 of file cons.c.

References NULL, and SCIPconshdlrSetInitsol().

Referenced by SCIPconshdlrSetInit(), and SCIPsetConshdlrExit().

◆ SCIPconshdlrSetInitsol()

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

sets solving process initialization method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4331 of file cons.c.

References NULL, and SCIPconshdlrSetExitsol().

Referenced by SCIPconshdlrSetExit(), and SCIPsetConshdlrInitsol().

◆ SCIPconshdlrSetExitsol()

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

sets solving process deinitialization method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4342 of file cons.c.

References NULL, and SCIPconshdlrSetInitpre().

Referenced by SCIPconshdlrSetInitsol(), and SCIPsetConshdlrExitsol().

◆ SCIPconshdlrSetInitpre()

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

sets preprocessing initialization method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4353 of file cons.c.

References NULL, and SCIPconshdlrSetExitpre().

Referenced by SCIPconshdlrSetExitsol(), and SCIPsetConshdlrInitpre().

◆ SCIPconshdlrSetExitpre()

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

sets preprocessing deinitialization method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4364 of file cons.c.

References NULL, and SCIPconshdlrSetPresol().

Referenced by SCIPconshdlrSetInitpre(), and SCIPsetConshdlrExitpre().

◆ SCIPconshdlrSetPresol()

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

sets presolving method of constraint handler

Parameters

conshdlr	constraint handler
maxprerounds	maximal number of presolving rounds the constraint handler participates in (-1: no limit)
presoltiming	timing mask of the constraint handler's presolving method

Definition at line 4375 of file cons.c.

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

Referenced by SCIPconshdlrSetExitpre(), and SCIPsetConshdlrPresol().

◆ SCIPconshdlrSetDelete()

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

sets method of constraint handler to free specific constraint data

Parameters

conshdlr constraint handler

Definition at line 4404 of file cons.c.

References NULL, and SCIPconshdlrSetTrans().

Referenced by SCIPconshdlrSetPresol(), and SCIPsetConshdlrDelete().

◆ SCIPconshdlrSetTrans()

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

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

Parameters

conshdlr constraint handler

Definition at line 4415 of file cons.c.

References NULL, and SCIPconshdlrSetInitlp().

Referenced by SCIPconshdlrSetDelete(), and SCIPsetConshdlrTrans().

◆ SCIPconshdlrSetInitlp()

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

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

Parameters

conshdlr constraint handler

Definition at line 4426 of file cons.c.

References NULL, and SCIPconshdlrSetResprop().

Referenced by SCIPconshdlrSetTrans(), and SCIPsetConshdlrInitlp().

◆ SCIPconshdlrSetResprop()

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

sets propagation conflict resolving method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4437 of file cons.c.

References NULL, and SCIPconshdlrSetActive().

Referenced by SCIPconshdlrSetInitlp(), and SCIPsetConshdlrResprop().

◆ SCIPconshdlrSetActive()

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

sets activation notification method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4448 of file cons.c.

References NULL, and SCIPconshdlrSetDeactive().

Referenced by SCIPconshdlrSetResprop(), and SCIPsetConshdlrActive().

◆ SCIPconshdlrSetDeactive()

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

sets deactivation notification method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4459 of file cons.c.

References NULL, and SCIPconshdlrSetEnable().

Referenced by SCIPconshdlrSetActive(), and SCIPsetConshdlrDeactive().

◆ SCIPconshdlrSetEnable()

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

sets enabling notification method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4470 of file cons.c.

References NULL, and SCIPconshdlrSetDisable().

Referenced by SCIPconshdlrSetDeactive(), and SCIPsetConshdlrEnable().

◆ SCIPconshdlrSetDisable()

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

sets disabling notification method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4481 of file cons.c.

References NULL, and SCIPconshdlrSetDelvars().

Referenced by SCIPconshdlrSetEnable(), and SCIPsetConshdlrDisable().

◆ SCIPconshdlrSetDelvars()

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

sets variable deletion method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4492 of file cons.c.

References NULL, and SCIPconshdlrSetPrint().

Referenced by SCIPconshdlrSetDisable(), and SCIPsetConshdlrDelvars().

◆ SCIPconshdlrSetPrint()

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

sets constraint display method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4503 of file cons.c.

References NULL, and SCIPconshdlrSetParse().

Referenced by SCIPconshdlrSetDelvars(), and SCIPsetConshdlrPrint().

◆ SCIPconshdlrSetParse()

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

sets constraint parsing method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4514 of file cons.c.

References NULL, and SCIPconshdlrSetGetVars().

Referenced by SCIPconshdlrSetPrint(), and SCIPsetConshdlrParse().

◆ SCIPconshdlrSetGetVars()

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

sets constraint variable getter method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4525 of file cons.c.

References NULL, and SCIPconshdlrSetGetNVars().

Referenced by SCIPconshdlrSetParse(), and SCIPsetConshdlrGetVars().

◆ SCIPconshdlrSetGetNVars()

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

sets constraint variable number getter method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4536 of file cons.c.

References NULL, and SCIPconshdlrSetGetDiveBdChgs().

Referenced by SCIPconshdlrSetGetVars(), and SCIPsetConshdlrGetNVars().

◆ SCIPconshdlrSetGetDiveBdChgs()

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

sets diving enforcement method of constraint handler

Parameters

conshdlr constraint handler

Definition at line 4547 of file cons.c.

References NULL, and SCIPconshdlrGetConss().

Referenced by SCIPconshdlrSetGetNVars(), and SCIPsetConshdlrGetDiveBdChgs().

◆ SCIPconshdlrEnableOrDisableClocks()

void SCIPconshdlrEnableOrDisableClocks	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_Bool	enable
	)

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

Parameters

conshdlr	the constraint handler for which all clocks should be enabled or disabled
enable	should the clocks of the constraint handler be enabled?

Definition at line 4647 of file cons.c.

References SCIP_Conshdlr::checktime, SCIP_Conshdlr::enfolptime, SCIP_Conshdlr::enfopstime, SCIP_Conshdlr::enforelaxtime, NULL, SCIP_Conshdlr::presoltime, SCIP_Conshdlr::proptime, SCIP_Conshdlr::resproptime, SCIP_Conshdlr::sbproptime, SCIP_Real, SCIPclockEnableOrDisable(), SCIPconshdlrGetSetupTime(), SCIP_Conshdlr::sepatime, and SCIP_Conshdlr::setuptime.

Referenced by SCIP_DECL_PARAMCHGD(), and SCIPconshdlrGetNEnabledConss().

◆ SCIPconshdlrIncNAppliedCuts()

void SCIPconshdlrIncNAppliedCuts ( SCIP_CONSHDLR * conshdlr )

increase count of applied cuts

Parameters

conshdlr constraint handler

Definition at line 4867 of file cons.c.

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

Referenced by SCIPconshdlrGetNCutsApplied(), and sepastoreApplyCut().

◆ SCIPconshdlrIncNCutsFound()

void SCIPconshdlrIncNCutsFound ( SCIP_CONSHDLR * conshdlr )

increase count of found cuts

Parameters

conshdlr constraint handler

Definition at line 4877 of file cons.c.

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

Referenced by SCIPconshdlrIncNAppliedCuts(), and SCIPcutpoolSeparate().

◆ conssetchgCreate()

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

static

creates empty constraint set change data

Parameters

conssetchg	pointer to constraint set change data
blkmem	block memory

Definition at line 5246 of file cons.c.

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

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

◆ conssetchgRelease()

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

static

releases all constraints of the constraint set change data

Parameters

conssetchg	constraint set change data
blkmem	block memory
set	global SCIP settings

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

◆ SCIPconssetchgFree()

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

frees constraint set change data and releases all included constraints

Parameters

conssetchg	pointer to constraint set change
blkmem	block memory
set	global SCIP settings

Definition at line 5297 of file cons.c.

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

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

◆ conssetchgEnsureAddedconssSize()

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

conssetchg	constraint set change data structure
blkmem	block memory
set	global SCIP settings
num	minimum number of entries to store

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

◆ conssetchgEnsureDisabledconssSize()

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

conssetchg	constraint set change data structure
blkmem	block memory
set	global SCIP settings
num	minimum number of entries to store

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

◆ SCIPconssetchgAddAddedCons()

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

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

Parameters

conssetchg	pointer to constraint set change data structure
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
cons	added constraint
depth	depth of constraint set change's node
focusnode	does the constraint set change belong to the focus node?
active	is the constraint set change currently active?

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

◆ SCIPconssetchgAddDisabledCons()

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

adds constraint disabling to constraint set changes, and captures constraint

Parameters

conssetchg	pointer to constraint set change data structure
blkmem	block memory
set	global SCIP settings
cons	disabled constraint

Definition at line 5417 of file cons.c.

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

Referenced by SCIPconssetchgAddAddedCons(), and SCIPnodeDelCons().

◆ conssetchgDelAddedCons()

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

conssetchg	constraint set change to delete constraint from
blkmem	block memory
set	global SCIP settings
arraypos	position of constraint in disabledconss array

Definition at line 5446 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 SCIPsetDebugMsg.

Referenced by SCIPconsDelete(), SCIPconssetchgAddDisabledCons(), SCIPconssetchgApply(), and SCIPconssetchgMakeGlobal().

◆ conssetchgDelDisabledCons()

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

conssetchg	constraint set change to apply
blkmem	block memory
set	global SCIP settings
arraypos	position of constraint in disabledconss array

Definition at line 5492 of file cons.c.

References SCIP_ConsSetChg::disabledconss, SCIP_Cons::name, SCIP_ConsSetChg::ndisabledconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsRelease(), SCIPconssetchgGetAddedConsData(), and SCIPsetDebugMsg.

Referenced by conssetchgDelAddedCons(), SCIPconssetchgApply(), SCIPconssetchgMakeGlobal(), and SCIPconssetchgUndo().

◆ SCIPconssetchgApply()

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

applies constraint set change

Parameters

conssetchg	constraint set change to apply
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
depth	depth of constraint set change's node
focusnode	does the constraint set change belong to the focus node?

Definition at line 5535 of file cons.c.

References SCIP_Cons::active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_Cons::conshdlr, conssetchgDelAddedCons(), conssetchgDelDisabledCons(), SCIP_Cons::deleted, SCIP_Cons::enabled, SCIP_ConsSetChg::naddedconss, SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsActivate(), SCIPconsDisable(), SCIPconssetchgUndo(), SCIPsetDebugMsg, and SCIP_Cons::update.

Referenced by nodeActivate(), and SCIPconssetchgGetAddedConsData().

◆ SCIPconssetchgUndo()

SCIP_RETCODE SCIPconssetchgUndo	(	SCIP_CONSSETCHG *	conssetchg,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		SCIP_STAT *	stat
	)

undoes constraint set change

Parameters

conssetchg	constraint set change to undo
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics

Definition at line 5622 of file cons.c.

References SCIP_Cons::active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_Cons::conshdlr, conssetchgDelDisabledCons(), SCIP_Cons::deleted, SCIP_Cons::enabled, SCIP_ConsSetChg::naddedconss, SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsDeactivate(), SCIPconsEnable(), SCIPconssetchgMakeGlobal(), SCIPsetDebugMsg, and SCIP_Cons::update.

Referenced by nodeDeactivate(), and SCIPconssetchgApply().

◆ SCIPconssetchgMakeGlobal()

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

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

Parameters

conssetchg	pointer to constraint set change data
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
prob	problem data
reopt	reoptimization data

Definition at line 5708 of file cons.c.

References conssetchgDelAddedCons(), conssetchgDelDisabledCons(), SCIP_Cons::deleted, SCIP_ConsSetChg::naddedconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsCreate(), SCIPconsDelete(), SCIPconsIsStickingAtNode(), SCIPconsRelease(), SCIPconssetchgFree(), SCIPprobAddCons(), SCIPsetDebugMsg, and SCIP_Cons::update.

Referenced by SCIPconssetchgUndo(), and SCIPnodeFocus().

◆ SCIPconsCreate()

SCIP_RETCODE SCIPconsCreate	(	SCIP_CONS **	cons,
		BMS_BLKMEM *	blkmem,
		SCIP_SET *	set,
		const char *	name,
		SCIP_CONSHDLR *	conshdlr,
		SCIP_CONSDATA *	consdata,
		SCIP_Bool	initial,
		SCIP_Bool	separate,
		SCIP_Bool	enforce,
		SCIP_Bool	check,
		SCIP_Bool	propagate,
		SCIP_Bool	local,
		SCIP_Bool	modifiable,
		SCIP_Bool	dynamic,
		SCIP_Bool	removable,
		SCIP_Bool	stickingatnode,
		SCIP_Bool	original,
		SCIP_Bool	deleteconsdata
	)

creates and captures a constraint, and inserts it into the conss array of its constraint handler

Warning: If a constraint is marked to be checked for feasibility but not to be enforced, a LP or pseudo solution may be declared feasible even if it violates this particular constraint. This constellation should only be used, if no LP or pseudo solution can violate the constraint – e.g. if a local constraint is redundant due to the variable's local bounds.

Parameters

cons	pointer to constraint
blkmem	block memory
set	global SCIP settings
name	name of constraint
conshdlr	constraint handler for this constraint
consdata	data for this specific constraint
initial	should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'.
separate	should the constraint be separated during LP processing? Usually set to TRUE.
enforce	should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints.
check	should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints.
propagate	should the constraint be propagated during node processing? Usually set to TRUE.
local	is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints.
modifiable	is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint.
dynamic	is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints.
removable	should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'.
stickingatnode	should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data.
original	is constraint belonging to the original problem?
deleteconsdata	has the constraint data to be deleted if constraint is freed?

Definition at line 5804 of file cons.c.

References BMSallocBlockMemory, BMSduplicateBlockMemoryArray, checkConssArrays, conshdlrAddCons(), conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), FALSE, NLOCKTYPES, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsCopy(), SCIPsetDebugMsg, and TRUE.

Referenced by SCIPconssetchgMakeGlobal(), SCIPconsTransform(), and SCIPcreateCons().

◆ SCIPconsCopy()

SCIP_RETCODE SCIPconsCopy	(	SCIP_CONS **	cons,
		SCIP_SET *	set,
		const char *	name,
		SCIP *	sourcescip,
		SCIP_CONSHDLR *	sourceconshdlr,
		SCIP_CONS *	sourcecons,
		SCIP_HASHMAP *	varmap,
		SCIP_HASHMAP *	consmap,
		SCIP_Bool	initial,
		SCIP_Bool	separate,
		SCIP_Bool	enforce,
		SCIP_Bool	check,
		SCIP_Bool	propagate,
		SCIP_Bool	local,
		SCIP_Bool	modifiable,
		SCIP_Bool	dynamic,
		SCIP_Bool	removable,
		SCIP_Bool	stickingatnode,
		SCIP_Bool	global,
		SCIP_Bool *	valid
	)

copies source constraint of source SCIP into the target constraint for the target SCIP, using the variable map for mapping the variables of the source SCIP to the variables of the target SCIP; if the copying process was successful a constraint is created and captured;

Warning: If a constraint is marked to be checked for feasibility but not to be enforced, an LP or pseudo solution may be declared feasible even if it violates this particular constraint. This constellation should only be used, if no LP or pseudo solution can violate the constraint – e.g. if a local constraint is redundant due to the variable's local bounds.

Parameters

cons	pointer to store the created target constraint
set	global SCIP settings of the target SCIP
name	name of constraint, or NULL if the name of the source constraint should be used
sourcescip	source SCIP data structure
sourceconshdlr	source constraint handler for this constraint
sourcecons	source constraint of the source SCIP
varmap	a SCIP_HASHMAP mapping variables of the source SCIP to corresponding variables of the target SCIP
consmap	a hashmap to store the mapping of source constraints to the corresponding target constraints, must not be NULL!
initial	should the LP relaxation of constraint be in the initial LP?
separate	should the constraint be separated during LP processing?
enforce	should the constraint be enforced during node processing?
check	should the constraint be checked for feasibility?
propagate	should the constraint be propagated during node processing?
local	is constraint only valid locally?
modifiable	is constraint modifiable (subject to column generation)?
dynamic	is constraint subject to aging?
removable	should the relaxation be removed from the LP due to aging or cleanup?
stickingatnode	should the constraint always be kept at the node where it was added, even if it may be moved to a more global node?
global	create a global or a local copy?
valid	pointer to store whether the copying was valid or not

Definition at line 5946 of file cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, and SCIPconsParse().

Referenced by SCIPconsCreate(), and SCIPgetConsCopy().

◆ SCIPconsParse()

SCIP_RETCODE SCIPconsParse	(	SCIP_CONS **	cons,
		SCIP_SET *	set,
		SCIP_MESSAGEHDLR *	messagehdlr,
		const char *	str,
		SCIP_Bool	initial,
		SCIP_Bool	separate,
		SCIP_Bool	enforce,
		SCIP_Bool	check,
		SCIP_Bool	propagate,
		SCIP_Bool	local,
		SCIP_Bool	modifiable,
		SCIP_Bool	dynamic,
		SCIP_Bool	removable,
		SCIP_Bool	stickingatnode,
		SCIP_Bool *	success
	)

parses constraint information (in cip format) out of a string; if the parsing process was successful a constraint is created, captured, and inserted into the conss array of its constraint handler.

Warning: If a constraint is marked to be checked for feasibility but not to be enforced, an LP or pseudo solution may be declared feasible even if it violates this particular constraint. This constellation should only be used, if no LP or pseudo solution can violate the constraint – e.g. if a local constraint is redundant due to the variable's local bounds.

Parameters

cons	pointer to constraint
set	global SCIP settings
messagehdlr	message handler of target SCIP
str	string to parse for constraint
initial	should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'.
separate	should the constraint be separated during LP processing? Usually set to TRUE.
enforce	should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints.
check	should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints.
propagate	should the constraint be propagated during node processing? Usually set to TRUE.
local	is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints.
modifiable	is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint.
dynamic	is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints.
removable	should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'.
stickingatnode	should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data.
success	pointer store if the paring process was successful

Definition at line 6002 of file cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPconsChgName(), SCIPmessagePrintWarning(), SCIPsetDebugMsg, SCIPsetFindConshdlr(), and SCIPstrCopySection().

Referenced by SCIPconsCopy(), and SCIPparseCons().

◆ SCIPconsChgName()

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

change name of given constraint

Parameters

cons	problem constraint
blkmem	block memory buffer
name	new name of constraint

Definition at line 6109 of file cons.c.

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

Referenced by SCIPchgConsName(), and SCIPconsParse().

◆ SCIPconsFree()

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

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

Parameters

cons	constraint to free
blkmem	block memory buffer
set	global SCIP settings

Definition at line 6129 of file cons.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, checkConssArrays, SCIP_Cons::consdata, conshdlrDelCons(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), and SCIPsetDebugMsg.

Referenced by SCIPconsChgName(), and SCIPconsRelease().

◆ SCIPconsCapture()

void SCIPconsCapture ( SCIP_CONS * cons )

increases usage counter of constraint

Parameters

cons	constraint

Definition at line 6184 of file cons.c.

References SCIP_Cons::name, NULL, SCIP_Cons::nuses, SCIPconsRelease(), and SCIPdebugMessage.

Referenced by boundchgCaptureData(), conflictstoreAddOrigConflict(), conshdlrAddUpdateCons(), SCIPcaptureCons(), SCIPconflictstoreAddConflict(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPconsCreate(), SCIPconsFree(), SCIPconshdlrsStorePropagationStatus(), SCIPconssetchgAddAddedCons(), SCIPconssetchgAddDisabledCons(), SCIPconssetchgMakeGlobal(), SCIPconsTransform(), SCIPprobAddCons(), SCIPreoptAddCons(), SCIPreoptSaveActiveConss(), SCIPtransformCons(), and SCIPtransformConss().

◆ SCIPconsRelease()

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

decreases usage counter of constraint, and frees memory if necessary

Parameters

cons	pointer to constraint
blkmem	block memory
set	global SCIP settings

Definition at line 6196 of file cons.c.

References conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconsFree(), SCIPconsPrint(), SCIPsetDebugMsg, and TRUE.

Referenced by boundchgReleaseData(), conshdlrProcessUpdates(), conssetchgDelAddedCons(), conssetchgDelDisabledCons(), conssetchgRelease(), delPosConflict(), delPosDualray(), delPosDualsol(), SCIPconflictstoreClear(), SCIPconflictstoreTransform(), SCIPconsCapture(), SCIPconshdlrsResetPropagationStatus(), SCIPconssetchgMakeGlobal(), SCIPprobDelCons(), SCIPprobTransform(), SCIPreleaseCons(), SCIPreoptReleaseData(), SCIPreoptReset(), and tightenSingleVar().

◆ SCIPconsPrint()

SCIP_RETCODE SCIPconsPrint	(	SCIP_CONS *	cons,
		SCIP_SET *	set,
		SCIP_MESSAGEHDLR *	messagehdlr,
		FILE *	file
	)

outputs constraint information to file stream

Parameters

cons	constraint to print
set	global SCIP settings
messagehdlr	message handler
file	output file (or NULL for standard output)

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

◆ SCIPconsGetVars()

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

method to collect the variables of a constraint

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

Note: The success pointer indicates if all variables were copied into the vars arrray.; It might be that a constraint handler does not support this functionality, in that case the success pointer is set to FALSE.

Parameters

cons	constraint to print
set	global SCIP settings
vars	array to store the involved variable of the constraint
varssize	available slots in vars array which is needed to check if the array is large enough
success	pointer to store whether the variables are successfully copied

Definition at line 6275 of file cons.c.

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

Referenced by SCIPconsPrint(), SCIPgetConsVars(), and SCIPgetDualSolVal().

◆ SCIPconsGetNVars()

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

cons	constraint to print
set	global SCIP settings
nvars	pointer to store the number of variables
success	pointer to store whether the constraint successfully returned the number of variables

Definition at line 6311 of file cons.c.

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

Referenced by calcNonZeros(), delPosDualray(), delPosDualsol(), saveConsBounddisjuction(), saveConsLinear(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPconsGetVars(), SCIPgetConsNVars(), and SCIPgetDualSolVal().

◆ SCIPconsDelete()

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

globally removes constraint from all subproblems; removes constraint from the constraint set change data of the node, where it was created, or from the problem, if it was a problem constraint

Parameters

cons	constraint to delete
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
prob	problem data
reopt	reoptimization data

Definition at line 6343 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(), SCIPprobDelCons(), SCIPreoptConsCanBeDeleted(), SCIPsetDebugMsg, TRUE, SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.

Referenced by delPosConflict(), delPosDualray(), delPosDualsol(), SCIPconsAddAge(), SCIPconsGetNVars(), SCIPconssetchgMakeGlobal(), SCIPdelCons(), SCIPdelConsLocal(), and SCIPdelConsNode().

◆ SCIPconsTransform()

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

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

Parameters

origcons	original constraint
blkmem	block memory buffer
set	global SCIP settings
transcons	pointer to store the transformed constraint

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

◆ SCIPconsSetInitial()

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

sets the initial flag of the given constraint

Parameters

cons	constraint
set	global SCIP settings
stat	dynamic problem statistics
initial	new value

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

◆ SCIPconsSetSeparated()

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

sets the separate flag of the given constraint

Parameters

cons	constraint
set	global SCIP settings
separate	new value

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

◆ SCIPconsSetEnforced()

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

sets the enforce flag of the given constraint

Parameters

cons	constraint
set	global SCIP settings
enforce	new value

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

◆ SCIPconsSetChecked()

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

sets the check flag of the given constraint

Parameters

cons	constraint
set	global SCIP settings
check	new value

Definition at line 6557 of file cons.c.

References SCIP_Cons::active, SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_Cons::check, SCIP_Cons::conshdlr, conshdlrAddCheckcons(), conshdlrDelCheckcons(), NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIPconsAddLocks(), and SCIPconsSetPropagated().

Referenced by SCIPconsSetEnforced(), and SCIPsetConsChecked().

◆ SCIPconsSetPropagated()

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

sets the propagate flag of the given constraint

Parameters

cons	constraint
set	global SCIP settings
propagate	new value

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

◆ SCIPconsSetLocal()

void SCIPconsSetLocal	(	SCIP_CONS *	cons,
		SCIP_Bool	local
	)

sets the local flag of the given constraint

Parameters

cons	constraint
local	new value

Definition at line 6640 of file cons.c.

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

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

◆ SCIPconsSetModifiable()

void SCIPconsSetModifiable	(	SCIP_CONS *	cons,
		SCIP_Bool	modifiable
	)

sets the modifiable flag of the given constraint

Parameters

cons	constraint
modifiable	new value

Definition at line 6653 of file cons.c.

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

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

◆ SCIPconsSetDynamic()

void SCIPconsSetDynamic	(	SCIP_CONS *	cons,
		SCIP_Bool	dynamic
	)

sets the dynamic flag of the given constraint

Parameters

cons	constraint
dynamic	new value

Definition at line 6664 of file cons.c.

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

Referenced by SCIPconsSetModifiable(), and SCIPsetConsDynamic().

◆ SCIPconsSetRemovable()

void SCIPconsSetRemovable	(	SCIP_CONS *	cons,
		SCIP_Bool	removable
	)

sets the removable flag of the given constraint

Parameters

cons	constraint
removable	new value

Definition at line 6675 of file cons.c.

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

Referenced by SCIPconsSetDynamic(), and SCIPsetConsRemovable().

◆ SCIPconsSetStickingAtNode()

void SCIPconsSetStickingAtNode	(	SCIP_CONS *	cons,
		SCIP_Bool	stickingatnode
	)

sets the stickingatnode flag of the given constraint

Parameters

cons	constraint
stickingatnode	new value

Definition at line 6686 of file cons.c.

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

Referenced by SCIPconsSetRemovable(), and SCIPsetConsStickingAtNode().

◆ SCIPconsSetNamePointer()

void SCIPconsSetNamePointer	(	SCIP_CONS *	cons,
		const char *	name
	)

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

Parameters

cons	constraint
name	new name of constraint

Definition at line 6698 of file cons.c.

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

Referenced by SCIPconsSetStickingAtNode(), and SCIPreaderWrite().

◆ SCIPconsGetTransformed()

SCIP_CONS* SCIPconsGetTransformed ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 6712 of file cons.c.

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

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

◆ SCIPconsActivate()

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

activates constraint or marks constraint to be activated in next update

Parameters

cons	constraint
set	global SCIP settings
stat	dynamic problem statistics
depth	depth in the tree where the constraint activation takes place, or -1 for global problem
focusnode	does the constraint activation take place at the focus node?

Definition at line 6722 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(), SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactfocus, SCIP_Cons::updateactivate, SCIP_Cons::updatedeactivate, SCIP_Cons::updatedisable, SCIP_Cons::updateenable, SCIP_Cons::updatefree, and SCIP_Cons::updateobsolete.

Referenced by SCIPconsGetTransformed(), SCIPconssetchgAddAddedCons(), SCIPconssetchgApply(), SCIPprobAddCons(), and SCIPreoptResetActiveConss().

◆ SCIPconsDeactivate()

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

deactivates constraint or marks constraint to be deactivated in next update

Parameters

cons	constraint
set	global SCIP settings
stat	dynamic problem statistics

Definition at line 6764 of file cons.c.

References SCIP_Cons::active, SCIP_Cons::activedepth, SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDeactivateCons(), SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Cons::original, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsEnable(), SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.

Referenced by SCIPconsActivate(), SCIPconsDelete(), SCIPconssetchgUndo(), SCIPprobDelCons(), and SCIPreoptResetActiveConss().

◆ SCIPconsEnable()

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

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

Parameters

cons	constraint
set	global SCIP settings
stat	dynamic problem statistics

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

◆ SCIPconsDisable()

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

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

Parameters

cons	constraint
set	global SCIP settings
stat	dynamic problem statistics

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

◆ SCIPconsEnableSeparation()

SCIP_RETCODE SCIPconsEnableSeparation	(	SCIP_CONS *	cons,
		SCIP_SET *	set
	)

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

Parameters

cons	constraint
set	global SCIP settings

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

◆ SCIPconsDisableSeparation()

SCIP_RETCODE SCIPconsDisableSeparation	(	SCIP_CONS *	cons,
		SCIP_SET *	set
	)

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

Parameters

cons	constraint
set	global SCIP settings

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

◆ SCIPconsEnablePropagation()

SCIP_RETCODE SCIPconsEnablePropagation	(	SCIP_CONS *	cons,
		SCIP_SET *	set
	)

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

Parameters

cons	constraint
set	global SCIP settings

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

◆ SCIPconsDisablePropagation()

SCIP_RETCODE SCIPconsDisablePropagation	(	SCIP_CONS *	cons,
		SCIP_SET *	set
	)

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

Parameters

cons	constraint
set	global SCIP settings

Definition at line 6954 of file cons.c.

References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrDisableConsPropagation(), FALSE, NULL, SCIP_Cons::propenabled, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsMarkConflict(), TRUE, SCIP_Cons::update, SCIP_Cons::updatepropdisable, and SCIP_Cons::updatepropenable.

Referenced by SCIPconsEnablePropagation(), and SCIPdisableConsPropagation().

◆ SCIPconsMarkConflict()

void SCIPconsMarkConflict ( SCIP_CONS * cons )

marks the constraint to be a conflict

Parameters

cons	constraint

Definition at line 6984 of file cons.c.

References SCIP_Cons::conflict, NULL, SCIPconsMarkPropagate(), and TRUE.

Referenced by createAndAddProofcons(), SCIPaddConflict(), SCIPconflictstoreAddConflict(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), and SCIPconsDisablePropagation().

◆ SCIPconsMarkPropagate()

SCIP_RETCODE SCIPconsMarkPropagate	(	SCIP_CONS *	cons,
		SCIP_SET *	set
	)

marks the constraint to be propagated (update might be delayed)

Parameters

cons	constraint
set	global SCIP settings

Definition at line 6994 of file cons.c.

References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrMarkConsPropagate(), SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsUnmarkPropagate(), TRUE, SCIP_Cons::update, SCIP_Cons::updatemarkpropagate, and SCIP_Cons::updateunmarkpropagate.

Referenced by SCIPconshdlrsResetPropagationStatus(), SCIPconsMarkConflict(), and SCIPmarkConsPropagate().

◆ SCIPconsUnmarkPropagate()

SCIP_RETCODE SCIPconsUnmarkPropagate	(	SCIP_CONS *	cons,
		SCIP_SET *	set
	)

unmarks the constraint to be propagated (update might be delayed)

Parameters

cons	constraint
set	global SCIP settings

Definition at line 7024 of file cons.c.

References SCIP_Cons::conshdlr, conshdlrAddUpdateCons(), conshdlrAreUpdatesDelayed(), conshdlrUnmarkConsPropagate(), SCIP_Cons::enabled, FALSE, SCIP_Cons::markpropagate, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsAddAge(), TRUE, SCIP_Cons::update, SCIP_Cons::updatemarkpropagate, and SCIP_Cons::updateunmarkpropagate.

Referenced by SCIPconshdlrsResetPropagationStatus(), SCIPconsMarkPropagate(), and SCIPunmarkConsPropagate().

◆ SCIPconsAddAge()

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

adds given value to age of constraint, but age can never become negative; should be called

in constraint separation, if no cut was found for this constraint,
in constraint enforcing, if constraint was feasible, and
in constraint propagation, if no domain reduction was deduced; if it's age exceeds the constraint age limit, makes constraint obsolete or marks constraint to be made obsolete in next update

Parameters

cons	constraint
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
prob	problem data
deltaage	value to add to the constraint's age
reopt	reoptimization data

Definition at line 7061 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(), SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updateobsolete.

Referenced by SCIPaddConsAge(), SCIPconsIncAge(), and SCIPconsUnmarkPropagate().

◆ SCIPconsIncAge()

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

increases age of constraint by 1.0; should be called

in constraint separation, if no cut was found for this constraint,
in constraint enforcing, if constraint was feasible, and
in constraint propagation, if no domain reduction was deduced; if it's age exceeds the constraint age limit, makes constraint obsolete or marks constraint to be made obsolete in next update

Parameters

cons	constraint
blkmem	block memory
set	global SCIP settings
stat	dynamic problem statistics
prob	problem data
reopt	reoptimization data

Definition at line 7120 of file cons.c.

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

Referenced by SCIPconsAddAge(), and SCIPincConsAge().

◆ SCIPconsResetAge()

SCIP_RETCODE SCIPconsResetAge	(	SCIP_CONS *	cons,
		SCIP_SET *	set
	)

resets age of constraint to zero; should be called

in constraint separation, if a cut was found for this constraint,
in constraint enforcing, if the constraint was violated, and
in constraint propagation, if a domain reduction was deduced; if it was obsolete, makes constraint useful again or marks constraint to be made useful again in next update

Parameters

cons	constraint
set	global SCIP settings

Definition at line 7141 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, SCIPconsResolvePropagation(), SCIPsetDebugMsg, TRUE, SCIP_Cons::update, SCIP_Cons::updateactivate, and SCIP_Cons::updateobsolete.

Referenced by SCIPconsIncAge(), SCIPprobInitSolve(), and SCIPresetConsAge().

◆ SCIPconsResolvePropagation()

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

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

Note: it is sufficient to explain the relaxed bound change

Parameters

cons	constraint that deduced the assignment
set	global SCIP settings
infervar	variable whose bound was deduced by the constraint
inferinfo	user inference information attached to the bound change
inferboundtype	bound that was deduced (lower or upper bound)
bdchgidx	bound change index, representing the point of time where change took place
relaxedbd	the relaxed bound
result	pointer to store the result of the callback method

Definition at line 7182 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, SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), and TRUE.

Referenced by conflictResolveBound(), and SCIPconsResetAge().

◆ SCIPconsAddLocks()

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

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

Parameters

cons	constraint
set	global SCIP settings
locktype	type of variable locks
nlockspos	increase in number of rounding locks for constraint
nlocksneg	increase in number of rounding locks for constraint's negation

Definition at line 7242 of file cons.c.

References SCIP_Cons::conshdlr, SCIP_Cons::nlocksneg, SCIP_Cons::nlockspos, NLOCKTYPES, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, and SCIPconsCheck().

Referenced by delPosConflict(), delPosDualray(), delPosDualsol(), SCIPaddConsLocksType(), SCIPconflictstoreAddConflict(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPconsResolvePropagation(), SCIPconsSetChecked(), SCIPprobAddCons(), and SCIPprobDelCons().

◆ SCIPconsCheck()

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

checks single constraint for feasibility of the given solution

Parameters

cons	constraint to check
set	global SCIP settings
sol	primal CIP solution
checkintegrality	Has integrality to be checked?
checklprows	Do constraints represented by rows in the current LP have to be checked?
printreason	Should the reason for the violation be printed?
result	pointer to store the result of the callback method

Definition at line 7288 of file cons.c.

References SCIP_Cons::conshdlr, FALSE, SCIP_Cons::name, SCIP_Conshdlr::name, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIPconsEnfops(), SCIPerrorMessage, and SCIPsetDebugMsg.

Referenced by checkSolOrig(), SCIPcheckCons(), and SCIPconsAddLocks().

◆ SCIPconsEnfops()

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

enforces single constraint for a given pseudo solution

Parameters

cons	constraint to enforce
set	global SCIP settings
solinfeasible	was the solution already declared infeasible by a constraint handler?
objinfeasible	is the solution infeasible anyway due to violating lower objective bound?
result	pointer to store the result of the callback method

Definition at line 7326 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(), SCIPerrorMessage, and SCIPsetDebugMsg.

Referenced by SCIPconsCheck(), and SCIPenfopsCons().

◆ SCIPconsEnfolp()

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

enforces single constraint for a given LP solution

Parameters

cons	constraint to enforce
set	global SCIP settings
solinfeasible	was the solution already declared infeasible by a constraint handler?
result	pointer to store the result of the callback method

Definition at line 7370 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, SCIPconsEnforelax(), SCIPerrorMessage, and SCIPsetDebugMsg.

Referenced by SCIPconsEnfops(), and SCIPenfolpCons().

◆ SCIPconsEnforelax()

SCIP_RETCODE SCIPconsEnforelax	(	SCIP_CONS *	cons,
		SCIP_SET *	set,
		SCIP_SOL *	sol,
		SCIP_Bool	solinfeasible,
		SCIP_RESULT *	result
	)

enforces single constraint for a given relaxation solution

Parameters

cons	constraint to enforce
set	global SCIP settings
sol	solution to be enforced
solinfeasible	was the solution already declared infeasible by a constraint handler?
result	pointer to store the result of the callback method

Definition at line 7412 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 SCIPconsEnfolp(), and SCIPenforelaxCons().

◆ SCIPconsInitlp()

SCIP_RETCODE SCIPconsInitlp	(	SCIP_CONS *	cons,
		SCIP_SET *	set,
		SCIP_Bool *	infeasible
	)

calls LP initialization method for single constraint

Parameters

cons	constraint to initialize
set	global SCIP settings
infeasible	pointer to store whether infeasibility was detected while building the LP

Definition at line 7456 of file cons.c.

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

Referenced by SCIPconsEnforelax(), and SCIPinitlpCons().

◆ SCIPconsSepalp()

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

calls separation method of single constraint for LP solution

Parameters

cons	constraint to separate
set	global SCIP settings
result	pointer to store the result of the separation call

Definition at line 7482 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(), SCIPerrorMessage, and SCIPsetDebugMsg.

Referenced by SCIPconsInitlp(), and SCIPsepalpCons().

◆ SCIPconsSepasol()

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

calls separation method of single constraint for given primal solution

Parameters

cons	constraint to separate
set	global SCIP settings
sol	primal solution that should be separated
result	pointer to store the result of the separation call

Definition at line 7523 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(), SCIPerrorMessage, and SCIPsetDebugMsg.

Referenced by SCIPconsSepalp(), and SCIPsepasolCons().

◆ SCIPconsProp()

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

calls domain propagation method of single constraint

Parameters

cons	constraint to propagate
set	global SCIP settings
proptiming	current point in the node solving loop
result	pointer to store the result of the callback method

Definition at line 7566 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(), SCIPerrorMessage, and SCIPsetDebugMsg.

Referenced by SCIPconsSepasol(), and SCIPpropCons().

◆ SCIPconsResprop()

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

resolves propagation conflict of single constraint

Parameters

cons	constraint to resolve conflict for
set	global SCIP settings
infervar	the conflict variable whose bound change has to be resolved
inferinfo	the user information passed to the corresponding SCIPinferVarLbCons() or SCIPinferVarUbCons() call
boundtype	the type of the changed bound (lower or upper bound)
bdchgidx	the index of the bound change, representing the point of time where the change took place
relaxedbd	the relaxed bound which is sufficient to be explained
result	pointer to store the result of the callback method

Definition at line 7606 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(), SCIPerrorMessage, and SCIPsetDebugMsg.

Referenced by SCIPconsProp(), and SCIPrespropCons().

◆ SCIPconsPresol()

SCIP_RETCODE SCIPconsPresol	(	SCIP_CONS *	cons,
		SCIP_SET *	set,
		int	nrounds,
		SCIP_PRESOLTIMING	timing,
		int	nnewfixedvars,
		int	nnewaggrvars,
		int	nnewchgvartypes,
		int	nnewchgbds,
		int	nnewholes,
		int	nnewdelconss,
		int	nnewaddconss,
		int	nnewupgdconss,
		int	nnewchgcoefs,
		int	nnewchgsides,
		int *	nfixedvars,
		int *	naggrvars,
		int *	nchgvartypes,
		int *	nchgbds,
		int *	naddholes,
		int *	ndelconss,
		int *	naddconss,
		int *	nupgdconss,
		int *	nchgcoefs,
		int *	nchgsides,
		SCIP_RESULT *	result
	)

presolves single constraint

Parameters

cons	constraint to presolve
set	global SCIP settings
nrounds	number of presolving rounds already done
timing	current presolving timing
nnewfixedvars	number of variables fixed since the last call to the presolving method
nnewaggrvars	number of variables aggregated since the last call to the presolving method
nnewchgvartypes	number of variable type changes since the last call to the presolving method
nnewchgbds	number of variable bounds tightened since the last call to the presolving method
nnewholes	number of domain holes added since the last call to the presolving method
nnewdelconss	number of deleted constraints since the last call to the presolving method
nnewaddconss	number of added constraints since the last call to the presolving method
nnewupgdconss	number of upgraded constraints since the last call to the presolving method
nnewchgcoefs	number of changed coefficients since the last call to the presolving method
nnewchgsides	number of changed left or right hand sides since the last call to the presolving method
nfixedvars	pointer to count total number of variables fixed of all presolvers
naggrvars	pointer to count total number of variables aggregated of all presolvers
nchgvartypes	pointer to count total number of variable type changes of all presolvers
nchgbds	pointer to count total number of variable bounds tightened of all presolvers
naddholes	pointer to count total number of domain holes added of all presolvers
ndelconss	pointer to count total number of deleted constraints of all presolvers
naddconss	pointer to count total number of added constraints of all presolvers
nupgdconss	pointer to count total number of upgraded constraints of all presolvers
nchgcoefs	pointer to count total number of changed coefficients of all presolvers
nchgsides	pointer to count total number of changed left/right hand sides of all presolvers
result	pointer to store the result of the callback method

Definition at line 7648 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(), SCIPerrorMessage, and SCIPsetDebugMsg.

Referenced by SCIPconsResprop(), and SCIPpresolCons().

◆ SCIPconsActive()

SCIP_RETCODE SCIPconsActive	(	SCIP_CONS *	cons,
		SCIP_SET *	set
	)

calls constraint activation notification method of single constraint

Parameters

cons	constraint to notify
set	global SCIP settings

Definition at line 7722 of file cons.c.

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

Referenced by SCIPactiveCons(), and SCIPconsPresol().

◆ SCIPconsDeactive()

SCIP_RETCODE SCIPconsDeactive	(	SCIP_CONS *	cons,
		SCIP_SET *	set
	)

calls constraint deactivation notification method of single constraint

Parameters

cons	constraint to notify
set	global SCIP settings

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

SCIP_DECL_HASHGETKEY ( SCIPhashGetKeyCons )

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

Definition at line 7776 of file cons.c.

Referenced by SCIPconsDeactive().

◆ ensurePropagationStorage()

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

set	global SCIP settings
conshdlr	constraint handler
num	minimum number of entries to store

Definition at line 7791 of file cons.c.

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

Referenced by SCIPconshdlrsStorePropagationStatus().

◆ SCIPconshdlrsStorePropagationStatus()

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

stores all constraints marked for propagation away when probing is started

Parameters

set	global SCIP settings
conshdlrs	all constraint handlers
nconshdlrs	number of contraint handlers

Definition at line 7815 of file cons.c.

References BMScopyMemoryArray, ensurePropagationStorage(), SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::nmarkedpropconss, NULL, SCIP_Conshdlr::propconss, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconshdlrsResetPropagationStatus(), SCIP_Conshdlr::storednmarkedpropconss, SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropdomchgcount.

Referenced by ensurePropagationStorage(), and SCIPtreeStartProbing().

◆ SCIPconshdlrsResetPropagationStatus()

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

reset all constraints marked for propagation when probing was finished

Parameters

set	global SCIP settings
blkmem	block memory
conshdlrs	all constraint handlers
nconshdlrs	number of contraint handlers

Definition at line 7855 of file cons.c.

References conshdlrAreUpdatesDelayed(), SCIP_Cons::enabled, SCIP_Conshdlr::lastpropdomchgcount, SCIP_Conshdlr::nmarkedpropconss, NULL, SCIP_Conshdlr::nupdateconss, SCIP_Cons::propagate, SCIP_Conshdlr::propconss, SCIP_Cons::propenabled, SCIP_CALL, SCIP_OKAY, SCIPconsMarkPropagate(), SCIPconsRelease(), SCIPconsUnmarkPropagate(), SCIPlinConsStatsCreate(), SCIP_Conshdlr::storednmarkedpropconss, SCIP_Conshdlr::storedpropconss, and SCIP_Conshdlr::storedpropdomchgcount.

Referenced by SCIPconshdlrsStorePropagationStatus(), and SCIPtreeEndProbing().

SCIP

Detailed Description

Macros

Functions

Macro Definition Documentation

◆ AGERESETAVG_INIT

◆ AGERESETAVG_MIN

◆ AGERESETAVG_DECAY

◆ AGERESETAVG_AGELIMIT

◆ AGERESETAVG_OBSOLETEAGE

◆ checkConssArrays

Function Documentation

◆ conshdlrEnsureConssMem()

◆ conshdlrEnsureInitconssMem()

◆ conshdlrEnsureSepaconssMem()

◆ conshdlrEnsureEnfoconssMem()

◆ conshdlrEnsureCheckconssMem()

◆ conshdlrEnsurePropconssMem()

◆ conshdlrEnsureUpdateconssMem()

◆ conshdlrAreUpdatesDelayed()

◆ conshdlrGetAgeresetavg()

◆ conshdlrUpdateAgeresetavg()

◆ consExceedsAgelimit()

◆ consExceedsObsoleteage()

◆ conshdlrMarkConsObsolete()

◆ conshdlrMarkConsUseful()

◆ conshdlrMarkConsPropagate()

◆ conshdlrUnmarkConsPropagate()

◆ conshdlrAddCons()

◆ conshdlrDelCons()

◆ conshdlrAddInitcons()

◆ conshdlrDelInitcons()

◆ conshdlrAddSepacons()

◆ conshdlrDelSepacons()

◆ conshdlrAddEnfocons()

◆ conshdlrDelEnfocons()

◆ conshdlrAddCheckcons()

◆ conshdlrDelCheckcons()

◆ conshdlrAddPropcons()

◆ conshdlrDelPropcons()

◆ conshdlrEnableConsSeparation()

◆ conshdlrDisableConsSeparation()

◆ conshdlrEnableConsPropagation()

◆ conshdlrDisableConsPropagation()

◆ conshdlrEnableCons()

◆ conshdlrDisableCons()

◆ conshdlrActivateCons()

◆ conshdlrDeactivateCons()

◆ conshdlrProcessUpdates()

◆ conshdlrDelayUpdates()

◆ conshdlrForceUpdates()

◆ conshdlrAddUpdateCons()

◆ SCIPconshdlrCopyInclude()

◆ doConshdlrCreate()

◆ SCIPconshdlrCreate()

◆ SCIPconshdlrFree()

◆ SCIPconshdlrInit()

◆ SCIPconshdlrExit()

◆ SCIPconshdlrInitpre()

◆ SCIPconshdlrExitpre()

◆ SCIPconshdlrInitsol()

◆ SCIPconshdlrExitsol()

◆ SCIPconshdlrInitLP()

◆ SCIPconshdlrSeparateLP()

◆ SCIPconshdlrSeparateSol()

◆ SCIPconshdlrEnforceRelaxSol()

◆ SCIPconshdlrEnforceLPSol()

◆ SCIPconshdlrGetDiveBoundChanges()

◆ SCIPconshdlrEnforcePseudoSol()

◆ SCIPconshdlrCheck()

◆ SCIPconshdlrPropagate()

◆ SCIPconshdlrPresolve()

◆ SCIPconshdlrDelVars()

◆ SCIPconshdlrLockVars()

◆ SCIPconshdlrUnlockVars()

◆ SCIPconshdlrSetCopy()

◆ SCIPconshdlrSetFree()

◆ SCIPconshdlrSetInit()

◆ SCIPconshdlrSetExit()

◆ SCIPconshdlrSetInitsol()