Detailed Description
Public methods for constraints.
Function Documentation
◆ SCIPconsGetName()
const char* SCIPconsGetName | ( | SCIP_CONS * | cons | ) |
returns the name of the constraint
- Note
- to change the name of a constraint, use SCIPchgConsName() from scip.h
- Parameters
-
cons constraint
Definition at line 8076 of file cons.c.
References SCIP_Cons::name, NULL, and SCIPconsGetPos().
Referenced by addAllConss(), addBranchingDecisionConss(), addCliques(), addCoef(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConflictBounds(), addCut(), addCuts(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addIntervalGradientEstimator(), addKnapsackConstraints(), addLinearConstraints(), addLinearization(), addLinearizationCuts(), addLogicOrConstraints(), addRelaxation(), addScenarioConsToProb(), addSetppcConstraints(), addSymresackInequality(), addVarbound(), addVarboundConstraints(), addVarCardinality(), addVarSOS1(), addVarSOS2(), aggregateConstraints(), aggregateVariables(), analyzeZeroResultant(), applyFixings(), branchBalancedCardinality(), branchCons(), branchUnbalancedCardinality(), checkAllConss(), checkBounddisjunction(), checkCons(), checkConsnames(), checkCurvature(), checkCurvatureEasy(), checkFactorable(), checkFixedVariables(), checkForOverlapping(), checkKnapsack(), checkLogicor(), checkOrigPbCons(), checkOverloadViaThetaTree(), checkPackingPartitioningOrbitopeSolution(), checkRedundancy(), 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(), processIntegerBoundChg(), 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_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPaddCoefLinear(), SCIPaddConsNode(), SCIPaddToNlpiProblemQuadratic(), SCIPaddToNlpiProblemSOC(), SCIPaddVarCardinality(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarCardinality(), SCIPappendVarSOS2(), SCIPboundchgApply(), SCIPconflictstoreAddConflict(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateConsSuperindicator(), SCIPmatrixGetRowName(), SCIPmatrixPrintRow(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPprintLinConsStats(), SCIPprobAddCons(), SCIPreaderWrite(), 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()
int SCIPconsGetPos | ( | SCIP_CONS * | cons | ) |
returns the position of constraint in the corresponding handler's conss array
- Parameters
-
cons constraint
Definition at line 8086 of file cons.c.
References SCIP_Cons::consspos, NULL, and SCIPconsGetHdlr().
Referenced by detectRedundantConstraints(), and SCIPconsGetName().
◆ SCIPconsGetHdlr()
SCIP_CONSHDLR* SCIPconsGetHdlr | ( | SCIP_CONS * | cons | ) |
returns the constraint handler of the constraint
- Parameters
-
cons constraint
Definition at line 8096 of file cons.c.
References SCIP_Cons::conshdlr, NULL, and SCIPconsGetData().
Referenced by addCoefTerm(), addLinearCoef(), addOrbisackCover(), addOrbisackInequality(), addQuadVarTerm(), addRelaxation(), addSymresackInequality(), cancelRow(), catchLinearVarEvents(), checkConsnames(), checkCurvature(), checkOrigPbCons(), chgLinearCoefPos(), computeAndConstraintInfos(), computeSymmetryGroup(), consdataCollectLinkingCons(), consdataDeletePos(), consdataPrint(), copyConsPseudoboolean(), copyToSubscip(), createAltLP(), createAndAddProofcons(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCoverCutsTimepoint(), createNAryBranch(), createNlRow(), createNormalizedSetppc(), createRelaxation(), createRow(), createRows(), createSubSCIP(), delCoefPos(), deleteRedundantVars(), delLinearCoefPos(), delQuadVarTermPos(), detectRedundantConstraints(), detectRedundantVars(), dropLinearVarEvents(), enforceCurrentSol(), enforcePseudo(), extractLinearValues(), generate1ConvexIndefiniteUnderestimator(), generateConvexConcaveEstimator(), generateCut(), generateLinearizationCut(), generateOverestimatingHyperplaneCut(), getLinVarsAndAndRess(), handleNewVariableSOS2(), initLP(), initPricing(), preprocessConstraintPairs(), presolvePropagateCons(), printRangeSection(), processBinvarFixings(), processFixings(), processIntegerBoundChg(), processWatchedVars(), propagateCons(), readIndicators(), registerBranchingCandidates(), replaceQuadVarTermPos(), saveConsBounddisjuction(), saveConsLinear(), saveLocalConssData(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PROBCOPY(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPaddCoefKnapsack(), SCIPaddCoefLinear(), SCIPaddCoefLogicor(), SCIPaddCoefPseudoboolean(), SCIPaddCoefSetppc(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddTermPseudoboolean(), SCIPaddVarCardinality(), SCIPaddVarIndicator(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarCardinality(), SCIPappendVarSOS2(), SCIPapplyHeurDualval(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcheckCurvatureNonlinear(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgBilinCoefQuadratic(), SCIPchgCapacityKnapsack(), SCIPchgCardvalCardinality(), SCIPchgLhsLinear(), SCIPchgLhsPseudoboolean(), SCIPchgLhsQuadratic(), SCIPchgLinearCoefQuadratic(), SCIPchgRhsLinear(), SCIPchgRhsPseudoboolean(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPconflictstoreCleanNewIncumbent(), SCIPconsGetDualfarkas(), SCIPconsGetDualsol(), SCIPconsGetLhs(), SCIPconsGetPos(), SCIPconsGetRhs(), SCIPconsGetRow(), SCIPconsSetInitial(), SCIPcopyConflicts(), SCIPcopyConsLinear(), SCIPcopyOrigConss(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsSuperindicator(), SCIPdelCoefLinear(), SCIPgetActivityQuadratic(), SCIPgetAndDatasPseudoboolean(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCardvalCardinality(), SCIPgetCoefLinearAbspower(), SCIPgetConsVals(), SCIPgetCurvatureNonlinear(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasKnapsack(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasSetppc(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolKnapsack(), SCIPgetDualsolLogicor(), SCIPgetDualsolSetppc(), SCIPgetDualSolVal(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExponentAbspower(), SCIPgetExprtreeCurvaturesNonlinear(), SCIPgetFeasibilityQuadratic(), SCIPgetHmaxCumulative(), SCIPgetHminCumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntvarLinking(), SCIPgetIntVarXor(), SCIPgetLhsAbspower(), SCIPgetLhsPseudoboolean(), SCIPgetLhsVarbound(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinearVarAbspower(), SCIPgetNAndsPseudoboolean(), SCIPgetNBinvarsLinking(), SCIPgetNFixedonesSetppc(), SCIPgetNLinVarsWithoutAndPseudoboolean(), SCIPgetNlRowAbspower(), SCIPgetNlRowSOC(), SCIPgetNonlinearVarAbspower(), SCIPgetNVarsAnd(), SCIPgetNVarsBounddisjunction(), SCIPgetNVarsCardinality(), SCIPgetNVarsCumulative(), SCIPgetNVarsKnapsack(), SCIPgetNVarsLogicor(), SCIPgetNVarsOr(), SCIPgetNVarsSetppc(), SCIPgetNVarsSOS2(), SCIPgetNVarsXor(), SCIPgetOffsetAbspower(), SCIPgetResultantAnd(), SCIPgetResultantOr(), SCIPgetRhsAbspower(), SCIPgetRhsPseudoboolean(), SCIPgetRhsVarbound(), SCIPgetRhsXor(), SCIPgetRowLogicor(), SCIPgetRowSetppc(), SCIPgetRowVarbound(), SCIPgetSlackConsSuperindicator(), SCIPgetSlackVarIndicator(), SCIPgetTypeSetppc(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCardinality(), SCIPgetVarsCumulative(), SCIPgetVarsKnapsack(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSetppc(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetViolationAbspower(), SCIPgetViolationNonlinear(), SCIPgetWeightsCardinality(), SCIPgetWeightsKnapsack(), SCIPgetWeightsSOS2(), SCIPisAndConsSorted(), SCIPisDualSolAvailable(), SCIPmakeIndicatorFeasible(), SCIPseparateCoversOrbisack(), SCIPsetBinaryVarIndicator(), SCIPsetHmaxCumulative(), SCIPsetHminCumulative(), SCIPsetLinearConsIndicator(), SCIPsetSlackVarUb(), SCIPsortAndCons(), SCIPtransformMinUC(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), separateCons(), separateIndicators(), separateInequalities(), separatePerspective(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), tightenWeights(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), upgradeSuperindicator(), writeFzn(), writeOpbConstraints(), and writeOpbObjective().
◆ SCIPconsGetData()
SCIP_CONSDATA* SCIPconsGetData | ( | SCIP_CONS * | cons | ) |
returns the constraint data field of the constraint
- Parameters
-
cons constraint
Definition at line 8106 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(), checkDemands(), checkFactorable(), checkFixedVariables(), checkForOverlapping(), checkFullOrbitopeSolution(), checkLPBoundsClean(), checkOrigPbCons(), checkPackingPartitioningOrbitopeSolution(), checkRedundancy(), checkSwitchNonoverlappingSOS1Methods(), checkSymresackSolution(), checkSystemGF2(), chgLhs(), chgLinearCoefPos(), chgRhs(), cliquePresolve(), collectBranchingCands(), collectCliqueConss(), collectCliqueData(), COLORconsGetComplementaryGraph(), COLORconsGetCurrentGraph(), COLORconsGetRepresentative(), COLORconsGetRepresentatives(), COLORconsGetUnion(), COLORconsGetUnions(), computeAlternativeBounds(), computeBoundsX(), computeBoundsZ(), computeED(), computeEffectiveHorizon(), computeGauge(), computeInteriorPoint(), computeReferencePointGauge(), computeReferencePointProjection(), computeViolation(), computeViolations(), consCapacityConstraintsFinder(), consdataLinearize(), consdataPrint(), consFixInteger(), 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(), 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(), processIntegerBoundChg(), 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(), resolvePropagationFullOrbitopes(), 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(), SCIPchgCapacityKnapsack(), SCIPchgCardvalCardinality(), SCIPchgCoefLinear(), SCIPchgLhsPseudoboolean(), SCIPchgLhsQuadratic(), SCIPchgLinearCoefQuadratic(), SCIPchgRhsLinear(), SCIPchgRhsPseudoboolean(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPconsGetHdlr(), SCIPdelCoefLinear(), SCIPfindQuadVarTermQuadratic(), SCIPgetActivityQuadratic(), SCIPgetAndDatasPseudoboolean(), SCIPgetBilinTermsQuadratic(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarSuperindicator(), 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(), SCIPgetHminCumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntvarLinking(), SCIPgetIntVarXor(), SCIPgetItemid1Samediff(), SCIPgetItemid2Samediff(), SCIPgetLhsAbspower(), SCIPgetLhsBivariate(), SCIPgetLhsCoefsSOC(), SCIPgetLhsConstantSOC(), SCIPgetLhsNonlinear(), SCIPgetLhsOffsetsSOC(), SCIPgetLhsPseudoboolean(), SCIPgetLhsQuadratic(), SCIPgetLhsVarbound(), SCIPgetLhsVarsSOC(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearCoefBivariate(), SCIPgetLinearCoefsNonlinear(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinearVarAbspower(), SCIPgetLinearVarBivariate(), SCIPgetLinearVarsNonlinear(), SCIPgetLinearVarsQuadratic(), 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(), SCIPisConvexQuadratic(), SCIPisLinearLocalQuadratic(), SCIPisViolatedIndicator(), SCIPmakeIndicatorFeasible(), SCIPmakeIndicatorsFeasible(), SCIPsetBinaryVarIndicator(), SCIPsetExprtreesNonlinear(), SCIPsetHmaxCumulative(), SCIPsetHminCumulative(), SCIPsetLinearConsIndicator(), SCIPsetSlackVarUb(), SCIPsortAndCons(), SCIPsortQuadVarTermsQuadratic(), SCIPStpConshdlrSetGraph(), SCIPvisualizeConsCumulative(), separateCons(), separateConsBinaryRepresentation(), separateConsOnIntegerVariables(), separateConstraints(), separateCoverCutsCons(), 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()
int SCIPconsGetNUses | ( | SCIP_CONS * | cons | ) |
gets number of times, the constraint is currently captured
- Parameters
-
cons constraint
Definition at line 8116 of file cons.c.
References NULL, SCIP_Cons::nuses, and SCIPconsGetActiveDepth().
Referenced by SCIPconsGetData().
◆ SCIPconsGetActiveDepth()
int SCIPconsGetActiveDepth | ( | SCIP_CONS * | cons | ) |
for an active constraint, returns the depth in the tree at which the constraint was activated
- Parameters
-
cons constraint
Definition at line 8126 of file cons.c.
References SCIP_Cons::activedepth, NULL, SCIP_Bool, and SCIPconsIsActive().
Referenced by SCIPconsGetNUses(), SCIPconsGetValidDepth(), and SCIPconshdlrInitLP().
◆ SCIPconsGetValidDepth()
int SCIPconsGetValidDepth | ( | SCIP_CONS * | cons | ) |
returns the depth in the tree at which the constraint is valid; returns INT_MAX, if the constraint is local and currently not active
- Parameters
-
cons constraint
Definition at line 8159 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()
returns TRUE iff constraint is active in the current node
- Parameters
-
cons constraint
Definition at line 8137 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(), 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()
returns TRUE iff constraint has to be deactivated in update phase
returns TRUE iff constraint is active in the current node
- Parameters
-
cons constraint
Definition at line 8147 of file cons.c.
References NULL, SCIPconsGetValidDepth(), and SCIP_Cons::updatedeactivate.
Referenced by SCIP_DECL_EVENTEXEC(), and SCIPconsIsActive().
◆ SCIPconsIsEnabled()
returns TRUE iff constraint is enabled in the current node
- Parameters
-
cons constraint
Definition at line 8173 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(), delLinearCoefPos(), initPricing(), printRangeSection(), propagateBounds(), propagateConstraintSides(), registerBranchingCandidates(), registerLargeRelaxValueVariableForBranching(), replaceQuadVarTermPos(), SCIP_DECL_CONSEXITSOL(), 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()
returns TRUE iff constraint's separation is enabled in the current node
- Parameters
-
cons constraint
Definition at line 8183 of file cons.c.
References NULL, SCIP_Bool, SCIPconsIsEnabled(), SCIPconsIsPropagationEnabled(), SCIP_Cons::sepaenabled, SCIP_Cons::updatesepadisable, and SCIP_Cons::updatesepaenable.
Referenced by SCIPconsIsEnabled().
◆ SCIPconsIsPropagationEnabled()
returns TRUE iff constraint's propagation is enabled in the current node
- Parameters
-
cons constraint
Definition at line 8194 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()
returns TRUE iff constraint is deleted or marked to be deleted
- Parameters
-
cons constraint
Definition at line 8205 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(), correctConshdlrdata(), correctLocksAndCaptures(), delPosConflict(), delPosDualray(), delPosDualsol(), detectRedundantVars(), dualWeightsTightening(), findAggregation(), fixDeleteOrUpgradeCons(), getLinVarsAndAndRess(), mergeMultiples(), prepareCons(), presolveCons(), presolveFindDuplicates(), prettifyConss(), propagateBounds(), propagateCons(), propagateConstraintSides(), reformulate(), removeConstraintsDueToNegCliques(), removeCoreVariablesAndConstraints(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConssAndNonzeros(), 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(), SCIPconflictstoreCleanNewIncumbent(), SCIPconflictstoreGetConflicts(), SCIPconsIsPropagationEnabled(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPisViolatedIndicator(), SCIPreoptResetActiveConss(), SCIPwriteLp(), SCIPwriteMps(), separatePoint(), shortenConss(), simplifyInequalities(), strengthenConss(), tightenWeights(), tryUpgrading(), updateConsanddataUses(), and upgradeCons().
◆ SCIPconsIsObsolete()
returns TRUE iff constraint is marked obsolete
- Parameters
-
cons constraint
Definition at line 8215 of file cons.c.
References NULL, SCIP_Cons::obsolete, SCIP_Bool, SCIPconsIsConflict(), and SCIP_Cons::updateobsolete.
Referenced by SCIPconsIsDeleted().
◆ SCIPconsIsConflict()
returns TRUE iff constraint is marked as a conflict
- Parameters
-
cons constraint
Definition at line 8225 of file cons.c.
References SCIP_Cons::conflict, NULL, SCIP_Real, and SCIPconsGetAge().
Referenced by computeSymmetryGroup(), SCIPconsIsObsolete(), SCIPcopyConflicts(), and SCIPcopyConss().
◆ SCIPconsGetAge()
gets age of constraint
- Parameters
-
cons constraint
Definition at line 8235 of file cons.c.
References SCIP_Cons::age, NULL, SCIP_Bool, and SCIPconsIsInitial().
Referenced by conflictstoreCleanUpStorage(), delPosConflict(), delPosDualray(), delPosDualsol(), SCIP_DECL_SORTPTRCOMP(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), and SCIPconsIsConflict().
◆ SCIPconsIsInitial()
returns TRUE iff the LP relaxation of constraint should be in the initial LP
- Parameters
-
cons constraint
Definition at line 8245 of file cons.c.
References SCIP_Cons::initial, NULL, SCIP_Bool, and SCIPconsIsSeparated().
Referenced by addCliques(), addCoefTerm(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsGetAge(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
◆ SCIPconsIsSeparated()
returns TRUE iff constraint should be separated during LP processing
- Parameters
-
cons constraint
Definition at line 8255 of file cons.c.
References NULL, SCIP_Bool, SCIPconsIsEnforced(), and SCIP_Cons::separate.
Referenced by addCliques(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsIsInitial(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
◆ SCIPconsIsEnforced()
returns TRUE iff constraint should be enforced during node processing
- Parameters
-
cons constraint
Definition at line 8265 of file cons.c.
References SCIP_Cons::enforce, NULL, SCIP_Bool, and SCIPconsIsChecked().
Referenced by addCliques(), addCoefTerm(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsIsSeparated(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
◆ SCIPconsIsChecked()
returns TRUE iff constraint should be checked for feasibility
- Parameters
-
cons constraint
Definition at line 8275 of file cons.c.
References SCIP_Cons::check, NULL, SCIP_Bool, and SCIPconsIsMarkedPropagate().
Referenced by addAllConss(), addCoefTerm(), addConsToOccurList(), 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(), fixDeleteOrUpgradeCons(), presolRoundCardinality(), presolRoundConsSOS1(), presolveConsEst(), presolveConsLct(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), processIntegerBoundChg(), propagateCons(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedVariables(), removeRedundantConss(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_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()
returns whether the constraint is marked for propagation
- Parameters
-
cons constraint
Definition at line 8285 of file cons.c.
References SCIP_Cons::markpropagate, NULL, SCIP_Bool, SCIPconsIsPropagated(), SCIP_Cons::updatemarkpropagate, and SCIP_Cons::updateunmarkpropagate.
Referenced by addScenarioConsToProb(), presolveDual(), propagateBounds(), propagateBoundsCons(), propagateCons(), SCIPconsIsChecked(), SCIPmarkConsPropagate(), SCIPunmarkConsPropagate(), and upgradeConss().
◆ SCIPconsIsPropagated()
returns TRUE iff constraint should be propagated during node processing
- Parameters
-
cons constraint
Definition at line 8295 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(), fixDeleteOrUpgradeCons(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsIsMarkedPropagate(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
◆ SCIPconsIsGlobal()
returns TRUE iff constraint is globally valid
- Parameters
-
cons constraint
Definition at line 8305 of file cons.c.
References SCIP_Cons::local, NULL, SCIP_Bool, and SCIPconsIsLocal().
Referenced by conflictResolveBound(), generateCut(), SCIPaddCons(), SCIPanalyzeConflictCons(), SCIPconsIsPropagated(), and SCIPnodeAddCons().
◆ SCIPconsIsLocal()
returns TRUE iff constraint is only locally valid or not added to any (sub)problem
- Parameters
-
cons constraint
Definition at line 8315 of file cons.c.
References SCIP_Cons::local, NULL, SCIP_Bool, and SCIPconsIsModifiable().
Referenced by addCliques(), addCoefTerm(), addLinearizationCuts(), addRelaxation(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createCoverCutsTimepoint(), createNAryBranch(), createRelaxation(), createRow(), createRows(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), generateCut(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), initsepaBoundInequalityFromCardinality(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPaddLinearConsIndicator(), SCIPconsIsGlobal(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPtransformMinUC(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
◆ SCIPconsIsModifiable()
returns TRUE iff constraint is modifiable (subject to column generation)
- Parameters
-
cons constraint
Definition at line 8325 of file cons.c.
References SCIP_Cons::modifiable, NULL, SCIP_Bool, and SCIPconsIsDynamic().
Referenced by addAllConss(), addCliques(), addCoefTerm(), 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(), processIntegerBoundChg(), 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(), simplifyInequalities(), solveIndependentCons(), strengthenConss(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), and upgradeLinearSuperindicator().
◆ SCIPconsIsDynamic()
returns TRUE iff constraint is subject to aging
- Parameters
-
cons constraint
Definition at line 8335 of file cons.c.
References SCIP_Cons::dynamic, NULL, SCIP_Bool, and SCIPconsIsRemovable().
Referenced by addCliques(), addCoefTerm(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsIsModifiable(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
◆ SCIPconsIsRemovable()
returns TRUE iff constraint's relaxation should be removed from the LP due to aging or cleanup
- Parameters
-
cons constraint
Definition at line 8345 of file cons.c.
References NULL, SCIP_Cons::removable, SCIP_Bool, and SCIPconsIsStickingAtNode().
Referenced by addCliques(), 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(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), readQCMatrix(), readQuadraticCoefs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_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()
returns TRUE iff constraint's relaxation should be removed from the LP due to aging or cleanup
- Parameters
-
cons constraint
Definition at line 8355 of file cons.c.
References NULL, SCIP_Bool, SCIPconsIsInProb(), and SCIP_Cons::stickingatnode.
Referenced by addCliques(), addCoefTerm(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createConsFromMonomial(), createConsFromQuadTerm(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), processIntegerBoundChg(), readNonlinearExprs(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIPconsIsRemovable(), SCIPconssetchgMakeGlobal(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
◆ SCIPconsIsInProb()
returns TRUE iff constraint belongs to the global problem
- Parameters
-
cons constraint
Definition at line 8365 of file cons.c.
References SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, NULL, SCIP_Bool, and SCIPconsIsOriginal().
Referenced by SCIPconsIsStickingAtNode().
◆ SCIPconsIsOriginal()
returns TRUE iff constraint is belonging to original space
- Parameters
-
cons constraint
Definition at line 8375 of file cons.c.
References NULL, SCIP_Cons::original, SCIP_Bool, and SCIPconsIsTransformed().
Referenced by checkOrigPbCons(), consdataFree(), consdataPrint(), getLinVarsAndAndRess(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSTRANS(), SCIPchgBilinCoefQuadratic(), SCIPchgCoefLinear(), SCIPchgLhsQuadratic(), SCIPchgLinearCoefQuadratic(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPconflictstoreAddConflict(), SCIPconflictstoreTransform(), SCIPconsIsInProb(), SCIPcopyOrigConss(), SCIPgetAndDatasPseudoboolean(), and SCIPreleaseCons().
◆ SCIPconsIsTransformed()
returns TRUE iff constraint is belonging to transformed space
- Parameters
-
cons constraint
Definition at line 8385 of file cons.c.
References NULL, SCIP_Cons::original, SCIP_Bool, and SCIPconsIsLockedPos().
Referenced by addCoef(), addLinearCoef(), addQuadVarTerm(), addVarCardinality(), addVarSOS1(), addVarSOS2(), appendVarCardinality(), appendVarSOS1(), appendVarSOS2(), applyFixings(), catchLinearVarEvents(), checkConsnames(), chgLhs(), chgLinearCoefPos(), chgRhs(), computeSymmetryGroup(), consdataCreate(), consdataDeletePos(), delCoefPos(), dropLinearVarEvents(), preprocessConstraintPairs(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSDISABLE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIPconsIsOriginal(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsSOS1(), SCIPgetDualSolVal(), SCIPgetTransformedCons(), SCIPgetTransformedConss(), SCIPmatrixCreate(), SCIPsetBinaryVarIndicator(), SCIPtransformCons(), SCIPtransformConss(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), setIntvar(), writeFzn(), and writeOpbConstraints().
◆ SCIPconsIsLockedPos()
returns TRUE iff roundings for variables in constraint are locked
- Parameters
-
cons constraint
Definition at line 8395 of file cons.c.
References SCIP_Cons::nlockspos, NULL, SCIP_Bool, SCIP_LOCKTYPE_MODEL, and SCIPconsIsLockedNeg().
Referenced by SCIPconsIsTransformed().
◆ SCIPconsIsLockedNeg()
returns TRUE iff roundings for variables in constraint's negation are locked
- Parameters
-
cons constraint
Definition at line 8405 of file cons.c.
References SCIP_Cons::nlocksneg, NULL, SCIP_Bool, SCIP_LOCKTYPE_MODEL, and SCIPconsIsLocked().
Referenced by SCIPconsIsLockedPos().
◆ SCIPconsIsLocked()
returns TRUE iff roundings for variables in constraint or in constraint's negation are locked
- Parameters
-
cons constraint
Definition at line 8415 of file cons.c.
References SCIP_Cons::nlocksneg, SCIP_Cons::nlockspos, NULL, SCIP_LOCKTYPE_MODEL, and SCIPconsGetNLocksPos().
Referenced by chgLhs(), chgLinearCoefPos(), chgRhs(), lockRoundingAndCons(), SCIPconsIsLockedNeg(), splitOffLinearPart(), and unlockRoundingAndCons().
◆ SCIPconsGetNLocksPos()
int SCIPconsGetNLocksPos | ( | SCIP_CONS * | cons | ) |
get number of times the roundings for variables in constraint are locked
- Parameters
-
cons constraint
Definition at line 8425 of file cons.c.
References SCIP_Cons::nlockspos, NULL, SCIP_LOCKTYPE_MODEL, and SCIPconsGetNLocksNeg().
Referenced by SCIPconsIsLocked().
◆ SCIPconsGetNLocksNeg()
int SCIPconsGetNLocksNeg | ( | SCIP_CONS * | cons | ) |
get number of times the roundings for variables in constraint's negation are locked
- Parameters
-
cons constraint
Definition at line 8435 of file cons.c.
References SCIP_Cons::nlocksneg, NULL, SCIP_Bool, SCIP_LOCKTYPE_MODEL, and SCIPconsIsLockedTypePos().
Referenced by SCIPconsGetNLocksPos().
◆ SCIPconsIsLockedTypePos()
SCIP_Bool SCIPconsIsLockedTypePos | ( | SCIP_CONS * | cons, |
SCIP_LOCKTYPE | locktype | ||
) |
returns TRUE iff roundings of the given locktype for variables in constraint are locked
- Parameters
-
cons constraint locktype variable lock type
Definition at line 8445 of file cons.c.
References SCIP_Cons::nlockspos, NLOCKTYPES, NULL, SCIP_Bool, and SCIPconsIsLockedTypeNeg().
Referenced by SCIPconsGetNLocksNeg(), SCIPlockVarCons(), and SCIPunlockVarCons().
◆ SCIPconsIsLockedTypeNeg()
SCIP_Bool SCIPconsIsLockedTypeNeg | ( | SCIP_CONS * | cons, |
SCIP_LOCKTYPE | locktype | ||
) |
returns TRUE iff roundings of the given locktype for variables in constraint are locked
- Parameters
-
cons constraint locktype variable lock type
Definition at line 8457 of file cons.c.
References SCIP_Cons::nlocksneg, NLOCKTYPES, NULL, SCIP_Bool, and SCIPconsIsLockedType().
Referenced by SCIPconsIsLockedTypePos(), SCIPlockVarCons(), and SCIPunlockVarCons().
◆ SCIPconsIsLockedType()
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
-
cons constraint locktype variable lock type
Definition at line 8469 of file cons.c.
References SCIP_Cons::nlocksneg, SCIP_Cons::nlockspos, NLOCKTYPES, NULL, and SCIPconsGetNLocksTypePos().
Referenced by chgLhs(), chgLinearCoefPos(), chgRhs(), lockRounding(), lockRoundingAndCons(), SCIPconsIsLockedTypeNeg(), unlockLinearVariable(), unlockRounding(), and unlockRoundingAndCons().
◆ SCIPconsGetNLocksTypePos()
int SCIPconsGetNLocksTypePos | ( | SCIP_CONS * | cons, |
SCIP_LOCKTYPE | locktype | ||
) |
get number of times the roundings of given locktype for variables in constraint are locked
- Parameters
-
cons constraint locktype variable lock type
Definition at line 8481 of file cons.c.
References SCIP_Cons::nlockspos, NLOCKTYPES, NULL, and SCIPconsGetNLocksTypeNeg().
Referenced by SCIPconsIsLockedType().
◆ SCIPconsGetNLocksTypeNeg()
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
-
cons constraint locktype variable lock type
Definition at line 8493 of file cons.c.
References SCIP_Cons::nlocksneg, NLOCKTYPES, NULL, SCIP_Bool, and SCIPconsIsAdded().
Referenced by SCIPconsGetNLocksTypePos().
◆ SCIPconsIsAdded()
returns if the constraint was already added to a SCIP instance
- Parameters
-
cons constraint
Definition at line 8505 of file cons.c.
References SCIP_Cons::addarraypos, NULL, and SCIPconsAddUpgradeLocks().
Referenced by applyFixings(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSINITPRE(), SCIPactiveCons(), SCIPchgConsName(), SCIPconsGetNLocksTypeNeg(), SCIPdeactiveCons(), SCIPdelCons(), SCIPdelConsLocal(), SCIPdelConsNode(), SCIPenfolpCons(), SCIPenfopsCons(), SCIPenforelaxCons(), SCIPinitlpCons(), and SCIPrespropCons().
◆ SCIPconsAddUpgradeLocks()
void SCIPconsAddUpgradeLocks | ( | SCIP_CONS * | cons, |
int | nlocks | ||
) |
adds locks to (dis-)allow upgrading of constraint
- Parameters
-
cons constraint to add locks nlocks number of locks to add
Definition at line 8515 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()
int SCIPconsGetNUpgradeLocks | ( | SCIP_CONS * | cons | ) |
gets number of locks against upgrading the constraint, 0 means this constraint can be upgraded
- Parameters
-
cons constraint
Definition at line 8527 of file cons.c.
References NULL, and SCIP_Cons::nupgradelocks.
Referenced by aggregateConstraints(), createVarUbs(), presolRoundIndicator(), propIndicator(), SCIPconsAddUpgradeLocks(), SCIPcreateConsIndicator(), SCIPcreateConsIndicatorLinCons(), and tryUpgrading().
◆ SCIPcreateCons()
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
-
scip SCIP data structure cons pointer to constraint name name of constraint conshdlr constraint handler for this constraint consdata data for this specific constraint initial should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'. separate should the constraint be separated during LP processing? Usually set to TRUE. enforce should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints. check should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints. propagate should the constraint be propagated during node processing? Usually set to TRUE. local is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints. modifiable is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint. dynamic is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints. removable should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'. stickingatnode should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data.
Definition at line 1011 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(), 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_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
-
scip SCIP data structure cons pointer to store constraint str string to parse for constraint initial should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'. separate should the constraint be separated during LP processing? Usually set to TRUE. enforce should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints. check should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints. propagate should the constraint be propagated during node processing? Usually set to TRUE. local is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints. modifiable is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint. dynamic is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints. removable should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'. stickingatnode should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data. success pointer to store if the paring process was successful
Definition at line 1095 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()
SCIP_RETCODE SCIPcaptureCons | ( | SCIP * | scip, |
SCIP_CONS * | cons | ||
) |
increases usage counter of 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
-
scip SCIP data structure cons constraint to capture
Definition at line 1152 of file scip_cons.c.
References FALSE, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsCapture(), and TRUE.
Referenced by consdataAddCons(), consdataCollectLinkingCons(), consdataCreate(), consdataCreateSuperindicator(), correctPresoldata(), createAndAddAndCons(), createAndAddLinearCons(), createPresoldata(), createSubSCIP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSTRANS(), SCIP_DECL_PRICERINIT(), SCIP_DECL_PROBCOPY(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsPseudobooleanWithConss(), SCIPgetConsCopy(), SCIPpricerBinpackingActivate(), and SCIPsetLinearConsIndicator().
◆ SCIPreleaseCons()
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
-
scip SCIP data structure cons pointer to constraint
Definition at line 1187 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(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addFixedVarsConss(), addLocalBranchingConstraint(), addLocalConss(), addLowerboundCons(), addScenarioConsToProb(), addSplitcons(), addVarbound(), adjustOversizedJobBounds(), aggregateConstraints(), applyFixings(), applyRepair(), BENDERS_CUTORACLE(), branchBalancedCardinality(), branchOnVertex(), cancelRow(), cleanActiveConss(), cleanupHashDatas(), cliquePresolve(), polyscip::Polyscip::computeNondomPoints(), consdataDeletePos(), consdataFree(), consdataLinearize(), copyConsPseudoboolean(), copyCuts(), copyToSubscip(), correctConshdlrdata(), correctPresoldata(), CREATE_CONSTRAINT(), createAndAddAndCons(), createAndAddLinearCons(), createAndAddProofcons(), createAndAddTransferredCut(), createBounddisjunctionCons(), createCapacityRestriction(), createCipFormulation(), createConflict(), createConflictCons(), createConsCumulative(), createConstraints(), createCoveringProblem(), createCumulativeCons(), createIndicatorConstraint(), createIntervalRelaxation(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createLinearCons(), createMIP(), createMipCpFormulation(), createMipFormulation(), createNAryBranch(), createPrecedenceCons(), createProbOnlyEdge(), createProbQP(), createProbSimplified(), createProbSimplifiedTest(), createQuadraticCons(), createRow(), createRows(), createSetPackingCons(), createSubproblem(), createSubSCIP(), createSubscip(), createVarboundCons(), createVarUbs(), CUTOFF_CONSTRAINT(), deleteRedundantVars(), deleteSubproblem(), detectRedundantVars(), disaggregate(), dualPresolve(), dualWeightsTightening(), execmain(), executeStrongBranching(), extendToCover(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), fixVariableZeroNode(), forbidCover(), forbidFixation(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), getConstraint(), getFixedVariable(), initPricing(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), probdataFree(), processIntegerBoundChg(), processNlRow(), 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_PRESOLEXIT(), SCIP_DECL_PRICEREXITSOL(), SCIP_DECL_PRICERINIT(), SCIP_DECL_PROBDELORIG(), SCIP_DECL_PROBDELTRANS(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERREAD(), SCIP_DECL_SOLVECUMULATIVE(), SCIPaddConflict(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateSchedulingProblem(), SCIPgetVarCopy(), SCIPprobdataCreate(), SCIPsetLinearConsIndicator(), SCIPStpDualAscent(), SCIPStpDualAscentPcMw(), SCIPtransformMinUC(), SCIPverifyCircularPatternNLP(), selectVarMultAggrBranching(), setObjective(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipRapidlearning(), setupProblem(), setupSubproblem(), setupSubScip(), solvePricingMINLP(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), and scipexamples::QueensSolver::~QueensSolver().
◆ SCIPchgConsName()
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
-
scip SCIP data structure cons constraint name new name of constraint
Definition at line 1238 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_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
-
scip SCIP data structure cons constraint initial new value
Definition at line 1285 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_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
-
scip SCIP data structure cons constraint separate new value
Definition at line 1310 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_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
-
scip SCIP data structure cons constraint enforce new value
Definition at line 1335 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_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
-
scip SCIP data structure cons constraint check new value
Definition at line 1360 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_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
-
scip SCIP data structure cons constraint propagate new value
Definition at line 1385 of file scip_cons.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetPropagated(), Scip::set, and TRUE.
Referenced by SCIPupdateConsFlags().
◆ SCIPsetConsLocal()
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
-
scip SCIP data structure cons constraint local new value
Definition at line 1412 of file scip_cons.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetLocal(), and TRUE.
◆ SCIPsetConsModifiable()
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
-
scip SCIP data structure cons constraint modifiable new value
Definition at line 1438 of file scip_cons.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetModifiable(), and TRUE.
Referenced by SCIPprobdataCreate(), and setupProblem().
◆ SCIPsetConsDynamic()
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
-
scip SCIP data structure cons constraint dynamic new value
Definition at line 1463 of file scip_cons.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetDynamic(), and TRUE.
Referenced by generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), and SCIPupdateConsFlags().
◆ SCIPsetConsRemovable()
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
-
scip SCIP data structure cons constraint removable new value
Definition at line 1488 of file scip_cons.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetRemovable(), and TRUE.
Referenced by createAndAddTransferredCut(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), SCIPbendersMergeSubproblemIntoMaster(), and SCIPupdateConsFlags().
◆ SCIPsetConsStickingAtNode()
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
-
scip SCIP data structure cons constraint stickingatnode new value
Definition at line 1513 of file scip_cons.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSetStickingAtNode(), and TRUE.
Referenced by SCIPupdateConsFlags().
◆ SCIPupdateConsFlags()
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
-
scip SCIP data structure cons0 constraint that should stay cons1 constraint that should be deleted
Definition at line 1538 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_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
-
scip SCIP data structure cons constraint to get/create transformed constraint for transcons pointer to store the transformed constraint
Definition at line 1598 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_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
-
scip SCIP data structure nconss number of constraints to get/create transformed constraints for conss array with constraints to get/create transformed constraints for transconss array to store the transformed constraints
Definition at line 1639 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_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
-
scip SCIP data structure cons constraint to get the transformed constraint for transcons pointer to store the transformed constraint
Definition at line 1688 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_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
-
scip SCIP data structure nconss number of constraints to get the transformed constraints for conss constraints to get the transformed constraints for transconss array to store the transformed constraints
Definition at line 1728 of file scip_cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsGetTransformed(), SCIPconsIsTransformed(), and TRUE.
◆ SCIPaddConsAge()
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
-
scip SCIP data structure cons constraint deltaage value to add to the constraint's age
Definition at line 1769 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_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
-
scip SCIP data structure cons constraint
Definition at line 1798 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_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
-
scip SCIP data structure cons constraint
Definition at line 1826 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_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
-
scip SCIP data structure cons constraint
Definition at line 1851 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_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
-
scip SCIP data structure cons constraint
Definition at line 1885 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_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
-
scip SCIP data structure cons constraint
Definition at line 1910 of file scip_cons.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsEnableSeparation(), Scip::set, and TRUE.
◆ SCIPdisableConsSeparation()
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
-
scip SCIP data structure cons constraint
Definition at line 1938 of file scip_cons.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsDisableSeparation(), Scip::set, and TRUE.
◆ SCIPenableConsPropagation()
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
-
scip SCIP data structure cons constraint
Definition at line 1965 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_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
-
scip SCIP data structure cons constraint
Definition at line 1995 of file scip_cons.c.
References FALSE, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsDisablePropagation(), Scip::set, and TRUE.
Referenced by processWatchedVars().
◆ SCIPmarkConsPropagate()
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
-
scip SCIP data structure cons constraint
Definition at line 2028 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_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
-
scip SCIP data structure cons constraint
Definition at line 2056 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_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
-
scip SCIP data structure cons constraint locktype type of the variable locks nlockspos increase in number of rounding locks for constraint nlocksneg increase in number of rounding locks for constraint's negation
Definition at line 2086 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_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
-
scip SCIP data structure cons constraint nlockspos increase in number of rounding locks for constraint nlocksneg increase in number of rounding locks for constraint's negation
Definition at line 2119 of file scip_cons.c.
References FALSE, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIPaddConsLocksType(), SCIPcheckStage(), and TRUE.
◆ SCIPcheckCons()
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
-
scip SCIP data structure cons constraint to check sol primal CIP solution checkintegrality Has integrality to be checked? checklprows Do constraints represented by rows in the current LP have to be checked? printreason Should the reason for the violation be printed? result pointer to store the result of the callback method
Definition at line 2149 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_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
-
scip SCIP data structure cons constraint to enforce solinfeasible was the solution already declared infeasible by a constraint handler? objinfeasible is the solution infeasible anyway due to violating lower objective bound? result pointer to store the result of the callback method
Definition at line 2177 of file scip_cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsEnfops(), SCIPconsIsAdded(), Scip::set, and TRUE.
◆ SCIPenfolpCons()
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
-
scip SCIP data structure cons constraint to enforce solinfeasible was the solution already declared infeasible by a constraint handler? result pointer to store the result of the callback method
Definition at line 2208 of file scip_cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsEnfolp(), SCIPconsIsAdded(), Scip::set, and TRUE.
Referenced by enforceConstraint().
◆ 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
-
scip SCIP data structure cons constraint to enforce sol solution to enforce solinfeasible was the solution already declared infeasible by a constraint handler? result pointer to store the result of the callback method
Definition at line 2238 of file scip_cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsEnforelax(), SCIPconsIsAdded(), Scip::set, and TRUE.
Referenced by enforceConstraint().
◆ SCIPinitlpCons()
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
-
scip SCIP data structure cons constraint to initialize infeasible pointer to store whether infeasibility was detected while building the LP
Definition at line 2270 of file scip_cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsInitlp(), SCIPconsIsAdded(), Scip::set, and TRUE.
◆ SCIPsepalpCons()
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
-
scip SCIP data structure cons constraint to separate result pointer to store the result of the separation call
Definition at line 2297 of file scip_cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSepalp(), Scip::set, and TRUE.
◆ SCIPsepasolCons()
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
-
scip SCIP data structure cons constraint to separate sol primal solution that should be separated result pointer to store the result of the separation call
Definition at line 2324 of file scip_cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsSepasol(), Scip::set, and TRUE.
◆ SCIPpropCons()
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
-
scip SCIP data structure cons constraint to propagate proptiming current point in the node solving loop result pointer to store the result of the callback method
Definition at line 2354 of file scip_cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsProp(), Scip::set, and TRUE.
◆ SCIPrespropCons()
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
-
scip SCIP data structure cons constraint to resolve conflict for infervar the conflict variable whose bound change has to be resolved inferinfo the user information passed to the corresponding SCIPinferVarLbCons() or SCIPinferVarUbCons() call boundtype the type of the changed bound (lower or upper bound) bdchgidx the index of the bound change, representing the point of time where the change took place relaxedbd the relaxed bound which is sufficient to be explained result pointer to store the result of the callback method
Definition at line 2385 of file scip_cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsIsAdded(), SCIPconsResprop(), Scip::set, and TRUE.
◆ SCIPpresolCons()
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
-
scip SCIP data structure cons constraint to presolve nrounds number of presolving rounds already done presoltiming presolving timing(s) to be performed nnewfixedvars number of variables fixed since the last call to the presolving method nnewaggrvars number of variables aggregated since the last call to the presolving method nnewchgvartypes number of variable type changes since the last call to the presolving method nnewchgbds number of variable bounds tightened since the last call to the presolving method nnewholes number of domain holes added since the last call to the presolving method nnewdelconss number of deleted constraints since the last call to the presolving method nnewaddconss number of added constraints since the last call to the presolving method nnewupgdconss number of upgraded constraints since the last call to the presolving method nnewchgcoefs number of changed coefficients since the last call to the presolving method nnewchgsides number of changed left or right hand sides since the last call to the presolving method nfixedvars pointer to count total number of variables fixed of all presolvers naggrvars pointer to count total number of variables aggregated of all presolvers nchgvartypes pointer to count total number of variable type changes of all presolvers nchgbds pointer to count total number of variable bounds tightened of all presolvers naddholes pointer to count total number of domain holes added of all presolvers ndelconss pointer to count total number of deleted constraints of all presolvers naddconss pointer to count total number of added constraints of all presolvers nupgdconss pointer to count total number of upgraded constraints of all presolvers nchgcoefs pointer to count total number of changed coefficients of all presolvers nchgsides pointer to count total number of changed left/right hand sides of all presolvers result pointer to store the result of the callback method
Definition at line 2420 of file scip_cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsPresol(), Scip::set, and TRUE.
Referenced by SCIP_DECL_PRESOLEXEC().
◆ SCIPactiveCons()
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
-
scip SCIP data structure cons constraint to notify
Definition at line 2482 of file scip_cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsActive(), SCIPconsIsAdded(), SCIPconsIsDeleted(), Scip::set, and TRUE.
◆ SCIPdeactiveCons()
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
-
scip SCIP data structure cons constraint to notify
Definition at line 2511 of file scip_cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsDeactive(), SCIPconsIsAdded(), Scip::set, and TRUE.
◆ SCIPprintCons()
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
-
scip SCIP data structure cons constraint file output file (or NULL for standard output)
Definition at line 2550 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_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
-
scip SCIP data structure cons constraint for which the variables are wanted vars array to store the involved variable of the constraint varssize available slots in vars array which is needed to check if the array is large enough success pointer to store whether the variables are successfully copied
Definition at line 2591 of file scip_cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsGetVars(), Scip::set, and TRUE.
Referenced by fillDigraph(), fillVariableGraph(), SCIP_DECL_CONSGETVARS(), SCIPvariablegraphBreadthFirst(), and SCIPwritePbm().
◆ SCIPgetConsNVars()
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
-
scip SCIP data structure cons constraint for which the number of variables is wanted nvars pointer to store the number of variables success pointer to store whether the constraint successfully returned the number of variables
Definition at line 2635 of file scip_cons.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsGetNVars(), Scip::set, and TRUE.
Referenced by fillDigraph(), fillVariableGraph(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_SORTPTRCOMP(), SCIPgetConsVals(), SCIPvariablegraphBreadthFirst(), and SCIPwritePbm().