Detailed Description

Public methods for constraints.

Functions
const char *	SCIPconsGetName (SCIP_CONS *cons)

int	SCIPconsGetPos (SCIP_CONS *cons)

SCIP_CONSHDLR *	SCIPconsGetHdlr (SCIP_CONS *cons)

SCIP_CONSDATA *	SCIPconsGetData (SCIP_CONS *cons)

int	SCIPconsGetNUses (SCIP_CONS *cons)

int	SCIPconsGetActiveDepth (SCIP_CONS *cons)

int	SCIPconsGetValidDepth (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsActive (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsUpdatedeactivate (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsEnabled (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsSeparationEnabled (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsPropagationEnabled (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsDeleted (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsObsolete (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsConflict (SCIP_CONS *cons)

SCIP_Real	SCIPconsGetAge (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsInitial (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsSeparated (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsEnforced (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsChecked (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsMarkedPropagate (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsPropagated (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsGlobal (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsLocal (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsModifiable (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsDynamic (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsRemovable (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsStickingAtNode (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsInProb (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsOriginal (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsTransformed (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsLockedPos (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsLockedNeg (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsLocked (SCIP_CONS *cons)

int	SCIPconsGetNLocksPos (SCIP_CONS *cons)

int	SCIPconsGetNLocksNeg (SCIP_CONS *cons)

SCIP_Bool	SCIPconsIsLockedTypePos (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)

SCIP_Bool	SCIPconsIsLockedTypeNeg (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)

SCIP_Bool	SCIPconsIsLockedType (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)

int	SCIPconsGetNLocksTypePos (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)

int	SCIPconsGetNLocksTypeNeg (SCIP_CONS *cons, SCIP_LOCKTYPE locktype)

SCIP_Bool	SCIPconsIsAdded (SCIP_CONS *cons)

void	SCIPconsAddUpgradeLocks (SCIP_CONS *cons, int nlocks)

int	SCIPconsGetNUpgradeLocks (SCIP_CONS *cons)

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

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

SCIP_RETCODE	SCIPcaptureCons (SCIP scip, SCIP_CONS cons)

SCIP_RETCODE	SCIPreleaseCons (SCIP scip, SCIP_CONS *cons)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

SCIP_RETCODE	SCIPincConsAge (SCIP scip, SCIP_CONS cons)

SCIP_RETCODE	SCIPresetConsAge (SCIP scip, SCIP_CONS cons)

SCIP_RETCODE	SCIPenableCons (SCIP scip, SCIP_CONS cons)

SCIP_RETCODE	SCIPdisableCons (SCIP scip, SCIP_CONS cons)

SCIP_RETCODE	SCIPenableConsSeparation (SCIP scip, SCIP_CONS cons)

SCIP_RETCODE	SCIPdisableConsSeparation (SCIP scip, SCIP_CONS cons)

SCIP_RETCODE	SCIPenableConsPropagation (SCIP scip, SCIP_CONS cons)

SCIP_RETCODE	SCIPdisableConsPropagation (SCIP scip, SCIP_CONS cons)

SCIP_RETCODE	SCIPmarkConsPropagate (SCIP scip, SCIP_CONS cons)

SCIP_RETCODE	SCIPunmarkConsPropagate (SCIP scip, SCIP_CONS cons)

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

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

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

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

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

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

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

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

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

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

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

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

SCIP_RETCODE	SCIPactiveCons (SCIP scip, SCIP_CONS cons)

SCIP_RETCODE	SCIPdeactiveCons (SCIP scip, SCIP_CONS cons)

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

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

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

Function Documentation

◆ SCIPconsGetName()

const char* SCIPconsGetName ( SCIP_CONS * cons )

returns the name of the constraint

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

Parameters

cons	constraint

Definition at line 8090 of file cons.c.

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

Referenced by addAllConss(), addBranchingDecisionConss(), addCliques(), addCoef(), addConflictBounds(), addConstraintToBendersSubproblem(), addCut(), addCuts(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addNlrow(), addRelaxation(), addScenarioConsToProb(), addSetppcConstraints(), addSlackVars(), addSymresackInequality(), addVarboundConstraints(), addVarCardinality(), addVarSOS1(), addVarSOS2(), aggregateVariables(), analyzeZeroResultant(), applyFixings(), branchBalancedCardinality(), branchCons(), branchUnbalancedCardinality(), canonicalizeConstraints(), catchVarEvents(), checkAllConss(), checkBounddisjunction(), checkCons(), checkConsnames(), checkForOverlapping(), checkKnapsack(), checkLogicor(), checkOrigPbCons(), checkOverloadViaThetaTree(), checkPackingPartitioningOrbitopeSolution(), checkRedundancy(), checkSubproblemConvexity(), checkSymresackSolution(), checkSystemGF2(), checkVarbound(), cliquePresolve(), computeEffectiveHorizon(), computeSymmetryGroup(), conflictAddBound(), conflictResolveBound(), consCapacityConstraintsFinder(), consdataCheckSuperindicator(), consdataDeletePos(), consdataFixOperandsOne(), consdataFixResultantZero(), consdataLinearize(), consdataPrint(), consHasName(), constraintNonOverlappingGraph(), copyConsPseudoboolean(), copyCuts(), createBlockproblem(), createCapacityRestriction(), createConflictGraphSST(), createCoveringProblem(), createDisjuctiveCons(), createNlRow(), createRelaxation(), createRow(), createRows(), createSelectedSortedEventpointsSol(), createSubSCIP(), createVarUbs(), deleteAltLPConstraint(), deleteRedundantVars(), deleteTrivilCons(), delPosConflict(), detectImplications(), detectMinors(), detectRedundantConstraints(), detectRedundantVars(), disableCons(), dropVarEvent(), dropVarEvents(), dualPresolve(), dualWeightsTightening(), enfopsCons(), enfopsPackingPartitioningOrbitopeSolution(), enforceCardinality(), enforceConflictgraph(), enforceConssSOS1(), enforceConstraint(), enforceConstraints(), enforceCurrentSol(), enforceIndicators(), enforceSOS2(), fillDigraph(), findAggregation(), fixDeleteOrUpgradeCons(), fixTriangle(), generateBoundInequalityFromSOS1Cons(), generateRowCardinality(), generateRowSOS2(), initCurrent(), initLP(), initPricing(), initSepa(), initsepaBoundInequalityFromCardinality(), initsepaBoundInequalityFromSOS1Cons(), initSolve(), liftCliqueVariables(), mergeMultiples(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), 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(), 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_PARAMCHGD(), SCIP_DECL_PROPPRESOL(), SCIPaddCoefLinear(), SCIPaddConsNode(), SCIPaddVarCardinality(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPappendVarCardinality(), SCIPappendVarSOS2(), SCIPboundchgApply(), SCIPconflictstoreAddConflict(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateConsSuperindicator(), SCIPincludePresolMILP(), SCIPmatrixGetRowName(), SCIPmatrixPrintRow(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPprintLinConsStats(), SCIPprobAddCons(), SCIPreaderWrite(), SCIPreoptAddCons(), SCIPreoptReset(), SCIPseparateKnapsackCuts(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPtimConsGetStageName(), SCIPtransformMinUC(), SCIPvisualizeConsCumulative(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectVarMultAggrBranching(), separateCons(), separateConsBinaryRepresentation(), separateConsOnIntegerVariables(), separateCoverCutsCons(), separateIndicators(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), setupAndSolveSubscipRapidlearning(), simplifyInequalities(), solveIndependentCons(), tightenCapacity(), tightenCoefs(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varAddLbchginfo(), varAddUbchginfo(), and writeOpbConstraints().

◆ SCIPconsGetPos()

int SCIPconsGetPos ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8100 of file cons.c.

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

Referenced by detectRedundantConstraints(), and SCIPconsGetName().

◆ SCIPconsGetHdlr()

SCIP_CONSHDLR* SCIPconsGetHdlr ( SCIP_CONS * cons )

returns the constraint handler of the constraint

Parameters

cons	constraint

Definition at line 8110 of file cons.c.

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

◆ SCIPconsGetData()

SCIP_CONSDATA* SCIPconsGetData ( SCIP_CONS * cons )

returns the constraint data field of the constraint

Parameters

cons	constraint

Definition at line 8120 of file cons.c.

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

◆ SCIPconsGetNUses()

int SCIPconsGetNUses ( SCIP_CONS * cons )

gets number of times, the constraint is currently captured

Parameters

cons	constraint

Definition at line 8130 of file cons.c.

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

Referenced by SCIPconsGetData().

◆ SCIPconsGetActiveDepth()

int SCIPconsGetActiveDepth ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8140 of file cons.c.

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

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

◆ SCIPconsGetValidDepth()

int SCIPconsGetValidDepth ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8173 of file cons.c.

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

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

◆ SCIPconsIsActive()

SCIP_Bool SCIPconsIsActive ( SCIP_CONS * cons )

returns TRUE iff constraint is active in the current node

Parameters

cons	constraint

Definition at line 8151 of file cons.c.

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

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

◆ SCIPconsIsUpdatedeactivate()

SCIP_Bool SCIPconsIsUpdatedeactivate ( SCIP_CONS * cons )

returns TRUE iff constraint has to be deactivated in update phase

returns TRUE iff constraint is active in the current node

Parameters

cons	constraint

Definition at line 8161 of file cons.c.

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

Referenced by SCIP_DECL_EVENTEXEC(), and SCIPconsIsActive().

◆ SCIPconsIsEnabled()

SCIP_Bool SCIPconsIsEnabled ( SCIP_CONS * cons )

returns TRUE iff constraint is enabled in the current node

Parameters

cons	constraint

Definition at line 8187 of file cons.c.

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

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

◆ SCIPconsIsSeparationEnabled()

SCIP_Bool SCIPconsIsSeparationEnabled ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8197 of file cons.c.

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

Referenced by addTightEstimatorCuts(), analyzeViolation(), consSepa(), enforceConstraints(), and SCIPconsIsEnabled().

◆ SCIPconsIsPropagationEnabled()

SCIP_Bool SCIPconsIsPropagationEnabled ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8208 of file cons.c.

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

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

◆ SCIPconsIsDeleted()

SCIP_Bool SCIPconsIsDeleted ( SCIP_CONS * cons )

returns TRUE iff constraint is deleted or marked to be deleted

Parameters

cons	constraint

Definition at line 8219 of file cons.c.

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

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

◆ SCIPconsIsObsolete()

SCIP_Bool SCIPconsIsObsolete ( SCIP_CONS * cons )

returns TRUE iff constraint is marked obsolete

Parameters

cons	constraint

Definition at line 8229 of file cons.c.

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

Referenced by SCIPconsIsDeleted().

◆ SCIPconsIsConflict()

SCIP_Bool SCIPconsIsConflict ( SCIP_CONS * cons )

returns TRUE iff constraint is marked as a conflict

Parameters

cons	constraint

Definition at line 8239 of file cons.c.

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

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

◆ SCIPconsGetAge()

SCIP_Real SCIPconsGetAge ( SCIP_CONS * cons )

gets age of constraint

Parameters

cons	constraint

Definition at line 8249 of file cons.c.

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

Referenced by conflictstoreCleanUpStorage(), delPosConflict(), delPosDualray(), delPosDualsol(), SCIP_DECL_SORTPTRCOMP(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), and SCIPconsIsConflict().

◆ SCIPconsIsInitial()

SCIP_Bool SCIPconsIsInitial ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8259 of file cons.c.

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

Referenced by addCliques(), addCoefTerm(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addScenarioConsToProb(), applyFixings(), checkSymmetriesAreSymmetries(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createNAryBranch(), createRelaxation(), createSubSCIP(), deleteRedundantVars(), detectNlhdlrs(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), findAggregation(), 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(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsGetAge(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPconsIsSeparated()

SCIP_Bool SCIPconsIsSeparated ( SCIP_CONS * cons )

returns TRUE iff constraint should be separated during LP processing

Parameters

cons	constraint

Definition at line 8269 of file cons.c.

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

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

◆ SCIPconsIsEnforced()

SCIP_Bool SCIPconsIsEnforced ( SCIP_CONS * cons )

returns TRUE iff constraint should be enforced during node processing

Parameters

cons	constraint

Definition at line 8279 of file cons.c.

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

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

◆ SCIPconsIsChecked()

SCIP_Bool SCIPconsIsChecked ( SCIP_CONS * cons )

returns TRUE iff constraint should be checked for feasibility

Parameters

cons	constraint

Definition at line 8289 of file cons.c.

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

Referenced by addAllConss(), addCoefTerm(), addConsToOccurList(), addConstraintToBendersSubproblem(), addKnapsackConstraints(), addLinearConstraints(), addLogicOrConstraints(), addNlrow(), addScenarioConsToProb(), addSetppcConstraints(), addVarboundConstraints(), applyFixings(), applyZeroFixings(), branchCons(), calcNonZeros(), checkSolOrig(), checkSymmetriesAreSymmetries(), cleanDeletedAndCheckedConflicts(), cleanDeletedAndCheckedDualrayCons(), cleanDeletedAndCheckedDualsolCons(), cliquePresolve(), computeAlternativeBounds(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createNAryBranch(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualPresolving(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), fillVariableGraph(), findAggregation(), 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(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsIsEnforced(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPprobAddCons(), SCIPprobDelCons(), SCIPtransformMinUC(), SCIPupdateConsFlags(), setupAndSolveSubscipRapidlearning(), solveIndependentCons(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), updateAndConss(), updateConsanddataUses(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPconsIsMarkedPropagate()

SCIP_Bool SCIPconsIsMarkedPropagate ( SCIP_CONS * cons )

returns whether the constraint is marked for propagation

Parameters

cons	constraint

Definition at line 8299 of file cons.c.

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

Referenced by addConstraintToBendersSubproblem(), addScenarioConsToProb(), SCIPconsIsChecked(), SCIPmarkConsPropagate(), SCIPunmarkConsPropagate(), and upgradeConss().

◆ SCIPconsIsPropagated()

SCIP_Bool SCIPconsIsPropagated ( SCIP_CONS * cons )

returns TRUE iff constraint should be propagated during node processing

Parameters

cons	constraint

Definition at line 8309 of file cons.c.

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

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

◆ SCIPconsIsGlobal()

SCIP_Bool SCIPconsIsGlobal ( SCIP_CONS * cons )

returns TRUE iff constraint is globally valid

Parameters

cons	constraint

Definition at line 8319 of file cons.c.

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

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

◆ SCIPconsIsLocal()

SCIP_Bool SCIPconsIsLocal ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8329 of file cons.c.

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

Referenced by addCliques(), addCoefTerm(), addConstraintToBendersSubproblem(), addNlrow(), addRelaxation(), addScenarioConsToProb(), applyFixings(), checkSymmetriesAreSymmetries(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), createCoverCutsTimepoint(), createNAryBranch(), createRelaxation(), createRow(), createRows(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), initsepaBoundInequalityFromCardinality(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), processRealBoundChg(), readQCMatrix(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIPaddLinearConsIndicator(), SCIPconflictstoreAddDualraycons(), SCIPconflictstoreAddDualsolcons(), SCIPconsIsGlobal(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPtransformMinUC(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPconsIsModifiable()

SCIP_Bool SCIPconsIsModifiable ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8339 of file cons.c.

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

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

◆ SCIPconsIsDynamic()

SCIP_Bool SCIPconsIsDynamic ( SCIP_CONS * cons )

returns TRUE iff constraint is subject to aging

Parameters

cons	constraint

Definition at line 8349 of file cons.c.

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

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

◆ SCIPconsIsRemovable()

SCIP_Bool SCIPconsIsRemovable ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8359 of file cons.c.

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

Referenced by addCliques(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addRelaxation(), addScenarioConsToProb(), applyFixings(), checkSymmetriesAreSymmetries(), cliquePresolve(), computeEffectiveHorizon(), consdataLinearize(), copyConsPseudoboolean(), copyToSubscip(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createNAryBranch(), createRelaxation(), createRow(), createRows(), createSubSCIP(), deleteRedundantVars(), detectRedundantVars(), dualPresolve(), dualWeightsTightening(), extensionOperatorSOS1(), extractGates(), findAggregation(), fixDeleteOrUpgradeCons(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), processRealBoundChg(), readQCMatrix(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_LINCONSUPGD(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconsIsDynamic(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPtransformMinUC(), SCIPupdateConsFlags(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), setupAndSolveSubscipRapidlearning(), tightenWeights(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeConss(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().

◆ SCIPconsIsStickingAtNode()

SCIP_Bool SCIPconsIsStickingAtNode ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8369 of file cons.c.

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

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

◆ SCIPconsIsInProb()

SCIP_Bool SCIPconsIsInProb ( SCIP_CONS * cons )

returns TRUE iff constraint belongs to the global problem

Parameters

cons	constraint

Definition at line 8379 of file cons.c.

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

Referenced by SCIPconsIsStickingAtNode().

◆ SCIPconsIsOriginal()

SCIP_Bool SCIPconsIsOriginal ( SCIP_CONS * cons )

returns TRUE iff constraint is belonging to original space

Parameters

cons	constraint

Definition at line 8389 of file cons.c.

References NULL, SCIP_Cons::original, SCIP_Bool, and SCIPconsIsTransformed().

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

◆ SCIPconsIsTransformed()

SCIP_Bool SCIPconsIsTransformed ( SCIP_CONS * cons )

returns TRUE iff constraint is belonging to transformed space

Parameters

cons	constraint

Definition at line 8399 of file cons.c.

References NULL, SCIP_Cons::original, SCIP_Bool, and SCIPconsIsLockedPos().

Referenced by addCoef(), addVarCardinality(), addVarSOS1(), addVarSOS2(), appendVarCardinality(), appendVarSOS1(), appendVarSOS2(), applyFixings(), checkConsnames(), chgLhs(), chgRhs(), computeSymmetryGroup(), 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(), SCIPconsIsOriginal(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsSOS1(), SCIPgetDualSolVal(), SCIPgetTransformedCons(), SCIPgetTransformedConss(), SCIPmatrixCreate(), SCIPsetBinaryVarIndicator(), SCIPtransformCons(), SCIPtransformConss(), SCIPwriteCcg(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePbm(), SCIPwritePip(), SCIPwritePpm(), setIntvar(), writeFzn(), and writeOpbConstraints().

◆ SCIPconsIsLockedPos()

SCIP_Bool SCIPconsIsLockedPos ( SCIP_CONS * cons )

returns TRUE iff roundings for variables in constraint are locked

Parameters

cons	constraint

Definition at line 8409 of file cons.c.

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

Referenced by SCIPconsIsTransformed().

◆ SCIPconsIsLockedNeg()

SCIP_Bool SCIPconsIsLockedNeg ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8419 of file cons.c.

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

Referenced by SCIPconsIsLockedPos().

◆ SCIPconsIsLocked()

SCIP_Bool SCIPconsIsLocked ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8429 of file cons.c.

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

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

◆ SCIPconsGetNLocksPos()

int SCIPconsGetNLocksPos ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8439 of file cons.c.

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

Referenced by SCIPconsIsLocked().

◆ SCIPconsGetNLocksNeg()

int SCIPconsGetNLocksNeg ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8449 of file cons.c.

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

Referenced by SCIPconsGetNLocksPos().

◆ SCIPconsIsLockedTypePos()

SCIP_Bool SCIPconsIsLockedTypePos	(	SCIP_CONS *	cons,
		SCIP_LOCKTYPE	locktype
	)

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

Parameters

cons	constraint
locktype	variable lock type

Definition at line 8459 of file cons.c.

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

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

◆ SCIPconsIsLockedTypeNeg()

SCIP_Bool SCIPconsIsLockedTypeNeg	(	SCIP_CONS *	cons,
		SCIP_LOCKTYPE	locktype
	)

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

Parameters

cons	constraint
locktype	variable lock type

Definition at line 8471 of file cons.c.

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

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

◆ SCIPconsIsLockedType()

SCIP_Bool SCIPconsIsLockedType	(	SCIP_CONS *	cons,
		SCIP_LOCKTYPE	locktype
	)

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

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

Parameters

cons	constraint
locktype	variable lock type

Definition at line 8483 of file cons.c.

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

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

◆ SCIPconsGetNLocksTypePos()

int SCIPconsGetNLocksTypePos	(	SCIP_CONS *	cons,
		SCIP_LOCKTYPE	locktype
	)

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

Parameters

cons	constraint
locktype	variable lock type

Definition at line 8495 of file cons.c.

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

Referenced by SCIPconsIsLockedType().

◆ SCIPconsGetNLocksTypeNeg()

int SCIPconsGetNLocksTypeNeg	(	SCIP_CONS *	cons,
		SCIP_LOCKTYPE	locktype
	)

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

Parameters

cons	constraint
locktype	variable lock type

Definition at line 8507 of file cons.c.

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

Referenced by SCIPconsGetNLocksTypePos().

◆ SCIPconsIsAdded()

SCIP_Bool SCIPconsIsAdded ( SCIP_CONS * cons )

returns if the constraint was already added to a SCIP instance

Parameters

cons	constraint

Definition at line 8519 of file cons.c.

References SCIP_Cons::addarraypos, NULL, and SCIPconsAddUpgradeLocks().

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

◆ SCIPconsAddUpgradeLocks()

void SCIPconsAddUpgradeLocks	(	SCIP_CONS *	cons,
		int	nlocks
	)

adds locks to (dis-)allow upgrading of constraint

Parameters

cons	constraint to add locks
nlocks	number of locks to add

Definition at line 8529 of file cons.c.

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

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

◆ SCIPconsGetNUpgradeLocks()

int SCIPconsGetNUpgradeLocks ( SCIP_CONS * cons )

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

Parameters

cons	constraint

Definition at line 8541 of file cons.c.

References NULL, and SCIP_Cons::nupgradelocks.

Referenced by createVarUbs(), presolRoundIndicator(), propIndicator(), SCIPconsAddUpgradeLocks(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinCons(), and tryUpgrading().

◆ SCIPcreateCons()

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

creates and captures a constraint of the given constraint handler

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

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

Precondition

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

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

Parameters

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

Definition at line 943 of file scip_cons.c.

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

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

◆ SCIPparseCons()

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

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

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

Precondition

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

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

Parameters

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

Definition at line 1027 of file scip_cons.c.

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

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

◆ SCIPcaptureCons()

SCIP_RETCODE SCIPcaptureCons	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

increases usage counter of constraint

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint to capture

Definition at line 1084 of file scip_cons.c.

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

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

◆ SCIPreleaseCons()

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

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

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

Precondition

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

Note: the pointer of the constraint will be NULLed

Parameters

scip	SCIP data structure
cons	pointer to constraint

Definition at line 1119 of file scip_cons.c.

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

Referenced by addBranchingComplementaritiesSOS1(), addBranchingDecisionConss(), addCliques(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addFixedVarsConss(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addLocalConss(), addLowerboundCons(), addScenarioConsToProb(), addSplitcons(), addTrustRegionConstraints(), adjustOversizedJobBounds(), aggregation(), applyFixings(), applyRepair(), BENDERS_CUTORACLE(), branchBalancedCardinality(), cancelRow(), checkSymmetriesAreSymmetries(), 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(), infinityCountUpdate(), initPricing(), main(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveSingleLockedVars(), presolveUpgrade(), probdataFree(), processNlRow(), processRealBoundChg(), propIndicator(), 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_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_PRICEREXITSOL(), SCIP_DECL_PRICERINIT(), SCIP_DECL_PROBDELORIG(), SCIP_DECL_PROBDELTRANS(), SCIP_DECL_READERREAD(), SCIP_DECL_SOLVECUMULATIVE(), SCIPaddConflict(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConflicts(), SCIPcopyConss(), SCIPcopyOrigConss(), SCIPcreateSchedulingProblem(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetVarCopy(), SCIPincludePresolMILP(), 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().

◆ SCIPchgConsName()

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

change constraint name

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

Precondition

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

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 1170 of file scip_cons.c.

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

◆ SCIPsetConsInitial()

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

sets the initial flag of the given constraint

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint
initial	new value

Definition at line 1217 of file scip_cons.c.

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

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

◆ SCIPsetConsSeparated()

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

sets the separate flag of the given constraint

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint
separate	new value

Definition at line 1242 of file scip_cons.c.

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

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

◆ SCIPsetConsEnforced()

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

sets the enforce flag of the given constraint

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint
enforce	new value

Definition at line 1267 of file scip_cons.c.

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

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

◆ SCIPsetConsChecked()

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

sets the check flag of the given constraint

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint
check	new value

Definition at line 1292 of file scip_cons.c.

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

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

◆ SCIPsetConsPropagated()

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

sets the propagate flag of the given constraint

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint
propagate	new value

Definition at line 1317 of file scip_cons.c.

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

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

◆ SCIPsetConsLocal()

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

sets the local flag of the given constraint

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint
local	new value

Definition at line 1344 of file scip_cons.c.

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

Referenced by branchCons(), and SCIPcreateConsAbspower().

◆ SCIPsetConsModifiable()

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

sets the modifiable flag of the given constraint

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint
modifiable	new value

Definition at line 1370 of file scip_cons.c.

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

Referenced by SCIPcreateConsAbspower(), SCIPprobdataCreate(), and setupProblem().

◆ SCIPsetConsDynamic()

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

sets the dynamic flag of the given constraint

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint
dynamic	new value

Definition at line 1395 of file scip_cons.c.

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

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

◆ SCIPsetConsRemovable()

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

sets the removable flag of the given constraint

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint
removable	new value

Definition at line 1420 of file scip_cons.c.

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

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

◆ SCIPsetConsStickingAtNode()

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

sets the stickingatnode flag of the given constraint

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint
stickingatnode	new value

Definition at line 1445 of file scip_cons.c.

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

Referenced by SCIPcreateConsAbspower(), and SCIPupdateConsFlags().

◆ SCIPupdateConsFlags()

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

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

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

Precondition

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

Parameters

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

Definition at line 1470 of file scip_cons.c.

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

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

◆ SCIPtransformCons()

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

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

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

Precondition

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

Parameters

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

Definition at line 1530 of file scip_cons.c.

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

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

◆ SCIPtransformConss()

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

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

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

Precondition

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

Parameters

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

Definition at line 1571 of file scip_cons.c.

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

Referenced by consdataCreate(), and SCIP_DECL_PROBTRANS().

◆ SCIPgetTransformedCons()

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

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

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

Precondition

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

Parameters

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

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

◆ SCIPgetTransformedConss()

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

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

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

Precondition

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

Parameters

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

Definition at line 1660 of file scip_cons.c.

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

◆ SCIPaddConsAge()

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

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

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

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

Precondition

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

Parameters

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

Definition at line 1701 of file scip_cons.c.

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

Referenced by processWatchedVars().

◆ SCIPincConsAge()

SCIP_RETCODE SCIPincConsAge	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

increases age of constraint by 1.0; should be called

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

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint

Definition at line 1730 of file scip_cons.c.

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

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

◆ SCIPresetConsAge()

SCIP_RETCODE SCIPresetConsAge	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

resets age of constraint to zero; should be called

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

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint

Definition at line 1758 of file scip_cons.c.

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

Referenced by analyzeZeroResultant(), branchCons(), checkAndConss(), checkCons(), consdataFixOperandsOne(), consdataFixResultantZero(), enfopsCons(), enforceCardinality(), enforceConssSOS1(), enforceCurrentSol(), enforceIndicators(), enforcePseudo(), enforceSOS2(), initsepaBoundInequalityFromCardinality(), initsepaBoundInequalityFromSOS1Cons(), processBinvarFixings(), 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().

◆ SCIPenableCons()

SCIP_RETCODE SCIPenableCons	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

enables constraint's separation, propagation, and enforcing capabilities

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint

Definition at line 1783 of file scip_cons.c.

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

Referenced by consdataCreateBinvars(), and SCIP_DECL_EVENTEXEC().

◆ SCIPdisableCons()

SCIP_RETCODE SCIPdisableCons	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

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

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint

Definition at line 1817 of file scip_cons.c.

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

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

◆ SCIPenableConsSeparation()

SCIP_RETCODE SCIPenableConsSeparation	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

enables constraint's separation capabilities

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint

Definition at line 1842 of file scip_cons.c.

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

◆ SCIPdisableConsSeparation()

SCIP_RETCODE SCIPdisableConsSeparation	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

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

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

Precondition

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

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

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint

Definition at line 1870 of file scip_cons.c.

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

◆ SCIPenableConsPropagation()

SCIP_RETCODE SCIPenableConsPropagation	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

enables constraint's propagation capabilities

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint

Definition at line 1897 of file scip_cons.c.

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

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

◆ SCIPdisableConsPropagation()

SCIP_RETCODE SCIPdisableConsPropagation	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

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

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint

Definition at line 1927 of file scip_cons.c.

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

Referenced by processWatchedVars().

◆ SCIPmarkConsPropagate()

SCIP_RETCODE SCIPmarkConsPropagate	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

marks constraint to be propagated

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

Precondition

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

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

marks constraint to be propagated

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

Precondition

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

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

Parameters

scip	SCIP data structure
cons	constraint

Definition at line 1960 of file scip_cons.c.

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

Referenced by chgLhs(), chgRhs(), preprocessConstraintPairs(), SCIP_DECL_CONSACTIVE(), and SCIP_DECL_EVENTEXEC().

◆ SCIPunmarkConsPropagate()

SCIP_RETCODE SCIPunmarkConsPropagate	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

unmarks the constraint to be propagated

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint

Definition at line 1988 of file scip_cons.c.

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

Referenced by propagateCons(), and SCIP_DECL_CONSPROP().

◆ SCIPaddConsLocksType()

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

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

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint
locktype	type of the variable locks
nlockspos	increase in number of rounding locks for constraint
nlocksneg	increase in number of rounding locks for constraint's negation

Definition at line 2018 of file scip_cons.c.

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

Referenced by SCIP_DECL_CONSLOCK(), and SCIPaddConsLocks().

◆ SCIPaddConsLocks()

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

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

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

Precondition

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

Note: This methods always adds locks of type model

Parameters

scip	SCIP data structure
cons	constraint
nlockspos	increase in number of rounding locks for constraint
nlocksneg	increase in number of rounding locks for constraint's negation

Definition at line 2051 of file scip_cons.c.

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

◆ SCIPcheckCons()

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

checks single constraint for feasibility of the given solution

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

Precondition

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

checks single constraint for feasibility of the given solution

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

Precondition

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

Parameters

scip	SCIP data structure
cons	constraint to check
sol	primal CIP solution
checkintegrality	Has integrality to be checked?
checklprows	Do constraints represented by rows in the current LP have to be checked?
printreason	Should the reason for the violation be printed?
result	pointer to store the result of the callback method

Definition at line 2081 of file scip_cons.c.

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

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

◆ SCIPenfopsCons()

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

enforces single constraint for a given pseudo solution

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

Precondition

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

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 2109 of file scip_cons.c.

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

Referenced by extendToCover().

◆ SCIPenfolpCons()

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

enforces single constraint for a given LP solution

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

Precondition

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

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 2140 of file scip_cons.c.

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

Referenced by enforceConstraint(), and extendToCover().

◆ SCIPenforelaxCons()

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

enforces single constraint for a given relaxation solution

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

Precondition

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

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 2170 of file scip_cons.c.

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

Referenced by enforceConstraint(), and extendToCover().

◆ SCIPinitlpCons()

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

calls LP initialization method for single constraint

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

Precondition

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

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 2202 of file scip_cons.c.

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

◆ SCIPsepalpCons()

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

calls separation method of single constraint for LP solution

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

Precondition

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

SCIP_STAGE_SOLVING

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

Parameters

scip	SCIP data structure
cons	constraint to separate
result	pointer to store the result of the separation call

Definition at line 2229 of file scip_cons.c.

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

Referenced by extendToCover().

◆ SCIPsepasolCons()

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

calls separation method of single constraint for given primal solution

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

Precondition

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

SCIP_STAGE_SOLVING

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

Parameters

scip	SCIP data structure
cons	constraint to separate
sol	primal solution that should be separated
result	pointer to store the result of the separation call

Definition at line 2256 of file scip_cons.c.

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

Referenced by extendToCover().

◆ SCIPpropCons()

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

calls domain propagation method of single constraint

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

Precondition

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

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

Parameters

scip	SCIP data structure
cons	constraint to propagate
proptiming	current point in the node solving loop
result	pointer to store the result of the callback method

Definition at line 2286 of file scip_cons.c.

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

◆ SCIPrespropCons()

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

resolves propagation conflict of single constraint

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

Precondition

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

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

Parameters

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

Definition at line 2317 of file scip_cons.c.

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

◆ SCIPpresolCons()

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

presolves of single constraint

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

Precondition

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

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 2352 of file scip_cons.c.

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

Referenced by SCIP_DECL_PROPPRESOL().

◆ SCIPactiveCons()

SCIP_RETCODE SCIPactiveCons	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

calls constraint activation notification method of single constraint

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

Precondition

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

SCIP_STAGE_TRANSFORMING

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

Parameters

scip	SCIP data structure
cons	constraint to notify

Definition at line 2414 of file scip_cons.c.

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

◆ SCIPdeactiveCons()

SCIP_RETCODE SCIPdeactiveCons	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

calls constraint deactivation notification method of single constraint

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

Precondition

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

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

Parameters

scip	SCIP data structure
cons	constraint to notify

Definition at line 2443 of file scip_cons.c.

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

◆ SCIPprintCons()

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

outputs constraint information to file stream via the message handler system

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

Precondition

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

Note: If the message handler is set to a NULL pointer nothing will be printed.; The file stream will not be flushed directly, this can be achieved by calling SCIPinfoMessage() printing a newline character.

Parameters

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

Definition at line 2482 of file scip_cons.c.

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

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

◆ SCIPgetConsVars()

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

method to collect the variables of a constraint

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

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

Precondition

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

Note: The success pointer indicates if all variables were copied into the vars arrray.; It might be that a constraint handler does not support this functionality, in that case the success pointer is set to FALSE.

Parameters

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

Definition at line 2523 of file scip_cons.c.

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

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

◆ SCIPgetConsNVars()

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

method to collect the number of variables of a constraint

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

Precondition

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

Note: The success pointer indicates if the contraint handler was able to return the number of variables; It might be that a constraint handler does not support this functionality, in that case the success pointer is set to FALSE

Parameters

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

Definition at line 2567 of file scip_cons.c.

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

Referenced by addConstraintToBendersSubproblem(), addScenarioConsToProb(), checkSymmetriesAreSymmetries(), createBlockproblem(), decompGetConsVarsAndLabels(), fillDigraph(), fillVariableGraph(), roundPartition(), SCIP_DECL_CONSGETNVARS(), SCIP_DECL_SORTPTRCOMP(), SCIPgetConsVals(), SCIPhasConsOnlyLinkVars(), SCIPvariablegraphBreadthFirst(), SCIPwriteLp(), SCIPwritePbm(), and SCIPwritePip().

SCIP

Detailed Description

Functions

Function Documentation

◆ SCIPconsGetName()

◆ SCIPconsGetPos()

◆ SCIPconsGetHdlr()

◆ SCIPconsGetData()

◆ SCIPconsGetNUses()

◆ SCIPconsGetActiveDepth()

◆ SCIPconsGetValidDepth()

◆ SCIPconsIsActive()

◆ SCIPconsIsUpdatedeactivate()

◆ SCIPconsIsEnabled()

◆ SCIPconsIsSeparationEnabled()

◆ SCIPconsIsPropagationEnabled()

◆ SCIPconsIsDeleted()

◆ SCIPconsIsObsolete()

◆ SCIPconsIsConflict()

◆ SCIPconsGetAge()

◆ SCIPconsIsInitial()

◆ SCIPconsIsSeparated()

◆ SCIPconsIsEnforced()

◆ SCIPconsIsChecked()

◆ SCIPconsIsMarkedPropagate()

◆ SCIPconsIsPropagated()

◆ SCIPconsIsGlobal()

◆ SCIPconsIsLocal()

◆ SCIPconsIsModifiable()

◆ SCIPconsIsDynamic()

◆ SCIPconsIsRemovable()

◆ SCIPconsIsStickingAtNode()

◆ SCIPconsIsInProb()

◆ SCIPconsIsOriginal()

◆ SCIPconsIsTransformed()

◆ SCIPconsIsLockedPos()

◆ SCIPconsIsLockedNeg()

◆ SCIPconsIsLocked()

◆ SCIPconsGetNLocksPos()

◆ SCIPconsGetNLocksNeg()

◆ SCIPconsIsLockedTypePos()

◆ SCIPconsIsLockedTypeNeg()

◆ SCIPconsIsLockedType()

◆ SCIPconsGetNLocksTypePos()

◆ SCIPconsGetNLocksTypeNeg()

◆ SCIPconsIsAdded()

◆ SCIPconsAddUpgradeLocks()

◆ SCIPconsGetNUpgradeLocks()

◆ SCIPcreateCons()

◆ SCIPparseCons()

◆ SCIPcaptureCons()

◆ SCIPreleaseCons()

◆ SCIPchgConsName()

◆ SCIPsetConsInitial()

◆ SCIPsetConsSeparated()

◆ SCIPsetConsEnforced()

◆ SCIPsetConsChecked()

◆ SCIPsetConsPropagated()

◆ SCIPsetConsLocal()

◆ SCIPsetConsModifiable()

◆ SCIPsetConsDynamic()

◆ SCIPsetConsRemovable()

◆ SCIPsetConsStickingAtNode()

◆ SCIPupdateConsFlags()

◆ SCIPtransformCons()

◆ SCIPtransformConss()

◆ SCIPgetTransformedCons()

◆ SCIPgetTransformedConss()

◆ SCIPaddConsAge()

◆ SCIPincConsAge()

◆ SCIPresetConsAge()

◆ SCIPenableCons()

◆ SCIPdisableCons()

◆ SCIPenableConsSeparation()

◆ SCIPdisableConsSeparation()

◆ SCIPenableConsPropagation()

◆ SCIPdisableConsPropagation()

◆ SCIPmarkConsPropagate()

◆ SCIPunmarkConsPropagate()

◆ SCIPaddConsLocksType()