Scippy

SCIP

Solving Constraint Integer Programs

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_CONSHDLRDATASCIPconshdlrGetData (SCIP_CONSHDLR *conshdlr)
 
void SCIPconshdlrSetData (SCIP_CONSHDLR *conshdlr, SCIP_CONSHDLRDATA *conshdlrdata)
 
void SCIPconshdlrSetSepa (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSSEPALP((*conssepalp)), SCIP_DECL_CONSSEPASOL((*conssepasol)), int sepafreq, int sepapriority, SCIP_Bool delaysepa)
 
void SCIPconshdlrSetProp (SCIP_CONSHDLR *conshdlr, SCIP_DECL_CONSPROP((*consprop)), int propfreq, SCIP_Bool delayprop, SCIP_PROPTIMING timingmask)
 
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 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)
 
const char * SCIPconsGetName (SCIP_CONS *cons)
 
int SCIPconsGetPos (SCIP_CONS *cons)
 
SCIP_CONSHDLRSCIPconsGetHdlr (SCIP_CONS *cons)
 
SCIP_CONSDATASCIPconsGetData (SCIP_CONS *cons)
 
int SCIPconsGetNUses (SCIP_CONS *cons)
 
int SCIPconsGetActiveDepth (SCIP_CONS *cons)
 
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.

Referenced by conshdlrAddUpdateCons().

SCIP_DECL_SORTPTRCOMP ( SCIPconshdlrCompEnfo  )

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

Definition at line 1947 of file cons.c.

SCIP_DECL_SORTPTRCOMP ( SCIPconshdlrCompCheck  )

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

Definition at line 1953 of file cons.c.

const char* SCIPconshdlrGetName ( SCIP_CONSHDLR conshdlr)

gets name of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 3897 of file cons.c.

References SCIP_Conshdlr::name, NULL, and SCIPconshdlrGetDesc().

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

const char* SCIPconshdlrGetDesc ( SCIP_CONSHDLR conshdlr)

gets description of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 3907 of file cons.c.

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

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

SCIP_CONSHDLRDATA* SCIPconshdlrGetData ( SCIP_CONSHDLR conshdlr)

gets user data of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 3917 of file cons.c.

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

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

void SCIPconshdlrSetData ( SCIP_CONSHDLR conshdlr,
SCIP_CONSHDLRDATA conshdlrdata 
)

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

Parameters
conshdlrconstraint handler
conshdlrdatanew constraint handler user data

Definition at line 3927 of file cons.c.

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

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

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

sets all separation related callbacks of the constraint handler

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

Definition at line 3938 of file cons.c.

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

Referenced by SCIPconshdlrSetData(), and SCIPsetConshdlrSepa().

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

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

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

Definition at line 3959 of file cons.c.

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

Referenced by SCIPconshdlrSetSepa(), and SCIPsetConshdlrProp().

SCIP_CONS** SCIPconshdlrGetEnfoConss ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4268 of file cons.c.

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

Referenced by SCIPconshdlrGetConss(), and SCIPreaderWrite().

SCIP_CONS** SCIPconshdlrGetCheckConss ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4278 of file cons.c.

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

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

int SCIPconshdlrGetNEnfoConss ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4298 of file cons.c.

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

Referenced by SCIPconshdlrGetNConss(), and SCIPreaderWrite().

int SCIPconshdlrGetNCheckConss ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4308 of file cons.c.

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

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

int SCIPconshdlrGetNActiveConss ( SCIP_CONSHDLR conshdlr)

gets number of active constraints of constraint handler

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

Definition at line 4322 of file cons.c.

References SCIP_Conshdlr::nactiveconss, NULL, and SCIPconshdlrGetNEnabledConss().

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

int SCIPconshdlrGetNEnabledConss ( SCIP_CONSHDLR conshdlr)

gets number of enabled constraints of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4332 of file cons.c.

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

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

SCIP_Real SCIPconshdlrGetSetupTime ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4361 of file cons.c.

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

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

SCIP_Real SCIPconshdlrGetPresolTime ( SCIP_CONSHDLR conshdlr)

gets time in seconds used for presolving in this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4371 of file cons.c.

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

Referenced by printPresolverStatistics(), and SCIPconshdlrGetSetupTime().

SCIP_Real SCIPconshdlrGetSepaTime ( SCIP_CONSHDLR conshdlr)

gets time in seconds used for separation in this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4381 of file cons.c.

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

Referenced by printConstraintTimingStatistics(), and SCIPconshdlrGetPresolTime().

SCIP_Real SCIPconshdlrGetEnfoLPTime ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4391 of file cons.c.

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

Referenced by printConstraintTimingStatistics(), and SCIPconshdlrGetSepaTime().

SCIP_Real SCIPconshdlrGetEnfoPSTime ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4401 of file cons.c.

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

Referenced by printConstraintTimingStatistics(), and SCIPconshdlrGetEnfoLPTime().

SCIP_Real SCIPconshdlrGetPropTime ( SCIP_CONSHDLR conshdlr)

gets time in seconds used for propagation in this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4411 of file cons.c.

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

Referenced by printConstraintTimingStatistics(), and SCIPconshdlrGetEnfoPSTime().

SCIP_Real SCIPconshdlrGetStrongBranchPropTime ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4421 of file cons.c.

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

Referenced by printConstraintTimingStatistics(), and SCIPconshdlrGetPropTime().

SCIP_Real SCIPconshdlrGetCheckTime ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4431 of file cons.c.

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

Referenced by printConstraintTimingStatistics(), and SCIPconshdlrGetStrongBranchPropTime().

SCIP_Real SCIPconshdlrGetRespropTime ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4441 of file cons.c.

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

Referenced by printConstraintTimingStatistics(), and SCIPconshdlrGetCheckTime().

SCIP_Longint SCIPconshdlrGetNSepaCalls ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4451 of file cons.c.

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

Referenced by printConstraintStatistics(), and SCIPconshdlrGetRespropTime().

SCIP_Longint SCIPconshdlrGetNEnfoLPCalls ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4461 of file cons.c.

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

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNSepaCalls().

SCIP_Longint SCIPconshdlrGetNEnfoPSCalls ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4471 of file cons.c.

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

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNEnfoLPCalls().

SCIP_Longint SCIPconshdlrGetNPropCalls ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4481 of file cons.c.

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

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNEnfoPSCalls().

SCIP_Longint SCIPconshdlrGetNCheckCalls ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4491 of file cons.c.

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

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNPropCalls().

SCIP_Longint SCIPconshdlrGetNRespropCalls ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4501 of file cons.c.

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

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNCheckCalls().

SCIP_Longint SCIPconshdlrGetNCutoffs ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4511 of file cons.c.

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

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNRespropCalls().

SCIP_Longint SCIPconshdlrGetNCutsFound ( SCIP_CONSHDLR conshdlr)

gets total number of cuts found by this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4521 of file cons.c.

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

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

SCIP_Longint SCIPconshdlrGetNCutsApplied ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4531 of file cons.c.

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

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNCutsFound().

SCIP_Longint SCIPconshdlrGetNConssFound ( SCIP_CONSHDLR conshdlr)

gets total number of additional constraints added by this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4561 of file cons.c.

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

Referenced by printConstraintStatistics(), and SCIPconshdlrIncNCutsFound().

SCIP_Longint SCIPconshdlrGetNDomredsFound ( SCIP_CONSHDLR conshdlr)

gets total number of domain reductions found by this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4571 of file cons.c.

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

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNConssFound().

SCIP_Longint SCIPconshdlrGetNChildren ( SCIP_CONSHDLR conshdlr)

gets number of children created by this constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4581 of file cons.c.

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

Referenced by printConstraintStatistics(), and SCIPconshdlrGetNDomredsFound().

int SCIPconshdlrGetMaxNActiveConss ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4591 of file cons.c.

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

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

int SCIPconshdlrGetStartNActiveConss ( SCIP_CONSHDLR conshdlr)

gets initial number of active constraints of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4601 of file cons.c.

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

Referenced by printConstraintStatistics(), and SCIPconshdlrGetMaxNActiveConss().

int SCIPconshdlrGetNFixedVars ( SCIP_CONSHDLR conshdlr)

gets number of variables fixed in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4611 of file cons.c.

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

Referenced by printPresolverStatistics(), and SCIPconshdlrGetStartNActiveConss().

int SCIPconshdlrGetNAggrVars ( SCIP_CONSHDLR conshdlr)

gets number of variables aggregated in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4621 of file cons.c.

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

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNFixedVars().

int SCIPconshdlrGetNChgVarTypes ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4631 of file cons.c.

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

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNAggrVars().

int SCIPconshdlrGetNChgBds ( SCIP_CONSHDLR conshdlr)

gets number of bounds changed in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4641 of file cons.c.

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

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNChgVarTypes().

int SCIPconshdlrGetNAddHoles ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4651 of file cons.c.

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

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNChgBds().

int SCIPconshdlrGetNDelConss ( SCIP_CONSHDLR conshdlr)

gets number of constraints deleted in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4661 of file cons.c.

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

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNAddHoles().

int SCIPconshdlrGetNAddConss ( SCIP_CONSHDLR conshdlr)

gets number of constraints added in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4671 of file cons.c.

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

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNDelConss().

int SCIPconshdlrGetNUpgdConss ( SCIP_CONSHDLR conshdlr)

gets number of constraints upgraded in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4681 of file cons.c.

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

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNAddConss().

int SCIPconshdlrGetNChgCoefs ( SCIP_CONSHDLR conshdlr)

gets number of coefficients changed in presolving method of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4691 of file cons.c.

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

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNUpgdConss().

int SCIPconshdlrGetNChgSides ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4701 of file cons.c.

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

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNChgCoefs().

int SCIPconshdlrGetNPresolCalls ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4711 of file cons.c.

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

Referenced by printPresolverStatistics(), and SCIPconshdlrGetNChgSides().

int SCIPconshdlrGetSepaPriority ( SCIP_CONSHDLR conshdlr)

gets separation priority of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4721 of file cons.c.

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

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

int SCIPconshdlrGetEnfoPriority ( SCIP_CONSHDLR conshdlr)

gets enforcing priority of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4731 of file cons.c.

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

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPconshdlrGetSepaPriority().

int SCIPconshdlrGetCheckPriority ( SCIP_CONSHDLR conshdlr)

gets checking priority of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4741 of file cons.c.

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

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPconshdlrGetEnfoPriority().

int SCIPconshdlrGetSepaFreq ( SCIP_CONSHDLR conshdlr)

gets separation frequency of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4751 of file cons.c.

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

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

int SCIPconshdlrGetPropFreq ( SCIP_CONSHDLR conshdlr)

gets propagation frequency of constraint handler

Parameters
conshdlrconstraint handler

Definition at line 4761 of file cons.c.

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

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPconshdlrGetSepaFreq().

int SCIPconshdlrGetEagerFreq ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4771 of file cons.c.

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

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPconshdlrGetPropFreq().

SCIP_Bool SCIPconshdlrNeedsCons ( SCIP_CONSHDLR conshdlr)

needs constraint handler a constraint to be called?

Parameters
conshdlrconstraint handler

Definition at line 4781 of file cons.c.

References SCIP_Conshdlr::needscons, NULL, SCIP_Bool, and SCIPconshdlrDoesPresolve().

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

SCIP_Bool SCIPconshdlrDoesPresolve ( SCIP_CONSHDLR conshdlr)

does the constraint handler perform presolving?

Parameters
conshdlrconstraint handler

Definition at line 4791 of file cons.c.

References NULL, SCIP_Bool, and SCIPconshdlrIsSeparationDelayed().

Referenced by printPresolverStatistics(), and SCIPconshdlrNeedsCons().

SCIP_Bool SCIPconshdlrIsSeparationDelayed ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4801 of file cons.c.

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

Referenced by SCIPconshdlrDoesPresolve().

SCIP_Bool SCIPconshdlrIsPropagationDelayed ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4811 of file cons.c.

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

Referenced by SCIPconshdlrIsSeparationDelayed().

SCIP_Bool SCIPconshdlrWasLPSeparationDelayed ( SCIP_CONSHDLR conshdlr)

was LP separation method delayed at the last call?

Parameters
conshdlrconstraint handler

Definition at line 4821 of file cons.c.

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

Referenced by SCIPconshdlrIsPropagationDelayed(), and separationRoundLP().

SCIP_Bool SCIPconshdlrWasSolSeparationDelayed ( SCIP_CONSHDLR conshdlr)

was primal solution separation method delayed at the last call?

Parameters
conshdlrconstraint handler

Definition at line 4831 of file cons.c.

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

Referenced by SCIPconshdlrWasLPSeparationDelayed(), and separationRoundSol().

SCIP_Bool SCIPconshdlrWasPropagationDelayed ( SCIP_CONSHDLR conshdlr)

was propagation method delayed at the last call?

Parameters
conshdlrconstraint handler

Definition at line 4841 of file cons.c.

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

Referenced by propagationRound(), and SCIPconshdlrWasSolSeparationDelayed().

SCIP_Bool SCIPconshdlrIsInitialized ( SCIP_CONSHDLR conshdlr)

is constraint handler initialized?

Parameters
conshdlrconstraint handler

Definition at line 4851 of file cons.c.

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

Referenced by SCIPconshdlrWasPropagationDelayed(), and SCIPsetFindPricer().

SCIP_Bool SCIPconshdlrIsClonable ( SCIP_CONSHDLR conshdlr)

does the constraint handler have a copy function?

Parameters
conshdlrconstraint handler

Definition at line 4861 of file cons.c.

References NULL, and SCIPconshdlrGetPropTiming().

Referenced by SCIPconshdlrIsInitialized(), and SCIPsetCopyPlugins().

SCIP_PROPTIMING SCIPconshdlrGetPropTiming ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4871 of file cons.c.

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

Referenced by propagationRound(), and SCIPconshdlrIsClonable().

void SCIPconshdlrSetPropTiming ( SCIP_CONSHDLR conshdlr,
SCIP_PROPTIMING  proptiming 
)

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

Parameters
conshdlrconstraint handler
proptimingtiming mask to be set

Definition at line 4881 of file cons.c.

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

Referenced by SCIPconshdlrGetPropTiming().

SCIP_PRESOLTIMING SCIPconshdlrGetPresolTiming ( SCIP_CONSHDLR conshdlr)

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

Parameters
conshdlrconstraint handler

Definition at line 4893 of file cons.c.

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

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPconshdlrSetPropTiming().

void SCIPconshdlrSetPresolTiming ( SCIP_CONSHDLR conshdlr,
SCIP_PRESOLTIMING  presoltiming 
)

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

Parameters
conshdlrconstraint handler
presoltimingtiming mask to be set

Definition at line 4903 of file cons.c.

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

Referenced by SCIPconshdlrGetPresolTiming().

const char* SCIPconsGetName ( SCIP_CONS cons)

returns the name of the constraint

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

Definition at line 7620 of file cons.c.

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

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

int SCIPconsGetPos ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7630 of file cons.c.

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

Referenced by detectRedundantConstraints(), and SCIPconsGetName().

SCIP_CONSHDLR* SCIPconsGetHdlr ( SCIP_CONS cons)

returns the constraint handler of the constraint

Parameters
consconstraint

Definition at line 7640 of file cons.c.

References SCIP_Cons::conshdlr, NULL, and SCIPconsGetData().

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

SCIP_CONSDATA* SCIPconsGetData ( SCIP_CONS cons)

returns the constraint data field of the constraint

Parameters
consconstraint

Definition at line 7650 of file cons.c.

References SCIP_Cons::consdata, NULL, and SCIPconsGetNUses().

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

int SCIPconsGetNUses ( SCIP_CONS cons)

gets number of times, the constraint is currently captured

Parameters
consconstraint

Definition at line 7660 of file cons.c.

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

Referenced by SCIPconsGetData().

int SCIPconsGetActiveDepth ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7670 of file cons.c.

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

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

int SCIPconsGetValidDepth ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7693 of file cons.c.

References SCIP_Cons::local, NULL, SCIP_Bool, SCIPconsGetActiveDepth(), SCIPconsIsActive(), SCIPconsIsEnabled(), and SCIP_Cons::validdepth.

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

SCIP_Bool SCIPconsIsActive ( SCIP_CONS cons)

returns TRUE iff constraint is active in the current node

Parameters
consconstraint

Definition at line 7681 of file cons.c.

References SCIP_Cons::active, NULL, SCIPconsGetValidDepth(), SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.

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

SCIP_Bool SCIPconsIsSeparationEnabled ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7717 of file cons.c.

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

Referenced by SCIPconsIsEnabled().

SCIP_Bool SCIPconsIsPropagationEnabled ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7728 of file cons.c.

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

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

SCIP_Bool SCIPconsIsObsolete ( SCIP_CONS cons)

returns TRUE iff constraint is marked obsolete

Parameters
consconstraint

Definition at line 7749 of file cons.c.

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

Referenced by SCIPconsIsDeleted().

SCIP_Real SCIPconsGetAge ( SCIP_CONS cons)

gets age of constraint

Parameters
consconstraint

Definition at line 7759 of file cons.c.

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

Referenced by SCIPconsIsObsolete().

SCIP_Bool SCIPconsIsInitial ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7769 of file cons.c.

References SCIP_Cons::initial, NULL, SCIP_Bool, and SCIPconsIsSeparated().

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

SCIP_Bool SCIPconsIsSeparated ( SCIP_CONS cons)

returns TRUE iff constraint should be separated during LP processing

Parameters
consconstraint

Definition at line 7779 of file cons.c.

References NULL, SCIP_Bool, SCIPconsIsEnforced(), and SCIP_Cons::separate.

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

SCIP_Bool SCIPconsIsEnforced ( SCIP_CONS cons)

returns TRUE iff constraint should be enforced during node processing

Parameters
consconstraint

Definition at line 7789 of file cons.c.

References SCIP_Cons::enforce, NULL, SCIP_Bool, and SCIPconsIsChecked().

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

SCIP_Bool SCIPconsIsChecked ( SCIP_CONS cons)

returns TRUE iff constraint should be checked for feasibility

Parameters
consconstraint

Definition at line 7799 of file cons.c.

References SCIP_Cons::check, NULL, SCIP_Bool, and SCIPconsIsMarkedPropagate().

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

SCIP_Bool SCIPconsIsMarkedPropagate ( SCIP_CONS cons)

returns whether the constraint is marked for propagation

Parameters
consconstraint

Definition at line 7809 of file cons.c.

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

Referenced by SCIPconsIsChecked().

SCIP_Bool SCIPconsIsPropagated ( SCIP_CONS cons)

returns TRUE iff constraint should be propagated during node processing

Parameters
consconstraint

Definition at line 7819 of file cons.c.

References NULL, SCIP_Cons::propagate, SCIP_Bool, and SCIPconsIsGlobal().

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

SCIP_Bool SCIPconsIsGlobal ( SCIP_CONS cons)

returns TRUE iff constraint is globally valid

Parameters
consconstraint

Definition at line 7829 of file cons.c.

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

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

SCIP_Bool SCIPconsIsLocal ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7839 of file cons.c.

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

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

SCIP_Bool SCIPconsIsModifiable ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7849 of file cons.c.

References SCIP_Cons::modifiable, NULL, SCIP_Bool, and SCIPconsIsDynamic().

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

SCIP_Bool SCIPconsIsDynamic ( SCIP_CONS cons)

returns TRUE iff constraint is subject to aging

Parameters
consconstraint

Definition at line 7859 of file cons.c.

References SCIP_Cons::dynamic, NULL, SCIP_Bool, and SCIPconsIsRemovable().

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

SCIP_Bool SCIPconsIsRemovable ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7869 of file cons.c.

References NULL, SCIP_Cons::removable, SCIP_Bool, and SCIPconsIsStickingAtNode().

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

SCIP_Bool SCIPconsIsStickingAtNode ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7879 of file cons.c.

References NULL, SCIP_Bool, SCIPconsIsInProb(), and SCIP_Cons::stickingatnode.

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

SCIP_Bool SCIPconsIsInProb ( SCIP_CONS cons)

returns TRUE iff constraint belongs to the global problem

Parameters
consconstraint

Definition at line 7889 of file cons.c.

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

Referenced by SCIPconsIsStickingAtNode().

SCIP_Bool SCIPconsIsLockedPos ( SCIP_CONS cons)

returns TRUE iff roundings for variables in constraint are locked

Parameters
consconstraint

Definition at line 7919 of file cons.c.

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

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

SCIP_Bool SCIPconsIsLockedNeg ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7929 of file cons.c.

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

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

SCIP_Bool SCIPconsIsLocked ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7939 of file cons.c.

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

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

int SCIPconsGetNLocksPos ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7949 of file cons.c.

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

Referenced by SCIPconsIsLocked().

int SCIPconsGetNLocksNeg ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7959 of file cons.c.

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

Referenced by SCIPconsGetNLocksPos().

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

adds locks to (dis-)allow upgrading of constraint

Parameters
consconstraint to add locks
nlocksnumber of locks to add

Definition at line 7979 of file cons.c.

References NULL, SCIP_Cons::nupgradelocks, and SCIPconsGetNUpgradeLocks().

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

int SCIPconsGetNUpgradeLocks ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 7991 of file cons.c.

References NULL, and SCIP_Cons::nupgradelocks.

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