pub_cons.h File Reference

Detailed Description

public methods for managing constraints

Author

Tobias Achterberg

Definition in file pub_cons.h.

#include "scip/def.h"
#include "scip/type_misc.h"
#include "scip/type_cons.h"

Go to the source code of this file.

Functions
	SCIP_DECL_SORTPTRCOMP (SCIPconshdlrCompSepa)
	SCIP_DECL_SORTPTRCOMP (SCIPconshdlrCompEnfo)
	SCIP_DECL_SORTPTRCOMP (SCIPconshdlrCompCheck)
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)
SCIP_CONS **	SCIPconshdlrGetConss (SCIP_CONSHDLR *conshdlr)
SCIP_CONS **	SCIPconshdlrGetEnfoConss (SCIP_CONSHDLR *conshdlr)
SCIP_CONS **	SCIPconshdlrGetCheckConss (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNConss (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNEnfoConss (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNCheckConss (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNActiveConss (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNEnabledConss (SCIP_CONSHDLR *conshdlr)
SCIP_Real	SCIPconshdlrGetSetupTime (SCIP_CONSHDLR *conshdlr)
SCIP_Real	SCIPconshdlrGetPresolTime (SCIP_CONSHDLR *conshdlr)
SCIP_Real	SCIPconshdlrGetSepaTime (SCIP_CONSHDLR *conshdlr)
SCIP_Real	SCIPconshdlrGetEnfoLPTime (SCIP_CONSHDLR *conshdlr)
SCIP_Real	SCIPconshdlrGetEnfoPSTime (SCIP_CONSHDLR *conshdlr)
SCIP_Real	SCIPconshdlrGetPropTime (SCIP_CONSHDLR *conshdlr)
SCIP_Real	SCIPconshdlrGetStrongBranchPropTime (SCIP_CONSHDLR *conshdlr)
SCIP_Real	SCIPconshdlrGetCheckTime (SCIP_CONSHDLR *conshdlr)
SCIP_Real	SCIPconshdlrGetRespropTime (SCIP_CONSHDLR *conshdlr)
SCIP_Longint	SCIPconshdlrGetNSepaCalls (SCIP_CONSHDLR *conshdlr)
SCIP_Longint	SCIPconshdlrGetNEnfoLPCalls (SCIP_CONSHDLR *conshdlr)
SCIP_Longint	SCIPconshdlrGetNEnfoPSCalls (SCIP_CONSHDLR *conshdlr)
SCIP_Longint	SCIPconshdlrGetNPropCalls (SCIP_CONSHDLR *conshdlr)
SCIP_Longint	SCIPconshdlrGetNCheckCalls (SCIP_CONSHDLR *conshdlr)
SCIP_Longint	SCIPconshdlrGetNRespropCalls (SCIP_CONSHDLR *conshdlr)
SCIP_Longint	SCIPconshdlrGetNCutoffs (SCIP_CONSHDLR *conshdlr)
SCIP_Longint	SCIPconshdlrGetNCutsFound (SCIP_CONSHDLR *conshdlr)
SCIP_Longint	SCIPconshdlrGetNCutsApplied (SCIP_CONSHDLR *conshdlr)
SCIP_Longint	SCIPconshdlrGetNConssFound (SCIP_CONSHDLR *conshdlr)
SCIP_Longint	SCIPconshdlrGetNDomredsFound (SCIP_CONSHDLR *conshdlr)
SCIP_Longint	SCIPconshdlrGetNChildren (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetMaxNActiveConss (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetStartNActiveConss (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNFixedVars (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNAggrVars (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNChgVarTypes (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNChgBds (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNAddHoles (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNDelConss (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNAddConss (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNUpgdConss (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNChgCoefs (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNChgSides (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetNPresolCalls (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetSepaPriority (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetEnfoPriority (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetCheckPriority (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetSepaFreq (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetPropFreq (SCIP_CONSHDLR *conshdlr)
int	SCIPconshdlrGetEagerFreq (SCIP_CONSHDLR *conshdlr)
SCIP_Bool	SCIPconshdlrNeedsCons (SCIP_CONSHDLR *conshdlr)
SCIP_Bool	SCIPconshdlrDoesPresolve (SCIP_CONSHDLR *conshdlr)
SCIP_Bool	SCIPconshdlrIsSeparationDelayed (SCIP_CONSHDLR *conshdlr)
SCIP_Bool	SCIPconshdlrIsPropagationDelayed (SCIP_CONSHDLR *conshdlr)
SCIP_Bool	SCIPconshdlrIsPresolvingDelayed (SCIP_CONSHDLR *conshdlr)
SCIP_Bool	SCIPconshdlrWasLPSeparationDelayed (SCIP_CONSHDLR *conshdlr)
SCIP_Bool	SCIPconshdlrWasSolSeparationDelayed (SCIP_CONSHDLR *conshdlr)
SCIP_Bool	SCIPconshdlrWasPropagationDelayed (SCIP_CONSHDLR *conshdlr)
SCIP_Bool	SCIPconshdlrWasPresolvingDelayed (SCIP_CONSHDLR *conshdlr)
SCIP_Bool	SCIPconshdlrIsInitialized (SCIP_CONSHDLR *conshdlr)
SCIP_Bool	SCIPconshdlrIsClonable (SCIP_CONSHDLR *conshdlr)
SCIP_PROPTIMING	SCIPconshdlrGetPropTimingmask (SCIP_CONSHDLR *conshdlr)
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)
int	SCIPconsGetValidDepth (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsActive (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsEnabled (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsSeparationEnabled (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsPropagationEnabled (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsDeleted (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsObsolete (SCIP_CONS *cons)
SCIP_Real	SCIPconsGetAge (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsInitial (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsSeparated (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsEnforced (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsChecked (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsMarkedPropagate (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsPropagated (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsGlobal (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsLocal (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsModifiable (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsDynamic (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsRemovable (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsStickingAtNode (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsInProb (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsOriginal (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsTransformed (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsLockedPos (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsLockedNeg (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsLocked (SCIP_CONS *cons)
int	SCIPconsGetNLocksPos (SCIP_CONS *cons)
int	SCIPconsGetNLocksNeg (SCIP_CONS *cons)
SCIP_Bool	SCIPconsIsAdded (SCIP_CONS *cons)
void	SCIPconsAddUpgradeLocks (SCIP_CONS *cons, int nlocks)
int	SCIPconsGetNUpgradeLocks (SCIP_CONS *cons)

Function Documentation

SCIP_DECL_SORTPTRCOMP

(

SCIPconshdlrCompSepa

)

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

Definition at line 1941 of file cons.c.

SCIP_DECL_SORTPTRCOMP

(

SCIPconshdlrCompEnfo

)

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

Definition at line 1947 of file cons.c.

SCIP_DECL_SORTPTRCOMP

(

SCIPconshdlrCompCheck

)

compares two constraint handlers w. r. to their feasibility check priority

Definition at line 1953 of file cons.c.

const char* SCIPconshdlrGetName

(

SCIP_CONSHDLR *

conshdlr

)

gets name of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 3873 of file cons.c.

References SCIP_Conshdlr::name, and NULL.

Referenced by addAltLPConstraint(), addAltLPRow(), checkBounddisjunction(), checkConsnames(), checkFeasSubtree(), checkKnapsack(), checkLogicor(), checkVarbound(), computeAndConstraintInfos(), consdataCollectLinkingCons(), consdataEnsureAddLinConsSize(), copyConsPseudoboolean(), createNAryBranch(), deleteAltLPConstraint(), enforceConstraints(), enforceCurrentSol(), enforceIndicators(), enforcePseudo(), enforceSOS1(), enforceSOS2(), extractLinearValues(), initAlternativeLP(), initMatrix(), paramsetSetPresolvingDefault(), paramsetSetPresolvingFast(), paramsetSetPresolvingOff(), paramsetSetSeparatingAggressive(), paramsetSetSeparatingDefault(), paramsetSetSeparatingOff(), presolveRound(), printConstraintStatistics(), printConstraintTimingStatistics(), printDualSol(), printPresolverStatistics(), printRangeSection(), processBinvarFixings(), processFixings(), processIntegerBoundChg(), processWatchedVars(), propagationRound(), readIndicators(), registerBranchingCandidates(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDISABLE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), scip::ObjConshdlr::SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_READERWRITE(), SCIPaddCoefLogicor(), SCIPaddCoefPseudoboolean(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddLinearConsIndicator(), SCIPaddRowIndicator(), SCIPaddTermPseudoboolean(), SCIPaddVarIndicator(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarSOS1(), SCIPappendVarSOS2(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgLhsPseudoboolean(), SCIPchgRhsPseudoboolean(), SCIPconshdlrCopyInclude(), SCIPcopyConss(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsSuperindicator(), SCIPgetAndDatasPseudoboolean(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCoefLinearAbspower(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolLogicor(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExponentAbspower(), SCIPgetHmaxCumulative(), SCIPgetHminCumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntvarLinking(), SCIPgetLhsAbspower(), SCIPgetLhsPseudoboolean(), SCIPgetLhsVarbound(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinearVarAbspower(), SCIPgetNAndsPseudoboolean(), SCIPgetNBinvarsLinking(), SCIPgetNLinVarsWithoutAndPseudoboolean(), SCIPgetNlRowAbspower(), SCIPgetNonlinearVarAbspower(), SCIPgetNVarsAnd(), SCIPgetNVarsBounddisjunction(), SCIPgetNVarsCumulative(), SCIPgetNVarsLogicor(), SCIPgetNVarsOr(), SCIPgetNVarsSOS1(), SCIPgetNVarsSOS2(), SCIPgetNVarsXor(), SCIPgetOffsetAbspower(), SCIPgetResultantAnd(), SCIPgetResultantOr(), SCIPgetRhsAbspower(), SCIPgetRhsPseudoboolean(), SCIPgetRhsVarbound(), SCIPgetRhsXor(), SCIPgetRowLogicor(), SCIPgetRowVarbound(), SCIPgetSlackConsSuperindicator(), SCIPgetSlackVarIndicator(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCumulative(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSOS1(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetViolationAbspower(), SCIPgetWeightsSOS1(), SCIPgetWeightsSOS2(), SCIPincludeDialogDefaultFix(), SCIPincludeDialogDefaultSet(), SCIPisAndConsSorted(), SCIPmakeIndicatorFeasible(), SCIPmakeIndicatorsFeasible(), SCIPpresolve(), SCIPprintDualSol(), SCIPreaderWrite(), SCIPreadProb(), SCIPsetBinaryVarIndicator(), SCIPsetConshdlrPresol(), SCIPsetConshdlrProp(), SCIPsetConshdlrSepa(), SCIPsetHmaxCumulative(), SCIPsetHminCumulative(), SCIPsetLinearConsIndicator(), SCIPsolCheck(), SCIPsortAndCons(), SCIPtransformMinUC(), SCIPtransformProb(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), separateCons(), separationRoundLP(), separationRoundSol(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), writeFzn(), writeOpbConstraints(), and writeOpbObjective().

const char* SCIPconshdlrGetDesc

(

SCIP_CONSHDLR *

conshdlr

)

gets description of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 3883 of file cons.c.

References SCIP_Conshdlr::desc, and NULL.

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

SCIP_CONSHDLRDATA* SCIPconshdlrGetData

(

SCIP_CONSHDLR *

conshdlr

)

gets user data of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 3893 of file cons.c.

References SCIP_Conshdlr::conshdlrdata, and NULL.

Referenced by addAltLPConstraint(), addAltLPRow(), addCoef(), addCoefTerm(), addLinearCoef(), addLinearizationCuts(), addQuadVarTerm(), addRelaxation(), applyAlternativeBoundsFixing(), catchLinearVarEvents(), checkAndConss(), checkCurvature(), checkFixedVariables(), checkOrigPbCons(), checkOverloadViaThetaTree(), chgLinearCoefPos(), computeEffectiveHorizon(), computeViolation(), computeViolations(), consdataCreate(), consdataDeletePos(), consdataEnsureAddLinConsSize(), consdataPrint(), coretimesUpdateLb(), coretimesUpdateUb(), createAndAddAndCons(), createAndAddLinearCons(), createConsSetppc(), createCoreProfile(), createNlRow(), delCoefPos(), deleteAltLPConstraint(), deleteRedundantVars(), delLinearCoefPos(), delQuadVarTermPos(), detectRedundantConstraints(), detectRedundantVars(), dropLinearVarEvents(), enforceCuts(), enforceIndicators(), enforceSOS1(), findCumulativeConss(), findPrecedenceConss(), generateCut(), generateLinearizationCut(), generateSecantCut(), generateSparseCut(), getLinVarsAndAndRess(), handleNewVariableSOS1(), handleNewVariableSOS2(), inferboundsEdgeFinding(), initAlternativeLP(), preprocessConstraintPairs(), presolveConsEst(), presolveConsLct(), presolveFindDuplicates(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), propagateBounds(), propagateBoundsCons(), propagateConstraintSides(), propagateLbTTEF(), propagateTimetable(), propagateTTEF(), propagateUbTTEF(), propagateVarbounds(), proposeFeasibleSolution(), reformulate(), registerBranchingCandidates(), removeConstraintsDueToNegCliques(), removeFixedNonlinearVariables(), removeFixedVariables(), removeIrrelevantJobs(), replaceQuadVarTermPos(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELVARS(), SCIP_DECL_CONSDISABLE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PARAMCHGD(), SCIPaddLinearConsIndicator(), SCIPaddRowIndicator(), SCIPcheckCurvatureNonlinear(), SCIPcreateConsAnd(), SCIPcreateConsCumulative(), SCIPcreateConsIndicator(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsKnapsack(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsLogicor(), SCIPcreateConsOr(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsQuadratic(), SCIPcreateConsQuadratic2(), SCIPcreateConsSOC(), SCIPcreateConsSuperindicator(), SCIPcreateConsVarbound(), SCIPexistsConsLinking(), SCIPfindObjConshdlr(), SCIPgetBinvarsLinking(), SCIPgetConsLinking(), SCIPgetCountedSparseSols(), SCIPgetCurvatureNonlinear(), SCIPgetExprgraphNonlinear(), SCIPgetExprtreeCurvaturesNonlinear(), SCIPgetNCountedFeasSubtrees(), SCIPgetNCountedSols(), SCIPgetNCountedSolsstr(), SCIPgetObjConshdlr(), SCIPincludeNonlinconsUpgrade(), SCIPincludeQuadconsUpgrade(), SCIPpropCumulativeCondition(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPsetLinearConsIndicator(), SCIPsetSolveCumulative(), SCIPsolveCumulative(), separateIISRounding(), separateIndicators(), separatePoint(), splitOffLinearPart(), tightenWeights(), upgradeLinearSuperindicator(), and upgradeSuperindicator().

void SCIPconshdlrSetData	(	SCIP_CONSHDLR *	conshdlr,
		SCIP_CONSHDLRDATA *	conshdlrdata
	)

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

Parameters

conshdlr	constraint handler
conshdlrdata	new constraint handler user data

Definition at line 3903 of file cons.c.

References SCIP_Conshdlr::conshdlrdata, and NULL.

Referenced by initAlternativeLP(), and SCIP_DECL_CONSFREE().

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

sets all separation related callbacks of the constraint handler

Parameters

conshdlr	constraint handler
sepafreq	frequency for separating cuts; zero means to separate only in the root node
sepapriority	priority of the constraint handler for separation
delaysepa	should separation method be delayed, if other separators found cuts?

Definition at line 3914 of file cons.c.

References SCIP_Conshdlr::delaysepa, NULL, SCIP_Conshdlr::sepafreq, and SCIP_Conshdlr::sepapriority.

Referenced by SCIPsetConshdlrSepa().

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

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

Parameters

conshdlr	constraint handler
propfreq	frequency for propagating domains; zero means only preprocessing propagation
delayprop	should propagation method be delayed, if other propagators found reductions?
timingmask	positions in the node solving loop where propagators should be executed

Definition at line 3935 of file cons.c.

References SCIP_Conshdlr::delayprop, NULL, SCIP_Conshdlr::propfreq, and SCIP_Conshdlr::timingmask.

Referenced by SCIPsetConshdlrProp().

SCIP_CONS** SCIPconshdlrGetConss

(

SCIP_CONSHDLR *

conshdlr

)

gets array with constraints of constraint handler; the first SCIPconshdlrGetNActiveConss() entries are the active constraints, the last SCIPconshdlrGetNConss() - SCIPconshdlrGetNActiveConss() constraints are deactivated

Note

A constraint is active if it is global and was not removed or it was added locally (in that case the local flag is TRUE) and the current node belongs to the corresponding sub tree.

Parameters

conshdlr

constraint handler

Definition at line 4209 of file cons.c.

References SCIP_Conshdlr::conss, and NULL.

Referenced by addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addSetppcConstraints(), addVarboundConstraints(), calcNonZeros(), checkBounddisjunction(), checkFeasSubtree(), checkKnapsack(), checkLogicor(), checkVarbound(), computeAndConstraintInfos(), computeRanks(), createCoveringProblem(), createSubSCIP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_EVENTEXEC(), SCIPcopyConss(), SCIPmakeIndicatorsFeasible(), SCIPpermuteProb(), SCIPreaderWrite(), SCIPwriteLp(), writeOpbConstraints(), and writeOpbObjective().

SCIP_CONS** SCIPconshdlrGetEnfoConss

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4219 of file cons.c.

References SCIP_Conshdlr::enfoconss, and NULL.

Referenced by SCIPreaderWrite().

SCIP_CONS** SCIPconshdlrGetCheckConss

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4229 of file cons.c.

References SCIP_Conshdlr::checkconss, and NULL.

Referenced by calcNonZeros(), initMatrix(), and SCIPcopyConss().

int SCIPconshdlrGetNConss

(

SCIP_CONSHDLR *

conshdlr

)

gets total number of existing transformed constraints of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4239 of file cons.c.

References SCIP_Conshdlr::nconss, and NULL.

Referenced by computeAndConstraintInfos(), computeRanks(), createSubSCIP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIPmakeIndicatorsFeasible(), SCIPreaderWrite(), SCIPwriteLp(), SCIPwriteOpb(), writeOpbConstraints(), and writeOpbObjective().

int SCIPconshdlrGetNEnfoConss

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4249 of file cons.c.

References SCIP_Conshdlr::nenfoconss, and NULL.

Referenced by SCIPreaderWrite().

int SCIPconshdlrGetNCheckConss

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4259 of file cons.c.

References SCIP_Conshdlr::ncheckconss, and NULL.

Referenced by calcNonZeros(), initMatrix(), SCIPcopyConss(), and SCIPgetNCheckConss().

int SCIPconshdlrGetNActiveConss

(

SCIP_CONSHDLR *

conshdlr

)

gets number of active constraints of constraint handler

Note

A constraint is active if it is global and was not removed or it was added locally (in that case the local flag is TRUE) and the current node belongs to the corresponding sub tree.

Parameters

conshdlr

constraint handler

Definition at line 4273 of file cons.c.

References SCIP_Conshdlr::nactiveconss, and NULL.

Referenced by addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addSetppcConstraints(), addVarboundConstraints(), calcNonZeros(), checkBounddisjunction(), checkKnapsack(), checkLogicor(), checkVarbound(), createCoveringProblem(), SCIP_DECL_CONSINITSOL(), SCIPapplyUndercover(), SCIPcopyConss(), SCIPpermuteProb(), SCIPpresolve(), and SCIPtransformProb().

int SCIPconshdlrGetNEnabledConss

(

SCIP_CONSHDLR *

conshdlr

)

gets number of enabled constraints of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4283 of file cons.c.

References SCIP_Conshdlr::nenabledconss, and NULL.

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

SCIP_Real SCIPconshdlrGetSetupTime

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4312 of file cons.c.

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

Referenced by printConstraintTimingStatistics(), and printPresolverStatistics().

SCIP_Real SCIPconshdlrGetPresolTime

(

SCIP_CONSHDLR *

conshdlr

)

gets time in seconds used for presolving in this constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4322 of file cons.c.

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

Referenced by printPresolverStatistics().

SCIP_Real SCIPconshdlrGetSepaTime

(

SCIP_CONSHDLR *

conshdlr

)

gets time in seconds used for separation in this constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4332 of file cons.c.

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

Referenced by printConstraintTimingStatistics().

SCIP_Real SCIPconshdlrGetEnfoLPTime

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4342 of file cons.c.

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

Referenced by printConstraintTimingStatistics().

SCIP_Real SCIPconshdlrGetEnfoPSTime

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4352 of file cons.c.

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

Referenced by printConstraintTimingStatistics().

SCIP_Real SCIPconshdlrGetPropTime

(

SCIP_CONSHDLR *

conshdlr

)

gets time in seconds used for propagation in this constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4362 of file cons.c.

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

Referenced by printConstraintTimingStatistics().

SCIP_Real SCIPconshdlrGetStrongBranchPropTime

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4372 of file cons.c.

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

Referenced by printConstraintTimingStatistics().

SCIP_Real SCIPconshdlrGetCheckTime

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4382 of file cons.c.

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

Referenced by printConstraintTimingStatistics().

SCIP_Real SCIPconshdlrGetRespropTime

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4392 of file cons.c.

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

Referenced by printConstraintTimingStatistics().

SCIP_Longint SCIPconshdlrGetNSepaCalls

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4402 of file cons.c.

References SCIP_Conshdlr::nsepacalls, and NULL.

Referenced by printConstraintStatistics().

SCIP_Longint SCIPconshdlrGetNEnfoLPCalls

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4412 of file cons.c.

References SCIP_Conshdlr::nenfolpcalls, and NULL.

Referenced by printConstraintStatistics().

SCIP_Longint SCIPconshdlrGetNEnfoPSCalls

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4422 of file cons.c.

References SCIP_Conshdlr::nenfopscalls, and NULL.

Referenced by printConstraintStatistics().

SCIP_Longint SCIPconshdlrGetNPropCalls

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4432 of file cons.c.

References SCIP_Conshdlr::npropcalls, and NULL.

Referenced by printConstraintStatistics().

SCIP_Longint SCIPconshdlrGetNCheckCalls

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4442 of file cons.c.

References SCIP_Conshdlr::ncheckcalls, and NULL.

Referenced by printConstraintStatistics().

SCIP_Longint SCIPconshdlrGetNRespropCalls

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4452 of file cons.c.

References SCIP_Conshdlr::nrespropcalls, and NULL.

Referenced by printConstraintStatistics().

SCIP_Longint SCIPconshdlrGetNCutoffs

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4462 of file cons.c.

References SCIP_Conshdlr::ncutoffs, and NULL.

Referenced by printConstraintStatistics().

SCIP_Longint SCIPconshdlrGetNCutsFound

(

SCIP_CONSHDLR *

conshdlr

)

gets total number of cuts found by this constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4472 of file cons.c.

References SCIP_Conshdlr::ncutsfound, and NULL.

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

SCIP_Longint SCIPconshdlrGetNCutsApplied

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4482 of file cons.c.

References SCIP_Conshdlr::ncutsapplied, and NULL.

Referenced by printConstraintStatistics().

SCIP_Longint SCIPconshdlrGetNConssFound

(

SCIP_CONSHDLR *

conshdlr

)

gets total number of additional constraints added by this constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4512 of file cons.c.

References SCIP_Conshdlr::nconssfound, and NULL.

Referenced by printConstraintStatistics().

SCIP_Longint SCIPconshdlrGetNDomredsFound

(

SCIP_CONSHDLR *

conshdlr

)

gets total number of domain reductions found by this constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4522 of file cons.c.

References SCIP_Conshdlr::ndomredsfound, and NULL.

Referenced by printConstraintStatistics().

SCIP_Longint SCIPconshdlrGetNChildren

(

SCIP_CONSHDLR *

conshdlr

)

gets number of children created by this constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4532 of file cons.c.

References SCIP_Conshdlr::nchildren, and NULL.

Referenced by printConstraintStatistics().

int SCIPconshdlrGetMaxNActiveConss

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4542 of file cons.c.

References SCIP_Conshdlr::maxnactiveconss, and NULL.

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

int SCIPconshdlrGetStartNActiveConss

(

SCIP_CONSHDLR *

conshdlr

)

gets initial number of active constraints of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4552 of file cons.c.

References NULL, and SCIP_Conshdlr::startnactiveconss.

Referenced by printConstraintStatistics().

int SCIPconshdlrGetNFixedVars

(

SCIP_CONSHDLR *

conshdlr

)

gets number of variables fixed in presolving method of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4562 of file cons.c.

References SCIP_Conshdlr::nfixedvars, and NULL.

Referenced by printPresolverStatistics().

int SCIPconshdlrGetNAggrVars

(

SCIP_CONSHDLR *

conshdlr

)

gets number of variables aggregated in presolving method of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4572 of file cons.c.

References SCIP_Conshdlr::naggrvars, and NULL.

Referenced by printPresolverStatistics().

int SCIPconshdlrGetNChgVarTypes

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4582 of file cons.c.

References SCIP_Conshdlr::nchgvartypes, and NULL.

Referenced by printPresolverStatistics().

int SCIPconshdlrGetNChgBds

(

SCIP_CONSHDLR *

conshdlr

)

gets number of bounds changed in presolving method of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4592 of file cons.c.

References SCIP_Conshdlr::nchgbds, and NULL.

Referenced by printPresolverStatistics().

int SCIPconshdlrGetNAddHoles

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4602 of file cons.c.

References SCIP_Conshdlr::naddholes, and NULL.

Referenced by printPresolverStatistics().

int SCIPconshdlrGetNDelConss

(

SCIP_CONSHDLR *

conshdlr

)

gets number of constraints deleted in presolving method of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4612 of file cons.c.

References SCIP_Conshdlr::ndelconss, and NULL.

Referenced by printPresolverStatistics().

int SCIPconshdlrGetNAddConss

(

SCIP_CONSHDLR *

conshdlr

)

gets number of constraints added in presolving method of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4622 of file cons.c.

References SCIP_Conshdlr::naddconss, and NULL.

Referenced by printPresolverStatistics().

int SCIPconshdlrGetNUpgdConss

(

SCIP_CONSHDLR *

conshdlr

)

gets number of constraints upgraded in presolving method of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4632 of file cons.c.

References NULL, and SCIP_Conshdlr::nupgdconss.

Referenced by printPresolverStatistics().

int SCIPconshdlrGetNChgCoefs

(

SCIP_CONSHDLR *

conshdlr

)

gets number of coefficients changed in presolving method of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4642 of file cons.c.

References SCIP_Conshdlr::nchgcoefs, and NULL.

Referenced by printPresolverStatistics().

int SCIPconshdlrGetNChgSides

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4652 of file cons.c.

References SCIP_Conshdlr::nchgsides, and NULL.

Referenced by printPresolverStatistics().

int SCIPconshdlrGetNPresolCalls

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4662 of file cons.c.

References SCIP_Conshdlr::npresolcalls, and NULL.

Referenced by printPresolverStatistics().

int SCIPconshdlrGetSepaPriority

(

SCIP_CONSHDLR *

conshdlr

)

gets separation priority of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4672 of file cons.c.

References NULL, and SCIP_Conshdlr::sepapriority.

Referenced by SCIP_DECL_DIALOGEXEC(), SCIPsetConshdlrSepa(), SCIPsetReinsertConshdlrSepaPrio(), and separationRoundLP().

int SCIPconshdlrGetEnfoPriority

(

SCIP_CONSHDLR *

conshdlr

)

gets enforcing priority of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4682 of file cons.c.

References SCIP_Conshdlr::enfopriority, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC().

int SCIPconshdlrGetCheckPriority

(

SCIP_CONSHDLR *

conshdlr

)

gets checking priority of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4692 of file cons.c.

References SCIP_Conshdlr::checkpriority, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC().

int SCIPconshdlrGetSepaFreq

(

SCIP_CONSHDLR *

conshdlr

)

gets separation frequency of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4702 of file cons.c.

References NULL, and SCIP_Conshdlr::sepafreq.

Referenced by SCIP_DECL_DIALOGEXEC().

int SCIPconshdlrGetPropFreq

(

SCIP_CONSHDLR *

conshdlr

)

gets propagation frequency of constraint handler

Parameters

conshdlr

constraint handler

Definition at line 4712 of file cons.c.

References NULL, and SCIP_Conshdlr::propfreq.

Referenced by SCIP_DECL_DIALOGEXEC().

int SCIPconshdlrGetEagerFreq

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4722 of file cons.c.

References SCIP_Conshdlr::eagerfreq, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC().

SCIP_Bool SCIPconshdlrNeedsCons

(

SCIP_CONSHDLR *

conshdlr

)

needs constraint handler a constraint to be called?

Parameters

conshdlr

constraint handler

Definition at line 4732 of file cons.c.

References SCIP_Conshdlr::needscons, and NULL.

Referenced by checkSolOrig(), printConstraintStatistics(), printConstraintTimingStatistics(), printPresolverStatistics(), SCIPprobFree(), and SCIPprobTransform().

SCIP_Bool SCIPconshdlrDoesPresolve

(

SCIP_CONSHDLR *

conshdlr

)

does the constraint handler perform presolving?

Parameters

conshdlr

constraint handler

Definition at line 4742 of file cons.c.

References NULL.

Referenced by printPresolverStatistics().

SCIP_Bool SCIPconshdlrIsSeparationDelayed

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4752 of file cons.c.

References SCIP_Conshdlr::delaysepa, and NULL.

SCIP_Bool SCIPconshdlrIsPropagationDelayed

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4762 of file cons.c.

References SCIP_Conshdlr::delayprop, and NULL.

SCIP_Bool SCIPconshdlrIsPresolvingDelayed

(

SCIP_CONSHDLR *

conshdlr

)

should presolving method be delayed, if other presolvers found reductions?

Parameters

conshdlr

constraint handler

Definition at line 4772 of file cons.c.

References SCIP_Conshdlr::delaypresol, and NULL.

SCIP_Bool SCIPconshdlrWasLPSeparationDelayed

(

SCIP_CONSHDLR *

conshdlr

)

was LP separation method delayed at the last call?

Parameters

conshdlr

constraint handler

Definition at line 4782 of file cons.c.

References NULL, and SCIP_Conshdlr::sepalpwasdelayed.

Referenced by separationRoundLP().

SCIP_Bool SCIPconshdlrWasSolSeparationDelayed

(

SCIP_CONSHDLR *

conshdlr

)

was primal solution separation method delayed at the last call?

Parameters

conshdlr

constraint handler

Definition at line 4792 of file cons.c.

References NULL, and SCIP_Conshdlr::sepasolwasdelayed.

Referenced by separationRoundSol().

SCIP_Bool SCIPconshdlrWasPropagationDelayed

(

SCIP_CONSHDLR *

conshdlr

)

was propagation method delayed at the last call?

Parameters

conshdlr

constraint handler

Definition at line 4802 of file cons.c.

References NULL, and SCIP_Conshdlr::propwasdelayed.

Referenced by propagationRound().

SCIP_Bool SCIPconshdlrWasPresolvingDelayed

(

SCIP_CONSHDLR *

conshdlr

)

was presolving method delayed at the last call?

Parameters

conshdlr

constraint handler

Definition at line 4812 of file cons.c.

References NULL, and SCIP_Conshdlr::presolwasdelayed.

Referenced by presolveRound(), and SCIP_DECL_CONSPRESOL().

SCIP_Bool SCIPconshdlrIsInitialized

(

SCIP_CONSHDLR *

conshdlr

)

is constraint handler initialized?

Parameters

conshdlr

constraint handler

Definition at line 4822 of file cons.c.

References SCIP_Conshdlr::initialized, and NULL.

Referenced by SCIPsetFindPricer().

SCIP_Bool SCIPconshdlrIsClonable

(

SCIP_CONSHDLR *

conshdlr

)

does the constraint handler have a copy function?

Parameters

conshdlr

constraint handler

Definition at line 4832 of file cons.c.

References NULL.

SCIP_PROPTIMING SCIPconshdlrGetPropTimingmask

(

SCIP_CONSHDLR *

conshdlr

)

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

Parameters

conshdlr

constraint handler

Definition at line 4842 of file cons.c.

References NULL, and SCIP_Conshdlr::timingmask.

Referenced by propagationRound().

const char* SCIPconsGetName

(

SCIP_CONS *

cons

)

returns the name of the constraint

Note

to change the name of a constraint, use SCIPchgConsName() from scip.h

Parameters

cons	constraint

Definition at line 7557 of file cons.c.

References NULL.

Referenced by addAllConss(), addCliques(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConflictBounds(), addCut(), addCuts(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addIntervalGradientEstimator(), addKnapsackConstraints(), addLinearConstraints(), addLinearization(), addLinearizationCuts(), addLogicOrConstraints(), addRelaxation(), addSetppcConstraints(), addVarbound(), addVarboundConstraints(), addVarSOS1(), addVarSOS2(), aggregateConstraints(), analyzeZeroResultant(), applyFixings(), branchCons(), checkAllConss(), checkBounddisjunction(), checkCons(), checkConsnames(), checkCurvature(), checkCurvatureEasy(), checkFactorable(), checkFixedVariables(), checkForOverlapping(), checkKnapsack(), checkLogicor(), checkOrigPbCons(), checkOverloadViaThetaTree(), checkSystemGF2(), checkVarbound(), cliquePresolve(), computeEffectiveHorizon(), conflictAddBound(), conflictResolveBound(), consCapacityConstraintsFinder(), consdataCheckSuperindicator(), consdataDeletePos(), consdataFixOperandsOne(), consdataFixResultantZero(), consdataLinearize(), consHasName(), constraintNonOverlappingGraph(), copyAndSolveComponent(), copyConsPseudoboolean(), copyCuts(), createCapacityRestriction(), createConsFromMonomial(), createConsFromQuadTerm(), createCoveringProblem(), createDisjuctiveCons(), createNlRow(), createRelaxation(), createRow(), createRows(), createSubSCIP(), createVarUbs(), deleteRedundantVars(), deleteTrivilCons(), detectRedundantConstraints(), detectRedundantVars(), disableCons(), dualPresolve(), dualPresolving(), dualWeightsTightening(), enforceCurrentSol(), enforceIndicators(), enforceSOS1(), enforceSOS2(), fillDigraph(), findAggregation(), fixDeleteOrUpgradeCons(), fixTriangle(), generate1ConvexIndefiniteUnderestimator(), generateConvexConcaveEstimator(), generateCut(), generateCutConvex(), generateCutFactorableDo(), generateCutLTI(), generateCutNonConvex(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateCutUnboundedLP(), generateLinearizationCut(), generateOverestimatingHyperplaneCut(), generateRowSOS1(), generateRowSOS2(), initMatrix(), liftCliqueVariables(), mergeMultiples(), polishSolution(), preprocessConstraintPairs(), presolRoundIndicator(), presolRoundSOS1(), presolRoundSOS2(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), printDualSol(), processBinvarFixings(), processContainedCons(), processFixings(), processIntegerBoundChg(), processWatchedVars(), propagateBounds(), propagateBoundsBilinearTerm(), propagateBoundsCons(), propagateBoundsQuadVar(), propagateBoundsTightenVar(), propagateBoundsTightenVarLb(), propagateBoundsTightenVarUb(), propagateCons(), propagateConstraintSides(), propagateTimetable(), propIndicator(), propSOS2(), readIndicators(), readNonlinearExprs(), readObjective(), readQCMatrix(), readQMatrix(), readQuadraticCoefs(), readSOS(), readSos(), reformulate(), registerBranchingCandidates(), registerBranchingVariables(), registerVariableInfeasibilities(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedLinearVariables(), removeFixedVariables(), removeIrrelevantJobs(), removeOversizedJobs(), removeRedundantCons(), removeRedundantConstraints(), removeRedundantNonZeros(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resolvePropagation(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDISABLE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERWRITE(), SCIPaddConsNode(), SCIPaddToNlpiProblemQuadratic(), SCIPaddToNlpiProblemSOC(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarSOS1(), SCIPappendVarSOS2(), SCIPboundchgApply(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateConsSuperindicator(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPprobAddCons(), SCIPreaderWrite(), SCIPseparateKnapsackCuts(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPtransformMinUC(), SCIPvisualizeConsCumulative(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), separateCons(), separateConsBinaryRepresentation(), separateConsOnIntegerVariables(), separateCoverCutsCons(), separateIndicators(), separatePoint(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), simplifyInequalities(), solveIndependentCons(), tightenBounds(), tightenCapacity(), tightenCoefs(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varAddLbchginfo(), varAddUbchginfo(), and writeOpbConstraints().

int SCIPconsGetPos

(

SCIP_CONS *

cons

)

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

Parameters

cons	constraint

Definition at line 7567 of file cons.c.

References NULL.

Referenced by detectRedundantConstraints().

SCIP_CONSHDLR* SCIPconsGetHdlr

(

SCIP_CONS *

cons

)

returns the constraint handler of the constraint

Parameters

cons	constraint

Definition at line 7577 of file cons.c.

References NULL.

Referenced by addCoefTerm(), addLinearCoef(), addQuadVarTerm(), addRelaxation(), catchLinearVarEvents(), checkConsnames(), checkCurvature(), checkOrigPbCons(), chgLinearCoefPos(), computeAndConstraintInfos(), consdataCollectLinkingCons(), consdataDeletePos(), consdataPrint(), copyAndSolveComponent(), copyConsPseudoboolean(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCoverCutsTimepoint(), createNAryBranch(), createNlRow(), createRelaxation(), createRow(), createRows(), createSubSCIP(), delCoefPos(), deleteRedundantVars(), delLinearCoefPos(), delQuadVarTermPos(), detectRedundantConstraints(), detectRedundantVars(), dropLinearVarEvents(), enforceCurrentSol(), enforcePseudo(), extractLinearValues(), generate1ConvexIndefiniteUnderestimator(), generateConvexConcaveEstimator(), generateCut(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateLinearizationCut(), generateOverestimatingHyperplaneCut(), getLinVarsAndAndRess(), handleNewVariableSOS1(), handleNewVariableSOS2(), preprocessConstraintPairs(), presolvePropagateCons(), printDualSol(), printRangeSection(), processBinvarFixings(), processFixings(), processIntegerBoundChg(), processWatchedVars(), readIndicators(), registerBranchingCandidates(), replaceQuadVarTermPos(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_READERWRITE(), SCIPaddCoefLogicor(), SCIPaddCoefPseudoboolean(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddTermPseudoboolean(), SCIPaddVarIndicator(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarSOS1(), SCIPappendVarSOS2(), SCIPapplyHeurDualval(), SCIPcheckCurvatureNonlinear(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgLhsPseudoboolean(), SCIPchgRhsPseudoboolean(), SCIPconsSetInitial(), SCIPcopyOrigConss(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsSuperindicator(), SCIPgetAndDatasPseudoboolean(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCoefLinearAbspower(), SCIPgetCurvatureNonlinear(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolLogicor(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExponentAbspower(), SCIPgetExprtreeCurvaturesNonlinear(), SCIPgetHmaxCumulative(), SCIPgetHminCumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntvarLinking(), SCIPgetLhsAbspower(), SCIPgetLhsPseudoboolean(), SCIPgetLhsVarbound(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinearVarAbspower(), SCIPgetNAndsPseudoboolean(), SCIPgetNBinvarsLinking(), SCIPgetNLinVarsWithoutAndPseudoboolean(), SCIPgetNlRowAbspower(), SCIPgetNlRowSOC(), SCIPgetNonlinearVarAbspower(), SCIPgetNVarsAnd(), SCIPgetNVarsBounddisjunction(), SCIPgetNVarsCumulative(), SCIPgetNVarsLogicor(), SCIPgetNVarsOr(), SCIPgetNVarsSOS1(), SCIPgetNVarsSOS2(), SCIPgetNVarsXor(), SCIPgetOffsetAbspower(), SCIPgetResultantAnd(), SCIPgetResultantOr(), SCIPgetRhsAbspower(), SCIPgetRhsPseudoboolean(), SCIPgetRhsVarbound(), SCIPgetRhsXor(), SCIPgetRowLogicor(), SCIPgetRowVarbound(), SCIPgetSlackConsSuperindicator(), SCIPgetSlackVarIndicator(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCumulative(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSOS1(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetViolationAbspower(), SCIPgetViolationNonlinear(), SCIPgetViolationQuadratic(), SCIPgetWeightsSOS1(), SCIPgetWeightsSOS2(), SCIPisAndConsSorted(), SCIPmakeIndicatorFeasible(), SCIPprintDualSol(), SCIPsetBinaryVarIndicator(), SCIPsetHmaxCumulative(), SCIPsetHminCumulative(), SCIPsetLinearConsIndicator(), SCIPsortAndCons(), SCIPtransformMinUC(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), separateCons(), separateIndicators(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), tightenWeights(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), upgradeSuperindicator(), writeFzn(), writeOpbConstraints(), and writeOpbObjective().

SCIP_CONSDATA* SCIPconsGetData

(

SCIP_CONS *

cons

)

returns the constraint data field of the constraint

Parameters

cons	constraint

Definition at line 7587 of file cons.c.

References NULL.

Referenced by addAllConss(), addBilinearTerm(), addCliques(), addCoef(), addCoefTerm(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConflictBounds(), addConsToOccurList(), addCut(), addCuts(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addIntervalGradientEstimator(), addLinearCoef(), addLinearization(), addLinearizationCuts(), addQuadVarTerm(), addRelaxation(), addVarSOS1(), addVarSOS2(), aggregateConstraints(), analyzeConflict(), analyzeConflictOne(), analyzeConflictZero(), analyzeZeroResultant(), appendVarSOS1(), appendVarSOS2(), applyFixings(), applyGlobalBounds(), branchCons(), catchEvents(), catchLhsVarEvents(), catchLinearVarEvents(), catchQuadVarEvents(), catchRhsVarEvents(), catchVarEvents(), checkAllConss(), checkCons(), checkCurvature(), checkCurvatureEasy(), checkDemands(), checkFactorable(), checkFixedVariables(), checkForOverlapping(), checkLPBoundsClean(), checkOrigPbCons(), checkSystemGF2(), chgLhs(), chgLinearCoefPos(), chgRhs(), cliquePresolve(), collectBranchingCands(), collectCliqueConss(), collectCliqueData(), computeAlternativeBounds(), computeBoundsX(), computeBoundsZ(), computeEffectiveHorizon(), computeViolation(), computeViolations(), consCapacityConstraintsFinder(), consdataLinearize(), consdataPrint(), consFixInteger(), constraintNonOverlappingGraph(), copyConsPseudoboolean(), correctLocksAndCaptures(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCoverCuts(), createCoverCutsTimepoint(), createDisjuctiveCons(), createNAryBranch(), createNlRow(), createRelaxation(), createRow(), createRows(), createVarUbs(), delCoefPos(), deleteAltLPConstraint(), deleteRedundantVars(), deleteTrivilCons(), delLinearCoefPos(), delQuadVarTermPos(), detectRedundantConstraints(), detectRedundantVars(), dropEvents(), dropLhsVarEvents(), dropLinearVarEvents(), dropQuadVarEvents(), dropRhsVarEvents(), dropVarEvents(), dualPresolve(), dualPresolving(), dualWeightsTightening(), enforceCuts(), enforceIndicators(), enforcePseudo(), enforceSOS1(), enforceSOS2(), enforceViolatedFixedNonlinear(), evalLhs(), extendToCover(), findAggregation(), fixAltLPVariables(), fixDeleteOrUpgradeCons(), fixTriangle(), freeSepaData(), generate1ConvexIndefiniteUnderestimator(), generateConvexConcaveEstimator(), generateCut(), generateCutConvex(), generateCutFactorable(), generateCutFactorableDo(), generateCutLTI(), generateCutNonConvex(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateCutUnboundedLP(), generateLinearizationCut(), generateOverestimatingHyperplaneCut(), generateRowSOS1(), generateRowSOS2(), generateSparseCut(), getGradientMaxElement(), getGradientNorm(), getHighestCapacityUsage(), initializeDurations(), initSepaData(), isConsIndependently(), isConvexLocal(), liftCliqueVariables(), lockLinearVariable(), mergeAndCleanBilinearTerms(), mergeAndCleanLinearVars(), mergeAndCleanQuadVarTerms(), mergeMultiples(), normalizeDemands(), polishSolution(), prepareCons(), preprocessCliques(), preprocessConstraintPairs(), presolveConsEffectiveHorizon(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveSolve(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), prettifyConss(), processBinvarFixings(), processContainedCons(), processFixings(), processIntegerBoundChg(), processWatchedVars(), propagateBounds(), propagateBoundsCons(), propagateCons(), propagateConstraintSides(), propagateVarbounds(), proposeBranchingPoint(), proposeFeasibleSolution(), reformReplaceNode(), reformulate(), registerBranchingCandidates(), registerBranchingVariables(), registerLargeLPValueVariableForBranching(), registerVariableInfeasibilities(), removeBilinearTermsPos(), removeConsFromOccurList(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedBinvars(), removeFixedLinearVariables(), removeFixedVariables(), removeIrrelevantJobs(), removeOversizedJobs(), removeRedundantConss(), removeRedundantConssAndNonzeros(), removeRedundantConstraints(), removeRedundantNonZeros(), replaceByLinearConstraints(), replaceQuadVarTermPos(), replaceViolatedByLinearConstraints(), resolvePropagation(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDELVARS(), SCIP_DECL_CONSDISABLE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_SORTPTRCOMP(), SCIPaddBilinTermQuadratic(), SCIPaddCoefPseudoboolean(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddConstantQuadratic(), SCIPaddExprtreesNonlinear(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddSquareCoefQuadratic(), SCIPaddToNlpiProblemQuadratic(), SCIPaddToNlpiProblemSOC(), SCIPaddVarIndicator(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgLhsPseudoboolean(), SCIPchgRhsPseudoboolean(), SCIPfindQuadVarTermQuadratic(), SCIPgetAndDatasPseudoboolean(), SCIPgetBilinTermsQuadratic(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCoefLinearAbspower(), SCIPgetCoefsLinearVarsQuadratic(), SCIPgetCurvatureNonlinear(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolLogicor(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExponentAbspower(), SCIPgetExprgraphNodeNonlinear(), SCIPgetExprtreeBivariate(), SCIPgetExprtreeCoefsNonlinear(), SCIPgetExprtreeCurvaturesNonlinear(), SCIPgetExprtreesNonlinear(), SCIPgetHmaxCumulative(), SCIPgetHminCumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntvarLinking(), SCIPgetLhsAbspower(), SCIPgetLhsBivariate(), SCIPgetLhsCoefsSOC(), SCIPgetLhsConstantSOC(), SCIPgetLhsNonlinear(), SCIPgetLhsOffsetsSOC(), SCIPgetLhsPseudoboolean(), SCIPgetLhsQuadratic(), SCIPgetLhsVarbound(), SCIPgetLhsVarsSOC(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearCoefBivariate(), SCIPgetLinearCoefsNonlinear(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinearVarAbspower(), SCIPgetLinearVarBivariate(), SCIPgetLinearVarsNonlinear(), SCIPgetLinearVarsQuadratic(), SCIPgetNAndsPseudoboolean(), SCIPgetNBilinTermsQuadratic(), SCIPgetNBinvarsLinking(), SCIPgetNExprtreesNonlinear(), SCIPgetNLhsVarsSOC(), SCIPgetNLinearVarsNonlinear(), SCIPgetNLinearVarsQuadratic(), SCIPgetNLinVarsWithoutAndPseudoboolean(), SCIPgetNlRowAbspower(), SCIPgetNlRowNonlinear(), SCIPgetNlRowQuadratic(), SCIPgetNlRowSOC(), SCIPgetNonlinearVarAbspower(), SCIPgetNQuadVarTermsQuadratic(), SCIPgetNVarsAnd(), SCIPgetNVarsBounddisjunction(), SCIPgetNVarsCumulative(), SCIPgetNVarsLogicor(), SCIPgetNVarsOr(), SCIPgetNVarsSOS1(), SCIPgetNVarsSOS2(), SCIPgetNVarsXor(), SCIPgetOffsetAbspower(), SCIPgetQuadVarTermsQuadratic(), SCIPgetResultantAnd(), SCIPgetResultantOr(), SCIPgetRhsAbspower(), SCIPgetRhsBivariate(), SCIPgetRhsCoefSOC(), SCIPgetRhsNonlinear(), SCIPgetRhsOffsetSOC(), SCIPgetRhsPseudoboolean(), SCIPgetRhsQuadratic(), SCIPgetRhsVarbound(), SCIPgetRhsVarSOC(), SCIPgetRhsXor(), SCIPgetRowLogicor(), SCIPgetRowVarbound(), SCIPgetSlackConsSuperindicator(), SCIPgetSlackVarIndicator(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCumulative(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSOS1(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetViolationAbspower(), SCIPgetViolationNonlinear(), SCIPgetViolationQuadratic(), SCIPgetWeightsSOS1(), SCIPgetWeightsSOS2(), SCIPisAndConsSorted(), SCIPisConcaveQuadratic(), SCIPisConvexQuadratic(), SCIPisLinearLocalQuadratic(), SCIPisViolatedIndicator(), SCIPmakeIndicatorFeasible(), SCIPmakeIndicatorsFeasible(), SCIPsetBinaryVarIndicator(), SCIPsetExprtreesNonlinear(), SCIPsetHmaxCumulative(), SCIPsetHminCumulative(), SCIPsetLinearConsIndicator(), SCIPsortAndCons(), SCIPsortQuadVarTermsQuadratic(), SCIPvisualizeConsCumulative(), separateCons(), separateConsBinaryRepresentation(), separateConsOnIntegerVariables(), separateCoverCutsCons(), separateIISRounding(), separateIndicators(), separatePoint(), setAltLPObj(), setAltLPObjZero(), shortenConss(), simplifyInequalities(), solveIndependentCons(), splitOffLinearPart(), strengthenConss(), strengthVarbaounds(), switchWatchedvars(), tightenCapacity(), tightenCoefs(), tightenWeights(), tryUpgrading(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), unfixAltLPVariables(), unlockLinearVariable(), updateAndConss(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

int SCIPconsGetNUses

(

SCIP_CONS *

cons

)

gets number of times, the constraint is currently captured

Parameters

cons	constraint

Definition at line 7597 of file cons.c.

References NULL.

int SCIPconsGetActiveDepth

(

SCIP_CONS *

cons

)

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

Parameters

cons	constraint

Definition at line 7607 of file cons.c.

References NULL, and SCIPconsIsActive().

Referenced by SCIPconsGetValidDepth(), and SCIPconshdlrInitLP().

int SCIPconsGetValidDepth

(

SCIP_CONS *

cons

)

returns the depth in the tree at which the constraint is valid; returns INT_MAX, if the constraint is local and currently not active

Parameters

cons	constraint

Definition at line 7630 of file cons.c.

References NULL, SCIPconsGetActiveDepth(), and SCIPconsIsActive().

Referenced by conflictResolveBound(), disableCons(), and SCIPanalyzeConflictCons().

SCIP_Bool SCIPconsIsActive

(

SCIP_CONS *

cons

)

returns TRUE iff constraint is active in the current node

Parameters

cons	constraint

Definition at line 7618 of file cons.c.

References NULL.

Referenced by addAllConss(), addAltLPConstraint(), addCliques(), addConsToOccurList(), aggregateConstraints(), calcNonZeros(), checkForOverlapping(), cleanupHashDatas(), cliquePresolve(), collectBranchingCands(), collectCliqueConss(), collectCliqueData(), correctPresoldata(), createPresoldata(), createVarUbs(), detectRedundantConstraints(), dualPresolve(), dualPresolving(), extendToCover(), extractGates(), findAggregation(), liftCliqueVariables(), preprocessCliques(), preprocessConstraintPairs(), presolRoundIndicator(), presolveFindDuplicates(), presolvePropagateCons(), propagateBounds(), propagateCons(), propIndicator(), removeConsFromOccurList(), removeConstraintsDueToNegCliques(), removeRedundantConss(), removeRedundantConssAndNonzeros(), removeRedundantConstraints(), removeRedundantNonZeros(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIPaddExprtreesNonlinear(), SCIPanalyzeConflictCons(), SCIPconsGetActiveDepth(), SCIPconsGetValidDepth(), SCIPconshdlrInitLP(), SCIPconsPushProp(), SCIPconssetchgAddAddedCons(), SCIPcopyConss(), SCIPgetViolationNonlinear(), SCIPmakeIndicatorFeasible(), SCIPnodeAddCons(), SCIPprobAddCons(), SCIPsetExprtreesNonlinear(), separatePoint(), strengthenConss(), tryUpgrading(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateAndConss(), and upgradeConss().

SCIP_Bool SCIPconsIsEnabled

(

SCIP_CONS *

cons

)

returns TRUE iff constraint is enabled in the current node

Parameters

cons	constraint

Definition at line 7644 of file cons.c.

References NULL.

Referenced by addKnapsackConstraints(), addLinearCoef(), addLinearConstraints(), addLogicOrConstraints(), addSetppcConstraints(), addVarboundConstraints(), catchLinearVarEvents(), checkBounddisjunction(), checkConsnames(), checkKnapsack(), checkLogicor(), checkVarbound(), chgLinearCoefPos(), delLinearCoefPos(), printRangeSection(), propagateBounds(), propagateConstraintSides(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_READERWRITE(), SCIPconsIsPropagationEnabled(), SCIPconsIsSeparationEnabled(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), separatePoint(), writeFzn(), and writeOpbConstraints().

SCIP_Bool SCIPconsIsSeparationEnabled

(

SCIP_CONS *

cons

)

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

Parameters

cons	constraint

Definition at line 7654 of file cons.c.

References NULL, and SCIPconsIsEnabled().

SCIP_Bool SCIPconsIsPropagationEnabled

(

SCIP_CONS *

cons

)

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

Parameters

cons	constraint

Definition at line 7665 of file cons.c.

References NULL, and SCIPconsIsEnabled().

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

SCIP_Bool SCIPconsIsDeleted

(

SCIP_CONS *

cons

)

returns TRUE iff constraint is deleted or marked to be deleted

Parameters

cons	constraint

Definition at line 7676 of file cons.c.

References NULL.

Referenced by addCliques(), addExtraCliques(), cleanupHashDatas(), collectCliqueConss(), computeAlternativeBounds(), computeConsAndDataChanges(), consdataPrint(), copyConsPseudoboolean(), correctConshdlrdata(), correctLocksAndCaptures(), detectRedundantVars(), dualWeightsTightening(), findAggregation(), fixDeleteOrUpgradeCons(), getLinVarsAndAndRess(), mergeMultiples(), prepareCons(), presolveCons(), presolveFindDuplicates(), prettifyConss(), propagateBounds(), propagateCons(), propagateConstraintSides(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConssAndNonzeros(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_SORTPTRCOMP(), SCIPcopyConss(), SCIPisViolatedIndicator(), SCIPwriteLp(), separatePoint(), shortenConss(), simplifyInequalities(), strengthenConss(), tightenWeights(), tryUpgrading(), and updateConsanddataUses().

SCIP_Bool SCIPconsIsObsolete

(

SCIP_CONS *

cons

)

returns TRUE iff constraint is marked obsolete

Parameters

cons	constraint

Definition at line 7686 of file cons.c.

References NULL.

SCIP_Real SCIPconsGetAge

(

SCIP_CONS *

cons

)

gets age of constraint

Parameters

cons	constraint

Definition at line 7696 of file cons.c.

References NULL.

SCIP_Bool SCIPconsIsInitial

(

SCIP_CONS *

cons

)

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

Parameters

cons	constraint

Definition at line 7706 of file cons.c.

References NULL.

Referenced by addCliques(), addCoefTerm(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

SCIP_Bool SCIPconsIsSeparated

(

SCIP_CONS *

cons

)

returns TRUE iff constraint should be separated during LP processing

Parameters

cons	constraint

Definition at line 7716 of file cons.c.

References NULL.

Referenced by addCliques(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

SCIP_Bool SCIPconsIsEnforced

(

SCIP_CONS *

cons

)

returns TRUE iff constraint should be enforced during node processing

Parameters

cons	constraint

Definition at line 7726 of file cons.c.

References NULL.

Referenced by addCliques(), addCoefTerm(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

SCIP_Bool SCIPconsIsChecked

(

SCIP_CONS *

cons

)

returns TRUE iff constraint should be checked for feasibility

Parameters

cons	constraint

Definition at line 7736 of file cons.c.

References NULL.

Referenced by addAllConss(), addCoefTerm(), addConsToOccurList(), addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addSetppcConstraints(), addVarboundConstraints(), aggregateConstraints(), applyFixings(), branchCons(), calcNonZeros(), checkSolOrig(), cliquePresolve(), computeAlternativeBounds(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualPresolving(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolComponents(), presolRoundSOS1(), presolveConsEst(), presolveConsLct(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), propagateCons(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedVariables(), removeRedundantConss(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPprobAddCons(), SCIPprobDelCons(), SCIPtransformMinUC(), SCIPupdateConsFlags(), solveIndependentCons(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateAndConss(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

SCIP_Bool SCIPconsIsMarkedPropagate

(

SCIP_CONS *

cons

)

returns whether the constraint is marked for propagation

Parameters

cons	constraint

Definition at line 7746 of file cons.c.

References NULL.

SCIP_Bool SCIPconsIsPropagated

(

SCIP_CONS *

cons

)

returns TRUE iff constraint should be propagated during node processing

Parameters

cons	constraint

Definition at line 7756 of file cons.c.

References NULL.

Referenced by addCliques(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

SCIP_Bool SCIPconsIsGlobal

(

SCIP_CONS *

cons

)

returns TRUE iff constraint is globally valid

Parameters

cons	constraint

Definition at line 7766 of file cons.c.

References NULL.

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

SCIP_Bool SCIPconsIsLocal

(

SCIP_CONS *

cons

)

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

Parameters

cons	constraint

Definition at line 7776 of file cons.c.

References NULL.

Referenced by addCliques(), addCoefTerm(), addLinearizationCuts(), addRelaxation(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createCoverCutsTimepoint(), createNAryBranch(), createRelaxation(), createRow(), createRows(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), generateCut(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), SCIPaddLinearConsIndicator(), SCIPcopyConss(), SCIPtransformMinUC(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

SCIP_Bool SCIPconsIsModifiable

(

SCIP_CONS *

cons

)

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

Parameters

cons	constraint

Definition at line 7786 of file cons.c.

References NULL.

Referenced by addAllConss(), addCliques(), addCoefTerm(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addRelaxation(), aggregateConstraints(), analyzeConflictOne(), analyzeConflictZero(), applyFixings(), branchCons(), checkSolOrig(), cleanupHashDatas(), cliquePresolve(), collectCliqueConss(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), correctPresoldata(), createConsFromMonomial(), createConsFromQuadTerm(), createCoverCutsTimepoint(), createNAryBranch(), createPresoldata(), createRelaxation(), createRow(), createRows(), createVarUbs(), deleteRedundantVars(), detectRedundantConstraints(), detectRedundantVars(), dualPresolve(), dualPresolving(), dualWeightsTightening(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), normalizeDemands(), preprocessConstraintPairs(), presolRoundIndicator(), presolRoundSOS1(), presolRoundSOS2(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), processBinvarFixings(), processFixings(), processIntegerBoundChg(), processWatchedVars(), propagateCons(), propIndicator(), propSOS1(), propSOS2(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedVariables(), removeRedundantConss(), removeRedundantConssAndNonzeros(), removeRedundantConstraints(), removeRedundantNonZeros(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), SCIPcopyConss(), SCIPcopyOrigConss(), simplifyInequalities(), solveIndependentCons(), strengthenConss(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), and upgradeLinearSuperindicator().

SCIP_Bool SCIPconsIsDynamic

(

SCIP_CONS *

cons

)

returns TRUE iff constraint is subject to aging

Parameters

cons	constraint

Definition at line 7796 of file cons.c.

References NULL.

Referenced by addCliques(), addCoefTerm(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

SCIP_Bool SCIPconsIsRemovable

(

SCIP_CONS *

cons

)

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

Parameters

cons	constraint

Definition at line 7806 of file cons.c.

References NULL.

Referenced by addCliques(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addRelaxation(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createRow(), createRows(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

SCIP_Bool SCIPconsIsStickingAtNode

(

SCIP_CONS *

cons

)

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

Parameters

cons	constraint

Definition at line 7816 of file cons.c.

References NULL.

Referenced by addCliques(), addCoefTerm(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_QUADCONSUPGD(), SCIPconssetchgMakeGlobal(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

SCIP_Bool SCIPconsIsInProb

(

SCIP_CONS *

cons

)

returns TRUE iff constraint belongs to the global problem

Parameters

cons	constraint

Definition at line 7826 of file cons.c.

References NULL.

SCIP_Bool SCIPconsIsOriginal

(

SCIP_CONS *

cons

)

returns TRUE iff constraint is belonging to original space

Parameters

cons	constraint

Definition at line 7836 of file cons.c.

References NULL.

Referenced by checkOrigPbCons(), consdataFree(), consdataPrint(), getLinVarsAndAndRess(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSTRANS(), SCIPcopyOrigConss(), SCIPgetAndDatasPseudoboolean(), and SCIPreleaseCons().

SCIP_Bool SCIPconsIsTransformed

(

SCIP_CONS *

cons

)

returns TRUE iff constraint is belonging to transformed space

Parameters

cons	constraint

Definition at line 7846 of file cons.c.

References NULL.

Referenced by addCoef(), addLinearCoef(), addQuadVarTerm(), addVarSOS1(), addVarSOS2(), appendVarSOS1(), appendVarSOS2(), applyFixings(), catchLinearVarEvents(), checkConsnames(), chgLhs(), chgLinearCoefPos(), chgRhs(), consdataCreate(), consdataDeletePos(), delCoefPos(), dropLinearVarEvents(), initMatrix(), preprocessConstraintPairs(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDISABLE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIPaddBilinTermQuadratic(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddQuadVarQuadratic(), SCIPaddSquareCoefQuadratic(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsSOS1(), SCIPgetTransformedCons(), SCIPgetTransformedConss(), SCIPsetBinaryVarIndicator(), SCIPtransformCons(), SCIPtransformConss(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), writeFzn(), and writeOpbConstraints().

SCIP_Bool SCIPconsIsLockedPos

(

SCIP_CONS *

cons

)

returns TRUE iff roundings for variables in constraint are locked

Parameters

cons	constraint

Definition at line 7856 of file cons.c.

References NULL.

Referenced by SCIPlockVarCons(), and SCIPunlockVarCons().

SCIP_Bool SCIPconsIsLockedNeg

(

SCIP_CONS *

cons

)

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

Parameters

cons	constraint

Definition at line 7866 of file cons.c.

References NULL.

Referenced by SCIPlockVarCons(), and SCIPunlockVarCons().

SCIP_Bool SCIPconsIsLocked

(

SCIP_CONS *

cons

)

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

Parameters

cons	constraint

Definition at line 7876 of file cons.c.

References NULL.

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

int SCIPconsGetNLocksPos

(

SCIP_CONS *

cons

)

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

Parameters

cons	constraint

Definition at line 7886 of file cons.c.

References NULL.

int SCIPconsGetNLocksNeg

(

SCIP_CONS *

cons

)

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

Parameters

cons	constraint

Definition at line 7896 of file cons.c.

References NULL.

SCIP_Bool SCIPconsIsAdded

(

SCIP_CONS *

cons

)

returns if the constraint was already added to a SCIP instance

Parameters

cons	constraint

Definition at line 7906 of file cons.c.

References NULL.

Referenced by applyFixings(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSINITPRE(), SCIPactiveCons(), SCIPchgConsName(), SCIPdeactiveCons(), SCIPdelCons(), SCIPdelConsLocal(), SCIPdelConsNode(), SCIPenfolpCons(), SCIPenfopsCons(), SCIPinitlpCons(), and SCIPrespropCons().

void SCIPconsAddUpgradeLocks	(	SCIP_CONS *	cons,
		int	nlocks
	)

adds locks to (dis-)allow upgrading of constraint

Parameters

cons	constraint to add locks
nlocks	number of locks to add

Definition at line 7916 of file cons.c.

References NULL, and SCIP_Cons::nupgradelocks.

Referenced by createAndAddLinearCons(), createSubSCIP(), createVarUbs(), presolRoundIndicator(), propIndicator(), SCIP_DECL_CONSINITPRE(), SCIPcreateConsIndicator(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsPseudobooleanWithConss(), and tryUpgrading().

int SCIPconsGetNUpgradeLocks

(

SCIP_CONS *

cons

)

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

Parameters

cons	constraint

Definition at line 7928 of file cons.c.

References NULL.

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