SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
Public methods for constraints.
| const char* SCIPconsGetName | ( | SCIP_CONS * | cons | ) |
returns the name of the constraint
| cons | constraint |
Definition at line 7986 of file cons.c.
References SCIP_Cons::name, and SCIPconsGetPos().
Referenced by addAllConss(), addBranchingDecisionConss(), addCliques(), addCoef(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConflictBounds(), addCut(), addCuts(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addIntervalGradientEstimator(), addKnapsackConstraints(), addLinearConstraints(), addLinearization(), addLinearizationCuts(), addLogicOrConstraints(), addRelaxation(), addSetppcConstraints(), addSymresackInequality(), addVarbound(), addVarboundConstraints(), addVarCardinality(), addVarSOS1(), addVarSOS2(), aggregateVariables(), analyzeZeroResultant(), applyFixings(), branchBalancedCardinality(), branchCons(), branchUnbalancedCardinality(), checkAllConss(), checkBounddisjunction(), checkCons(), checkConsnames(), checkCurvature(), checkCurvatureEasy(), checkFactorable(), checkFixedVariables(), checkForOverlapping(), checkKnapsack(), checkLogicor(), checkOrigPbCons(), checkOverloadViaThetaTree(), checkPackingPartitioningOrbitopeSolution(), 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(), detectRedundantConstraints(), detectRedundantVars(), disableCons(), disaggregate(), dualPresolve(), dualWeightsTightening(), 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(), 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(), 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_QUADCONSUPGD(), SCIP_DECL_READERWRITE(), 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(), SCIPtransformMinUC(), SCIPvisualizeConsCumulative(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), selectVarMultAggrBranching(), separateCons(), separateConsBinaryRepresentation(), separateConsOnIntegerVariables(), separateCoverCutsCons(), separateIndicators(), separatePoint(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), setupAndSolveSubscipRapidlearning(), simplifyInequalities(), solveIndependentCons(), tightenBounds(), tightenCapacity(), tightenCoefs(), tightenSides(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varAddLbchginfo(), varAddUbchginfo(), and writeOpbConstraints().
| int SCIPconsGetPos | ( | SCIP_CONS * | cons | ) |
returns the position of constraint in the corresponding handler's conss array
| cons | constraint |
Definition at line 7996 of file cons.c.
References SCIP_Cons::consspos, and SCIPconsGetHdlr().
Referenced by detectRedundantConstraints(), and SCIPconsGetName().
| SCIP_CONSHDLR* SCIPconsGetHdlr | ( | SCIP_CONS * | cons | ) |
returns the constraint handler of the constraint
| cons | constraint |
Definition at line 8006 of file cons.c.
References SCIP_Cons::conshdlr, and SCIPconsGetData().
Referenced by addCoefTerm(), addLinearCoef(), addOrbisackCover(), addOrbisackInequality(), addQuadVarTerm(), addRelaxation(), addSymresackInequality(), cancelRow(), catchLinearVarEvents(), checkConsnames(), checkCurvature(), checkOrigPbCons(), chgLinearCoefPos(), computeAndConstraintInfos(), computeSymmetryGroup(), consdataCollectLinkingCons(), consdataDeletePos(), consdataPrint(), copyConsPseudoboolean(), copyToSubscip(), 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_READERWRITE(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPaddCoefKnapsack(), SCIPaddCoefLinear(), SCIPaddCoefLogicor(), SCIPaddCoefPseudoboolean(), SCIPaddCoefSetppc(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddTermPseudoboolean(), SCIPaddVarCardinality(), SCIPaddVarIndicator(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarCardinality(), SCIPappendVarSOS2(), SCIPapplyHeurDualval(), SCIPcheckCurvatureNonlinear(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgBilinCoefQuadratic(), SCIPchgCapacityKnapsack(), SCIPchgCardvalCardinality(), SCIPchgLhsLinear(), SCIPchgLhsPseudoboolean(), SCIPchgLhsQuadratic(), SCIPchgLinearCoefQuadratic(), SCIPchgRhsLinear(), SCIPchgRhsPseudoboolean(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPconflictstoreCleanNewIncumbent(), SCIPconsGetPos(), SCIPconsSetInitial(), SCIPcopyConflicts(), SCIPcopyConsLinear(), SCIPcopyOrigConss(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsSuperindicator(), SCIPdelCoefLinear(), SCIPgetActivityQuadratic(), SCIPgetAndDatasPseudoboolean(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCardvalCardinality(), SCIPgetCoefLinearAbspower(), 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(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), separateCons(), separateIndicators(), separateInequalities(), separatePerspective(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), tightenWeights(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), upgradeSuperindicator(), writeFzn(), writeOpbConstraints(), and writeOpbObjective().
| SCIP_CONSDATA* SCIPconsGetData | ( | SCIP_CONS * | cons | ) |
returns the constraint data field of the constraint
| cons | constraint |
Definition at line 8016 of file cons.c.
References SCIP_Cons::consdata, 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(), analyzeConflict(), analyzeConflictOne(), analyzeConflictZero(), analyzeZeroResultant(), appendVarCardinality(), appendVarSOS1(), appendVarSOS2(), applyFixings(), applyGlobalBounds(), branchCons(), catchEvents(), catchLhsVarEvents(), catchLinearVarEvents(), catchQuadVarEvents(), catchRhsVarEvents(), catchVarEvents(), checkAllConss(), checkCons(), checkCurvature(), checkCurvatureEasy(), checkDemands(), checkFactorable(), checkFixedVariables(), checkForOverlapping(), checkFullOrbitopeSolution(), checkLPBoundsClean(), checkOrigPbCons(), checkPackingPartitioningOrbitopeSolution(), checkSwitchNonoverlappingSOS1Methods(), checkSymresackSolution(), checkSystemGF2(), chgLhs(), chgLinearCoefPos(), chgRhs(), cliquePresolve(), collectBranchingCands(), collectCliqueConss(), collectCliqueData(), 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(), detectRedundantConstraints(), detectRedundantVars(), dropEvents(), dropLhsVarEvents(), dropLinearVarEvents(), dropQuadVarEvents(), dropRhsVarEvents(), dropVarEvents(), dualPresolve(), dualPresolving(), dualWeightsTightening(), 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(), 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(), 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().
| int SCIPconsGetNUses | ( | SCIP_CONS * | cons | ) |
gets number of times, the constraint is currently captured
| cons | constraint |
Definition at line 8026 of file cons.c.
References SCIP_Cons::nuses, and SCIPconsGetActiveDepth().
Referenced by SCIPconsGetData().
| int SCIPconsGetActiveDepth | ( | SCIP_CONS * | cons | ) |
for an active constraint, returns the depth in the tree at which the constraint was activated
| cons | constraint |
Definition at line 8036 of file cons.c.
References SCIP_Cons::activedepth, SCIP_Bool, and SCIPconsIsActive().
Referenced by SCIPconsGetNUses(), SCIPconsGetValidDepth(), and SCIPconshdlrInitLP().
| int SCIPconsGetValidDepth | ( | SCIP_CONS * | cons | ) |
returns the depth in the tree at which the constraint is valid; returns INT_MAX, if the constraint is local and currently not active
| cons | constraint |
Definition at line 8069 of file cons.c.
References SCIP_Cons::local, SCIP_Bool, SCIPconsGetActiveDepth(), SCIPconsIsActive(), SCIPconsIsEnabled(), and SCIP_Cons::validdepth.
Referenced by conflictResolveBound(), disableCons(), SCIPanalyzeConflictCons(), and SCIPconsIsUpdatedeactivate().
returns TRUE iff constraint is active in the current node
| cons | constraint |
Definition at line 8047 of file cons.c.
References SCIP_Cons::active, SCIP_Bool, SCIPconsIsUpdatedeactivate(), SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.
Referenced by addAllConss(), addAltLPConstraint(), addBranchingDecisionConss(), addCliques(), addConsToOccurList(), 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().
returns TRUE iff constraint has to be deactivated in update phase
returns TRUE iff constraint is active in the current node
| cons | constraint |
Definition at line 8057 of file cons.c.
References SCIPconsGetValidDepth(), and SCIP_Cons::updatedeactivate.
Referenced by SCIP_DECL_EVENTEXEC(), and SCIPconsIsActive().
returns TRUE iff constraint is enabled in the current node
| cons | constraint |
Definition at line 8083 of file cons.c.
References SCIP_Cons::enabled, 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(), SCIP_DECL_READERWRITE(), SCIPaddBilinTermQuadratic(), SCIPaddConstantQuadratic(), SCIPaddLinearVarQuadratic(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddQuadVarQuadratic(), SCIPaddSquareCoefQuadratic(), SCIPconsGetValidDepth(), SCIPconsIsPropagationEnabled(), SCIPconsIsSeparationEnabled(), SCIPmarkConsPropagate(), SCIPunmarkConsPropagate(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), separatePoint(), splitOffLinearPart(), writeFzn(), and writeOpbConstraints().
returns TRUE iff constraint's separation is enabled in the current node
| cons | constraint |
Definition at line 8093 of file cons.c.
References SCIP_Bool, SCIPconsIsEnabled(), SCIPconsIsPropagationEnabled(), SCIP_Cons::sepaenabled, SCIP_Cons::updatesepadisable, and SCIP_Cons::updatesepaenable.
Referenced by SCIPconsIsEnabled().
returns TRUE iff constraint's propagation is enabled in the current node
| cons | constraint |
Definition at line 8104 of file cons.c.
References SCIP_Cons::propenabled, SCIP_Bool, SCIPconsIsDeleted(), SCIPconsIsEnabled(), SCIP_Cons::updatepropdisable, and SCIP_Cons::updatepropenable.
Referenced by enforceCurrentSol(), enforcePseudo(), SCIPconsIsSeparationEnabled(), and separateCons().
returns TRUE iff constraint is deleted or marked to be deleted
| cons | constraint |
Definition at line 8115 of file cons.c.
References SCIP_Cons::deleted, SCIP_Bool, and SCIPconsIsObsolete().
Referenced by addCliques(), addExtraCliques(), cleanDeletedConflicts(), cleanDeletedDualrayCons(), cleanDeletedDualsolCons(), 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(), 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(), separatePoint(), shortenConss(), simplifyInequalities(), strengthenConss(), tightenWeights(), tryUpgrading(), and updateConsanddataUses().
returns TRUE iff constraint is marked obsolete
| cons | constraint |
Definition at line 8125 of file cons.c.
References SCIP_Cons::obsolete, SCIP_Bool, SCIPconsIsConflict(), and SCIP_Cons::updateobsolete.
Referenced by SCIPconsIsDeleted().
returns TRUE iff constraint is marked as a conflict
| cons | constraint |
Definition at line 8135 of file cons.c.
References SCIP_Cons::conflict, SCIP_Real, and SCIPconsGetAge().
Referenced by SCIPconsIsObsolete(), SCIPcopyConflicts(), and SCIPcopyConss().
gets age of constraint
| cons | constraint |
Definition at line 8145 of file cons.c.
References SCIP_Cons::age, SCIP_Bool, and SCIPconsIsInitial().
Referenced by conflictstoreCleanUpStorage(), delPosConflict(), delPosDualray(), delPosDualsol(), SCIP_DECL_SORTPTRCOMP(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), and SCIPconsIsConflict().
returns TRUE iff the LP relaxation of constraint should be in the initial LP
| cons | constraint |
Definition at line 8155 of file cons.c.
References SCIP_Cons::initial, SCIP_Bool, and SCIPconsIsSeparated().
Referenced by addCliques(), addCoefTerm(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), 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_QUADCONSUPGD(), SCIPconsGetAge(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint should be separated during LP processing
| cons | constraint |
Definition at line 8165 of file cons.c.
References SCIP_Bool, SCIPconsIsEnforced(), and SCIP_Cons::separate.
Referenced by addCliques(), 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_QUADCONSUPGD(), SCIPconsIsInitial(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint should be enforced during node processing
| cons | constraint |
Definition at line 8175 of file cons.c.
References SCIP_Cons::enforce, SCIP_Bool, and SCIPconsIsChecked().
Referenced by addCliques(), addCoefTerm(), 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_QUADCONSUPGD(), SCIPconsIsSeparated(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint should be checked for feasibility
| cons | constraint |
Definition at line 8185 of file cons.c.
References SCIP_Cons::check, SCIP_Bool, and SCIPconsIsMarkedPropagate().
Referenced by addAllConss(), addCoefTerm(), addConsToOccurList(), addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addSetppcConstraints(), addVarboundConstraints(), applyFixings(), branchCons(), calcNonZeros(), checkSolOrig(), 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_QUADCONSUPGD(), SCIPconsIsEnforced(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPprobAddCons(), SCIPprobDelCons(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), solveIndependentCons(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateAndConss(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns whether the constraint is marked for propagation
| cons | constraint |
Definition at line 8195 of file cons.c.
References SCIP_Cons::markpropagate, SCIP_Bool, SCIPconsIsPropagated(), SCIP_Cons::updatemarkpropagate, and SCIP_Cons::updateunmarkpropagate.
Referenced by presolveDual(), propagateBounds(), propagateBoundsCons(), propagateCons(), SCIPconsIsChecked(), SCIPmarkConsPropagate(), SCIPunmarkConsPropagate(), and upgradeConss().
returns TRUE iff constraint should be propagated during node processing
| cons | constraint |
Definition at line 8205 of file cons.c.
References SCIP_Cons::propagate, SCIP_Bool, and SCIPconsIsGlobal().
Referenced by addCliques(), 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_QUADCONSUPGD(), SCIPconsIsMarkedPropagate(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint is globally valid
| cons | constraint |
Definition at line 8215 of file cons.c.
References SCIP_Cons::local, SCIP_Bool, and SCIPconsIsLocal().
Referenced by conflictResolveBound(), generateCut(), SCIPaddCons(), SCIPanalyzeConflictCons(), SCIPconsIsPropagated(), and SCIPnodeAddCons().
returns TRUE iff constraint is only locally valid or not added to any (sub)problem
| cons | constraint |
Definition at line 8225 of file cons.c.
References SCIP_Cons::local, SCIP_Bool, and SCIPconsIsModifiable().
Referenced by addCliques(), addCoefTerm(), addLinearizationCuts(), addRelaxation(), 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_QUADCONSUPGD(), SCIPaddLinearConsIndicator(), SCIPconsIsGlobal(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPtransformMinUC(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint is modifiable (subject to column generation)
| cons | constraint |
Definition at line 8235 of file cons.c.
References SCIP_Cons::modifiable, SCIP_Bool, and SCIPconsIsDynamic().
Referenced by addAllConss(), addCliques(), addCoefTerm(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addRelaxation(), 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_QUADCONSUPGD(), SCIPconsIsLocal(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), simplifyInequalities(), solveIndependentCons(), strengthenConss(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), and upgradeLinearSuperindicator().
returns TRUE iff constraint is subject to aging
| cons | constraint |
Definition at line 8245 of file cons.c.
References SCIP_Cons::dynamic, SCIP_Bool, and SCIPconsIsRemovable().
Referenced by addCliques(), addCoefTerm(), 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_QUADCONSUPGD(), SCIPconsIsModifiable(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint's relaxation should be removed from the LP due to aging or cleanup
| cons | constraint |
Definition at line 8255 of file cons.c.
References SCIP_Cons::removable, SCIP_Bool, and SCIPconsIsStickingAtNode().
Referenced by addCliques(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addRelaxation(), 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_QUADCONSUPGD(), SCIPconsIsDynamic(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), setupAndSolveSubscipRapidlearning(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint's relaxation should be removed from the LP due to aging or cleanup
| cons | constraint |
Definition at line 8265 of file cons.c.
References SCIP_Bool, SCIPconsIsInProb(), and SCIP_Cons::stickingatnode.
Referenced by addCliques(), addCoefTerm(), 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_QUADCONSUPGD(), SCIPconsIsRemovable(), SCIPconssetchgMakeGlobal(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
returns TRUE iff constraint belongs to the global problem
| cons | constraint |
Definition at line 8275 of file cons.c.
References SCIP_Cons::addarraypos, SCIP_Cons::addconssetchg, SCIP_Bool, and SCIPconsIsOriginal().
Referenced by SCIPconsIsStickingAtNode().
returns TRUE iff constraint is belonging to original space
| cons | constraint |
Definition at line 8285 of file cons.c.
References 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().
returns TRUE iff constraint is belonging to transformed space
| cons | constraint |
Definition at line 8295 of file cons.c.
References 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().
returns TRUE iff roundings for variables in constraint are locked
| cons | constraint |
Definition at line 8305 of file cons.c.
References SCIP_Cons::nlockspos, SCIP_Bool, and SCIPconsIsLockedNeg().
Referenced by SCIPconsIsTransformed(), SCIPlockVarCons(), and SCIPunlockVarCons().
returns TRUE iff roundings for variables in constraint's negation are locked
| cons | constraint |
Definition at line 8315 of file cons.c.
References SCIP_Cons::nlocksneg, SCIP_Bool, and SCIPconsIsLocked().
Referenced by SCIPconsIsLockedPos(), SCIPlockVarCons(), and SCIPunlockVarCons().
returns TRUE iff roundings for variables in constraint or in constraint's negation are locked
| cons | constraint |
Definition at line 8325 of file cons.c.
References SCIP_Cons::nlocksneg, SCIP_Cons::nlockspos, and SCIPconsGetNLocksPos().
Referenced by chgLhs(), chgLinearCoefPos(), chgRhs(), lockRoundingAndCons(), preprocessConstraintPairs(), SCIPconsIsLockedNeg(), splitOffLinearPart(), and unlockRoundingAndCons().
| int SCIPconsGetNLocksPos | ( | SCIP_CONS * | cons | ) |
get number of times the roundings for variables in constraint are locked
| cons | constraint |
Definition at line 8335 of file cons.c.
References SCIP_Cons::nlockspos, and SCIPconsGetNLocksNeg().
Referenced by SCIPconsIsLocked().
| int SCIPconsGetNLocksNeg | ( | SCIP_CONS * | cons | ) |
get number of times the roundings for variables in constraint's negation are locked
| cons | constraint |
Definition at line 8345 of file cons.c.
References SCIP_Cons::nlocksneg, SCIP_Bool, and SCIPconsIsAdded().
Referenced by SCIPconsGetNLocksPos().
returns if the constraint was already added to a SCIP instance
| cons | constraint |
Definition at line 8355 of file cons.c.
References SCIP_Cons::addarraypos, and SCIPconsAddUpgradeLocks().
Referenced by applyFixings(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSINITPRE(), SCIPactiveCons(), SCIPchgConsName(), SCIPconsGetNLocksNeg(), SCIPdeactiveCons(), SCIPdelCons(), SCIPdelConsLocal(), SCIPdelConsNode(), SCIPenfolpCons(), SCIPenfopsCons(), SCIPenforelaxCons(), SCIPinitlpCons(), and SCIPrespropCons().
| void SCIPconsAddUpgradeLocks | ( | SCIP_CONS * | cons, |
| int | nlocks | ||
| ) |
adds locks to (dis-)allow upgrading of constraint
| cons | constraint to add locks |
| nlocks | number of locks to add |
Definition at line 8365 of file cons.c.
References SCIP_Cons::nupgradelocks, and SCIPconsGetNUpgradeLocks().
Referenced by createAndAddLinearCons(), createSubSCIP(), createVarUbs(), presolRoundIndicator(), propIndicator(), SCIP_DECL_CONSINITPRE(), SCIPconsIsAdded(), SCIPcreateConsIndicator(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsPseudobooleanWithConss(), and tryUpgrading().
| int SCIPconsGetNUpgradeLocks | ( | SCIP_CONS * | cons | ) |
gets number of locks against upgrading the constraint, 0 means this constraint can be upgraded
| cons | constraint |
Definition at line 8377 of file cons.c.
References SCIP_Cons::nupgradelocks.
Referenced by createVarUbs(), presolRoundIndicator(), propIndicator(), SCIPconsAddUpgradeLocks(), SCIPcreateConsIndicator(), SCIPcreateConsIndicatorLinCons(), and tryUpgrading().
| 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
scip is in one of the following stages:
| 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 27584 of file scip.c.
References checkStage(), FALSE, Scip::mem, 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, SCIPconsCreate(), SCIPerrorMessage, Scip::set, SCIP_Set::stage, and TRUE.
Referenced by createConsComponents(), createConsSetppc(), createConsXorIntvar(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSTRANS(), SCIPcreateConsAbspower(), SCIPcreateConsAnd(), SCIPcreateConsBivariate(), SCIPcreateConsBounddisjunction(), SCIPcreateConsCardinality(), SCIPcreateConsConjunction(), SCIPcreateConsCumulative(), SCIPcreateConsDisjunction(), SCIPcreateConsIndicator(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsKnapsack(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsLogicor(), SCIPcreateConsLOP(), SCIPcreateConsNonlinear(), SCIPcreateConsNonlinear2(), SCIPcreateConsOr(), SCIPcreateConsOrbisack(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsQuadratic(), SCIPcreateConsQuadratic2(), SCIPcreateConsSamediff(), SCIPcreateConsSOC(), SCIPcreateConsSOS1(), SCIPcreateConsSOS2(), tsp::SCIPcreateConsSubtour(), SCIPcreateConsSuperindicator(), SCIPcreateConsSymresack(), SCIPcreateConsVarbound(), and SCIPcreateConsXor().
| 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;
scip is in one of the following stages:
| 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 27668 of file scip.c.
References checkStage(), FALSE, Scip::messagehdlr, SCIP_CALL, SCIP_OKAY, SCIPconsParse(), Scip::set, and TRUE.
Referenced by getConstraint(), SCIP_DECL_CONSPARSE(), and SCIP_DECL_DIALOGEXEC().
| SCIP_RETCODE SCIPcaptureCons | ( | SCIP * | scip, |
| SCIP_CONS * | cons | ||
| ) |
increases usage counter of constraint
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint to capture |
Definition at line 27726 of file scip.c.
References checkStage(), FALSE, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), and TRUE.
Referenced by consdataAddCons(), consdataCollectLinkingCons(), consdataCreate(), consdataCreateSuperindicator(), correctPresoldata(), createAndAddAndCons(), createAndAddLinearCons(), createPresoldata(), createSubSCIP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_PRICERINIT(), SCIPcreateConsPseudobooleanWithConss(), SCIPgetConsCopy(), SCIPpricerBinpackingActivate(), and SCIPsetLinearConsIndicator().
| SCIP_RETCODE SCIPreleaseCons | ( | SCIP * | scip, |
| SCIP_CONS ** | cons | ||
| ) |
decreases usage counter of constraint, if the usage pointer reaches zero the constraint gets freed
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | pointer to constraint |
Definition at line 27761 of file scip.c.
References checkStage(), FALSE, Scip::mem, 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, SCIPconsIsOriginal(), SCIPconsRelease(), SCIPerrorMessage, Scip::set, SCIP_Set::stage, and TRUE.
Referenced by addBranchingComplementaritiesSOS1(), addBranchingDecisionConss(), addCliques(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addFixedVarsConss(), addLocalBranchingConstraint(), addLocalConss(), addSplitcons(), addVarbound(), adjustOversizedJobBounds(), applyCliqueFixings(), applyFixings(), applyRepair(), branchBalancedCardinality(), cancelRow(), cleanActiveConss(), cleanupHashDatas(), cliquePresolve(), consdataDeletePos(), consdataFree(), consdataLinearize(), copyConsPseudoboolean(), copyCuts(), copyToSubscip(), correctConshdlrdata(), correctPresoldata(), CREATE_CONSTRAINT(), createAndAddAndCons(), createAndAddLinearCons(), createAndAddProofcons(), createCapacityRestriction(), createConflict(), createConsCumulative(), createConstraints(), createCoveringProblem(), createCumulativeCons(), createIndicatorConstraint(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createLinearCons(), createMIP(), createNAryBranch(), createPrecedenceCons(), createQuadraticCons(), createRows(), createSubproblem(), createSubSCIP(), createSubscip(), createVarUbs(), CUTOFF_CONSTRAINT(), deleteRedundantVars(), deleteSubproblem(), detectRedundantVars(), disaggregate(), dualPresolve(), dualWeightsTightening(), extendToCover(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), fixVariableZeroNode(), forbidCover(), forbidFixation(), getConstraint(), getFixedVariable(), initPricing(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveRemoveFixedVariables(), presolveTryAddAND(), presolveTryAddLinearReform(), presolveUpgrade(), probdataFree(), processIntegerBoundChg(), processNlRow(), propIndicator(), readBounds(), readCnf(), readConstraints(), readIndicators(), readNonlinearExprs(), readObjective(), readOPBFile(), readQCMatrix(), readQMatrix(), readQuadraticCoefs(), readRows(), readSemicontinuous(), readSOS(), readSos(), readSOScons(), readVariables(), reformMonomial(), reformNode2Var(), reformulate(), releaseHashmapEntries(), removeConstraintsDueToNegCliques(), removeFixedVariables(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDELETE(), 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_QUADCONSUPGD(), SCIP_DECL_READERREAD(), SCIP_DECL_SOLVECUMULATIVE(), SCIPaddConflict(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateConsIndicator(), SCIPgetVarCopy(), SCIPsetLinearConsIndicator(), SCIPtransformMinUC(), selectVarMultAggrBranching(), setObjective(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipRapidlearning(), setupProblem(), setupSubproblem(), setupSubScip(), tightenBounds(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
| SCIP_RETCODE SCIPchgConsName | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| const char * | name | ||
| ) |
change constraint name
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
| name | new name of constraint |
Definition at line 27812 of file scip.c.
References checkStage(), FALSE, Scip::origprob, SCIP_Cons::scip, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIPABORT, SCIPblkmem(), SCIPconsChgName(), SCIPconsIsAdded(), SCIPerrorMessage, SCIPgetStage(), SCIPprobAddConsName(), SCIPprobRemoveConsName(), and TRUE.
| SCIP_RETCODE SCIPsetConsInitial | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_Bool | initial | ||
| ) |
sets the initial flag of the given constraint
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
| initial | new value |
Definition at line 27859 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsSetInitial(), Scip::set, Scip::stat, and TRUE.
Referenced by addFixedVarsConss(), correctConshdlrdata(), createRelaxation(), SCIPupdateConsFlags(), and updateConsanddataUses().
| SCIP_RETCODE SCIPsetConsSeparated | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_Bool | separate | ||
| ) |
sets the separate flag of the given constraint
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
| separate | new value |
Definition at line 27884 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsSetSeparated(), Scip::set, and TRUE.
Referenced by correctConshdlrdata(), createRelaxation(), SCIPupdateConsFlags(), and updateConsanddataUses().
| SCIP_RETCODE SCIPsetConsEnforced | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_Bool | enforce | ||
| ) |
sets the enforce flag of the given constraint
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
| enforce | new value |
Definition at line 27909 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsSetEnforced(), Scip::set, and TRUE.
Referenced by createRelaxation(), SCIP_DECL_QUADCONSUPGD(), and SCIPupdateConsFlags().
| SCIP_RETCODE SCIPsetConsChecked | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_Bool | check | ||
| ) |
sets the check flag of the given constraint
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
| check | new value |
Definition at line 27934 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsSetChecked(), Scip::set, and TRUE.
Referenced by addAllConss(), branchCons(), consdataCreate(), correctConshdlrdata(), propagateCons(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_QUADCONSUPGD(), SCIPupdateConsFlags(), updateAndConss(), and updateConsanddataUses().
| SCIP_RETCODE SCIPsetConsPropagated | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_Bool | propagate | ||
| ) |
sets the propagate flag of the given constraint
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
| propagate | new value |
Definition at line 27959 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsSetPropagated(), Scip::set, and TRUE.
Referenced by SCIPupdateConsFlags().
| SCIP_RETCODE SCIPsetConsLocal | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_Bool | local | ||
| ) |
sets the local flag of the given constraint
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
| local | new value |
Definition at line 27986 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsSetLocal(), and TRUE.
| SCIP_RETCODE SCIPsetConsModifiable | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_Bool | modifiable | ||
| ) |
sets the modifiable flag of the given constraint
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
| modifiable | new value |
Definition at line 28012 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsSetModifiable(), and TRUE.
Referenced by SCIPprobdataCreate().
| SCIP_RETCODE SCIPsetConsDynamic | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_Bool | dynamic | ||
| ) |
sets the dynamic flag of the given constraint
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
| dynamic | new value |
Definition at line 28037 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsSetDynamic(), and TRUE.
Referenced by SCIPupdateConsFlags().
| SCIP_RETCODE SCIPsetConsRemovable | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_Bool | removable | ||
| ) |
sets the removable flag of the given constraint
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
| removable | new value |
Definition at line 28062 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsSetRemovable(), and TRUE.
Referenced by SCIPupdateConsFlags().
| SCIP_RETCODE SCIPsetConsStickingAtNode | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_Bool | stickingatnode | ||
| ) |
sets the stickingatnode flag of the given constraint
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
| stickingatnode | new value |
Definition at line 28087 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsSetStickingAtNode(), and TRUE.
Referenced by 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
scip is in one of the following stages:
| scip | SCIP data structure |
| cons0 | constraint that should stay |
| cons1 | constraint that should be deleted |
Definition at line 28112 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, 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().
| 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
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint to get/create transformed constraint for |
| transcons | pointer to store the transformed constraint |
Definition at line 28172 of file scip.c.
References checkStage(), FALSE, Scip::mem, SCIP_Mem::probmem, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsIsTransformed(), SCIPconsTransform(), Scip::set, and TRUE.
Referenced by consdataAddCons(), consdataCreate(), consdataCreateSuperindicator(), and SCIP_DECL_CONSTRANS().
| 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
scip is in one of the following stages:
| 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 28213 of file scip.c.
References checkStage(), FALSE, Scip::mem, SCIP_Mem::probmem, SCIP_CALL, SCIP_OKAY, SCIPconsCapture(), SCIPconsIsTransformed(), SCIPconsTransform(), Scip::set, and TRUE.
Referenced by consdataCreate(), and SCIP_DECL_PROBTRANS().
| 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
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint to get the transformed constraint for |
| transcons | pointer to store the transformed constraint |
Definition at line 28262 of file scip.c.
References checkStage(), FALSE, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, 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().
| 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
scip is in one of the following stages:
| 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 28302 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsGetTransformed(), SCIPconsIsTransformed(), and TRUE.
| 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
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
| deltaage | value to add to the constraint's age |
Definition at line 28343 of file scip.c.
References checkStage(), FALSE, Scip::mem, SCIP_Mem::probmem, Scip::reopt, SCIP_CALL, SCIP_OKAY, SCIPconsAddAge(), Scip::set, Scip::stat, Scip::transprob, and TRUE.
Referenced by processWatchedVars().
| SCIP_RETCODE SCIPincConsAge | ( | SCIP * | scip, |
| SCIP_CONS * | cons | ||
| ) |
increases age of constraint by 1.0; should be called
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
Definition at line 28372 of file scip.c.
References checkStage(), FALSE, Scip::mem, SCIP_Mem::probmem, Scip::reopt, SCIP_CALL, SCIP_OKAY, SCIPconsIncAge(), Scip::set, Scip::stat, Scip::transprob, and TRUE.
Referenced by checkAndConss(), checkCons(), enforcePseudo(), propagateCons(), propIndicator(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIPseparateKnapsackCuts(), and separateCons().
| SCIP_RETCODE SCIPresetConsAge | ( | SCIP * | scip, |
| SCIP_CONS * | cons | ||
| ) |
resets age of constraint to zero; should be called
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
Definition at line 28400 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsResetAge(), Scip::set, and TRUE.
Referenced by analyzeZeroResultant(), branchCons(), checkAndConss(), checkCons(), consdataFixOperandsOne(), consdataFixResultantZero(), 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_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), separateCons(), separateConsBinaryRepresentation(), separateCoverCutsCons(), separateIndicators(), separatePerspective(), separatePoint(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), and separateSupLiftedMinimalCoverInequality().
| SCIP_RETCODE SCIPenableCons | ( | SCIP * | scip, |
| SCIP_CONS * | cons | ||
| ) |
enables constraint's separation, propagation, and enforcing capabilities
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
Definition at line 28425 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsEnable(), Scip::set, Scip::stat, and TRUE.
Referenced by consdataCreateBinvars(), and SCIP_DECL_EVENTEXEC().
| 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)
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
Definition at line 28459 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsDisable(), Scip::set, Scip::stat, and TRUE.
Referenced by disableCons(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSINITPRE(), and SCIP_DECL_CONSINITSOL().
| SCIP_RETCODE SCIPenableConsSeparation | ( | SCIP * | scip, |
| SCIP_CONS * | cons | ||
| ) |
enables constraint's separation capabilities
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
Definition at line 28484 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsEnableSeparation(), Scip::set, and TRUE.
| 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
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
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
Definition at line 28512 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsDisableSeparation(), Scip::set, and TRUE.
| SCIP_RETCODE SCIPenableConsPropagation | ( | SCIP * | scip, |
| SCIP_CONS * | cons | ||
| ) |
enables constraint's propagation capabilities
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
Definition at line 28539 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsEnablePropagation(), Scip::set, and TRUE.
Referenced by addCoef(), delCoefPos(), SCIP_DECL_CONSPRESOL(), and SCIP_DECL_EVENTEXEC().
| 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
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
Definition at line 28569 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsDisablePropagation(), Scip::set, and TRUE.
Referenced by processWatchedVars().
| SCIP_RETCODE SCIPmarkConsPropagate | ( | SCIP * | scip, |
| SCIP_CONS * | cons | ||
| ) |
marks constraint to be propagated
scip is in one of the following stages:
marks constraint to be propagated
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
Definition at line 28602 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, 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().
| SCIP_RETCODE SCIPunmarkConsPropagate | ( | SCIP * | scip, |
| SCIP_CONS * | cons | ||
| ) |
unmarks the constraint to be propagated
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
Definition at line 28630 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsIsEnabled(), SCIPconsIsMarkedPropagate(), SCIPconsUnmarkPropagate(), Scip::set, and TRUE.
Referenced by propagateBounds(), propagateBoundsCons(), propagateCons(), and SCIP_DECL_CONSPROP().
| 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
scip is in one of the following stages:
| 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 28660 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsAddLocks(), Scip::set, and TRUE.
Referenced by SCIP_DECL_CONSLOCK().
| 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
scip is in one of the following stages:
checks single constraint for feasibility of the given solution
scip is in one of the following stages:
| 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 28690 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsCheck(), Scip::set, and TRUE.
Referenced by checkAllConss(), checkCons(), consdataCheckSuperindicator(), replaceByLinearConstraints(), and replaceViolatedByLinearConstraints().
| 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
scip is in one of the following stages:
| 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 28718 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsEnfops(), SCIPconsIsAdded(), Scip::set, and TRUE.
| SCIP_RETCODE SCIPenfolpCons | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_Bool | solinfeasible, | ||
| SCIP_RESULT * | result | ||
| ) |
enforces single constraint for a given LP solution
scip is in one of the following stages:
| 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 28749 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsEnfolp(), SCIPconsIsAdded(), Scip::set, and TRUE.
Referenced by enforceConstraint().
| 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
scip is in one of the following stages:
| 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 28779 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsEnforelax(), SCIPconsIsAdded(), Scip::set, and TRUE.
Referenced by enforceConstraint().
| SCIP_RETCODE SCIPinitlpCons | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_Bool * | infeasible | ||
| ) |
calls LP initialization method for single constraint
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint to initialize |
| infeasible | pointer to store whether infeasibility was detected while building the LP |
Definition at line 28811 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsInitlp(), SCIPconsIsAdded(), Scip::set, and TRUE.
| SCIP_RETCODE SCIPsepalpCons | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_RESULT * | result | ||
| ) |
calls separation method of single constraint for LP solution
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint to separate |
| result | pointer to store the result of the separation call |
Definition at line 28838 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsSepalp(), Scip::set, and TRUE.
| SCIP_RETCODE SCIPsepasolCons | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_SOL * | sol, | ||
| SCIP_RESULT * | result | ||
| ) |
calls separation method of single constraint for given primal solution
scip is in one of the following stages:
| 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 28865 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsSepasol(), Scip::set, and TRUE.
| SCIP_RETCODE SCIPpropCons | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| SCIP_PROPTIMING | proptiming, | ||
| SCIP_RESULT * | result | ||
| ) |
calls domain propagation method of single constraint
scip is in one of the following stages:
| 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 28895 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsProp(), Scip::set, and TRUE.
| 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
scip is in one of the following stages:
| 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 28926 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsIsAdded(), SCIPconsResprop(), Scip::set, and TRUE.
| 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
scip is in one of the following stages:
| 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 28961 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsPresol(), Scip::set, and TRUE.
Referenced by SCIP_DECL_PRESOLEXEC().
| SCIP_RETCODE SCIPactiveCons | ( | SCIP * | scip, |
| SCIP_CONS * | cons | ||
| ) |
calls constraint activation notification method of single constraint
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint to notify |
Definition at line 29023 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsActive(), SCIPconsIsAdded(), SCIPconsIsDeleted(), Scip::set, and TRUE.
| SCIP_RETCODE SCIPdeactiveCons | ( | SCIP * | scip, |
| SCIP_CONS * | cons | ||
| ) |
calls constraint deactivation notification method of single constraint
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint to notify |
Definition at line 29052 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsDeactive(), SCIPconsIsAdded(), Scip::set, and TRUE.
| SCIP_RETCODE SCIPprintCons | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| FILE * | file | ||
| ) |
outputs constraint information to file stream via the message handler system
scip is in one of the following stages:
| scip | SCIP data structure |
| cons | constraint |
| file | output file (or NULL for standard output) |
Definition at line 29091 of file scip.c.
References checkStage(), FALSE, Scip::messagehdlr, SCIP_CALL, SCIP_OKAY, SCIPconsPrint(), Scip::set, and TRUE.
Referenced by checkAllConss(), checkCons(), checkCumulativeCondition(), checkOrigPbCons(), cliquePresolve(), computeInteriorPoint(), consdataCreate(), 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().
| 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.
scip is in one of the following stages:
| 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 29132 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsGetVars(), Scip::set, and TRUE.
Referenced by fillDigraph(), fillVariableGraph(), SCIP_DECL_CONSGETVARS(), SCIPvariablegraphBreadthFirst(), and SCIPwritePbm().
| SCIP_RETCODE SCIPgetConsNVars | ( | SCIP * | scip, |
| SCIP_CONS * | cons, | ||
| int * | nvars, | ||
| SCIP_Bool * | success | ||
| ) |
method to collect the number of variables of a constraint
scip is in one of the following stages:
| 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 29176 of file scip.c.
References checkStage(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPconsGetNVars(), Scip::set, and TRUE.
Referenced by fillDigraph(), fillVariableGraph(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_SORTPTRCOMP(), SCIPvariablegraphBreadthFirst(), and SCIPwritePbm().