Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://scip.zib.de/doc/html/group__PublicConstraintMethods.php below:

SCIP Doxygen Documentation: Problem Constraints

Public methods for constraints.

returns the name of the constraint

Note

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

Parameters

Definition at line 8222 of file cons.c.

References SCIP_Cons::name, and NULL.

Referenced by addAllConss(), addBranchingDecisionConss(), addCliques(), addCoef(), addConflictBounds(), addConstraintToBendersSubproblem(), addCut(), addCuts(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addNegatedCliques(), addNlrow(), addRelaxation(), addScenarioConsToProb(), addSetppcConstraints(), addSlackVars(), addSymresackInequality(), addVarboundConstraints(), addVarCardinality(), addVarSOS1(), addVarSOS2(), aggregateConstraints(), aggregateVariables(), analyzeZeroResultant(), applyFixings(), branchBalancedCardinality(), branchCons(), branchUnbalancedCardinality(), canonicalizeConstraints(), catchVarEvents(), checkAllConss(), checkBounddisjunction(), checkCons(), checkConsnames(), checkForOverlapping(), checkKnapsack(), checkLogicor(), checkOrigPbCons(), checkOverloadViaThetaTree(), checkPackingPartitioningOrbitopeSolution(), checkParallelObjective(), checkPartialObjective(), checkRedundancy(), checkSubproblemConvexity(), checkSymresackSolution(), checkSystemGF2(), checkVarbound(), cliquePresolve(), computeEffectiveHorizon(), conflictAddBound(), conflictResolveBound(), consCapacityConstraintsFinder(), consdataCheckSuperindicator(), consdataDeletePos(), consdataFixOperandsOne(), consdataFixResultantZero(), consdataLinearize(), consdataTightenCoefs(), consHasName(), consPrintConsSol(), constraintNonOverlappingGraph(), convertBinaryEquality(), convertLongEquality(), convertUnaryEquality(), copyConsPseudoboolean(), copyCuts(), createBlockproblem(), createCapacityRestriction(), createCoveringProblem(), createDisjuctiveCons(), createNlRow(), createRelaxation(), createRow(), createRows(), createSubSCIP(), createVarUbs(), deleteAltLPConstraint(), deleteRedundantVars(), deleteTrivilCons(), delPosConflict(), detectImplications(), detectMinors(), detectRedundantConstraints(), detectRedundantVars(), disableCons(), dropVarEvent(), dropVarEvents(), dualPresolve(), dualPresolving(), dualWeightsTightening(), enfopsCons(), enfopsPackingPartitioningOrbitopeSolution(), enforceCardinality(), enforceConflictgraph(), enforceConssSOS1(), enforceConstraint(), enforceConstraints(), enforceCurrentSol(), enforceIndicators(), enforceSOS2(), extractCliques(), fillDigraph(), findAggregation(), fixDeleteOrUpgradeCons(), fixTriangle(), generateBoundInequalityFromSOS1Cons(), generateRowCardinality(), generateRowSOS2(), initCurrent(), initLP(), initPricing(), initSepa(), initsepaBoundInequalityFromCardinality(), initsepaBoundInequalityFromSOS1Cons(), initSolve(), liftCliqueVariables(), mergeMultiples(), normalizeWeights(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolStuffing(), presolveAddKKTKnapsackConss(), presolveAddKKTLinearConss(), presolveAddKKTLogicorConss(), presolveAddKKTSetppcConss(), presolveAddKKTVarboundConss(), presolveCumulativeCondition(), presolveImplint(), presolveMergeConss(), presolvePropagateCons(), presolveRedundantConss(), presolveSingleLockedVars(), presolveUpgrade(), printDualSol(), processBinvarFixings(), processContainedCons(), processFixings(), processRealBoundChg(), processWatchedVars(), propagateCons(), propagateTimetable(), propCardinality(), propConss(), propExprDomains(), propIndicator(), proposeFeasibleSolution(), propSOS2(), propVariables(), rangedRowPropagation(), readCols(), readIndicators(), readObjective(), readQCMatrix(), readQMatrix(), readSOS(), readSos(), reformulateFactorizedBinaryQuadratic(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedVariables(), removeIrrelevantJobs(), removeOversizedJobs(), removeRedundantCons(), removeRedundantConstraints(), removeRedundantNonZeros(), replaceBinaryProducts(), resolvePropagation(), saveLocalConssData(), scaleCons(), 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_CONSPARSE(), 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_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPPRESOL(), SCIPaddCoefLinear(), SCIPaddConsNode(), SCIPaddVarCardinality(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarCardinality(), SCIPappendVarSOS1(), SCIPappendVarSOS2(), SCIPboundchgApply(), SCIPconflictstoreAddConflict(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateConsSuperindicator(), SCIPmatrixGetRowName(), SCIPmatrixPrintRow(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPprobAddCons(), SCIPreaderWrite(), SCIPreoptAddCons(), SCIPreoptReset(), SCIPseparateKnapsackCuts(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPtimConsGetStageName(), SCIPtransformMinUC(), SCIPupgradeConsLinear(), SCIPvisualizeConsCumulative(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectVarMultAggrBranching(), separateCons(), separateConsBinaryRepresentation(), separateConsOnIntegerVariables(), separateCoverCutsCons(), separateIndicators(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), setSetppcType(), setupAndSolveSubscipRapidlearning(), simplifyInequalities(), solveIndependentCons(), tightenBounds(), tightenCapacity(), tightenCoefs(), tightenSides(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVarLb(), tightenVarUb(), tightenWeights(), tightenWeightsLift(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varAddLbchginfo(), varAddUbchginfo(), and writeOpbConstraints().

returns the constraint handler of the constraint

Parameters

Definition at line 8242 of file cons.c.

References SCIP_Cons::conshdlr, and NULL.

Referenced by addCliques(), addCoef(), addCoefTerm(), addConstraintToBendersSubproblem(), addNegatedCliques(), addScenarioConsToProb(), addSlackVars(), applyFixings(), cancelRow(), catchVarEvents(), checkConsnames(), checkOrigPbCons(), checkSubproblemConvexity(), compareConsnodes(), compareSymgraphs(), computeAndConstraintInfos(), consdataCollectLinkingCons(), consdataDeletePos(), consdataPrint(), consPrintConsSol(), copyConsPseudoboolean(), copyToSubscip(), createAltLP(), createAndAddProofcons(), createBlockproblem(), createNAryBranch(), createNlRow(), createSubSCIP(), delCoefPos(), deleteRedundantVars(), detectRedundantConstraints(), detectRedundantVars(), determineTotalNumberLinearConss(), enforceCurrentSol(), enforcePseudo(), estimateSymgraphSize(), extractLinearValues(), getConsRelViolation(), getLinVarsAndAndRess(), handleNewVariableSOS2(), initPricing(), isViolatedAndNotFixed(), preprocessConstraintPairs(), presolvePropagateCons(), printRangeSection(), processBinvarFixings(), processFixings(), processRealBoundChg(), processWatchedVars(), propagateCons(), rangedRowPropagation(), readIndicators(), registerBranchingCandidates(), saveConsBounddisjuction(), saveConsLinear(), saveLocalConssData(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPaddBilinTermQuadratic(), SCIPaddCoefKnapsack(), SCIPaddCoefLinear(), SCIPaddCoefLogicor(), SCIPaddCoefPseudoboolean(), SCIPaddCoefSetppc(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddConstantQuadratic(), SCIPaddExprNonlinear(), SCIPaddLinearVarNonlinear(), SCIPaddLinearVarQuadratic(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddQuadVarQuadratic(), SCIPaddSquareCoefQuadratic(), SCIPaddTermPseudoboolean(), SCIPaddVarCardinality(), SCIPaddVarIndicator(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarCardinality(), SCIPappendVarSOS1(), SCIPappendVarSOS2(), SCIPapplyHeurDualval(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcheckQuadraticNonlinear(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgCapacityKnapsack(), SCIPchgCardvalCardinality(), SCIPchgCoefLinear(), SCIPchgExprNonlinear(), SCIPchgLhsLinear(), SCIPchgLhsNonlinear(), SCIPchgLhsPseudoboolean(), SCIPchgLhsQuadratic(), SCIPchgRhsLinear(), SCIPchgRhsNonlinear(), SCIPchgRhsPseudoboolean(), SCIPchgRhsQuadratic(), SCIPclassifyConstraintTypesLinear(), SCIPconflictstoreCleanNewIncumbent(), SCIPconsAddCoef(), SCIPconsGetDualfarkas(), SCIPconsGetDualsol(), SCIPconsGetLhs(), SCIPconsGetRhs(), SCIPconsGetRow(), SCIPconsSetInitial(), SCIPcopyConflicts(), SCIPcopyOrigConss(), SCIPcreateConsIndicatorGenericLinCons(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateConsSuperindicator(), SCIPgetActiveOnIndicator(), SCIPgetActivityLinear(), SCIPgetAndDatasPseudoboolean(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarIndicatorGeneric(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsDataLinking(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCapacityKnapsack(), SCIPgetCardvalCardinality(), SCIPgetConsVals(), SCIPgetCurvatureNonlinear(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasKnapsack(), SCIPgetDualfarkasLinear(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasSetppc(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolKnapsack(), SCIPgetDualsolLinear(), SCIPgetDualsolLogicor(), SCIPgetDualsolSetppc(), SCIPgetDualSolVal(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExprNonlinear(), SCIPgetFeasibilityLinear(), SCIPgetHmaxCumulative(), SCIPgetHmaxOptcumulative(), SCIPgetHminCumulative(), SCIPgetHminOptcumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntVarXor(), SCIPgetLhsLinear(), SCIPgetLhsNonlinear(), SCIPgetLhsPseudoboolean(), SCIPgetLhsVarbound(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinkvarLinking(), SCIPgetNAndsPseudoboolean(), SCIPgetNBinvarsLinking(), SCIPgetNFixedonesSetppc(), SCIPgetNFixedzerosSetppc(), SCIPgetNLinVarsWithoutAndPseudoboolean(), SCIPgetNlRowAbspower(), SCIPgetNlRowNonlinear(), SCIPgetNlRowQuadratic(), SCIPgetNlRowSOC(), SCIPgetNVarsAnd(), SCIPgetNVarsBounddisjunction(), SCIPgetNVarsCardinality(), SCIPgetNVarsCumulative(), SCIPgetNVarsKnapsack(), SCIPgetNVarsLinear(), SCIPgetNVarsLogicor(), SCIPgetNVarsOr(), SCIPgetNVarsSetppc(), SCIPgetNVarsSOS1(), SCIPgetNVarsSOS2(), SCIPgetNVarsXor(), SCIPgetResultantAnd(), SCIPgetResultantOr(), SCIPgetRhsLinear(), SCIPgetRhsNonlinear(), SCIPgetRhsPseudoboolean(), SCIPgetRhsVarbound(), SCIPgetRhsXor(), SCIPgetRowKnapsack(), SCIPgetRowLinear(), SCIPgetRowLogicor(), SCIPgetRowSetppc(), SCIPgetRowVarbound(), SCIPgetSlackConsSuperindicator(), SCIPgetSlackVarIndicator(), SCIPgetTypeSetppc(), SCIPgetValsLinear(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCardinality(), SCIPgetVarsCumulative(), SCIPgetVarsKnapsack(), SCIPgetVarsLinear(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSetppc(), SCIPgetVarsSOS1(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetWeightsCardinality(), SCIPgetWeightsKnapsack(), SCIPgetWeightsSOS1(), SCIPgetWeightsSOS2(), SCIPisAndConsSorted(), SCIPisDualSolAvailable(), SCIPmakeIndicatorFeasible(), SCIPprocessRowprepNonlinear(), SCIProwGetOriginConshdlr(), SCIPsetBinaryVarIndicator(), SCIPsetHmaxCumulative(), SCIPsetHmaxOptcumulative(), SCIPsetHminCumulative(), SCIPsetHminOptcumulative(), SCIPsetLinearConsIndicator(), SCIPsetSlackVarUb(), SCIPsolCheckOrig(), SCIPsortAndCons(), SCIPtransformMinUC(), SCIPupgradeConsLinear(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), SCIPwriteSolutionNl(), separateCons(), separateInequalities(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), sepastoreApplyCut(), setSetppcType(), tightenWeights(), tightenWeightsLift(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), upgradeSuperindicator(), writeFzn(), writeOpbConstraints(), and writeOpbObjective().

returns the constraint data field of the constraint

Parameters

Definition at line 8252 of file cons.c.

References SCIP_Cons::consdata, and NULL.

Referenced by addAllConss(), addCliques(), addCoef(), addCoefTerm(), addConflictBounds(), addConflictFixedVars(), addConsToOccurList(), addCut(), addCuts(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addLocks(), addNegatedCliques(), addNlrow(), addRelaxation(), addSymmetryInformation(), addSymresackInequality(), addVarCardinality(), addVarSOS1(), addVarSOS2(), aggregateConstraints(), aggregateVariables(), analyzeConflict(), analyzeConflictOne(), analyzeConflictRangedRow(), analyzeConflictZero(), analyzeViolation(), analyzeZeroResultant(), appendVarCardinality(), appendVarSOS1(), appendVarSOS2(), applyFixings(), applyGlobalBounds(), applyZeroFixings(), bilinearTermsInsertAll(), branchCons(), canonicalizeConstraints(), canTightenBounds(), catchAllEvents(), catchEvent(), catchEventBinvar(), catchEventIntvar(), catchEvents(), catchVarEvents(), checkAllConss(), checkCons(), checkDemands(), checkForOverlapping(), checkFullOrbitopeSolution(), checkLPBoundsClean(), checkOrigPbCons(), checkPackingPartitioningOrbitopeSolution(), checkParallelObjective(), checkPartialObjective(), checkRedundancy(), checkRedundantCons(), checkSwitchNonoverlappingSOS1Methods(), checkSymresackSolution(), checkSystemGF2(), chgCoefPos(), chgLhs(), chgRhs(), cliquePresolve(), collectBranchingCandidates(), collectBranchingCands(), collectCliqueConss(), collectCliqueData(), COLORconsGetComplementaryGraph(), COLORconsGetCurrentGraph(), COLORconsGetRepresentative(), COLORconsGetRepresentatives(), COLORconsGetUnion(), COLORconsGetUnions(), computeAlternativeBounds(), computeEffectiveHorizon(), computeViolation(), consCapacityConstraintsFinder(), consCatchAllEvents(), consCatchEvent(), consdataLinearize(), consdataPrint(), consdataTightenCoefs(), consDropAllEvents(), consDropEvent(), consFixLinkvar(), consPrintConsSol(), constraintNonOverlappingGraph(), convertBinaryEquality(), convertEquality(), convertLongEquality(), convertUnaryEquality(), copyConsPseudoboolean(), correctLocksAndCaptures(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCoverCuts(), createCoverCutsTimepoint(), createDisjuctiveCons(), createNAryBranch(), createNlRow(), createRelaxation(), createRow(), createRows(), createVarUbs(), deinitSolve(), delCoefPos(), deleteAltLPConstraint(), deleteRedundantVars(), deleteTrivilCons(), detectImplications(), detectNlhdlrs(), detectRedundantConstraints(), detectRedundantVars(), dropAllEvents(), dropEvent(), dropEventBinvar(), dropEventIntvar(), dropEvents(), dropVarEvents(), dualPresolve(), dualPresolving(), dualWeightsTightening(), enfopsCons(), enfopsPackingPartitioningOrbitopeSolution(), enforceCardinality(), enforceConflictgraph(), enforceConssSOS1(), enforceConstraint(), enforceConstraints(), enforceCuts(), enforceIndicators(), enforcePseudo(), enforceSOS2(), extendToCover(), extensionOperatorSOS1(), extractCliques(), findAggregation(), findUnlockedLinearVar(), fixAdditionalVars(), fixAltLPVariables(), fixDeleteOrUpgradeCons(), fixTriangle(), fixVariables(), forbidNonlinearVariablesMultiaggration(), fullDualPresolve(), generateBoundInequalityFromSOS1Cons(), generateRowCardinality(), generateRowSOS2(), getConsAbsViolation(), getConsRelViolation(), getDiveBdChgsSOS1constraints(), getHighestCapacityUsage(), getParallelConsKey(), initConflictgraph(), initializeDurations(), initLP(), initSepa(), initsepaBoundInequalityFromCardinality(), initsepaBoundInequalityFromSOS1Cons(), initSolve(), isConsIndependently(), isConsViolated(), liftCliqueVariables(), lockRounding(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), mergeMultiples(), normalizeCons(), normalizeDemands(), normalizeWeights(), notifyNlhdlrNewsol(), performVarDeletions(), polishPrimalSolution(), prepareCons(), preprocessCliques(), preprocessConstraintPairs(), presolRoundConssSOS1(), presolStuffing(), presolveBinaryProducts(), presolveConsEffectiveHorizon(), presolveCumulativeCondition(), presolveImplint(), presolveMergeConss(), presolvePropagateCons(), presolveRedundantConss(), presolveSingleLockedVars(), presolveUpgrade(), prettifyConss(), processBinvarFixings(), processContainedCons(), processFixings(), processRealBoundChg(), processWatchedVars(), propagateCons(), propagateFullOrbitopeCons(), propagatePackingPartitioningCons(), propConss(), propExprDomains(), proposeFeasibleSolution(), propVariables(), rangedRowPropagation(), rangedRowSimplify(), registerBranchingCandidates(), registerBranchingCandidatesAllUnfixed(), removeConsFromOccurList(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedBinvars(), removeFixedVariables(), removeIrrelevantJobs(), removeOversizedJobs(), removeRedundantConss(), removeRedundantConssAndNonzeros(), removeRedundantConstraints(), removeRedundantNonZeros(), removeZeroWeights(), replaceBinaryProducts(), resolvePropagation(), resolvePropagationFullOrbitope(), scaleCons(), scaleConsSides(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), 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_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_SORTPTRCOMP(), SCIPaddCoefLinear(), SCIPaddCoefPseudoboolean(), SCIPaddConsElemConjunction(), SCIPaddConsElemDisjunction(), SCIPaddExprNonlinear(), SCIPaddLinearVarNonlinear(), SCIPaddVarIndicator(), SCIPcheckQuadraticNonlinear(), SCIPchgAndConsCheckFlagWhenUpgr(), SCIPchgAndConsRemovableFlagWhenUpgr(), SCIPchgCapacityKnapsack(), SCIPchgCardvalCardinality(), SCIPchgCoefLinear(), SCIPchgExprNonlinear(), SCIPchgLhsNonlinear(), SCIPchgLhsPseudoboolean(), SCIPchgRhsNonlinear(), SCIPchgRhsPseudoboolean(), SCIPclassifyConstraintTypesLinear(), SCIPgetActiveOnIndicator(), SCIPgetActivityLinear(), SCIPgetAndDatasPseudoboolean(), SCIPgetBinaryVarIndicator(), SCIPgetBinaryVarIndicatorGeneric(), SCIPgetBinaryVarSuperindicator(), SCIPgetBinvarsDataLinking(), SCIPgetBinvarsLinking(), SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetCapacityCumulative(), SCIPgetCapacityKnapsack(), SCIPgetCardvalCardinality(), SCIPgetCurvatureNonlinear(), SCIPgetDemandsCumulative(), SCIPgetDualfarkasKnapsack(), SCIPgetDualfarkasLinear(), SCIPgetDualfarkasLogicor(), SCIPgetDualfarkasSetppc(), SCIPgetDualfarkasVarbound(), SCIPgetDualsolKnapsack(), SCIPgetDualsolLinear(), SCIPgetDualsolLogicor(), SCIPgetDualsolSetppc(), SCIPgetDualsolVarbound(), SCIPgetDurationsCumulative(), SCIPgetExprActivityNonlinear(), SCIPgetExprNonlinear(), SCIPgetFeasibilityLinear(), SCIPgetHmaxCumulative(), SCIPgetHmaxOptcumulative(), SCIPgetHminCumulative(), SCIPgetHminOptcumulative(), SCIPgetIndVarPseudoboolean(), SCIPgetIntVarXor(), SCIPgetItemid1Samediff(), SCIPgetItemid2Samediff(), SCIPgetLhsLinear(), SCIPgetLhsNonlinear(), SCIPgetLhsPseudoboolean(), SCIPgetLhsVarbound(), SCIPgetLinDatasWithoutAndPseudoboolean(), SCIPgetLinearConsIndicator(), SCIPgetLinearConsPseudoboolean(), SCIPgetLinearConsTypePseudoboolean(), SCIPgetLinkvarLinking(), SCIPgetLinvarMayDecreaseNonlinear(), SCIPgetLinvarMayIncreaseNonlinear(), SCIPgetNAndsPseudoboolean(), SCIPgetNBinvarsLinking(), SCIPgetNFixedonesSetppc(), SCIPgetNFixedzerosSetppc(), SCIPgetNLinVarsWithoutAndPseudoboolean(), SCIPgetNlRowNonlinear(), SCIPgetNVarsAnd(), SCIPgetNVarsBounddisjunction(), SCIPgetNVarsCardinality(), SCIPgetNVarsCumulative(), SCIPgetNVarsKnapsack(), SCIPgetNVarsLinear(), SCIPgetNVarsLogicor(), SCIPgetNVarsOr(), SCIPgetNVarsSetppc(), SCIPgetNVarsSOS1(), SCIPgetNVarsSOS2(), SCIPgetNVarsXor(), SCIPgetResultantAnd(), SCIPgetResultantOr(), SCIPgetRhsLinear(), SCIPgetRhsNonlinear(), SCIPgetRhsPseudoboolean(), SCIPgetRhsVarbound(), SCIPgetRhsXor(), SCIPgetRowKnapsack(), SCIPgetRowLinear(), SCIPgetRowLogicor(), SCIPgetRowSetppc(), SCIPgetRowVarbound(), SCIPgetSlackConsSuperindicator(), SCIPgetSlackVarIndicator(), SCIPgetTypeSamediff(), SCIPgetTypeSetppc(), SCIPgetValsLinear(), SCIPgetValsLinking(), SCIPgetVarsAnd(), SCIPgetVarsBounddisjunction(), SCIPgetVarsCardinality(), SCIPgetVarsCumulative(), SCIPgetVarsKnapsack(), SCIPgetVarsLinear(), SCIPgetVarsLogicor(), SCIPgetVarsOr(), SCIPgetVarsSetppc(), SCIPgetVarsSOS1(), SCIPgetVarsSOS2(), SCIPgetVarsXor(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetWeightsCardinality(), SCIPgetWeightsKnapsack(), SCIPgetWeightsSOS1(), SCIPgetWeightsSOS2(), SCIPisAndConsSorted(), SCIPisViolatedIndicator(), SCIPmakeIndicatorFeasible(), SCIPmakeIndicatorsFeasible(), SCIPmarkExprPropagateNonlinear(), SCIPsetBinaryVarIndicator(), SCIPsetHmaxCumulative(), SCIPsetHmaxOptcumulative(), SCIPsetHminCumulative(), SCIPsetHminOptcumulative(), SCIPsetLinearConsIndicator(), SCIPsetSlackVarUb(), SCIPsortAndCons(), SCIPupgradeConsLinear(), SCIPvisualizeConsCumulative(), separateCons(), separateConsBinaryRepresentation(), separateConsOnIntegerVariables(), separateConstraints(), separateCoverCutsCons(), separateCoversOrbisack(), separateIISRounding(), separateIndicators(), separatePerspective(), sepaSubtour(), setAltLPObj(), setAltLPObjZero(), setIntvar(), setppcCompare(), setppcCompare2(), setSetppcType(), shortenConss(), simplifyInequalities(), solveIndependentCons(), strengthenConss(), strengthenVarbounds(), switchWatchedvars(), tightenBounds(), tightenCapacity(), tightenCoefs(), tightenSides(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVarLb(), tightenVarUb(), tightenWeights(), tightenWeightsLift(), tryUpgrading(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), unfixAltLPVariables(), unlockRounding(), updateAndConss(), updateConsanddataUses(), updateCutoffbound(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

returns TRUE iff constraint is active in the current node

Parameters

Definition at line 8283 of file cons.c.

References SCIP_Cons::active, NULL, SCIP_Cons::updateactivate, and SCIP_Cons::updatedeactivate.

Referenced by addAllConss(), addAltLPConstraint(), addBranchingDecisionConss(), addCliques(), addCoef(), addConsToOccurList(), addNlrow(), aggregateConstraints(), analyzeViolation(), calcNonZeros(), catchEvent(), checkForOverlapping(), cleanupHashDatas(), cliquePresolve(), collectBranchingCands(), collectCliqueConss(), collectCliqueData(), consSepa(), copyToSubscip(), correctPresoldata(), createPresoldata(), detectRedundantConstraints(), dualPresolve(), dualPresolving(), enforceConstraints(), extractGates(), findAggregation(), initSolve(), liftCliqueVariables(), notifyNlhdlrNewsol(), preprocessCliques(), preprocessConstraintPairs(), presolvePropagateCons(), presolveRedundantConss(), propagateCons(), propConss(), propExprDomains(), propIndicator(), removeConsFromOccurList(), removeConstraintsDueToNegCliques(), removeRedundantConss(), removeRedundantConssAndNonzeros(), removeRedundantConstraints(), removeRedundantNonZeros(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIPanalyzeConflictCons(), SCIPconflictstoreGetConflicts(), SCIPconsGetActiveDepth(), SCIPconsGetValidDepth(), SCIPconshdlrInitLP(), SCIPconssetchgAddAddedCons(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPmakeIndicatorFeasible(), SCIPnodeAddCons(), SCIPprobAddCons(), SCIPreoptResetActiveConss(), SCIPreoptSaveActiveConss(), separatePerspective(), setppcCompare(), strengthenConss(), switchWatchedvars(), tryOneOpt(), trySolCandidate(), tryUpgrading(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateAndConss(), and upgradeConss().

returns TRUE iff constraint is enabled in the current node

Parameters

Definition at line 8319 of file cons.c.

References SCIP_Cons::enabled, NULL, SCIP_Cons::updatedisable, and SCIP_Cons::updateenable.

Referenced by addFixedVarsConss(), addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addSetppcConstraints(), addVarboundConstraints(), analyzeViolation(), checkBounddisjunction(), checkConsnames(), checkKnapsack(), checkLogicor(), checkVarbound(), consSepa(), doPricing(), enforceConstraints(), initPricing(), notifyNlhdlrNewsol(), printRangeSection(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSPRESOL(), SCIPconsIsPropagationEnabled(), SCIPconsIsSeparationEnabled(), SCIPmarkConsPropagate(), SCIPunmarkConsPropagate(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), writeFzn(), and writeOpbConstraints().

returns TRUE iff constraint is deleted or marked to be deleted

Parameters

Definition at line 8351 of file cons.c.

References SCIP_Cons::deleted, and NULL.

Referenced by addCliques(), addExtraCliques(), addScenarioConsToProb(), analyzeViolation(), canonicalizeConstraints(), cleanDeletedAndCheckedConflicts(), cleanDeletedAndCheckedDualrayCons(), cleanDeletedAndCheckedDualsolCons(), cleanupHashDatas(), collectCliqueConss(), computeAlternativeBounds(), computeConsAndDataChanges(), conflictstoreCleanUpStorage(), consSepa(), copyConsPseudoboolean(), copyToSubscip(), correctConshdlrdata(), correctLocksAndCaptures(), delPosConflict(), delPosDualray(), delPosDualsol(), detectRedundantVars(), dualWeightsTightening(), enforceConstraints(), extractCliques(), findAggregation(), fixDeleteOrUpgradeCons(), getLinVarsAndAndRess(), mergeMultiples(), notifyNlhdlrNewsol(), prepareCons(), presolveCons(), presolveMergeConss(), presolveRedundantConss(), prettifyConss(), propagateCons(), propConss(), propExprDomains(), rangedRowSimplify(), removeConstraintsDueToNegCliques(), removeCoreVariablesAndConstraints(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConssAndNonzeros(), removeVariablesAndConstraintsFromMaster(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPactiveCons(), SCIPcleanupConssLogicor(), SCIPcleanupConssSetppc(), SCIPconflictstoreCleanNewIncumbent(), SCIPconflictstoreGetConflicts(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPisViolatedIndicator(), SCIPreoptResetActiveConss(), SCIPwriteLp(), SCIPwriteMps(), setppcCompare2(), shortenConss(), simplifyInequalities(), strengthenConss(), tightenWeights(), tryUpgrading(), updateConsanddataUses(), and upgradeCons().

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

Parameters

Definition at line 8391 of file cons.c.

References SCIP_Cons::initial, and NULL.

Referenced by addCliques(), addCoefTerm(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), checkParallelObjective(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectNlhdlrs(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), processRealBoundChg(), readQCMatrix(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

returns TRUE iff constraint should be separated during LP processing

Parameters

Definition at line 8401 of file cons.c.

References NULL, and SCIP_Cons::separate.

Referenced by addCliques(), addConstraintToBendersSubproblem(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), checkParallelObjective(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectNlhdlrs(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), processRealBoundChg(), readQCMatrix(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

returns TRUE iff constraint should be enforced during node processing

Parameters

Definition at line 8411 of file cons.c.

References SCIP_Cons::enforce, and NULL.

Referenced by addCliques(), addCoef(), addCoefTerm(), addConstraintToBendersSubproblem(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectNlhdlrs(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundCardinality(), presolRoundConsSOS1(), processRealBoundChg(), readQCMatrix(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

returns TRUE iff constraint should be checked for feasibility

Parameters

Definition at line 8421 of file cons.c.

References SCIP_Cons::check, and NULL.

Referenced by addAllConss(), addCoef(), addCoefTerm(), addConsToOccurList(), addConstraintToBendersSubproblem(), addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addNlrow(), addScenarioConsToProb(), addSetppcConstraints(), addVarboundConstraints(), aggregateConstraints(), applyFixings(), applyZeroFixings(), branchCons(), calcNonZeros(), cleanDeletedAndCheckedConflicts(), cleanDeletedAndCheckedDualrayCons(), cleanDeletedAndCheckedDualsolCons(), cliquePresolve(), computeAlternativeBounds(), computeEffectiveHorizon(), consdataLinearize(), convertLongEquality(), copyConsPseudoboolean(), copyToSubscip(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualPresolving(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fillVariableGraph(), fixDeleteOrUpgradeCons(), initCurrent(), presolRoundCardinality(), presolRoundConsSOS1(), presolveConsEst(), presolveConsLct(), processRealBoundChg(), propagateCons(), readQCMatrix(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConss(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPprobAddCons(), SCIPprobDelCons(), SCIPsolCheckOrig(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), solveIndependentCons(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateAndConss(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

returns TRUE iff constraint should be propagated during node processing

Parameters

Definition at line 8441 of file cons.c.

References NULL, and SCIP_Cons::propagate.

Referenced by addCliques(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectNlhdlrs(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), presolRoundCardinality(), presolRoundConsSOS1(), processRealBoundChg(), readQCMatrix(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

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

Parameters

Definition at line 8461 of file cons.c.

References SCIP_Cons::local, and NULL.

Referenced by addCliques(), addCoefTerm(), addConstraintToBendersSubproblem(), addNlrow(), addRelaxation(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createCoverCutsTimepoint(), createNAryBranch(), createRelaxation(), createRow(), createRows(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), initsepaBoundInequalityFromCardinality(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), processRealBoundChg(), readQCMatrix(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPaddLinearConsIndicator(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), 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)

Parameters

Definition at line 8471 of file cons.c.

References SCIP_Cons::modifiable, and NULL.

Referenced by addAllConss(), addCliques(), addCoefTerm(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addRelaxation(), addScenarioConsToProb(), aggregateConstraints(), analyzeConflictOne(), analyzeConflictZero(), applyFixings(), branchCons(), cleanupHashDatas(), cliquePresolve(), collectCliqueConss(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), correctPresoldata(), createCoverCutsTimepoint(), createNAryBranch(), createPresoldata(), createRelaxation(), createRow(), createRows(), createVarUbs(), deleteRedundantVars(), detectRedundantConstraints(), detectRedundantVars(), dualPresolve(), dualPresolving(), dualWeightsTightening(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), fullDualPresolve(), normalizeCons(), normalizeDemands(), normalizeWeights(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundConssSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolvePropagateCons(), presolveUpgrade(), processBinvarFixings(), processFixings(), processRealBoundChg(), processWatchedVars(), propagateCons(), propCardinality(), propConsSOS1(), propIndicator(), propSOS2(), rangedRowPropagation(), rangedRowSimplify(), readQCMatrix(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantConss(), removeRedundantConssAndNonzeros(), removeRedundantConstraints(), removeRedundantNonZeros(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPaddLinearConsIndicator(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPmatrixCreate(), SCIPsolCheckOrig(), SCIPupgradeConsLinear(), separateCons(), simplifyInequalities(), solveIndependentCons(), strengthenConss(), tightenBounds(), tightenVarBounds(), tightenVarBoundsEasy(), tightenWeights(), tightenWeightsLift(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), and upgradeLinearSuperindicator().

returns TRUE iff constraint is subject to aging

Parameters

Definition at line 8481 of file cons.c.

References SCIP_Cons::dynamic, and NULL.

Referenced by addCliques(), addCoefTerm(), addConstraintToBendersSubproblem(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), processRealBoundChg(), readQCMatrix(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPbendersMergeSubproblemIntoMaster(), 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

Parameters

Definition at line 8491 of file cons.c.

References NULL, and SCIP_Cons::removable.

Referenced by addCliques(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addRelaxation(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createNAryBranch(), createRelaxation(), createRow(), createRows(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), processRealBoundChg(), readQCMatrix(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPbendersMergeSubproblemIntoMaster(), 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

Parameters

Definition at line 8501 of file cons.c.

References NULL, and SCIP_Cons::stickingatnode.

Referenced by addCliques(), addCoefTerm(), addConstraintToBendersSubproblem(), addScenarioConsToProb(), aggregateConstraints(), applyFixings(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), processRealBoundChg(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPconssetchgMakeGlobal(), SCIPtransformMinUC(), SCIPupdateConsFlags(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

returns TRUE iff constraint is belonging to original space

Parameters

Definition at line 8521 of file cons.c.

References NULL, and SCIP_Cons::original.

Referenced by checkOrigPbCons(), consdataFree(), consdataPrint(), copyConsPseudoboolean(), getLinVarsAndAndRess(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSTRANS(), SCIPaddExprNonlinear(), SCIPaddLinearVarNonlinear(), SCIPchgCoefLinear(), SCIPchgExprNonlinear(), SCIPchgLhsNonlinear(), SCIPchgRhsNonlinear(), SCIPconflictstoreAddConflict(), SCIPconflictstoreTransform(), SCIPcopyOrigConss(), SCIPgetAndDatasPseudoboolean(), SCIPgetDualfarkasLinear(), SCIPgetDualsolLinear(), and SCIPreleaseCons().

returns TRUE iff constraint is belonging to transformed space

Parameters

Definition at line 8531 of file cons.c.

References NULL, and SCIP_Cons::original.

Referenced by addCoef(), addSymmetryInformation(), addVarCardinality(), addVarSOS1(), addVarSOS2(), appendVarCardinality(), appendVarSOS1(), appendVarSOS2(), applyFixings(), checkConsnames(), chgCoefPos(), chgLhs(), chgRhs(), consdataCreate(), consdataDeletePos(), delCoefPos(), preprocessConstraintPairs(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsSOS1(), SCIPgetDualSolVal(), SCIPgetTransformedCons(), SCIPgetTransformedConss(), SCIPmatrixCreate(), SCIPsetBinaryVarIndicator(), SCIPtransformCons(), SCIPtransformConss(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), setIntvar(), tryAddGadgetBilinearProductSignedPerm(), tryAddGadgetEvenOperatorSum(), tryAddGadgetEvenOperatorVariable(), tryAddGadgetSquaredDifference(), writeFzn(), and writeOpbConstraints().

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

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

Parameters

cons constraint locktype variable lock type

Definition at line 8615 of file cons.c.

References SCIP_Cons::nlocksneg, SCIP_Cons::nlockspos, NLOCKTYPES, and NULL.

Referenced by chgCoefPos(), chgLhs(), chgRhs(), lockRounding(), lockRoundingAndCons(), setSetppcType(), unlockRounding(), and unlockRoundingAndCons().

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

Parameters

cons constraint locktype variable lock type

Definition at line 8627 of file cons.c.

References SCIP_Cons::nlockspos, NLOCKTYPES, and NULL.

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

Parameters

cons constraint locktype variable lock type

Definition at line 8639 of file cons.c.

References SCIP_Cons::nlocksneg, NLOCKTYPES, and NULL.

returns if the constraint was already added to a SCIP instance

Parameters

Definition at line 8651 of file cons.c.

References SCIP_Cons::addarraypos, and NULL.

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

creates and captures a constraint of the given constraint handler

Warning

If a constraint is marked to be checked for feasibility but not to be enforced, a LP or pseudo solution may be declared feasible even if it violates this particular constraint. This constellation should only be used, if no LP or pseudo solution can violate the constraint – e.g. if a local constraint is redundant due to the variable's local bounds.

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_INITPRESOLVE
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_EXITPRESOLVE
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_INITSOLVE
• SCIP_STAGE_SOLVING
• SCIP_STAGE_EXITSOLVE

Note

the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()

Parameters

scip SCIP data structure cons pointer to constraint name name of constraint conshdlr constraint handler for this constraint consdata data for this specific constraint initial should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'. separate should the constraint be separated during LP processing? Usually set to TRUE. enforce should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints. check should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints. propagate should the constraint be propagated during node processing? Usually set to TRUE. local is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints. modifiable is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint. dynamic is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints. removable should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'. stickingatnode should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data.

Definition at line 997 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPcheckStage(), SCIPconsCreate(), SCIPerrorMessage, and TRUE.

Referenced by COLORcreateConsStoreGraph(), createCons(), createConsComponents(), createConsSetppc(), createConsStoreGraphAtRoot(), createConsXorIntvar(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSTRANS(), SCIPcreateConsAnd(), SCIPcreateConsBounddisjunction(), SCIPcreateConsBounddisjunctionRedundant(), SCIPcreateConsConjunction(), SCIPcreateConsCumulative(), SCIPcreateConsDisjunction(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinCons(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateConsKnapsack(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsLogicor(), SCIPcreateConsLOP(), SCIPcreateConsOptcumulative(), SCIPcreateConsOr(), SCIPcreateConsOrbisack(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsSamediff(), SCIPcreateConsSOS1(), SCIPcreateConsSOS2(), tsp::SCIPcreateConsSubtour(), SCIPcreateConsSuperindicator(), SCIPcreateConsSymresack(), SCIPcreateConsVarbound(), and SCIPcreateConsXor().

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

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_INITPRESOLVE
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_EXITPRESOLVE
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_SOLVING
• SCIP_STAGE_EXITSOLVE

Warning

If a constraint is marked to be checked for feasibility but not to be enforced, a LP or pseudo solution may be declared feasible even if it violates this particular constraint. This constellation should only be used, if no LP or pseudo solution can violate the constraint – e.g. if a local constraint is redundant due to the variable's local bounds.

Parameters

scip SCIP data structure cons pointer to store constraint str string to parse for constraint initial should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'. separate should the constraint be separated during LP processing? Usually set to TRUE. enforce should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints. check should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints. propagate should the constraint be propagated during node processing? Usually set to TRUE. local is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints. modifiable is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint. dynamic is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints. removable should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'. stickingatnode should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data. success pointer to store if the paring process was successful

Definition at line 1081 of file scip_cons.c.

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

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

increases usage counter of constraint

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_TRANSFORMED
• SCIP_STAGE_INITPRESOLVE
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_EXITPRESOLVE
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_INITSOLVE
• SCIP_STAGE_SOLVING
• SCIP_STAGE_SOLVED

Parameters

scip SCIP data structure cons constraint to capture

Definition at line 1138 of file scip_cons.c.

References FALSE, SCIP_Cons::scip, SCIP_CALL, SCIP_OKAY, SCIPcheckStage(), SCIPconsCapture(), and TRUE.

Referenced by consdataAddCons(), consdataCollectLinkingCons(), consdataCreate(), consdataCreateSuperindicator(), correctPresoldata(), createAndAddAndCons(), createAndAddLinearCons(), createPresoldata(), createSubSCIP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSTRANS(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERINIT(), SCIPcreateConsIndicatorGenericLinCons(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateConsPseudobooleanWithConss(), SCIPgetConsCopy(), SCIPpricerBinpackingActivate(), and SCIPsetLinearConsIndicator().

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

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_TRANSFORMED
• SCIP_STAGE_INITPRESOLVE
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_EXITPRESOLVE
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_INITSOLVE
• SCIP_STAGE_SOLVING
• SCIP_STAGE_SOLVED
• SCIP_STAGE_EXITSOLVE
• SCIP_STAGE_FREETRANS

Note

the pointer of the constraint will be NULLed

Parameters

scip SCIP data structure cons pointer to constraint

Definition at line 1173 of file scip_cons.c.

References FALSE, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPcheckStage(), SCIPconsIsOriginal(), SCIPconsRelease(), SCIPerrorMessage, and TRUE.

Referenced by addBranchingComplementaritiesSOS1(), addBranchingDecisionConss(), addCliques(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addFixedVarsConss(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addLocalConss(), addLowerboundCons(), addScenarioConsToProb(), addSplitcons(), addTrustRegionConstraints(), adjustOversizedJobBounds(), aggregateConstraints(), aggregation(), applyBinaryConstraints(), applyFixings(), applyObbtBilinear(), applyRepair(), BENDERS_CUTORACLE(), branchBalancedCardinality(), cancelRow(), cleanupHashDatas(), cliquePresolve(), consdataDeletePos(), consdataFree(), consdataLinearize(), copyConsPseudoboolean(), copyCuts(), copyToSubscip(), correctConshdlrdata(), correctPresoldata(), CREATE_CONSTRAINT(), createAndAddAndCons(), createAndAddLinearCons(), createAndAddProofcons(), createAndAddTransferredCut(), createAndApplyStoredBendersCut(), createBlockproblem(), createBounddisjunctionCons(), createCapacityRestriction(), createCipFormulation(), createConflict(), createConflictCons(), createConsCumulative(), createConstraint(), createConstraints(), createCoveringProblem(), createCumulativeCons(), createIndicatorConstraint(), createIntervalRelaxation(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createLinearCons(), createMIP(), createMipCpFormulation(), createMipFormulation(), createNAryBranch(), createOriginalproblem(), createPrecedenceCons(), createProbOnlyEdge(), createProbQP(), createProbSimplified(), createProbSimplifiedTest(), createQuadraticCons(), createRow(), createRows(), createSetPackingCons(), createSubproblem(), createSubproblems(), createSubscip(), createSubSCIP(), createVarboundCons(), createVarUbs(), CUTOFF_CONSTRAINT(), deleteRedundantVars(), deleteSubproblem(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), AMPLProblemHandler::EndInput(), execmain(), executeStrongBranching(), extendToCover(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), fixVariableZeroNode(), forbidCover(), forbidFixation(), freeSymmetryData(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), getBinaryProductExprDo(), getConstraint(), getFixedVariable(), initPricing(), main(), AMPLProblemHandler::OnBinaryLogical(), AMPLProblemHandler::OnLogicalCon(), AMPLProblemHandler::OnRelational(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveSingleLockedVars(), presolveUpgrade(), probdataFree(), processNlRow(), processRealBoundChg(), propIndicator(), rangedRowPropagation(), readBounds(), readCnf(), readConstraints(), readIndicators(), readLIBSVM(), readObjective(), readOPBFile(), readQCMatrix(), readQMatrix(), readRows(), readSemicontinuous(), readSOS(), readSos(), readSOScons(), readVariables(), reformulateFactorizedBinaryQuadratic(), releaseHashmapEntries(), removeConstraintsDueToNegCliques(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECPS(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXIT(), SCIP_DECL_PRICEREXITSOL(), SCIP_DECL_PRICERINIT(), SCIP_DECL_PROBDELORIG(), SCIP_DECL_PROBDELTRANS(), SCIP_DECL_READERREAD(), SCIPaddConflict(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateSchedulingProblem(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetVarCopy(), SCIPsetLinearConsIndicator(), SCIPtransformMinUC(), SCIPverifyCircularPatternNLP(), selectVarMultAggrBranching(), setObjective(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupProblem(), setupSubproblem(), setupSubScip(), solvePricingMINLP(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), and scipexamples::QueensSolver::~QueensSolver().

change constraint name

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM

Note

to get the current name of a constraint, use SCIPconsGetName() from pub_cons.h

Parameters

scip SCIP data structure cons constraint name new name of constraint

Definition at line 1224 of file scip_cons.c.

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

sets the initial flag of the given constraint

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_SOLVING

Parameters

scip SCIP data structure cons constraint initial new value

Definition at line 1271 of file scip_cons.c.

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

Referenced by addFixedVarsConss(), checkParallelObjective(), correctConshdlrdata(), createRelaxation(), SCIP_DECL_PRESOLEXEC(), SCIPcreateConsAbspower(), SCIPupdateConsFlags(), AMPLProblemHandler::SuffixHandler< T >::SetValue(), and updateConsanddataUses().

sets the separate flag of the given constraint

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_SOLVING

Parameters

scip SCIP data structure cons constraint separate new value

Definition at line 1296 of file scip_cons.c.

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

Referenced by checkParallelObjective(), createRelaxation(), SCIP_DECL_PRESOLEXEC(), SCIPcreateConsAbspower(), SCIPupdateConsFlags(), and AMPLProblemHandler::SuffixHandler< T >::SetValue().

sets the enforce flag of the given constraint

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_SOLVING

Parameters

scip SCIP data structure cons constraint enforce new value

Definition at line 1321 of file scip_cons.c.

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

Referenced by checkParallelObjective(), checkPartialObjective(), createRelaxation(), SCIP_DECL_PRESOLEXEC(), SCIPcreateConsAbspower(), SCIPupdateConsFlags(), AMPLProblemHandler::SuffixHandler< T >::SetValue(), and updateCutoffbound().

sets the check flag of the given constraint

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_SOLVING

Parameters

scip SCIP data structure cons constraint check new value

Definition at line 1346 of file scip_cons.c.

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

Referenced by addAllConss(), branchCons(), checkPartialObjective(), consdataCreate(), correctConshdlrdata(), propagateCons(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_PRESOLEXEC(), SCIPcreateConsAbspower(), SCIPupdateConsFlags(), AMPLProblemHandler::SuffixHandler< T >::SetValue(), updateAndConss(), and updateConsanddataUses().

sets the propagate flag of the given constraint

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_SOLVING

Parameters

scip SCIP data structure cons constraint propagate new value

Definition at line 1371 of file scip_cons.c.

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

Referenced by checkParallelObjective(), SCIP_DECL_PRESOLEXEC(), SCIPcreateConsAbspower(), SCIPupdateConsFlags(), AMPLProblemHandler::SuffixHandler< T >::SetValue(), and updateCutoffbound().

sets the local flag of the given constraint

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_INITPRESOLVE
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_INITSOLVE
• SCIP_STAGE_SOLVING

Parameters

scip SCIP data structure cons constraint local new value

Definition at line 1398 of file scip_cons.c.

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

Referenced by branchCons(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_PRESOLEXEC(), and SCIPcreateConsAbspower().

sets the dynamic flag of the given constraint

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_SOLVING

Parameters

scip SCIP data structure cons constraint dynamic new value

Definition at line 1449 of file scip_cons.c.

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

Referenced by generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), SCIP_DECL_PRESOLEXEC(), SCIPcreateConsAbspower(), SCIPgenerateAndApplyBendersOptCut(), SCIPupdateConsFlags(), and AMPLProblemHandler::SuffixHandler< T >::SetValue().

sets the removable flag of the given constraint

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_SOLVING

Parameters

scip SCIP data structure cons constraint removable new value

Definition at line 1474 of file scip_cons.c.

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

Referenced by createAndAddTransferredCut(), createAndApplyStoredBendersCut(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), SCIP_DECL_PRESOLEXEC(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcreateConsAbspower(), SCIPgenerateAndApplyBendersOptCut(), SCIPupdateConsFlags(), and AMPLProblemHandler::SuffixHandler< T >::SetValue().

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

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_SOLVING

Parameters

scip SCIP data structure cons0 constraint that should stay cons1 constraint that should be deleted

Definition at line 1524 of file scip_cons.c.

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

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

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

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_TRANSFORMED
• SCIP_STAGE_INITPRESOLVE
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_EXITPRESOLVE
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_INITSOLVE
• SCIP_STAGE_SOLVING

Parameters

scip SCIP data structure cons constraint to get/create transformed constraint for transcons pointer to store the transformed constraint

Definition at line 1584 of file scip_cons.c.

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

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

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

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_TRANSFORMED
• SCIP_STAGE_INITPRESOLVE
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_EXITPRESOLVE
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_INITSOLVE
• SCIP_STAGE_SOLVING

Parameters

scip SCIP data structure nconss number of constraints to get/create transformed constraints for conss array with constraints to get/create transformed constraints for transconss array to store the transformed constraints

Definition at line 1625 of file scip_cons.c.

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

Referenced by consdataCreate(), and SCIP_DECL_PROBTRANS().

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

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_TRANSFORMED
• SCIP_STAGE_INITPRESOLVE
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_EXITPRESOLVE
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_INITSOLVE
• SCIP_STAGE_SOLVING
• SCIP_STAGE_SOLVED
• SCIP_STAGE_EXITSOLVE
• SCIP_STAGE_FREETRANS

Parameters

scip SCIP data structure cons constraint to get the transformed constraint for transcons pointer to store the transformed constraint

Definition at line 1674 of file scip_cons.c.

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

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

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

• in constraint separation, if no cut was found for this constraint,
• in constraint enforcing, if constraint was feasible, and
• in constraint propagation, if no domain reduction was deduced;

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_TRANSFORMED
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_SOLVING
• SCIP_STAGE_SOLVED

Parameters

scip SCIP data structure cons constraint deltaage value to add to the constraint's age

Definition at line 1755 of file scip_cons.c.

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

Referenced by processWatchedVars().

increases age of constraint by 1.0; should be called

• in constraint separation, if no cut was found for this constraint,
• in constraint enforcing, if constraint was feasible, and
• in constraint propagation, if no domain reduction was deduced;

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_TRANSFORMED
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_SOLVING
• SCIP_STAGE_SOLVED

Parameters

scip SCIP data structure cons constraint

Definition at line 1784 of file scip_cons.c.

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

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

resets age of constraint to zero; should be called

• in constraint separation, if a cut was found for this constraint,
• in constraint enforcing, if the constraint was violated, and
• in constraint propagation, if a domain reduction was deduced;

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_TRANSFORMED
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_SOLVING
• SCIP_STAGE_SOLVED

Parameters

scip SCIP data structure cons constraint

Definition at line 1812 of file scip_cons.c.

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

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

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

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_TRANSFORMED
• SCIP_STAGE_INITPRESOLVE
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_INITSOLVE
• SCIP_STAGE_SOLVING
• SCIP_STAGE_SOLVED

Parameters

scip SCIP data structure cons constraint

Definition at line 1871 of file scip_cons.c.

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

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

marks constraint to be propagated

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_TRANSFORMED
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_EXITPRESOLVE
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_INITSOLVE
• SCIP_STAGE_SOLVING
• SCIP_STAGE_SOLVED

Note

if a constraint is marked to be propagated, the age of the constraint will be ignored for propagation

marks constraint to be propagated

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_TRANSFORMED
• SCIP_STAGE_INITPRESOLVE
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_EXITPRESOLVE
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_INITSOLVE
• SCIP_STAGE_SOLVING
• SCIP_STAGE_SOLVED
• SCIP_STAGE_EXITSOLVE

Note

if a constraint is marked to be propagated, the age of the constraint will be ignored for propagation

Parameters

scip SCIP data structure cons constraint

Definition at line 2014 of file scip_cons.c.

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

Referenced by addCoef(), catchEvent(), chgCoefPos(), chgLhs(), chgRhs(), delCoefPos(), preprocessConstraintPairs(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_EVENTEXEC(), and tightenCoefs().

enforces single constraint for a given pseudo solution

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_SOLVING

Note

This is an advanced method and should be used with caution. It may only be called for constraints that were not added to SCIP beforehand.

Parameters

scip SCIP data structure cons constraint to enforce solinfeasible was the solution already declared infeasible by a constraint handler? objinfeasible is the solution infeasible anyway due to violating lower objective bound? result pointer to store the result of the callback method

Definition at line 2163 of file scip_cons.c.

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

Referenced by extendToCover(), and SCIP_DECL_CONSENFOPS().

enforces single constraint for a given LP solution

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_SOLVING

Note

This is an advanced method and should be used with caution. It may only be called for constraints that were not added to SCIP beforehand.

Parameters

scip SCIP data structure cons constraint to enforce solinfeasible was the solution already declared infeasible by a constraint handler? result pointer to store the result of the callback method

Definition at line 2194 of file scip_cons.c.

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

Referenced by enforceConstraint(), and extendToCover().

enforces single constraint for a given relaxation solution

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_SOLVING

Note

This is an advanced method and should be used with caution. It may only be called for constraints that were not added to SCIP beforehand.

Parameters

scip SCIP data structure cons constraint to enforce sol solution to enforce solinfeasible was the solution already declared infeasible by a constraint handler? result pointer to store the result of the callback method

Definition at line 2224 of file scip_cons.c.

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

Referenced by enforceConstraint(), and extendToCover().

calls LP initialization method for single constraint

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_SOLVING

Note

This is an advanced method and should be used with caution. It may only be called for constraints that were not added to SCIP beforehand.

Parameters

scip SCIP data structure cons constraint to initialize infeasible pointer to store whether infeasibility was detected while building the LP

Definition at line 2256 of file scip_cons.c.

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

Referenced by SCIP_DECL_CONSINITLP().

resolves propagation conflict of single constraint

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_SOLVING

Note

This is an advanced method and should be used with caution. It may only be called for constraints that were not added to SCIP beforehand.

Parameters

scip SCIP data structure cons constraint to resolve conflict for infervar the conflict variable whose bound change has to be resolved inferinfo the user information passed to the corresponding SCIPinferVarLbCons() or SCIPinferVarUbCons() call boundtype the type of the changed bound (lower or upper bound) bdchgidx the index of the bound change, representing the point of time where the change took place relaxedbd the relaxed bound which is sufficient to be explained result pointer to store the result of the callback method

Definition at line 2371 of file scip_cons.c.

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

Referenced by SCIP_DECL_CONSRESPROP().

presolves of single constraint

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PRESOLVING

Note

This is an advanced method and should be used with caution.

Parameters

scip SCIP data structure cons constraint to presolve nrounds number of presolving rounds already done presoltiming presolving timing(s) to be performed nnewfixedvars number of variables fixed since the last call to the presolving method nnewaggrvars number of variables aggregated since the last call to the presolving method nnewchgvartypes number of variable type changes since the last call to the presolving method nnewchgbds number of variable bounds tightened since the last call to the presolving method nnewholes number of domain holes added since the last call to the presolving method nnewdelconss number of deleted constraints since the last call to the presolving method nnewaddconss number of added constraints since the last call to the presolving method nnewupgdconss number of upgraded constraints since the last call to the presolving method nnewchgcoefs number of changed coefficients since the last call to the presolving method nnewchgsides number of changed left or right hand sides since the last call to the presolving method nfixedvars pointer to count total number of variables fixed of all presolvers naggrvars pointer to count total number of variables aggregated of all presolvers nchgvartypes pointer to count total number of variable type changes of all presolvers nchgbds pointer to count total number of variable bounds tightened of all presolvers naddholes pointer to count total number of domain holes added of all presolvers ndelconss pointer to count total number of deleted constraints of all presolvers naddconss pointer to count total number of added constraints of all presolvers nupgdconss pointer to count total number of upgraded constraints of all presolvers nchgcoefs pointer to count total number of changed coefficients of all presolvers nchgsides pointer to count total number of changed left/right hand sides of all presolvers result pointer to store the result of the callback method

Definition at line 2406 of file scip_cons.c.

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

Referenced by SCIP_DECL_PROPPRESOL().

outputs constraint information to file stream via the message handler system

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_TRANSFORMED
• SCIP_STAGE_INITPRESOLVE
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_EXITPRESOLVE
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_INITSOLVE
• SCIP_STAGE_SOLVING
• SCIP_STAGE_SOLVED
• SCIP_STAGE_EXITSOLVE
• SCIP_STAGE_FREETRANS

Note

If the message handler is set to a NULL pointer nothing will be printed.

The file stream will not be flushed directly, this can be achieved by calling SCIPinfoMessage() printing a newline character.

Parameters

scip SCIP data structure cons constraint file output file (or NULL for standard output)

Definition at line 2536 of file scip_cons.c.

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

Referenced by addStrongSBCsSubgroup(), addWeakSBCsSubgroup(), applyBinaryConstraints(), BENDERS_CUTORACLE(), checkAllConss(), checkCons(), checkCumulativeCondition(), checkOrigPbCons(), checkSymmetriesAreSymmetries(), cliquePresolve(), consdataCreate(), createRow(), detectDominatingVlbs(), detectDominatingVubs(), dualPresolving(), enforceConstraints(), enforceIndicators(), extendToCover(), notifyNlhdlrNewsol(), resolvePropagation(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_READERWRITE(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), selectVarMultAggrBranching(), and writeOpbConstraints().

method to collect the variables of a constraint

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

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_TRANSFORMED
• SCIP_STAGE_INITPRESOLVE
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_EXITPRESOLVE
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_INITSOLVE
• SCIP_STAGE_SOLVING
• SCIP_STAGE_SOLVED
• SCIP_STAGE_EXITSOLVE
• SCIP_STAGE_FREETRANS

Note

The success pointer indicates if all variables were copied into the vars arrray.

It might be that a constraint handler does not support this functionality, in that case the success pointer is set to FALSE.

Parameters

scip SCIP data structure cons constraint for which the variables are wanted vars array to store the involved variable of the constraint varssize available slots in vars array which is needed to check if the array is large enough success pointer to store whether the variables are successfully copied

Definition at line 2577 of file scip_cons.c.

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

Referenced by addConstraintToBendersSubproblem(), addScenarioConsToProb(), createBlockproblem(), decompGetConsVarsAndLabels(), fillDigraph(), fillVariableGraph(), hasUnfixedSCIndicator(), initCurrent(), reuseSolution(), roundPartition(), SCIP_DECL_CONSGETVARS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_PRESOLEXEC(), SCIPhasConsOnlyLinkVars(), SCIPvariablegraphBreadthFirst(), SCIPwriteLp(), SCIPwritePbm(), and SCIPwritePip().

method to collect the number of variables of a constraint

Returns

SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

Precondition

This method can be called if scip is in one of the following stages:

• SCIP_STAGE_PROBLEM
• SCIP_STAGE_TRANSFORMING
• SCIP_STAGE_TRANSFORMED
• SCIP_STAGE_INITPRESOLVE
• SCIP_STAGE_PRESOLVING
• SCIP_STAGE_EXITPRESOLVE
• SCIP_STAGE_PRESOLVED
• SCIP_STAGE_INITSOLVE
• SCIP_STAGE_SOLVING
• SCIP_STAGE_SOLVED
• SCIP_STAGE_EXITSOLVE
• SCIP_STAGE_FREETRANS

Note

The success pointer indicates if the contraint handler was able to return the number of variables

It might be that a constraint handler does not support this functionality, in that case the success pointer is set to FALSE

Parameters

scip SCIP data structure cons constraint for which the number of variables is wanted nvars pointer to store the number of variables success pointer to store whether the constraint successfully returned the number of variables

Definition at line 2621 of file scip_cons.c.

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

Referenced by addConstraintToBendersSubproblem(), addScenarioConsToProb(), addSymmetryInformation(), createBlockproblem(), decompGetConsVarsAndLabels(), estimateSymgraphSize(), fillDigraph(), fillVariableGraph(), hasUnfixedSCIndicator(), initCurrent(), roundPartition(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPgetConsVals(), SCIPhasConsOnlyLinkVars(), SCIPvariablegraphBreadthFirst(), SCIPwriteLp(), SCIPwritePbm(), and SCIPwritePip().

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4