Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

Public methods for constraints.

Functions

SCIP_EXPORT const char * SCIPconsGetName (SCIP_CONS *cons)
 
SCIP_EXPORT int SCIPconsGetPos (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_CONSHDLRSCIPconsGetHdlr (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_CONSDATASCIPconsGetData (SCIP_CONS *cons)
 
SCIP_EXPORT int SCIPconsGetNUses (SCIP_CONS *cons)
 
SCIP_EXPORT int SCIPconsGetActiveDepth (SCIP_CONS *cons)
 
SCIP_EXPORT int SCIPconsGetValidDepth (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsActive (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsUpdatedeactivate (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsEnabled (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsSeparationEnabled (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsPropagationEnabled (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsDeleted (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsObsolete (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsConflict (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Real SCIPconsGetAge (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsInitial (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsSeparated (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsEnforced (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsChecked (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsMarkedPropagate (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsPropagated (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsGlobal (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsLocal (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsModifiable (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsDynamic (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsRemovable (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsStickingAtNode (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsInProb (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsOriginal (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsTransformed (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsLockedPos (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsLockedNeg (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsLocked (SCIP_CONS *cons)
 
SCIP_EXPORT int SCIPconsGetNLocksPos (SCIP_CONS *cons)
 
SCIP_EXPORT int SCIPconsGetNLocksNeg (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsLockedTypePos (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsLockedTypeNeg (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsLockedType (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)
 
SCIP_EXPORT int SCIPconsGetNLocksTypePos (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)
 
SCIP_EXPORT int SCIPconsGetNLocksTypeNeg (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)
 
SCIP_EXPORT SCIP_Bool SCIPconsIsAdded (SCIP_CONS *cons)
 
SCIP_EXPORT void SCIPconsAddUpgradeLocks (SCIP_CONS *cons, int nlocks)
 
SCIP_EXPORT int SCIPconsGetNUpgradeLocks (SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPcreateCons (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_CONSHDLR *conshdlr, SCIP_CONSDATA *consdata, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode)
 
SCIP_EXPORT SCIP_RETCODE SCIPparseCons (SCIP *scip, SCIP_CONS **cons, const char *str, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode, SCIP_Bool *success)
 
SCIP_EXPORT SCIP_RETCODE SCIPcaptureCons (SCIP *scip, SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPreleaseCons (SCIP *scip, SCIP_CONS **cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPchgConsName (SCIP *scip, SCIP_CONS *cons, const char *name)
 
SCIP_EXPORT SCIP_RETCODE SCIPsetConsInitial (SCIP *scip, SCIP_CONS *cons, SCIP_Bool initial)
 
SCIP_EXPORT SCIP_RETCODE SCIPsetConsSeparated (SCIP *scip, SCIP_CONS *cons, SCIP_Bool separate)
 
SCIP_EXPORT SCIP_RETCODE SCIPsetConsEnforced (SCIP *scip, SCIP_CONS *cons, SCIP_Bool enforce)
 
SCIP_EXPORT SCIP_RETCODE SCIPsetConsChecked (SCIP *scip, SCIP_CONS *cons, SCIP_Bool check)
 
SCIP_EXPORT SCIP_RETCODE SCIPsetConsPropagated (SCIP *scip, SCIP_CONS *cons, SCIP_Bool propagate)
 
SCIP_EXPORT SCIP_RETCODE SCIPsetConsLocal (SCIP *scip, SCIP_CONS *cons, SCIP_Bool local)
 
SCIP_EXPORT SCIP_RETCODE SCIPsetConsModifiable (SCIP *scip, SCIP_CONS *cons, SCIP_Bool modifiable)
 
SCIP_EXPORT SCIP_RETCODE SCIPsetConsDynamic (SCIP *scip, SCIP_CONS *cons, SCIP_Bool dynamic)
 
SCIP_EXPORT SCIP_RETCODE SCIPsetConsRemovable (SCIP *scip, SCIP_CONS *cons, SCIP_Bool removable)
 
SCIP_EXPORT SCIP_RETCODE SCIPsetConsStickingAtNode (SCIP *scip, SCIP_CONS *cons, SCIP_Bool stickingatnode)
 
SCIP_EXPORT SCIP_RETCODE SCIPupdateConsFlags (SCIP *scip, SCIP_CONS *cons0, SCIP_CONS *cons1)
 
SCIP_EXPORT SCIP_RETCODE SCIPtransformCons (SCIP *scip, SCIP_CONS *cons, SCIP_CONS **transcons)
 
SCIP_EXPORT SCIP_RETCODE SCIPtransformConss (SCIP *scip, int nconss, SCIP_CONS **conss, SCIP_CONS **transconss)
 
SCIP_EXPORT SCIP_RETCODE SCIPgetTransformedCons (SCIP *scip, SCIP_CONS *cons, SCIP_CONS **transcons)
 
SCIP_EXPORT SCIP_RETCODE SCIPgetTransformedConss (SCIP *scip, int nconss, SCIP_CONS **conss, SCIP_CONS **transconss)
 
SCIP_EXPORT SCIP_RETCODE SCIPaddConsAge (SCIP *scip, SCIP_CONS *cons, SCIP_Real deltaage)
 
SCIP_EXPORT SCIP_RETCODE SCIPincConsAge (SCIP *scip, SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPresetConsAge (SCIP *scip, SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPenableCons (SCIP *scip, SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPdisableCons (SCIP *scip, SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPenableConsSeparation (SCIP *scip, SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPdisableConsSeparation (SCIP *scip, SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPenableConsPropagation (SCIP *scip, SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPdisableConsPropagation (SCIP *scip, SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPmarkConsPropagate (SCIP *scip, SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPunmarkConsPropagate (SCIP *scip, SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPaddConsLocksType (SCIP *scip, SCIP_CONS *cons, SCIP_LOCKTYPE locktype, int nlockspos, int nlocksneg)
 
SCIP_EXPORT SCIP_RETCODE SCIPaddConsLocks (SCIP *scip, SCIP_CONS *cons, int nlockspos, int nlocksneg)
 
SCIP_EXPORT SCIP_RETCODE SCIPcheckCons (SCIP *scip, SCIP_CONS *cons, SCIP_SOL *sol, SCIP_Bool checkintegrality, SCIP_Bool checklprows, SCIP_Bool printreason, SCIP_RESULT *result)
 
SCIP_EXPORT SCIP_RETCODE SCIPenfopsCons (SCIP *scip, SCIP_CONS *cons, SCIP_Bool solinfeasible, SCIP_Bool objinfeasible, SCIP_RESULT *result)
 
SCIP_EXPORT SCIP_RETCODE SCIPenfolpCons (SCIP *scip, SCIP_CONS *cons, SCIP_Bool solinfeasible, SCIP_RESULT *result)
 
SCIP_RETCODE SCIPenforelaxCons (SCIP *scip, SCIP_CONS *cons, SCIP_SOL *sol, SCIP_Bool solinfeasible, SCIP_RESULT *result)
 
SCIP_EXPORT SCIP_RETCODE SCIPinitlpCons (SCIP *scip, SCIP_CONS *cons, SCIP_Bool *infeasible)
 
SCIP_EXPORT SCIP_RETCODE SCIPsepalpCons (SCIP *scip, SCIP_CONS *cons, SCIP_RESULT *result)
 
SCIP_EXPORT SCIP_RETCODE SCIPsepasolCons (SCIP *scip, SCIP_CONS *cons, SCIP_SOL *sol, SCIP_RESULT *result)
 
SCIP_EXPORT SCIP_RETCODE SCIPpropCons (SCIP *scip, SCIP_CONS *cons, SCIP_PROPTIMING proptiming, SCIP_RESULT *result)
 
SCIP_EXPORT SCIP_RETCODE SCIPrespropCons (SCIP *scip, SCIP_CONS *cons, SCIP_VAR *infervar, int inferinfo, SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX *bdchgidx, SCIP_Real relaxedbd, SCIP_RESULT *result)
 
SCIP_EXPORT SCIP_RETCODE SCIPpresolCons (SCIP *scip, SCIP_CONS *cons, int nrounds, SCIP_PRESOLTIMING presoltiming, int nnewfixedvars, int nnewaggrvars, int nnewchgvartypes, int nnewchgbds, int nnewholes, int nnewdelconss, int nnewaddconss, int nnewupgdconss, int nnewchgcoefs, int nnewchgsides, int *nfixedvars, int *naggrvars, int *nchgvartypes, int *nchgbds, int *naddholes, int *ndelconss, int *naddconss, int *nupgdconss, int *nchgcoefs, int *nchgsides, SCIP_RESULT *result)
 
SCIP_EXPORT SCIP_RETCODE SCIPactiveCons (SCIP *scip, SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPdeactiveCons (SCIP *scip, SCIP_CONS *cons)
 
SCIP_EXPORT SCIP_RETCODE SCIPprintCons (SCIP *scip, SCIP_CONS *cons, FILE *file)
 
SCIP_EXPORT SCIP_RETCODE SCIPgetConsVars (SCIP *scip, SCIP_CONS *cons, SCIP_VAR **vars, int varssize, SCIP_Bool *success)
 
SCIP_EXPORT SCIP_RETCODE SCIPgetConsNVars (SCIP *scip, SCIP_CONS *cons, int *nvars, SCIP_Bool *success)
 

Function Documentation

◆ SCIPconsGetName()

SCIP_EXPORT 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 8077 of file cons.c.

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

Referenced by addAllConss(), addBranchingDecisionConss(), addCliques(), addCoef(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConflictBounds(), addConstraintToBendersSubproblem(), addCut(), addCuts(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addIntervalGradientEstimator(), addKnapsackConstraints(), addLinearConstraints(), addLinearization(), addLinearizationCuts(), addLogicOrConstraints(), addRelaxation(), addScenarioConsToProb(), addSetppcConstraints(), addSlackVars(), addSymresackInequality(), addVarbound(), addVarboundConstraints(), addVarCardinality(), addVarSOS1(), addVarSOS2(), aggregateConstraints(), aggregateVariables(), analyzeZeroResultant(), applyFixings(), branchBalancedCardinality(), branchCons(), branchUnbalancedCardinality(), checkAllConss(), checkBounddisjunction(), checkCons(), checkConsnames(), checkCurvature(), checkCurvatureEasy(), checkCurvatureExpensive(), checkFactorable(), checkFixedVariables(), checkForOverlapping(), checkKnapsack(), checkLogicor(), checkOrigPbCons(), checkOverloadViaThetaTree(), checkPackingPartitioningOrbitopeSolution(), checkRedundancy(), checkSubproblemConvexity(), checkSymresackSolution(), checkSystemGF2(), checkVarbound(), cliquePresolve(), computeED(), computeEffectiveHorizon(), computeGauge(), computeInteriorPoint(), computeReferencePointGauge(), computeSymmetryGroup(), conflictAddBound(), conflictResolveBound(), consCapacityConstraintsFinder(), consdataCheckSuperindicator(), consdataDeletePos(), consdataFixOperandsOne(), consdataFixResultantZero(), consdataLinearize(), consHasName(), constraintNonOverlappingGraph(), copyConsPseudoboolean(), copyCuts(), createCapacityRestriction(), createConsFromMonomial(), createConsFromQuadTerm(), createCoveringProblem(), createDisjuctiveCons(), createNlRow(), createRelaxation(), createRow(), createRows(), createSelectedSortedEventpointsSol(), createSubSCIP(), createVarUbs(), deleteAltLPConstraint(), deleteRedundantVars(), deleteTrivilCons(), delPosConflict(), detectImplications(), detectRedundantConstraints(), detectRedundantVars(), disableCons(), disaggregate(), dualPresolve(), dualWeightsTightening(), enfopsCons(), enfopsPackingPartitioningOrbitopeSolution(), enforceCardinality(), enforceConflictgraph(), enforceConssSOS1(), enforceConstraint(), enforceCurrentSol(), enforceIndicators(), enforceSOS2(), evaluateGauge(), fillDigraph(), findAggregation(), fixDeleteOrUpgradeCons(), fixTriangle(), generate1ConvexIndefiniteUnderestimator(), generateBoundInequalityFromSOS1Cons(), generateConvexConcaveEstimator(), generateCut(), generateCutConvex(), generateCutFactorableDo(), generateCutLTI(), generateCutNonConvex(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateCutUnboundedLP(), generateLinearizationCut(), generateOverestimatingHyperplaneCut(), generateRowCardinality(), generateRowSOS2(), initLP(), initPricing(), initsepaBoundInequalityFromCardinality(), initsepaBoundInequalityFromSOS1Cons(), liftCliqueVariables(), mergeMultiples(), polishSolution(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolveAddKKTKnapsackConss(), presolveAddKKTLinearConss(), presolveAddKKTLogicorConss(), presolveAddKKTSetppcConss(), presolveAddKKTVarboundConss(), presolveCumulativeCondition(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), printDualSol(), processBinvarFixings(), processContainedCons(), processCut(), processFixings(), processRealBoundChg(), processWatchedVars(), propagateBounds(), propagateBoundsBilinearTerm(), propagateBoundsCons(), propagateBoundsQuadVar(), propagateBoundsTightenVar(), propagateBoundsTightenVarLb(), propagateBoundsTightenVarUb(), propagateCons(), propagateConstraintSides(), propagateTimetable(), propCardinality(), propIndicator(), proposeFeasibleSolution(), propSOS2(), propVariables(), readCols(), 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_CONSENFORELAX(), SCIP_DECL_CONSEXIT(), 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_CONSPRINT(), 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_PROBCOPY(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_QUADCONSUPGD(), SCIPaddCoefLinear(), SCIPaddConsNode(), SCIPaddToNlpiProblemQuadratic(), SCIPaddToNlpiProblemSOC(), SCIPaddVarCardinality(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarCardinality(), SCIPappendVarSOS2(), SCIPboundchgApply(), SCIPconflictstoreAddConflict(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateConsSuperindicator(), SCIPincludePresolMILP(), SCIPmatrixGetRowName(), SCIPmatrixPrintRow(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPprintLinConsStats(), SCIPprobAddCons(), SCIPreaderWrite(), SCIPreoptAddCons(), SCIPreoptReset(), SCIPseparateKnapsackCuts(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPStpBranchruleApplyVertexChgs(), SCIPtimConsGetStageName(), SCIPtransformMinUC(), SCIPvisualizeConsCumulative(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectVarMultAggrBranching(), separateCons(), separateConsBinaryRepresentation(), separateConsOnIntegerVariables(), separateCoverCutsCons(), separateIndicators(), separatePoint(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), setupAndSolveSubscipRapidlearning(), simplifyInequalities(), solveIndependentCons(), tightenBounds(), tightenCapacity(), tightenCoefs(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varAddLbchginfo(), varAddUbchginfo(), and writeOpbConstraints().

◆ SCIPconsGetPos()

SCIP_EXPORT int SCIPconsGetPos ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 8087 of file cons.c.

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

Referenced by detectRedundantConstraints(), and SCIPconsGetName().

◆ SCIPconsGetHdlr()

SCIP_EXPORT SCIP_CONSHDLR* SCIPconsGetHdlr ( SCIP_CONS cons)

returns the constraint handler of the constraint

Parameters
consconstraint

Definition at line 8097 of file cons.c.

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

Referenced by addCoefTerm(), addConstraintToBendersSubproblem(), addLinearCoef(), addQuadVarTerm(), addScenarioConsToProb(), addSlackVars(), cancelRow(), catchLinearVarEvents(), checkConsnames(), checkCurvature(), checkOrigPbCons(), checkSubproblemConvexity(), chgLinearCoefPos(), computeAndConstraintInfos(), computeSymmetryGroup(), consdataCollectLinkingCons(), consdataDeletePos(), consdataPrint(), copyConsPseudoboolean(), copyToSubscip(), createAltLP(), createAndAddProofcons(), createNAryBranch(), createNlRow(), createNormalizedSetppc(), createSubSCIP(), delCoefPos(), deleteRedundantVars(), delLinearCoefPos(), delQuadVarTermPos(), detectRedundantConstraints(), detectRedundantVars(), determineTotalNumberLinearConss(), dropLinearVarEvents(), enforceCurrentSol(), enforcePseudo(), extractLinearValues(), findAggregation(), generateCut(), getLinVarsAndAndRess(), handleNewVariableSOS2(), initPricing(), preprocessConstraintPairs(), presolvePropagateCons(), printRangeSection(), processBinvarFixings(), processFixings(), processRealBoundChg(), processWatchedVars(), propagateCons(), readIndicators(), registerBranchingCandidates(), replaceQuadVarTermPos(), saveConsBounddisjuction(), saveConsLinear(), saveLocalConssData(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PROBCOPY(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPaddCoefLinear(), SCIPaddCoefLogicor(), SCIPaddCoefPseudoboolean(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddTermPseudoboolean(), SCIPaddVarCardinality(), SCIPaddVarIndicator(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarCardinality(), SCIPappendVarSOS2(), SCIPapplyHeurDualval(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcheckCurvatureNonlinear(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgBilinCoefQuadratic(), SCIPchgCardvalCardinality(), SCIPchgLhsLinear(), SCIPchgLhsPseudoboolean(), SCIPchgLhsQuadratic(), SCIPchgLinearCoefQuadratic(), SCIPchgRhsLinear(), SCIPchgRhsPseudoboolean(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPconflictstoreCleanNewIncumbent(), SCIPconsAddCoef(), SCIPconsGetDualfarkas(), SCIPconsGetDualsol(), SCIPconsGetLhs(), SCIPconsGetPos(), SCIPconsGetRhs(), SCIPconsGetRow(), SCIPconsNonlinearAddLinearCoef(), SCIPconsNonlinearGetLhs(), SCIPconsNonlinearGetRhs(), SCIPconsSetInitial(), SCIPcopyConflicts(), SCIPcopyConsLinear(), SCIPcopyOrigConss(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsSuperindicator(), SCIPdelCoefLinear(), SCIPgetActivityQuadratic(), SCIPgetAndDatasPseudoboolean(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsDataLinking(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCardvalCardinality(), SCIPgetCoefLinearAbspower(), SCIPgetConsVals(), SCIPgetCurvatureNonlinear(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolLogicor(), SCIPgetDualSolVal(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExponentAbspower(), SCIPgetExprtreeCurvaturesNonlinear(), SCIPgetFeasibilityQuadratic(), SCIPgetHmaxCumulative(), SCIPgetHmaxOptcumulative(), SCIPgetHminCumulative(), SCIPgetHminOptcumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntVarXor(), SCIPgetLhsAbspower(), SCIPgetLhsPseudoboolean(), SCIPgetLhsVarbound(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinearVarAbspower(), SCIPgetLinkvarLinking(), SCIPgetNAndsPseudoboolean(), SCIPgetNBinvarsLinking(), SCIPgetNLinVarsWithoutAndPseudoboolean(), SCIPgetNlRowAbspower(), SCIPgetNlRowSOC(), SCIPgetNonlinearVarAbspower(), SCIPgetNVarsAnd(), SCIPgetNVarsBounddisjunction(), SCIPgetNVarsCardinality(), SCIPgetNVarsCumulative(), SCIPgetNVarsLogicor(), SCIPgetNVarsOr(), SCIPgetNVarsSOS2(), SCIPgetNVarsXor(), SCIPgetOffsetAbspower(), SCIPgetResultantAnd(), SCIPgetResultantOr(), SCIPgetRhsAbspower(), SCIPgetRhsPseudoboolean(), SCIPgetRhsVarbound(), SCIPgetRhsXor(), SCIPgetRowLogicor(), SCIPgetRowVarbound(), SCIPgetSlackConsSuperindicator(), SCIPgetSlackVarIndicator(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCardinality(), SCIPgetVarsCumulative(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetViolationAbspower(), SCIPgetViolationNonlinear(), SCIPgetWeightsCardinality(), SCIPgetWeightsSOS2(), SCIPisAndConsSorted(), SCIPisConvexAbspower(), SCIPisDualSolAvailable(), SCIPmakeIndicatorFeasible(), SCIProwGetOriginConshdlr(), SCIPsetBinaryVarIndicator(), SCIPsetHmaxCumulative(), SCIPsetHmaxOptcumulative(), SCIPsetHminCumulative(), SCIPsetHminOptcumulative(), SCIPsetLinearConsIndicator(), SCIPsetSlackVarUb(), SCIPsortAndCons(), SCIPtransformMinUC(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), separateCons(), separateInequalities(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), sepastoreApplyCut(), tightenWeights(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), upgradeSuperindicator(), writeFzn(), writeOpbConstraints(), and writeOpbObjective().

◆ SCIPconsGetData()

SCIP_EXPORT SCIP_CONSDATA* SCIPconsGetData ( SCIP_CONS cons)

returns the constraint data field of the constraint

Parameters
consconstraint

Definition at line 8107 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(), addSymresackInequality(), addUserEstimator(), addVarCardinality(), addVarSOS1(), addVarSOS2(), aggregateConstraints(), analyzeConflict(), analyzeConflictOne(), analyzeConflictZero(), analyzeZeroResultant(), appendVarCardinality(), appendVarSOS1(), appendVarSOS2(), applyFixings(), applyGlobalBounds(), applyZeroFixings(), branchCons(), catchAllEvents(), catchEventBinvar(), catchEventIntvar(), catchEvents(), catchLhsVarEvents(), catchLinearVarEvents(), catchQuadVarEvents(), catchRhsVarEvents(), catchVarEvents(), checkAllConss(), checkCons(), checkCurvature(), checkCurvatureEasy(), checkCurvatureExpensive(), checkDemands(), checkFactorable(), checkFixedVariables(), checkForOverlapping(), checkFullOrbitopeSolution(), checkLPBoundsClean(), checkOrigPbCons(), checkPackingPartitioningOrbitopeSolution(), checkRedundancy(), checkRedundantCons(), checkSwitchNonoverlappingSOS1Methods(), checkSymresackSolution(), checkSystemGF2(), chgLhs(), chgLinearCoefPos(), chgRhs(), chgSideNonlinear(), chgSideQuadratic(), cliquePresolve(), collectBranchingCands(), collectCliqueConss(), collectCliqueData(), COLORconsGetComplementaryGraph(), COLORconsGetCurrentGraph(), COLORconsGetRepresentative(), COLORconsGetRepresentatives(), COLORconsGetUnion(), COLORconsGetUnions(), computeAlternativeBounds(), computeBoundsX(), computeBoundsZ(), computeED(), computeEffectiveHorizon(), computeGauge(), computeInteriorPoint(), computeReferencePointGauge(), computeReferencePointProjection(), computeViolation(), computeViolations(), consCapacityConstraintsFinder(), consdataLinearize(), consdataPrint(), consFixLinkvar(), constraintNonOverlappingGraph(), copyConsPseudoboolean(), correctLocksAndCaptures(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCoverCuts(), createCoverCutsTimepoint(), createDisjuctiveCons(), createNAryBranch(), createNlRow(), createRelaxation(), createRow(), createRows(), createSelectedSortedEventpointsSol(), createVarUbs(), delCoefPos(), deleteAltLPConstraint(), deleteRedundantVars(), deleteTrivilCons(), delLinearCoefPos(), delQuadVarTermPos(), detectImplications(), detectRedundantConstraints(), detectRedundantVars(), dropAllEvents(), dropEventBinvar(), dropEventIntvar(), dropEvents(), dropLhsVarEvents(), dropLinearVarEvents(), dropQuadVarEvents(), dropRhsVarEvents(), dropVarEvents(), dualPresolve(), dualPresolving(), dualWeightsTightening(), enfopsCons(), enfopsPackingPartitioningOrbitopeSolution(), enforceCardinality(), enforceConflictgraph(), enforceConssSOS1(), enforceConstraint(), enforceCuts(), enforceIndicators(), enforcePseudo(), enforceSOS2(), enforceViolatedFixedNonlinear(), evalLhs(), evaluateGauge(), extendToCover(), extensionOperatorSOS1(), findAggregation(), fixAlmostFixedX(), fixAltLPVariables(), fixDeleteOrUpgradeCons(), fixTriangle(), freeAllBilinearTerms(), freeSepaData(), generate1ConvexIndefiniteUnderestimator(), generateBoundInequalityFromSOS1Cons(), generateConvexConcaveEstimator(), generateCut(), generateCutConvex(), generateCutFactorable(), generateCutFactorableDo(), generateCutLTI(), generateCutNonConvex(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateCutUnboundedLP(), generateLinearizationCut(), generateOverestimatingHyperplaneCut(), generateRowCardinality(), generateRowSOS2(), generateSparseCut(), getDiveBdChgsSOS1constraints(), getHighestCapacityUsage(), getLinVarsAndAndRess(), getVarWeight(), initConflictgraph(), initializeDurations(), initLP(), initsepaBoundInequalityFromCardinality(), initsepaBoundInequalityFromSOS1Cons(), initSepaData(), isConsIndependently(), isConsViolated(), isConvexLocal(), liftCliqueVariables(), lockLinearVariable(), lockRounding(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), mergeAndCleanBilinearTerms(), mergeAndCleanLinearVars(), mergeAndCleanQuadVarTerms(), mergeMultiples(), normalizeDemands(), performVarDeletions(), polishPrimalSolution(), polishSolution(), prepareCons(), preprocessCliques(), preprocessConstraintPairs(), presolRoundConssSOS1(), presolveConsEffectiveHorizon(), presolveCumulativeCondition(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveSolve(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), prettifyConss(), processBinvarFixings(), processContainedCons(), processCut(), processFixings(), processRealBoundChg(), processWatchedVars(), propagateBounds(), propagateBoundsCons(), propagateCons(), propagateConstraintSides(), propagateFullOrbitopeCons(), propagatePackingPartitioningCons(), propagateVarbounds(), proposeBranchingPoint(), proposeFeasibleSolution(), propVariables(), reformReplaceNode(), reformulate(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), removeBilinearTermsPos(), removeConsFromOccurList(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedBinvars(), removeFixedLinearVariables(), removeFixedVariables(), removeIrrelevantJobs(), removeOversizedJobs(), removeRedundantConss(), removeRedundantConssAndNonzeros(), removeRedundantConstraints(), removeRedundantNonZeros(), replaceByLinearConstraints(), replaceQuadVarTermPos(), replaceViolatedByLinearConstraints(), resolvePropagation(), resolvePropagationFullOrbitope(), 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_CONSENFORELAX(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SORTPTRCOMP(), SCIPaddBilinTermQuadratic(), SCIPaddCoefLinear(), SCIPaddCoefPseudoboolean(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddConstantQuadratic(), SCIPaddExprtreesNonlinear(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddSquareCoefQuadratic(), SCIPaddToNlpiProblemQuadratic(), SCIPaddToNlpiProblemSOC(), SCIPaddVarIndicator(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgBilinCoefQuadratic(), SCIPchgCardvalCardinality(), SCIPchgCoefLinear(), SCIPchgLhsPseudoboolean(), SCIPchgLhsQuadratic(), SCIPchgLinearCoefQuadratic(), SCIPchgRhsPseudoboolean(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPconsGetHdlr(), SCIPfindQuadVarTermQuadratic(), SCIPgetActivityQuadratic(), SCIPgetAndDatasPseudoboolean(), SCIPgetBilinTermsQuadratic(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsDataLinking(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCapacityKnapsack(), SCIPgetCardvalCardinality(), SCIPgetCoefLinearAbspower(), SCIPgetCoefsLinearVarsQuadratic(), SCIPgetCurvatureNonlinear(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasKnapsack(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasSetppc(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolKnapsack(), SCIPgetDualsolLogicor(), SCIPgetDualsolSetppc(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExponentAbspower(), SCIPgetExprgraphNodeNonlinear(), SCIPgetExprtreeBivariate(), SCIPgetExprtreeCoefsNonlinear(), SCIPgetExprtreeCurvaturesNonlinear(), SCIPgetExprtreesNonlinear(), SCIPgetFeasibilityQuadratic(), SCIPgetHmaxCumulative(), SCIPgetHmaxOptcumulative(), SCIPgetHminCumulative(), SCIPgetHminOptcumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntVarXor(), SCIPgetItemid1Samediff(), SCIPgetItemid2Samediff(), SCIPgetLhsAbspower(), SCIPgetLhsBivariate(), SCIPgetLhsCoefsSOC(), SCIPgetLhsConstantSOC(), SCIPgetLhsNonlinear(), SCIPgetLhsOffsetsSOC(), SCIPgetLhsPseudoboolean(), SCIPgetLhsQuadratic(), SCIPgetLhsVarbound(), SCIPgetLhsVarsSOC(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearCoefBivariate(), SCIPgetLinearCoefsNonlinear(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinearVarAbspower(), SCIPgetLinearVarBivariate(), SCIPgetLinearVarsNonlinear(), SCIPgetLinearVarsQuadratic(), SCIPgetLinkvarLinking(), SCIPgetLinvarMayDecreaseNonlinear(), SCIPgetLinvarMayDecreaseQuadratic(), SCIPgetLinvarMayIncreaseNonlinear(), SCIPgetLinvarMayIncreaseQuadratic(), SCIPgetNAndsPseudoboolean(), SCIPgetNBilinTermsQuadratic(), SCIPgetNBinvarsLinking(), SCIPgetNExprtreesNonlinear(), SCIPgetNFixedonesSetppc(), SCIPgetNFixedzerosSetppc(), SCIPgetNLhsVarsSOC(), SCIPgetNLinearVarsNonlinear(), SCIPgetNLinearVarsQuadratic(), SCIPgetNLinVarsWithoutAndPseudoboolean(), SCIPgetNlRowAbspower(), SCIPgetNlRowNonlinear(), SCIPgetNlRowQuadratic(), SCIPgetNlRowSOC(), SCIPgetNonlinearVarAbspower(), SCIPgetNQuadVarTermsQuadratic(), SCIPgetNVarsAnd(), SCIPgetNVarsBounddisjunction(), SCIPgetNVarsCardinality(), 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(), SCIPgetTypeSamediff(), SCIPgetTypeSetppc(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCardinality(), SCIPgetVarsCumulative(), SCIPgetVarsKnapsack(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSetppc(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetViolationAbspower(), SCIPgetViolationNonlinear(), SCIPgetViolationQuadratic(), SCIPgetWeightsCardinality(), SCIPgetWeightsKnapsack(), SCIPgetWeightsSOS2(), SCIPisAndConsSorted(), SCIPisConcaveQuadratic(), SCIPisConvexAbspower(), SCIPisConvexConsQuadratic(), SCIPisConvexQuadratic(), SCIPisLinearLocalQuadratic(), SCIPisViolatedIndicator(), SCIPmakeIndicatorFeasible(), SCIPmakeIndicatorsFeasible(), SCIPsetBinaryVarIndicator(), SCIPsetExprtreesNonlinear(), SCIPsetHmaxCumulative(), SCIPsetHmaxOptcumulative(), SCIPsetHminCumulative(), SCIPsetHminOptcumulative(), SCIPsetLinearConsIndicator(), SCIPsetSlackVarUb(), SCIPsortAndCons(), SCIPsortQuadVarTermsQuadratic(), SCIPStpConshdlrSetGraph(), SCIPvisualizeConsCumulative(), separateCons(), separateConsBinaryRepresentation(), separateConsOnIntegerVariables(), separateConstraints(), separateCoverCutsCons(), separateCoversOrbisack(), separateIISRounding(), separateIndicators(), separatePerspective(), separatePoint(), sepaSubtour(), setAltLPObj(), setAltLPObjZero(), setIntvar(), shortenConss(), simplifyInequalities(), solveIndependentCons(), splitOffLinearPart(), storeAllBilinearTerms(), strengthenConss(), strengthenVarbounds(), switchWatchedvars(), tightenCapacity(), tightenCoefs(), tightenWeights(), tryUpgrading(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), unfixAltLPVariables(), unlockLinearVariable(), unlockRounding(), updateAndConss(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPconsGetNUses()

SCIP_EXPORT int SCIPconsGetNUses ( SCIP_CONS cons)

gets number of times, the constraint is currently captured

Parameters
consconstraint

Definition at line 8117 of file cons.c.

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

Referenced by SCIPconsGetData().

◆ SCIPconsGetActiveDepth()

SCIP_EXPORT 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 8127 of file cons.c.

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

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

◆ SCIPconsGetValidDepth()

SCIP_EXPORT 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 8160 of file cons.c.

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

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

◆ SCIPconsIsActive()

SCIP_EXPORT SCIP_Bool SCIPconsIsActive ( SCIP_CONS cons)

returns TRUE iff constraint is active in the current node

Parameters
consconstraint

Definition at line 8138 of file cons.c.

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

Referenced by addAllConss(), addAltLPConstraint(), addBranchingDecisionConss(), addCliques(), addConsToOccurList(), aggregateConstraints(), calcNonZeros(), checkForOverlapping(), cleanupHashDatas(), cliquePresolve(), collectBranchingCands(), collectCliqueConss(), collectCliqueData(), computeSymmetryGroup(), copyToSubscip(), correctPresoldata(), createPresoldata(), createVarUbs(), detectRedundantConstraints(), dualPresolve(), dualPresolving(), enforceConstraint(), 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_CONSENFOPS(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIPaddExprtreesNonlinear(), SCIPanalyzeConflictCons(), SCIPconflictstoreGetConflicts(), SCIPconsGetActiveDepth(), SCIPconsGetValidDepth(), SCIPconshdlrInitLP(), SCIPconssetchgAddAddedCons(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPgetViolationNonlinear(), SCIPmakeIndicatorFeasible(), SCIPnodeAddCons(), SCIPprobAddCons(), SCIPreoptResetActiveConss(), SCIPreoptSaveActiveConss(), SCIPsetExprtreesNonlinear(), separatePerspective(), separatePoint(), strengthenConss(), switchWatchedvars(), tryOneOpt(), trySolCandidate(), tryUpgrading(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateAndConss(), and upgradeConss().

◆ SCIPconsIsUpdatedeactivate()

SCIP_EXPORT SCIP_Bool SCIPconsIsUpdatedeactivate ( SCIP_CONS cons)

returns TRUE iff constraint has to be deactivated in update phase

returns TRUE iff constraint is active in the current node

Parameters
consconstraint

Definition at line 8148 of file cons.c.

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

Referenced by SCIP_DECL_EVENTEXEC(), and SCIPconsIsActive().

◆ SCIPconsIsEnabled()

SCIP_EXPORT SCIP_Bool SCIPconsIsEnabled ( SCIP_CONS cons)

returns TRUE iff constraint is enabled in the current node

Parameters
consconstraint

Definition at line 8174 of file cons.c.

References SCIP_Cons::enabled, NULL, SCIP_Bool, SCIPconsIsSeparationEnabled(), SCIP_Cons::updatedisable, and SCIP_Cons::updateenable.

Referenced by addFixedVarsConss(), addKnapsackConstraints(), addLinearCoef(), addLinearConstraints(), addLinearizationCuts(), addLogicOrConstraints(), addQuadVarTerm(), addSetppcConstraints(), addVarboundConstraints(), catchLinearVarEvents(), checkBounddisjunction(), checkConsnames(), checkKnapsack(), checkLogicor(), checkVarbound(), chgLinearCoefPos(), chgSideNonlinear(), chgSideQuadratic(), delLinearCoefPos(), initPricing(), printRangeSection(), propagateBounds(), propagateConstraintSides(), registerBranchingCandidates(), registerLargeRelaxValueVariableForBranching(), replaceQuadVarTermPos(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRICERREDCOST(), SCIPaddBilinTermQuadratic(), SCIPaddConstantQuadratic(), SCIPaddLinearVarQuadratic(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddQuadVarQuadratic(), SCIPaddSquareCoefQuadratic(), SCIPconsGetValidDepth(), SCIPconsIsPropagationEnabled(), SCIPconsIsSeparationEnabled(), SCIPmarkConsPropagate(), SCIPunmarkConsPropagate(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), separatePoint(), splitOffLinearPart(), writeFzn(), and writeOpbConstraints().

◆ SCIPconsIsSeparationEnabled()

SCIP_EXPORT SCIP_Bool SCIPconsIsSeparationEnabled ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 8184 of file cons.c.

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

Referenced by SCIPconsIsEnabled().

◆ SCIPconsIsPropagationEnabled()

SCIP_EXPORT SCIP_Bool SCIPconsIsPropagationEnabled ( SCIP_CONS cons)

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

Parameters
consconstraint

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

◆ SCIPconsIsDeleted()

SCIP_EXPORT SCIP_Bool SCIPconsIsDeleted ( SCIP_CONS cons)

returns TRUE iff constraint is deleted or marked to be deleted

Parameters
consconstraint

Definition at line 8206 of file cons.c.

References SCIP_Cons::deleted, NULL, SCIP_Bool, and SCIPconsIsObsolete().

Referenced by addCliques(), addExtraCliques(), addScenarioConsToProb(), cleanDeletedAndCheckedConflicts(), cleanDeletedAndCheckedDualrayCons(), cleanDeletedAndCheckedDualsolCons(), cleanupHashDatas(), collectCliqueConss(), computeAlternativeBounds(), computeConsAndDataChanges(), conflictstoreCleanUpStorage(), consdataPrint(), copyConsPseudoboolean(), copyToSubscip(), correctConshdlrdata(), correctLocksAndCaptures(), delPosConflict(), delPosDualray(), delPosDualsol(), detectRedundantVars(), dualWeightsTightening(), findAggregation(), fixDeleteOrUpgradeCons(), getLinVarsAndAndRess(), mergeMultiples(), prepareCons(), presolveCons(), presolveFindDuplicates(), prettifyConss(), propagateBounds(), propagateCons(), propagateConstraintSides(), reformulate(), removeConstraintsDueToNegCliques(), removeCoreVariablesAndConstraints(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConssAndNonzeros(), removeVariablesAndConstraintsFromMaster(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_SORTPTRCOMP(), SCIPactiveCons(), SCIPcleanupConssLogicor(), SCIPcleanupConssSetppc(), SCIPconflictstoreCleanNewIncumbent(), SCIPconflictstoreGetConflicts(), SCIPconsIsPropagationEnabled(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPisViolatedIndicator(), SCIPreoptResetActiveConss(), SCIPwriteLp(), SCIPwriteMps(), separatePoint(), shortenConss(), simplifyInequalities(), strengthenConss(), tightenWeights(), tryUpgrading(), updateConsanddataUses(), and upgradeCons().

◆ SCIPconsIsObsolete()

SCIP_EXPORT SCIP_Bool SCIPconsIsObsolete ( SCIP_CONS cons)

returns TRUE iff constraint is marked obsolete

Parameters
consconstraint

Definition at line 8216 of file cons.c.

References NULL, SCIP_Cons::obsolete, SCIP_Bool, SCIPconsIsConflict(), and SCIP_Cons::updateobsolete.

Referenced by SCIPconsIsDeleted().

◆ SCIPconsIsConflict()

SCIP_EXPORT SCIP_Bool SCIPconsIsConflict ( SCIP_CONS cons)

returns TRUE iff constraint is marked as a conflict

Parameters
consconstraint

Definition at line 8226 of file cons.c.

References SCIP_Cons::conflict, NULL, SCIP_Real, and SCIPconsGetAge().

Referenced by computeSymmetryGroup(), SCIPconsIsObsolete(), SCIPcopyConflicts(), and SCIPcopyConss().

◆ SCIPconsGetAge()

◆ SCIPconsIsInitial()

SCIP_EXPORT 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 8246 of file cons.c.

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

Referenced by addCliques(), addCoefTerm(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processRealBoundChg(), 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_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsGetAge(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPconsIsSeparated()

SCIP_EXPORT SCIP_Bool SCIPconsIsSeparated ( SCIP_CONS cons)

returns TRUE iff constraint should be separated during LP processing

Parameters
consconstraint

Definition at line 8256 of file cons.c.

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

Referenced by addCliques(), addConstraintToBendersSubproblem(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processRealBoundChg(), 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_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsIsInitial(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPconsIsEnforced()

SCIP_EXPORT SCIP_Bool SCIPconsIsEnforced ( SCIP_CONS cons)

returns TRUE iff constraint should be enforced during node processing

Parameters
consconstraint

Definition at line 8266 of file cons.c.

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

Referenced by addCliques(), addCoefTerm(), addConstraintToBendersSubproblem(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), processRealBoundChg(), 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_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsIsSeparated(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPconsIsChecked()

SCIP_EXPORT SCIP_Bool SCIPconsIsChecked ( SCIP_CONS cons)

returns TRUE iff constraint should be checked for feasibility

Parameters
consconstraint

Definition at line 8276 of file cons.c.

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

Referenced by addAllConss(), addCoefTerm(), addConsToOccurList(), addConstraintToBendersSubproblem(), addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addScenarioConsToProb(), addSetppcConstraints(), addVarboundConstraints(), aggregateConstraints(), applyFixings(), applyZeroFixings(), branchCons(), calcNonZeros(), checkSolOrig(), cleanDeletedAndCheckedConflicts(), cleanDeletedAndCheckedDualrayCons(), cleanDeletedAndCheckedDualsolCons(), cliquePresolve(), computeAlternativeBounds(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualPresolving(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fillVariableGraph(), findAggregation(), fixDeleteOrUpgradeCons(), presolRoundCardinality(), presolRoundConsSOS1(), presolveConsEst(), presolveConsLct(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), processRealBoundChg(), 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_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsIsEnforced(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPprobAddCons(), SCIPprobDelCons(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), solveIndependentCons(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateAndConss(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPconsIsMarkedPropagate()

◆ SCIPconsIsPropagated()

SCIP_EXPORT SCIP_Bool SCIPconsIsPropagated ( SCIP_CONS cons)

returns TRUE iff constraint should be propagated during node processing

Parameters
consconstraint

Definition at line 8296 of file cons.c.

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

Referenced by addCliques(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processRealBoundChg(), 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_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsIsMarkedPropagate(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPconsIsGlobal()

SCIP_EXPORT SCIP_Bool SCIPconsIsGlobal ( SCIP_CONS cons)

returns TRUE iff constraint is globally valid

Parameters
consconstraint

Definition at line 8306 of file cons.c.

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

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

◆ SCIPconsIsLocal()

SCIP_EXPORT 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 8316 of file cons.c.

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

Referenced by addCliques(), addCoefTerm(), addConstraintToBendersSubproblem(), addLinearizationCuts(), addRelaxation(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createCoverCutsTimepoint(), createNAryBranch(), createRelaxation(), createRow(), createRows(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), generateCut(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), initsepaBoundInequalityFromCardinality(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processRealBoundChg(), 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_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPaddLinearConsIndicator(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPconsIsGlobal(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPtransformMinUC(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPconsIsModifiable()

SCIP_EXPORT SCIP_Bool SCIPconsIsModifiable ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 8326 of file cons.c.

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

Referenced by addAllConss(), addCliques(), addCoefTerm(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addRelaxation(), addScenarioConsToProb(), aggregateConstraints(), analyzeConflictOne(), analyzeConflictZero(), applyFixings(), branchCons(), checkSolOrig(), cleanupHashDatas(), cliquePresolve(), collectCliqueConss(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), correctPresoldata(), createConsFromMonomial(), createConsFromQuadTerm(), createCoverCutsTimepoint(), createNAryBranch(), createPresoldata(), createRelaxation(), createRow(), createRows(), createVarUbs(), deleteRedundantVars(), detectRedundantConstraints(), detectRedundantVars(), dualPresolve(), dualPresolving(), dualWeightsTightening(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), normalizeDemands(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundConssSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), processBinvarFixings(), processFixings(), processRealBoundChg(), processWatchedVars(), propagateCons(), propCardinality(), 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_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsIsLocal(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPmatrixCreate(), simplifyInequalities(), solveIndependentCons(), strengthenConss(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), and upgradeLinearSuperindicator().

◆ SCIPconsIsDynamic()

SCIP_EXPORT SCIP_Bool SCIPconsIsDynamic ( SCIP_CONS cons)

returns TRUE iff constraint is subject to aging

Parameters
consconstraint

Definition at line 8336 of file cons.c.

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

Referenced by addCliques(), addCoefTerm(), addConstraintToBendersSubproblem(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processRealBoundChg(), 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_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsIsModifiable(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPconsIsRemovable()

SCIP_EXPORT 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 8346 of file cons.c.

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

Referenced by addCliques(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addRelaxation(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createRow(), createRows(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processRealBoundChg(), 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_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsIsDynamic(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), setupAndSolveSubscipRapidlearning(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPconsIsStickingAtNode()

SCIP_EXPORT 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 8356 of file cons.c.

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

Referenced by addCliques(), addCoefTerm(), addConstraintToBendersSubproblem(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processRealBoundChg(), 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_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPconsIsRemovable(), SCIPconssetchgMakeGlobal(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPconsIsInProb()

SCIP_EXPORT SCIP_Bool SCIPconsIsInProb ( SCIP_CONS cons)

returns TRUE iff constraint belongs to the global problem

Parameters
consconstraint

Definition at line 8366 of file cons.c.

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

Referenced by SCIPconsIsStickingAtNode().

◆ SCIPconsIsOriginal()

◆ SCIPconsIsTransformed()

◆ SCIPconsIsLockedPos()

SCIP_EXPORT SCIP_Bool SCIPconsIsLockedPos ( SCIP_CONS cons)

returns TRUE iff roundings for variables in constraint are locked

Parameters
consconstraint

Definition at line 8396 of file cons.c.

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

Referenced by SCIPconsIsTransformed().

◆ SCIPconsIsLockedNeg()

SCIP_EXPORT SCIP_Bool SCIPconsIsLockedNeg ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 8406 of file cons.c.

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

Referenced by SCIPconsIsLockedPos().

◆ SCIPconsIsLocked()

SCIP_EXPORT 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 8416 of file cons.c.

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

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

◆ SCIPconsGetNLocksPos()

SCIP_EXPORT int SCIPconsGetNLocksPos ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 8426 of file cons.c.

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

Referenced by SCIPconsIsLocked().

◆ SCIPconsGetNLocksNeg()

SCIP_EXPORT int SCIPconsGetNLocksNeg ( SCIP_CONS cons)

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

Parameters
consconstraint

Definition at line 8436 of file cons.c.

References SCIP_Cons::nlocksneg, NULL, SCIP_Bool, SCIP_LOCKTYPE_MODEL, and SCIPconsIsLockedTypePos().

Referenced by SCIPconsGetNLocksPos().

◆ SCIPconsIsLockedTypePos()

SCIP_EXPORT SCIP_Bool SCIPconsIsLockedTypePos ( SCIP_CONS cons,
SCIP_LOCKTYPE  locktype 
)

returns TRUE iff roundings of the given locktype for variables in constraint are locked

Parameters
consconstraint
locktypevariable lock type

Definition at line 8446 of file cons.c.

References SCIP_Cons::nlockspos, NLOCKTYPES, NULL, SCIP_Bool, and SCIPconsIsLockedTypeNeg().

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

◆ SCIPconsIsLockedTypeNeg()

SCIP_EXPORT SCIP_Bool SCIPconsIsLockedTypeNeg ( SCIP_CONS cons,
SCIP_LOCKTYPE  locktype 
)

returns TRUE iff roundings of the given locktype for variables in constraint are locked

Parameters
consconstraint
locktypevariable lock type

Definition at line 8458 of file cons.c.

References SCIP_Cons::nlocksneg, NLOCKTYPES, NULL, SCIP_Bool, and SCIPconsIsLockedType().

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

◆ SCIPconsIsLockedType()

SCIP_EXPORT SCIP_Bool SCIPconsIsLockedType ( SCIP_CONS cons,
SCIP_LOCKTYPE  locktype 
)

returns TRUE iff roundings of the given locktype for variables in constraint or in constraint's negation are locked

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

Parameters
consconstraint
locktypevariable lock type

Definition at line 8470 of file cons.c.

References SCIP_Cons::nlocksneg, SCIP_Cons::nlockspos, NLOCKTYPES, NULL, and SCIPconsGetNLocksTypePos().

Referenced by chgLhs(), chgLinearCoefPos(), chgRhs(), chgSideNonlinear(), lockRounding(), lockRoundingAndCons(), SCIPconsIsLockedTypeNeg(), splitOffLinearPart(), unlockLinearVariable(), unlockRounding(), and unlockRoundingAndCons().

◆ SCIPconsGetNLocksTypePos()

SCIP_EXPORT int SCIPconsGetNLocksTypePos ( SCIP_CONS cons,
SCIP_LOCKTYPE  locktype 
)

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

Parameters
consconstraint
locktypevariable lock type

Definition at line 8482 of file cons.c.

References SCIP_Cons::nlockspos, NLOCKTYPES, NULL, and SCIPconsGetNLocksTypeNeg().

Referenced by SCIPconsIsLockedType().

◆ SCIPconsGetNLocksTypeNeg()

SCIP_EXPORT int SCIPconsGetNLocksTypeNeg ( SCIP_CONS cons,
SCIP_LOCKTYPE  locktype 
)

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

Parameters
consconstraint
locktypevariable lock type

Definition at line 8494 of file cons.c.

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

Referenced by SCIPconsGetNLocksTypePos().

◆ SCIPconsIsAdded()

◆ SCIPconsAddUpgradeLocks()

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

◆ SCIPconsGetNUpgradeLocks()

SCIP_EXPORT 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 8528 of file cons.c.

References NULL, and SCIP_Cons::nupgradelocks.

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

◆ SCIPcreateCons()

SCIP_EXPORT SCIP_RETCODE SCIPcreateCons ( SCIP scip,
SCIP_CONS **  cons,
const char *  name,
SCIP_CONSHDLR conshdlr,
SCIP_CONSDATA consdata,
SCIP_Bool  initial,
SCIP_Bool  separate,
SCIP_Bool  enforce,
SCIP_Bool  check,
SCIP_Bool  propagate,
SCIP_Bool  local,
SCIP_Bool  modifiable,
SCIP_Bool  dynamic,
SCIP_Bool  removable,
SCIP_Bool  stickingatnode 
)

creates and captures a constraint of the given constraint handler

Warning
If a constraint is marked to be checked for feasibility but not to be enforced, a LP or pseudo solution may be declared feasible even if it violates this particular constraint. This constellation should only be used, if no LP or pseudo solution can violate the constraint – e.g. if a local constraint is redundant due to the variable's local bounds.
Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
Parameters
scipSCIP data structure
conspointer to constraint
namename of constraint
conshdlrconstraint handler for this constraint
consdatadata for this specific constraint
initialshould the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'.
separateshould the constraint be separated during LP processing? Usually set to TRUE.
enforceshould the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints.
checkshould the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints.
propagateshould the constraint be propagated during node processing? Usually set to TRUE.
localis constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints.
modifiableis constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint.
dynamicis constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints.
removableshould the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'.
stickingatnodeshould the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data.

Definition at line 934 of file scip_cons.c.

References FALSE, Scip::mem, NULL, SCIP_Mem::probmem, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPcheckStage(), SCIPconsCreate(), SCIPerrorMessage, Scip::set, SCIP_Set::stage, and TRUE.

Referenced by COLORcreateConsStoreGraph(), createConsComponents(), createConsSetppc(), createConsStoreGraphAtRoot(), createConsXorIntvar(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSTRANS(), SCIPcreateConsAbspower(), SCIPcreateConsAnd(), SCIPcreateConsBivariate(), SCIPcreateConsBounddisjunction(), SCIPcreateConsBounddisjunctionRedundant(), SCIPcreateConsCardinality(), SCIPcreateConsConjunction(), SCIPcreateConsCumulative(), SCIPcreateConsDisjunction(), SCIPcreateConsIndicator(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsKnapsack(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsLogicor(), SCIPcreateConsLOP(), SCIPcreateConsNonlinear(), SCIPcreateConsNonlinear2(), SCIPcreateConsOptcumulative(), SCIPcreateConsOr(), SCIPcreateConsOrbisack(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsQuadratic(), SCIPcreateConsQuadratic2(), SCIPcreateConsSamediff(), SCIPcreateConsSOC(), SCIPcreateConsSOS1(), SCIPcreateConsSOS2(), SCIPcreateConsStp(), tsp::SCIPcreateConsSubtour(), SCIPcreateConsSuperindicator(), SCIPcreateConsSymresack(), SCIPcreateConsVarbound(), and SCIPcreateConsXor().

◆ SCIPparseCons()

SCIP_EXPORT SCIP_RETCODE SCIPparseCons ( SCIP scip,
SCIP_CONS **  cons,
const char *  str,
SCIP_Bool  initial,
SCIP_Bool  separate,
SCIP_Bool  enforce,
SCIP_Bool  check,
SCIP_Bool  propagate,
SCIP_Bool  local,
SCIP_Bool  modifiable,
SCIP_Bool  dynamic,
SCIP_Bool  removable,
SCIP_Bool  stickingatnode,
SCIP_Bool success 
)

parses constraint information (in cip format) out of a string; if the parsing process was successful a constraint is creates and captures;

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Warning
If a constraint is marked to be checked for feasibility but not to be enforced, a LP or pseudo solution may be declared feasible even if it violates this particular constraint. This constellation should only be used, if no LP or pseudo solution can violate the constraint – e.g. if a local constraint is redundant due to the variable's local bounds.
Parameters
scipSCIP data structure
conspointer to store constraint
strstring to parse for constraint
initialshould the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'.
separateshould the constraint be separated during LP processing? Usually set to TRUE.
enforceshould the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints.
checkshould the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints.
propagateshould the constraint be propagated during node processing? Usually set to TRUE.
localis constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints.
modifiableis constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint.
dynamicis constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints.
removableshould the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'.
stickingatnodeshould the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data.
successpointer to store if the paring process was successful

Definition at line 1018 of file scip_cons.c.

References FALSE, Scip::messagehdlr, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsParse(), Scip::set, and TRUE.

Referenced by getConstraint(), SCIP_DECL_CONSPARSE(), and SCIP_DECL_DIALOGEXEC().

◆ SCIPcaptureCons()

◆ SCIPreleaseCons()

SCIP_EXPORT SCIP_RETCODE SCIPreleaseCons ( SCIP scip,
SCIP_CONS **  cons 
)

decreases usage counter of constraint, if the usage pointer reaches zero the constraint gets freed

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
the pointer of the constraint will be NULLed
Parameters
scipSCIP data structure
conspointer to constraint

Definition at line 1110 of file scip_cons.c.

References FALSE, Scip::mem, NULL, SCIP_Mem::probmem, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPcheckStage(), SCIPconsIsOriginal(), SCIPconsRelease(), SCIPerrorMessage, Scip::set, SCIP_Set::stage, and TRUE.

Referenced by addBranchingComplementaritiesSOS1(), addBranchingDecisionConss(), addCliques(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addFixedVarsConss(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addLocalConss(), addLowerboundCons(), addScenarioConsToProb(), addSplitcons(), addTrustRegionConstraints(), addVarbound(), adjustOversizedJobBounds(), aggregateConstraints(), aggregation(), applyFixings(), applyRepair(), BENDERS_CUTORACLE(), branchBalancedCardinality(), branchOnVertex(), cancelRow(), cleanupHashDatas(), cliquePresolve(), polyscip::Polyscip::computeNondomPoints(), consdataDeletePos(), consdataFree(), consdataLinearize(), copyConsPseudoboolean(), copyCuts(), copyToSubscip(), correctConshdlrdata(), correctPresoldata(), CREATE_CONSTRAINT(), createAndAddAndCons(), createAndAddLinearCons(), createAndAddProofcons(), createAndAddTransferredCut(), createAndApplyStoredBendersCut(), createBounddisjunctionCons(), createCapacityRestriction(), createCipFormulation(), createConflict(), createConflictCons(), createConsCumulative(), createConstraints(), createCoveringProblem(), createCumulativeCons(), createIndicatorConstraint(), createIntervalRelaxation(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createLinearCons(), createMIP(), createMipCpFormulation(), createMipFormulation(), createNAryBranch(), createOriginalproblem(), createPrecedenceCons(), createProbOnlyEdge(), createProbQP(), createProbSimplified(), createProbSimplifiedTest(), createQuadraticCons(), createRow(), createRows(), createSetPackingCons(), createSubproblem(), createSubproblems(), createSubSCIP(), createSubscip(), createVarboundCons(), createVarUbs(), CUTOFF_CONSTRAINT(), deleteRedundantVars(), deleteSubproblem(), delSymConss(), detectRedundantVars(), disaggregate(), dualPresolve(), dualWeightsTightening(), execmain(), executeStrongBranching(), extendToCover(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), fixVariableZeroNode(), forbidCover(), forbidFixation(), freeSymmetryData(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), getConstraint(), getFixedVariable(), infinityCountUpdate(), initPricing(), main(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), probdataFree(), processNlRow(), processRealBoundChg(), propIndicator(), readBounds(), readCnf(), readConstraints(), readIndicators(), readLIBSVM(), readNonlinearExprs(), readObjective(), readOPBFile(), readQCMatrix(), readQMatrix(), readQuadraticCoefs(), readRows(), readRowsMop(), readSemicontinuous(), readSOS(), readSos(), readSOScons(), readVariables(), reformMonomial(), reformNode2Var(), reformulate(), releaseHashmapEntries(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECPS(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICEREXITSOL(), SCIP_DECL_PRICERINIT(), SCIP_DECL_PROBDELORIG(), SCIP_DECL_PROBDELTRANS(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERREAD(), SCIP_DECL_SOLVECUMULATIVE(), SCIPaddConflict(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateSchedulingProblem(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetVarCopy(), SCIPincludePresolMILP(), SCIPprobdataCreate(), SCIPsetLinearConsIndicator(), SCIPStpDualAscent(), SCIPStpDualAscentPcMw(), SCIPtransformMinUC(), SCIPverifyCircularPatternNLP(), selectVarMultAggrBranching(), setObjective(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupProblem(), setupSubproblem(), setupSubScip(), solvePricingMINLP(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), and scipexamples::QueensSolver::~QueensSolver().

◆ SCIPchgConsName()

SCIP_EXPORT SCIP_RETCODE SCIPchgConsName ( SCIP scip,
SCIP_CONS cons,
const char *  name 
)

change constraint name

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
to get the current name of a constraint, use SCIPconsGetName() from pub_cons.h
Parameters
scipSCIP data structure
consconstraint
namenew name of constraint

Definition at line 1161 of file scip_cons.c.

References FALSE, Scip::origprob, SCIP_Cons::scip, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPABORT, SCIPblkmem(), SCIPcheckStage(), SCIPconsChgName(), SCIPconsIsAdded(), SCIPerrorMessage, SCIPgetStage(), SCIPprobAddConsName(), SCIPprobRemoveConsName(), and TRUE.

◆ SCIPsetConsInitial()

SCIP_EXPORT SCIP_RETCODE SCIPsetConsInitial ( SCIP scip,
SCIP_CONS cons,
SCIP_Bool  initial 
)

sets the initial flag of the given constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint
initialnew value

Definition at line 1208 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetInitial(), Scip::set, Scip::stat, and TRUE.

Referenced by addFixedVarsConss(), correctConshdlrdata(), createRelaxation(), SCIPupdateConsFlags(), and updateConsanddataUses().

◆ SCIPsetConsSeparated()

SCIP_EXPORT SCIP_RETCODE SCIPsetConsSeparated ( SCIP scip,
SCIP_CONS cons,
SCIP_Bool  separate 
)

sets the separate flag of the given constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint
separatenew value

Definition at line 1233 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetSeparated(), Scip::set, and TRUE.

Referenced by correctConshdlrdata(), createRelaxation(), SCIPupdateConsFlags(), and updateConsanddataUses().

◆ SCIPsetConsEnforced()

SCIP_EXPORT SCIP_RETCODE SCIPsetConsEnforced ( SCIP scip,
SCIP_CONS cons,
SCIP_Bool  enforce 
)

sets the enforce flag of the given constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint
enforcenew value

Definition at line 1258 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetEnforced(), Scip::set, and TRUE.

Referenced by createRelaxation(), SCIP_DECL_QUADCONSUPGD(), and SCIPupdateConsFlags().

◆ SCIPsetConsChecked()

SCIP_EXPORT SCIP_RETCODE SCIPsetConsChecked ( SCIP scip,
SCIP_CONS cons,
SCIP_Bool  check 
)

sets the check flag of the given constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint
checknew value

Definition at line 1283 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetChecked(), Scip::set, and TRUE.

Referenced by addAllConss(), branchCons(), consdataCreate(), correctConshdlrdata(), propagateCons(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_QUADCONSUPGD(), SCIPupdateConsFlags(), updateAndConss(), and updateConsanddataUses().

◆ SCIPsetConsPropagated()

SCIP_EXPORT SCIP_RETCODE SCIPsetConsPropagated ( SCIP scip,
SCIP_CONS cons,
SCIP_Bool  propagate 
)

sets the propagate flag of the given constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint
propagatenew value

Definition at line 1308 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetPropagated(), Scip::set, and TRUE.

Referenced by SCIPupdateConsFlags().

◆ SCIPsetConsLocal()

SCIP_EXPORT SCIP_RETCODE SCIPsetConsLocal ( SCIP scip,
SCIP_CONS cons,
SCIP_Bool  local 
)

sets the local flag of the given constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint
localnew value

Definition at line 1335 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetLocal(), and TRUE.

Referenced by branchCons().

◆ SCIPsetConsModifiable()

SCIP_EXPORT SCIP_RETCODE SCIPsetConsModifiable ( SCIP scip,
SCIP_CONS cons,
SCIP_Bool  modifiable 
)

sets the modifiable flag of the given constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint
modifiablenew value

Definition at line 1361 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetModifiable(), and TRUE.

Referenced by SCIPprobdataCreate(), and setupProblem().

◆ SCIPsetConsDynamic()

SCIP_EXPORT SCIP_RETCODE SCIPsetConsDynamic ( SCIP scip,
SCIP_CONS cons,
SCIP_Bool  dynamic 
)

sets the dynamic flag of the given constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint
dynamicnew value

Definition at line 1386 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetDynamic(), and TRUE.

Referenced by generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), SCIPgenerateAndApplyBendersOptCut(), and SCIPupdateConsFlags().

◆ SCIPsetConsRemovable()

SCIP_EXPORT SCIP_RETCODE SCIPsetConsRemovable ( SCIP scip,
SCIP_CONS cons,
SCIP_Bool  removable 
)

sets the removable flag of the given constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint
removablenew value

Definition at line 1411 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetRemovable(), and TRUE.

Referenced by createAndAddTransferredCut(), createAndApplyStoredBendersCut(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), SCIPbendersMergeSubproblemIntoMaster(), SCIPgenerateAndApplyBendersOptCut(), and SCIPupdateConsFlags().

◆ SCIPsetConsStickingAtNode()

SCIP_EXPORT SCIP_RETCODE SCIPsetConsStickingAtNode ( SCIP scip,
SCIP_CONS cons,
SCIP_Bool  stickingatnode 
)

sets the stickingatnode flag of the given constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint
stickingatnodenew value

Definition at line 1436 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetStickingAtNode(), and TRUE.

Referenced by SCIPupdateConsFlags().

◆ SCIPupdateConsFlags()

SCIP_EXPORT SCIP_RETCODE SCIPupdateConsFlags ( SCIP scip,
SCIP_CONS cons0,
SCIP_CONS cons1 
)

updates the flags of the first constraint according to the ones of the second constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
cons0constraint that should stay
cons1constraint that should be deleted

Definition at line 1461 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPsetConsChecked(), SCIPsetConsDynamic(), SCIPsetConsEnforced(), SCIPsetConsInitial(), SCIPsetConsPropagated(), SCIPsetConsRemovable(), SCIPsetConsSeparated(), SCIPsetConsStickingAtNode(), and TRUE.

Referenced by checkForOverlapping(), detectRedundantConstraints(), preprocessConstraintPairs(), removeRedundantCons(), removeRedundantConss(), and removeRedundantNonZeros().

◆ SCIPtransformCons()

SCIP_EXPORT SCIP_RETCODE SCIPtransformCons ( SCIP scip,
SCIP_CONS cons,
SCIP_CONS **  transcons 
)

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

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint to get/create transformed constraint for
transconspointer to store the transformed constraint

Definition at line 1521 of file scip_cons.c.

References FALSE, Scip::mem, NULL, SCIP_Mem::probmem, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsCapture(), SCIPconsIsTransformed(), SCIPconsTransform(), Scip::set, and TRUE.

Referenced by consdataAddCons(), consdataCreate(), consdataCreateSuperindicator(), SCIP_DECL_CONSTRANS(), and SCIP_DECL_PROBTRANS().

◆ SCIPtransformConss()

SCIP_EXPORT SCIP_RETCODE SCIPtransformConss ( SCIP scip,
int  nconss,
SCIP_CONS **  conss,
SCIP_CONS **  transconss 
)

gets and captures transformed constraints for an array of constraints; if a constraint in the array is not yet transformed, a new transformed constraint for this constraint is created; it is possible to call this method with conss == transconss

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
nconssnumber of constraints to get/create transformed constraints for
conssarray with constraints to get/create transformed constraints for
transconssarray to store the transformed constraints

Definition at line 1562 of file scip_cons.c.

References FALSE, Scip::mem, NULL, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsCapture(), SCIPconsIsTransformed(), SCIPconsTransform(), Scip::set, and TRUE.

Referenced by consdataCreate(), and SCIP_DECL_PROBTRANS().

◆ SCIPgetTransformedCons()

SCIP_EXPORT SCIP_RETCODE SCIPgetTransformedCons ( SCIP scip,
SCIP_CONS cons,
SCIP_CONS **  transcons 
)

gets corresponding transformed constraint of a given constraint; returns NULL as transcons, if transformed constraint is not yet existing

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint to get the transformed constraint for
transconspointer to store the transformed constraint

Definition at line 1611 of file scip_cons.c.

References FALSE, NULL, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsGetTransformed(), SCIPconsIsTransformed(), and TRUE.

Referenced by computeRanks(), createSubSCIP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PRICERINIT(), and SCIPapplyHeurDualval().

◆ SCIPgetTransformedConss()

SCIP_EXPORT SCIP_RETCODE SCIPgetTransformedConss ( SCIP scip,
int  nconss,
SCIP_CONS **  conss,
SCIP_CONS **  transconss 
)

gets corresponding transformed constraints for an array of constraints; stores NULL in a transconss slot, if the transformed constraint is not yet existing; it is possible to call this method with conss == transconss, but remember that constraints that are not yet transformed will be replaced with NULL

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
nconssnumber of constraints to get the transformed constraints for
conssconstraints to get the transformed constraints for
transconssarray to store the transformed constraints

Definition at line 1651 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsGetTransformed(), SCIPconsIsTransformed(), and TRUE.

◆ SCIPaddConsAge()

SCIP_EXPORT SCIP_RETCODE SCIPaddConsAge ( SCIP scip,
SCIP_CONS cons,
SCIP_Real  deltaage 
)

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

  • in constraint separation, if no cut was found for this constraint,
  • in constraint enforcing, if constraint was feasible, and
  • in constraint propagation, if no domain reduction was deduced;
Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint
deltaagevalue to add to the constraint's age

Definition at line 1692 of file scip_cons.c.

References FALSE, Scip::mem, SCIP_Mem::probmem, Scip::reopt, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsAddAge(), Scip::set, Scip::stat, Scip::transprob, and TRUE.

Referenced by processWatchedVars().

◆ SCIPincConsAge()

SCIP_EXPORT SCIP_RETCODE SCIPincConsAge ( SCIP scip,
SCIP_CONS cons 
)

increases age of constraint by 1.0; should be called

  • in constraint separation, if no cut was found for this constraint,
  • in constraint enforcing, if constraint was feasible, and
  • in constraint propagation, if no domain reduction was deduced;
Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint

Definition at line 1721 of file scip_cons.c.

References FALSE, Scip::mem, SCIP_Mem::probmem, Scip::reopt, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsIncAge(), Scip::set, Scip::stat, Scip::transprob, and TRUE.

Referenced by checkAndConss(), checkCons(), enfopsCons(), enforcePseudo(), propagateCons(), propIndicator(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSPROP(), SCIPseparateKnapsackCuts(), and separateCons().

◆ SCIPresetConsAge()

SCIP_EXPORT SCIP_RETCODE SCIPresetConsAge ( SCIP scip,
SCIP_CONS cons 
)

resets age of constraint to zero; should be called

  • in constraint separation, if a cut was found for this constraint,
  • in constraint enforcing, if the constraint was violated, and
  • in constraint propagation, if a domain reduction was deduced;
Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint

Definition at line 1749 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsResetAge(), Scip::set, and TRUE.

Referenced by analyzeZeroResultant(), branchCons(), checkAndConss(), checkCons(), consdataFixOperandsOne(), consdataFixResultantZero(), enfopsCons(), enforceCardinality(), enforceConssSOS1(), enforceCurrentSol(), enforceIndicators(), enforcePseudo(), enforceSOS2(), initsepaBoundInequalityFromCardinality(), initsepaBoundInequalityFromSOS1Cons(), processBinvarFixings(), processCut(), processFixings(), processWatchedVars(), propagateBounds(), propagateBoundsQuadVar(), propagateBoundsTightenVarLb(), propagateBoundsTightenVarUb(), propagateCons(), propCardinality(), propConsSOS1(), propIndicator(), propSOS2(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), separateCons(), separateConsBinaryRepresentation(), separateCoverCutsCons(), separateIndicators(), separatePerspective(), separatePoint(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), and separateSupLiftedMinimalCoverInequality().

◆ SCIPenableCons()

SCIP_EXPORT SCIP_RETCODE SCIPenableCons ( SCIP scip,
SCIP_CONS cons 
)

enables constraint's separation, propagation, and enforcing capabilities

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint

Definition at line 1774 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsEnable(), Scip::set, Scip::stat, and TRUE.

Referenced by consdataCreateBinvars(), and SCIP_DECL_EVENTEXEC().

◆ SCIPdisableCons()

SCIP_EXPORT SCIP_RETCODE SCIPdisableCons ( SCIP scip,
SCIP_CONS cons 
)

disables constraint's separation, propagation, and enforcing capabilities, s.t. the constraint is not propagated, separated, and enforced anymore until it is enabled again with a call to SCIPenableCons(); in contrast to SCIPdelConsLocal() and SCIPdelConsNode(), the disabling is not associated to a node in the tree and does not consume memory; therefore, the constraint is neither automatically enabled on leaving the node nor automatically disabled again on entering the node again; note that the constraints enforcing capabilities are necessary for the solution's feasibility, if the constraint is a model constraint; that means, you must be sure that the constraint cannot be violated in the current subtree, and you have to enable it again manually by calling SCIPenableCons(), if this subtree is left (e.g. by using an appropriate event handler that watches the corresponding variables' domain changes)

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint

Definition at line 1808 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsDisable(), Scip::set, Scip::stat, and TRUE.

Referenced by disableCons(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSINITPRE(), and SCIP_DECL_CONSINITSOL().

◆ SCIPenableConsSeparation()

SCIP_EXPORT SCIP_RETCODE SCIPenableConsSeparation ( SCIP scip,
SCIP_CONS cons 
)

enables constraint's separation capabilities

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint

Definition at line 1833 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsEnableSeparation(), Scip::set, and TRUE.

◆ SCIPdisableConsSeparation()

SCIP_EXPORT SCIP_RETCODE SCIPdisableConsSeparation ( SCIP scip,
SCIP_CONS cons 
)

disables constraint's separation capabilities s.t. the constraint is not propagated anymore until the separation is enabled again with a call to SCIPenableConsSeparation(); in contrast to SCIPdelConsLocal() and SCIPdelConsNode(), the disabling is not associated to a node in the tree and does not consume memory; therefore, the constraint is neither automatically enabled on leaving the node nor automatically disabled again on entering the node again

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:

disables constraint's separation capabilities s.t. the constraint is not separated anymore until the separation is enabled again with a call to SCIPenableConsSeparation(); in contrast to SCIPdelConsLocal() and SCIPdelConsNode(), the disabling is not associated to a node in the tree and does not consume memory; therefore, the constraint is neither automatically enabled on leaving the node nor automatically disabled again on entering the node again

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint

Definition at line 1861 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsDisableSeparation(), Scip::set, and TRUE.

◆ SCIPenableConsPropagation()

SCIP_EXPORT SCIP_RETCODE SCIPenableConsPropagation ( SCIP scip,
SCIP_CONS cons 
)

enables constraint's propagation capabilities

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint

Definition at line 1888 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsEnablePropagation(), Scip::set, and TRUE.

Referenced by addCoef(), delCoefPos(), SCIP_DECL_CONSPRESOL(), and SCIP_DECL_EVENTEXEC().

◆ SCIPdisableConsPropagation()

SCIP_EXPORT SCIP_RETCODE SCIPdisableConsPropagation ( SCIP scip,
SCIP_CONS cons 
)

disables constraint's propagation capabilities s.t. the constraint is not propagated anymore until the propagation is enabled again with a call to SCIPenableConsPropagation(); in contrast to SCIPdelConsLocal() and SCIPdelConsNode(), the disabling is not associated to a node in the tree and does not consume memory; therefore, the constraint is neither automatically enabled on leaving the node nor automatically disabled again on entering the node again

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint

Definition at line 1918 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsDisablePropagation(), Scip::set, and TRUE.

Referenced by processWatchedVars().

◆ SCIPmarkConsPropagate()

SCIP_EXPORT SCIP_RETCODE SCIPmarkConsPropagate ( SCIP scip,
SCIP_CONS cons 
)

marks constraint to be propagated

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
if a constraint is marked to be propagated, the age of the constraint will be ignored for propagation

marks constraint to be propagated

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
if a constraint is marked to be propagated, the age of the constraint will be ignored for propagation
Parameters
scipSCIP data structure
consconstraint

Definition at line 1951 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsIsEnabled(), SCIPconsIsMarkedPropagate(), SCIPconsMarkPropagate(), Scip::set, and TRUE.

Referenced by catchLhsVarEvents(), catchLinearVarEvents(), catchRhsVarEvents(), catchVarEvents(), chgLhs(), chgRhs(), preprocessConstraintPairs(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), and SCIP_DECL_EVENTEXEC().

◆ SCIPunmarkConsPropagate()

SCIP_EXPORT SCIP_RETCODE SCIPunmarkConsPropagate ( SCIP scip,
SCIP_CONS cons 
)

unmarks the constraint to be propagated

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint

Definition at line 1979 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsIsEnabled(), SCIPconsIsMarkedPropagate(), SCIPconsUnmarkPropagate(), Scip::set, and TRUE.

Referenced by propagateBounds(), propagateBoundsCons(), propagateCons(), and SCIP_DECL_CONSPROP().

◆ SCIPaddConsLocksType()

SCIP_EXPORT SCIP_RETCODE SCIPaddConsLocksType ( SCIP scip,
SCIP_CONS cons,
SCIP_LOCKTYPE  locktype,
int  nlockspos,
int  nlocksneg 
)

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

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint
locktypetype of the variable locks
nlocksposincrease in number of rounding locks for constraint
nlocksnegincrease in number of rounding locks for constraint's negation

Definition at line 2009 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsAddLocks(), Scip::set, and TRUE.

Referenced by SCIP_DECL_CONSLOCK(), and SCIPaddConsLocks().

◆ SCIPaddConsLocks()

SCIP_EXPORT SCIP_RETCODE SCIPaddConsLocks ( SCIP scip,
SCIP_CONS cons,
int  nlockspos,
int  nlocksneg 
)

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

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
This methods always adds locks of type model
Parameters
scipSCIP data structure
consconstraint
nlocksposincrease in number of rounding locks for constraint
nlocksnegincrease in number of rounding locks for constraint's negation

Definition at line 2042 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIPaddConsLocksType(), SCIPcheckStage(), and TRUE.

◆ SCIPcheckCons()

SCIP_EXPORT SCIP_RETCODE SCIPcheckCons ( SCIP scip,
SCIP_CONS cons,
SCIP_SOL sol,
SCIP_Bool  checkintegrality,
SCIP_Bool  checklprows,
SCIP_Bool  printreason,
SCIP_RESULT result 
)

checks single constraint for feasibility of the given solution

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:

checks single constraint for feasibility of the given solution

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Parameters
scipSCIP data structure
consconstraint to check
solprimal CIP solution
checkintegralityHas integrality to be checked?
checklprowsDo constraints represented by rows in the current LP have to be checked?
printreasonShould the reason for the violation be printed?
resultpointer to store the result of the callback method

Definition at line 2072 of file scip_cons.c.

References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsCheck(), Scip::set, and TRUE.

Referenced by checkAllConss(), checkCons(), consdataCheckSuperindicator(), replaceByLinearConstraints(), and replaceViolatedByLinearConstraints().

◆ SCIPenfopsCons()

SCIP_EXPORT SCIP_RETCODE SCIPenfopsCons ( SCIP scip,
SCIP_CONS cons,
SCIP_Bool  solinfeasible,
SCIP_Bool  objinfeasible,
SCIP_RESULT result 
)

enforces single constraint for a given pseudo solution

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
This is an advanced method and should be used with caution. It may only be called for constraints that were not added to SCIP beforehand.
Parameters
scipSCIP data structure
consconstraint to enforce
solinfeasiblewas the solution already declared infeasible by a constraint handler?
objinfeasibleis the solution infeasible anyway due to violating lower objective bound?
resultpointer to store the result of the callback method

Definition at line 2100 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsEnfops(), SCIPconsIsAdded(), Scip::set, and TRUE.

Referenced by extendToCover().

◆ SCIPenfolpCons()

SCIP_EXPORT SCIP_RETCODE SCIPenfolpCons ( SCIP scip,
SCIP_CONS cons,
SCIP_Bool  solinfeasible,
SCIP_RESULT result 
)

enforces single constraint for a given LP solution

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
This is an advanced method and should be used with caution. It may only be called for constraints that were not added to SCIP beforehand.
Parameters
scipSCIP data structure
consconstraint to enforce
solinfeasiblewas the solution already declared infeasible by a constraint handler?
resultpointer to store the result of the callback method

Definition at line 2131 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsEnfolp(), SCIPconsIsAdded(), Scip::set, and TRUE.

Referenced by enforceConstraint(), and extendToCover().

◆ SCIPenforelaxCons()

SCIP_RETCODE SCIPenforelaxCons ( SCIP scip,
SCIP_CONS cons,
SCIP_SOL sol,
SCIP_Bool  solinfeasible,
SCIP_RESULT result 
)

enforces single constraint for a given relaxation solution

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
This is an advanced method and should be used with caution. It may only be called for constraints that were not added to SCIP beforehand.
Parameters
scipSCIP data structure
consconstraint to enforce
solsolution to enforce
solinfeasiblewas the solution already declared infeasible by a constraint handler?
resultpointer to store the result of the callback method

Definition at line 2161 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsEnforelax(), SCIPconsIsAdded(), Scip::set, and TRUE.

Referenced by enforceConstraint(), and extendToCover().

◆ SCIPinitlpCons()

SCIP_EXPORT SCIP_RETCODE SCIPinitlpCons ( SCIP scip,
SCIP_CONS cons,
SCIP_Bool infeasible 
)

calls LP initialization method for single constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
This is an advanced method and should be used with caution. It may only be called for constraints that were not added to SCIP beforehand.
Parameters
scipSCIP data structure
consconstraint to initialize
infeasiblepointer to store whether infeasibility was detected while building the LP

Definition at line 2193 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsInitlp(), SCIPconsIsAdded(), Scip::set, and TRUE.

◆ SCIPsepalpCons()

SCIP_EXPORT SCIP_RETCODE SCIPsepalpCons ( SCIP scip,
SCIP_CONS cons,
SCIP_RESULT result 
)

calls separation method of single constraint for LP solution

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
This is an advanced method and should be used with caution.
Parameters
scipSCIP data structure
consconstraint to separate
resultpointer to store the result of the separation call

Definition at line 2220 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSepalp(), Scip::set, and TRUE.

Referenced by extendToCover().

◆ SCIPsepasolCons()

SCIP_EXPORT SCIP_RETCODE SCIPsepasolCons ( SCIP scip,
SCIP_CONS cons,
SCIP_SOL sol,
SCIP_RESULT result 
)

calls separation method of single constraint for given primal solution

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
This is an advanced method and should be used with caution.
Parameters
scipSCIP data structure
consconstraint to separate
solprimal solution that should be separated
resultpointer to store the result of the separation call

Definition at line 2247 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSepasol(), Scip::set, and TRUE.

Referenced by extendToCover().

◆ SCIPpropCons()

SCIP_EXPORT SCIP_RETCODE SCIPpropCons ( SCIP scip,
SCIP_CONS cons,
SCIP_PROPTIMING  proptiming,
SCIP_RESULT result 
)

calls domain propagation method of single constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
This is an advanced method and should be used with caution.
Parameters
scipSCIP data structure
consconstraint to propagate
proptimingcurrent point in the node solving loop
resultpointer to store the result of the callback method

Definition at line 2277 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsProp(), Scip::set, and TRUE.

◆ SCIPrespropCons()

SCIP_EXPORT SCIP_RETCODE SCIPrespropCons ( SCIP scip,
SCIP_CONS cons,
SCIP_VAR infervar,
int  inferinfo,
SCIP_BOUNDTYPE  boundtype,
SCIP_BDCHGIDX bdchgidx,
SCIP_Real  relaxedbd,
SCIP_RESULT result 
)

resolves propagation conflict of single constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
This is an advanced method and should be used with caution. It may only be called for constraints that were not added to SCIP beforehand.
Parameters
scipSCIP data structure
consconstraint to resolve conflict for
infervarthe conflict variable whose bound change has to be resolved
inferinfothe user information passed to the corresponding SCIPinferVarLbCons() or SCIPinferVarUbCons() call
boundtypethe type of the changed bound (lower or upper bound)
bdchgidxthe index of the bound change, representing the point of time where the change took place
relaxedbdthe relaxed bound which is sufficient to be explained
resultpointer to store the result of the callback method

Definition at line 2308 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsIsAdded(), SCIPconsResprop(), Scip::set, and TRUE.

◆ SCIPpresolCons()

SCIP_EXPORT SCIP_RETCODE SCIPpresolCons ( SCIP scip,
SCIP_CONS cons,
int  nrounds,
SCIP_PRESOLTIMING  presoltiming,
int  nnewfixedvars,
int  nnewaggrvars,
int  nnewchgvartypes,
int  nnewchgbds,
int  nnewholes,
int  nnewdelconss,
int  nnewaddconss,
int  nnewupgdconss,
int  nnewchgcoefs,
int  nnewchgsides,
int *  nfixedvars,
int *  naggrvars,
int *  nchgvartypes,
int *  nchgbds,
int *  naddholes,
int *  ndelconss,
int *  naddconss,
int *  nupgdconss,
int *  nchgcoefs,
int *  nchgsides,
SCIP_RESULT result 
)

presolves of single constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
This is an advanced method and should be used with caution.
Parameters
scipSCIP data structure
consconstraint to presolve
nroundsnumber of presolving rounds already done
presoltimingpresolving timing(s) to be performed
nnewfixedvarsnumber of variables fixed since the last call to the presolving method
nnewaggrvarsnumber of variables aggregated since the last call to the presolving method
nnewchgvartypesnumber of variable type changes since the last call to the presolving method
nnewchgbdsnumber of variable bounds tightened since the last call to the presolving method
nnewholesnumber of domain holes added since the last call to the presolving method
nnewdelconssnumber of deleted constraints since the last call to the presolving method
nnewaddconssnumber of added constraints since the last call to the presolving method
nnewupgdconssnumber of upgraded constraints since the last call to the presolving method
nnewchgcoefsnumber of changed coefficients since the last call to the presolving method
nnewchgsidesnumber of changed left or right hand sides since the last call to the presolving method
nfixedvarspointer to count total number of variables fixed of all presolvers
naggrvarspointer to count total number of variables aggregated of all presolvers
nchgvartypespointer to count total number of variable type changes of all presolvers
nchgbdspointer to count total number of variable bounds tightened of all presolvers
naddholespointer to count total number of domain holes added of all presolvers
ndelconsspointer to count total number of deleted constraints of all presolvers
naddconsspointer to count total number of added constraints of all presolvers
nupgdconsspointer to count total number of upgraded constraints of all presolvers
nchgcoefspointer to count total number of changed coefficients of all presolvers
nchgsidespointer to count total number of changed left/right hand sides of all presolvers
resultpointer to store the result of the callback method

Definition at line 2343 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsPresol(), Scip::set, and TRUE.

Referenced by SCIP_DECL_PROPPRESOL().

◆ SCIPactiveCons()

SCIP_EXPORT SCIP_RETCODE SCIPactiveCons ( SCIP scip,
SCIP_CONS cons 
)

calls constraint activation notification method of single constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
This is an advanced method and should be used with caution. It may only be called for constraints that were not added to SCIP beforehand.
Parameters
scipSCIP data structure
consconstraint to notify

Definition at line 2405 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsActive(), SCIPconsIsAdded(), SCIPconsIsDeleted(), Scip::set, and TRUE.

◆ SCIPdeactiveCons()

SCIP_EXPORT SCIP_RETCODE SCIPdeactiveCons ( SCIP scip,
SCIP_CONS cons 
)

calls constraint deactivation notification method of single constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
This is an advanced method and should be used with caution. It may only be called for constraints that were not added to SCIP beforehand.
Parameters
scipSCIP data structure
consconstraint to notify

Definition at line 2434 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsDeactive(), SCIPconsIsAdded(), Scip::set, and TRUE.

◆ SCIPprintCons()

SCIP_EXPORT SCIP_RETCODE SCIPprintCons ( SCIP scip,
SCIP_CONS cons,
FILE *  file 
)

outputs constraint information to file stream via the message handler system

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
If the message handler is set to a NULL pointer nothing will be printed.
The file stream will not be flushed directly, this can be achieved by calling SCIPinfoMessage() printing a newline character.
Parameters
scipSCIP data structure
consconstraint
fileoutput file (or NULL for standard output)

Definition at line 2473 of file scip_cons.c.

References FALSE, Scip::messagehdlr, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsPrint(), Scip::set, and TRUE.

Referenced by BENDERS_CUTORACLE(), checkAllConss(), checkCons(), checkCumulativeCondition(), checkOrigPbCons(), cliquePresolve(), computeInteriorPoint(), consdataCreate(), createRow(), detectDominatingVlbs(), detectDominatingVubs(), disaggregate(), enforceIndicators(), extendToCover(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_READERWRITE(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), selectVarMultAggrBranching(), and writeOpbConstraints().

◆ SCIPgetConsVars()

SCIP_EXPORT SCIP_RETCODE SCIPgetConsVars ( SCIP scip,
SCIP_CONS cons,
SCIP_VAR **  vars,
int  varssize,
SCIP_Bool success 
)

method to collect the variables of a constraint

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

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
The success pointer indicates if all variables were copied into the vars arrray.
It might be that a constraint handler does not support this functionality, in that case the success pointer is set to FALSE.
Parameters
scipSCIP data structure
consconstraint for which the variables are wanted
varsarray to store the involved variable of the constraint
varssizeavailable slots in vars array which is needed to check if the array is large enough
successpointer to store whether the variables are successfully copied

Definition at line 2514 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsGetVars(), Scip::set, and TRUE.

Referenced by addConstraintToBendersSubproblem(), addScenarioConsToProb(), decompGetConsVarsAndLabels(), fillDigraph(), fillVariableGraph(), reuseSolution(), SCIP_DECL_CONSGETVARS(), SCIPhasConsOnlyLinkVars(), SCIPvariablegraphBreadthFirst(), and SCIPwritePbm().

◆ SCIPgetConsNVars()

SCIP_EXPORT SCIP_RETCODE SCIPgetConsNVars ( SCIP scip,
SCIP_CONS cons,
int *  nvars,
SCIP_Bool success 
)

method to collect the number of variables of a constraint

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
The success pointer indicates if the contraint handler was able to return the number of variables
It might be that a constraint handler does not support this functionality, in that case the success pointer is set to FALSE
Parameters
scipSCIP data structure
consconstraint for which the number of variables is wanted
nvarspointer to store the number of variables
successpointer to store whether the constraint successfully returned the number of variables

Definition at line 2558 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsGetNVars(), Scip::set, and TRUE.

Referenced by addConstraintToBendersSubproblem(), addScenarioConsToProb(), decompGetConsVarsAndLabels(), fillDigraph(), fillVariableGraph(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_SORTPTRCOMP(), SCIPgetConsVals(), SCIPhasConsOnlyLinkVars(), SCIPvariablegraphBreadthFirst(), and SCIPwritePbm().