SCIP
Solving Constraint Integer Programs
Computations With Tolerances
Detailed Description
methods used by the majority of operations involving floating-point computations in SCIP
- query the numerical tolerances of SCIP, as well as special values such as infinity.
- change tolerances inside relaxations
- epsilon-comparison methods for floating point numbers
Function Documentation
◆ SCIPepsilon()
returns value treated as zero
- Returns
- value treated as zero
- Parameters
-
scip SCIP data structure
Definition at line 137 of file scip_numerics.c.
References NULL, SCIPsetEpsilon(), and Scip::set.
Referenced by addCut(), checkRedundancySide(), computeFixingOrder(), computeMIREfficacy(), computeVertexPolyhedralFacetLP(), consEnfo(), createCGCutCMIR(), createCGCutStrongCG(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutsTransformKnapsackCover(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), estimateBivariateQuotient(), estimateConvexSecant(), estimateUnivariateQuotient(), evaluateCutNumerics(), forwardPropExpr(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), prettifyConss(), removeZeros(), removeZerosQuad(), reverseProp(), rowprepCleanupSide(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRREVERSEPROP(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_PRESOLEXEC(), SCIPanalyzeDeductionsProbing(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPgetConcurrentGap(), SCIPgetExprBoundsNonlinear(), SCIPincludeConshdlrNonlinear(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrPow(), SCIPincludePresolMILP(), SCIPscaleupRowprep(), SCIPseparateRelaxedKnapsack(), SCIPtightenExprIntervalNonlinear(), scoreBranchingCandidates(), transformNonIntegralRow(), and useBilinIneqs().
◆ SCIPsumepsilon()
returns value treated as zero for sums of floating point values
- Returns
- value treated as zero for sums of floating point values
- Parameters
-
scip SCIP data structure
Definition at line 151 of file scip_numerics.c.
References NULL, SCIPsetSumepsilon(), and Scip::set.
Referenced by addCut(), addLocalbranchingConstraintAndObjcutoff(), chooseVeclenVar(), createCGCutCMIR(), createCGCutStrongCG(), createNLP(), createSubproblem(), cutsTransformMIR(), cutTightenCoefs(), cutTightenCoefsQuad(), doSolveSubMIP(), evaluateCutNumerics(), generateDisjCutSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getFSBResult(), getVectorOfWeights(), postprocessCut(), postprocessCutQuad(), SCIP_DECL_HEUREXEC(), SCIPaggrRowRemoveZeros(), SCIPcalcFlowCover(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcutGenerationHeuristicCMIR(), SCIPincludeHeurMutation(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipMutation(), setupSubScip(), solveCoveringProblem(), transformNonIntegralRow(), wrapperDins(), and wrapperRins().
◆ SCIPfeastol()
returns feasibility tolerance for constraints
- Returns
- feasibility tolerance for constraints
- Parameters
-
scip SCIP data structure
Definition at line 165 of file scip_numerics.c.
References NULL, SCIPsetFeastol(), and Scip::set.
Referenced by adjustCutoffbound(), analyzeConflict(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), analyzeGenVBoundConflict(), applyNlobbt(), calcScore(), checkCons(), computeInteriorPoint(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeVertexPolyhedralFacetLP(), cutTightenCoefs(), cutTightenCoefsQuad(), displayRelevantStats(), doSeparation(), enforceConflictgraph(), enforceExpr(), getBranchingDecisionStrongbranchSOS1(), getNLPFracVars(), isConsViolated(), performStrongbranchSOS1(), postprocessCut(), postprocessCutQuad(), prepareLiftingData(), presolveRedundantConss(), prettifyConss(), proposeFeasibleSolution(), readLIBSVM(), resolvePropagation(), reversePropBilinear(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINIT(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPapplyProximity(), SCIPcomputeFacetVertexPolyhedralNonlinear(), SCIPgenerateAndApplyBendersOptCut(), SCIPincludePresolMILP(), SCIPprocessRowprepNonlinear(), SCIPprocessShellArguments(), SCIPsolveKnapsackApproximatelyLT(), SCIPvalidateSolve(), separateCuts(), sepaSubtour(), setupAndSolveSubscip(), and solveSubNLP().
◆ SCIPlpfeastol()
returns primal feasibility tolerance of LP solver
- Deprecated:
- Please use SCIPgetLPFeastol().
- Returns
- primal feasibility tolerance of LP solver
returns primal feasibility tolerance of LP solver
- Deprecated:
- Please use SCIPgetLPFeastol().
- Returns
- primal feasibility tolerance of LP solver
- Parameters
-
scip SCIP data structure
Definition at line 181 of file scip_numerics.c.
References NULL, SCIPgetLPFeastol(), and Scip::set.
◆ SCIPdualfeastol()
returns feasibility tolerance for reduced costs
- Returns
- feasibility tolerance for reduced costs
- Parameters
-
scip SCIP data structure
Definition at line 195 of file scip_numerics.c.
References NULL, SCIPsetDualfeastol(), and Scip::set.
Referenced by computeInteriorPoint(), SCIPincludeHeurSubNlp(), and separateCuts().
◆ SCIPbarrierconvtol()
returns convergence tolerance used in barrier algorithm
- Returns
- convergence tolerance used in barrier algorithm
- Parameters
-
scip SCIP data structure
Definition at line 209 of file scip_numerics.c.
References NULL, SCIPsetBarrierconvtol(), and Scip::set.
◆ SCIPcutoffbounddelta()
return the cutoff bound delta
- Returns
- cutoff bound data
- Parameters
-
scip SCIP data structure
Definition at line 223 of file scip_numerics.c.
References NULL, SCIPsetCutoffbounddelta(), and Scip::set.
Referenced by updateObjUpperbound().
◆ SCIPrelaxfeastol()
return the relaxation primal feasibility tolerance
- See also
- SCIPchgRelaxfeastol
- Returns
- relaxfeastol
- Parameters
-
scip SCIP data structure
Definition at line 238 of file scip_numerics.c.
References NULL, SCIPsetRelaxfeastol(), and Scip::set.
◆ SCIPchgFeastol()
| SCIP_RETCODE SCIPchgFeastol | ( | SCIP * | scip, |
| SCIP_Real | feastol | ||
| ) |
sets the feasibility tolerance for constraints
- 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.
- Parameters
-
scip SCIP data structure feastol new feasibility tolerance for constraints
Definition at line 253 of file scip_numerics.c.
References Scip::lp, NULL, SCIP_CALL, SCIP_OKAY, SCIPsetSetFeastol(), and Scip::set.
Referenced by displayRelevantStats(), SCIP_DECL_DIALOGEXEC(), and SCIPvalidateSolve().
◆ SCIPchgLpfeastol()
| SCIP_RETCODE SCIPchgLpfeastol | ( | SCIP * | scip, |
| SCIP_Real | lpfeastol, | ||
| SCIP_Bool | printnewvalue | ||
| ) |
sets the primal feasibility tolerance of LP solver
- Deprecated:
- Please use SCIPsetLPFeastol().
- 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.
sets the primal feasibility tolerance of LP solver
- Deprecated:
- Please use SCIPsetLPFeastol().
- 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.
- Parameters
-
scip SCIP data structure lpfeastol new primal feasibility tolerance of LP solver printnewvalue should "numerics/lpfeastol = ..." be printed?
Definition at line 273 of file scip_numerics.c.
References NULL, SCIP_OKAY, SCIP_VERBLEVEL_HIGH, SCIPsetLPFeastol(), and SCIPverbMessage().
◆ SCIPchgDualfeastol()
| SCIP_RETCODE SCIPchgDualfeastol | ( | SCIP * | scip, |
| SCIP_Real | dualfeastol | ||
| ) |
sets the feasibility tolerance for reduced costs
- 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.
- Parameters
-
scip SCIP data structure dualfeastol new feasibility tolerance for reduced costs
Definition at line 294 of file scip_numerics.c.
References FALSE, Scip::lp, SCIP_Lp::lpsolstat, NULL, SCIP_CALL, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_OKAY, SCIPsetDualfeastol(), SCIPsetSetDualfeastol(), Scip::set, and SCIP_Lp::solved.
◆ SCIPchgBarrierconvtol()
| SCIP_RETCODE SCIPchgBarrierconvtol | ( | SCIP * | scip, |
| SCIP_Real | barrierconvtol | ||
| ) |
sets the convergence tolerance used in barrier algorithm
- 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.
- Parameters
-
scip SCIP data structure barrierconvtol new convergence tolerance used in barrier algorithm
Definition at line 319 of file scip_numerics.c.
References FALSE, SCIP_Lp::lastlpalgo, Scip::lp, NULL, SCIP_CALL, SCIP_LPALGO_BARRIER, SCIP_LPALGO_BARRIERCROSSOVER, SCIP_OKAY, SCIPsetBarrierconvtol(), SCIPsetSetBarrierconvtol(), Scip::set, and SCIP_Lp::solved.
◆ SCIPchgRelaxfeastol()
sets the primal feasibility tolerance of relaxations
This tolerance value is used by the SCIP core and plugins to tighten then feasibility tolerance on relaxations (especially the LP relaxation) during a solve. It is set to SCIP_INVALID initially, which means that only the feasibility tolerance of the particular relaxation is taken into account. If set to a valid value, however, then this value should be used to reduce the primal feasibility tolerance of a relaxation (thus, use the minimum of relaxfeastol and the relaxations primal feastol).
- Precondition
- The value of relaxfeastol is reset to SCIP_INVALID when initializing the solve (INITSOL). Therefore, this method can only be called in one of the following stages of the SCIP solving process:
- Returns
- previous value of relaxfeastol
- Parameters
-
scip SCIP data structure relaxfeastol new primal feasibility tolerance of relaxations
Definition at line 352 of file scip_numerics.c.
References FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPsetSetRelaxfeastol(), Scip::set, and TRUE.
◆ SCIPmarkLimitChanged()
| void SCIPmarkLimitChanged | ( | SCIP * | scip | ) |
marks that some limit parameter was changed
- Parameters
-
scip SCIP data structure
Definition at line 366 of file scip_numerics.c.
References NULL, SCIPsetSetLimitChanged(), and Scip::set.
Referenced by SCIP_DECL_PARAMCHGD().
◆ SCIPinfinity()
returns value treated as infinity
- Parameters
-
scip SCIP data structure
Definition at line 510 of file scip_numerics.c.
References NULL, SCIPsetInfinity(), and Scip::set.
Referenced by ObjPricerVRP::add_tour_variable(), addAltLPConstraint(), addAuxiliaryVariablesToMaster(), addBranchingComplementaritiesSOS1(), addBranchingDecisionConss(), addCut(), addExtendedAsymmetricFormulation(), addKnapsackConstraints(), addLocalBranchingConstraint(), addLogicOrConstraints(), addNlrow(), addOrbisackCover(), addOrbisackInequality(), addPathCuts(), addRegularScholtes(), addRelaxation(), addRow(), addScenarioVarsAndConsToProb(), addSetppcConstraints(), addSlackVars(), addSSTConssOrbitAndUpdateSST(), addStrongSBCsSubgroup(), addSubtourCuts(), addSymresackInequality(), addTightEstimatorCut(), addTourCuts(), addTrustRegionConstraints(), addVariable(), addWeakSBCsSubgroup(), aggregation(), analyzeViolation(), applyCliqueFixings(), applyFixings(), applyHeur(), applyOptcumulativeFixings(), areCoefsNumericsGood(), assignNextBin(), branchingResultDataCreate(), buildMod2Matrix(), calcActivityBounds(), calcMaxColActivity(), calcMinColActivity(), calcMinColActResidual(), calculateBounds(), calcVarBoundsDominated(), calcVarBoundsDominating(), chgLhs(), chgRhs(), chooseFracVar(), chooseGuidedVar(), computeConvexEnvelopeFacet(), computeCut(), computeFixingOrder(), computeLiftingData(), computeRestrictionToRay(), computeRltCut(), computeRoot(), computeStandardNLPOptimalityCut(), computeSymmetryGroup(), computeVarsCoverSOS1(), computeVertexPolyhedralFacetLP(), computeViolation(), consdataCheckNonbinvar(), consdataCreate(), consdataGetActivity(), consdataRecomputeMaxActivityDelta(), constructCompression(), CREATE_CONSTRAINT(), createAndAddLinearCons(), createAuxiliaryNonlinearSubproblem(), createAuxVar(), createBlockproblem(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createConstraint(), createConstraints(), createCoverCutsTimepoint(), createCoveringProblem(), createDepthinfo(), createDisaggrRow(), createDisaggrVars(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createMasterproblem(), createNAryBranch(), createNLP(), createObjRow(), createOriginalproblem(), createPartitionCut(), createPatternVars(), createPrecedenceCons(), createProbOnlyEdge(), createProbQP(), createProbSimplified(), createProbSimplifiedTest(), createRelaxation(), createRow(), createScenarioData(), createSubproblem(), createSubproblems(), createSubSCIP(), createSubscip(), createVarboundCons(), createVarUbs(), determineBoundForSNF(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), AMPLProblemHandler::EndInput(), enforceCardinality(), enforceConflictgraph(), estimateBivariateQuotient(), estimateUnivariateQuotient(), execmain(), execRelpscost(), extendToCover(), extractLinearValues(), findBestObjectiveValue(), findDominancePairs(), findRho(), fixVariable(), forbidCover(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), generateBoundInequalityFromSOS1Nodes(), generateCut(), generateCutSolDisagg(), generateCutSolSOC(), generateDisjCutSOS1(), generateOddCycleCut(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBinaryProductExprDo(), getBoundConsFromVertices(), getBranchingDecisionStrongbranchSOS1(), getBranchingPrioritiesSOS1(), getClosestVlb(), getClosestVub(), getCurrentRegressionTangentAxisIntercept(), getExprAbsAuxViolation(), getExprAbsOrigViolation(), getGenVBoundsBound(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getImpliedBounds(), getLinearConsSides(), getMinFeas(), getMinMaxActivityResiduals(), getObjectiveFactor(), getOptimalShiftingValue(), getPotentialContributed(), getTimeLeft(), getVarBoundsOfRow(), getVariable(), getVariableRedcostScore(), handleNlpParam(), infinityCountUpdate(), initComponent(), initConshdlrData(), initEventhandlerData(), initLP(), initMatrix(), initWorhp(), isValue(), level2resultEqual(), LOPseparate(), maximalslack(), mod2MatrixTransformContRows(), moveVariable(), newsolCliqueAddRow(), nodepairqueueCreate(), nodepartitionIsConnected(), AMPLProblemHandler::OnHeader(), AMPLProblemHandler::OnVarBounds(), parseType(), performStrongbranchWithPropagation(), preprocessConstraintPairs(), presolveAddKKTKnapsackConss(), presolveAddKKTLinearCons(), presolveAddKKTLogicorConss(), presolveAddKKTSetppcConss(), prettifyConss(), printAndCons(), propagateCons(), propdataInit(), propIndicator(), readBounds(), readCnf(), readCols(), readConstraints(), readIndicators(), readLIBSVM(), readObjective(), readOPBFile(), readQMatrix(), readRows(), readSol(), readSolFile(), readVariables(), readXmlSolFile(), reformulateFactorizedBinaryQuadratic(), relaxVar(), reoptimize(), resetSubproblemObjectiveValue(), runBenders(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DISPINITSOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINTEVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLPICREATEPROBLEM(), SCIP_DECL_NLPISOLVE(), SCIP_DECL_NODESELSELECT(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_READERREAD(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_TABLEOUTPUT(), SCIPaddCoefLinear(), SCIPaddConflict(), SCIPaddNlpiProblemNlRows(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPaggrRowCancelVarWithBound(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPbendersComputeSubproblemLowerbound(), SCIPbendersSolveSubproblem(), SCIPbendersSolveSubproblemLP(), SCIPclassifyConstraintTypesLinear(), SCIPconsGetLhs(), SCIPconsGetRhs(), SCIPcopyConss(), SCIPcreateConsBasicSOC(), SCIPcreateConsBasicSOCNonlinear(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsLinear(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsSOC(), SCIPcreateNlpiProblemFromNlRows(), SCIPcreateSchedulingProblem(), SCIPcutGenerationHeuristicCMIR(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetConcurrentGap(), SCIPgetFirstLPLowerboundRoot(), SCIPgetLowerbound(), SCIPgetRowprepRowCons(), SCIPgetRowprepRowConshdlr(), SCIPgetRowprepRowSepa(), SCIPgetRowprepViolation(), SCIPgetUpperbound(), SCIPgetVarLbAtIndex(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarUbAtIndex(), SCIPincludeBenderscutInt(), SCIPincludeBranchrulePscost(), SCIPincludeConshdlrBenderslp(), SCIPincludeConshdlrNonlinear(), SCIPincludeHeurDualval(), SCIPincludeHeurIndicator(), SCIPincludeHeurMpec(), SCIPincludeHeurMultistart(), SCIPincludeHeurProximity(), SCIPincludeHeurSubNlp(), SCIPincludeNlhdlrQuadratic(), SCIPincludeNlhdlrSoc(), SCIPincludePresolMILP(), SCIPincludePropNlobbt(), SCIPincludeSepaEccuts(), SCIPmatrixCreate(), SCIPmatrixRemoveColumnBounds(), SCIPnlpiOracleAddConstraints(), SCIPnlpiOracleAddVars(), SCIPnlpiOracleChgConsSides(), SCIPnlpiOracleChgVarBounds(), SCIPparseReal(), SCIPperformGenericDivingAlgorithm(), SCIPpruneTree(), SCIPreadOpb(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPsolveProbingRelax(), SCIPsyncstoreGetLastLowerbound(), SCIPsyncstoreGetLastUpperbound(), SCIPsyncstoreStartSync(), SCIPtreemodelSelectCandidate(), SCIPupdateNlpiProblem(), SCIPverifyCircularPatternNLP(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), scoreBranchingCandidates(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), selectVarRecursive(), sepaImplBoundCutsSOS1(), separateCons(), separateCoverCutsCons(), separateCoversOrbisack(), separateCuts(), separateIndicators(), separateMcCormickImplicit(), separatePerspective(), separateSCIs(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), sepaSubtour(), setupAndSolve(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupProblem(), setupSubScip(), solveBendersSubproblems(), solveComponent(), solvePricingMINLP(), solveSingleRowLP(), sortVariables(), storeSolution(), subtreeSumGapInsertChildren(), subtreeSumGapRemoveNode(), switchNext(), tightenVarsBoundsSOS1(), transformColumn(), transformVariable(), tryFillNlhdlrExprDataQuad(), tryUpgradingLogicor(), tryUpgradingSetppc(), updateActivities(), updateAuxiliaryNonlinearSubproblem(), updateBestCandidate(), updateBounds(), updateRowActivities(), updateTransformation(), upgradeLinearSuperindicator(), writeFzn(), and writeOpbConstraints().
◆ SCIPgetHugeValue()
returns the minimum value that is regarded as huge and should be handled separately (e.g., in activity computation)
- Parameters
-
scip SCIP data structure
Definition at line 547 of file scip_numerics.c.
References NULL, SCIPsetGetHugeValue(), and Scip::set.
Referenced by computeRelaxedLowerbound(), computeRelaxedUpperbound(), getDualBranchscore(), resolvePropagation(), and SCIP_DECL_NLHDLRINITSEPA().
◆ SCIPisEQ()
checks, if values are in range of epsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 445 of file scip_numerics.c.
References NULL, SCIPsetIsEQ(), and Scip::set.
Referenced by addAltLPColumn(), addAltLPConstraint(), addAltLPRow(), addCoefTerm(), addConflictBounds(), addConflictReasonVars(), addExprsViolScore(), addExpSecant(), addLocalBranchingConstraint(), addLogSecant(), addOneRow(), addPathCuts(), addSplitcons(), addSubtourCuts(), addTightEstimatorCuts(), addTourCuts(), adjustCutoffbound(), aggregateNextRow(), analyseVarOnoffBounds(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), applyDomainChanges(), applyFixings(), assignVars(), branchOnBin(), buildMod2Matrix(), calcGap(), calcPscostQuot(), calculateAlternatives(), cancelCol(), cancelRow(), catchEvent(), checkCons(), checkConsnames(), checkIISlocal(), checkSolution(), checkSymmetriesAreSymmetries(), checkSystemGF2(), chgLhs(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), collectBranchingCandidates(), collectCoefficients(), combineCols(), compareNodes(), componentSetupWorkingSol(), computeBilinEnvelope2(), computeConvexEnvelopeFacet(), computeCut(), computeCutsAbs(), computeEstimatorsTrig(), computeImpliedEst(), computeImpliedLct(), computeInitialCutsTrig(), computeLeftSecantSin(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeRightSecantSin(), computeRltCut(), computeSecant(), computeSignpowerRoot(), computeSolTangentSin(), computeSVTS(), computeSymmetryGroup(), computeVarRatio(), computeVertexPolyhedralFacetLP(), consdataCreate(), consdataCreateRedundant(), consdataFree(), consdataPrint(), consdataUpdateChgCoef(), consdataUpdateDelCoef(), constructCompression(), constructValidSolution(), convertBoundToInt(), correctLocksAndCaptures(), createAltLPColumn(), createAndAddLinearCons(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createCGMIPprimalsols(), createSubproblem(), createSubscip(), detectDominatingVlbs(), detectDominatingVubs(), detectParallelCols(), determineBestBounds(), determineBoundForSNF(), determineGraphSize(), displayRelevantStats(), dropEvent(), dualBoundStrengthening(), dualPresolve(), estimateBivariateQuotient(), estimateConvexSecant(), estimateUnivariateQuotient(), evaluateAggrCand(), extractCapacityRows(), extractCycle(), extractFlowRows(), fillGraphByConss(), fillGraphByLinearConss(), findAggregation(), findDominancePairs(), findFixings(), findNonDominatedVars(), findRho(), fixAndPropagate(), fixMatchingSolutionValues(), forbidFixation(), getBinVarsRepresentatives(), getGenVBoundsMinActivityConflict(), getLinVarsAndAndRess(), getRandomVariable(), getReward(), getScore(), getScoreLikeCoefdiving(), getVariablePscostScore(), getVarWeight(), handleNlpParam(), impliesVlbPrecedenceCondition(), improvePoint(), isBinaryProduct(), isCandidate(), isIntervalBetter(), isPartition(), isSingleLockedCand(), nodeGetUctScore(), parseConstantArrayAssignment(), parseValue(), performBranchingNoSol(), performBranchingSol(), performDualfix(), preprocessConstraintPairs(), presolRoundIndicator(), presolveImplint(), presolveSingleLockedVars(), prettifyConss(), printActiveVariables(), printBoundSection(), printLinearCons(), printNonlinearCons(), printNonLinearCons(), printPseudobooleanCons(), printQuadraticCons(), printRangeSection(), printRowType(), processRealBoundChg(), propagateCons(), propagateOrbitalFixing(), propagateRedcostVar(), propagateVbounds(), propIndicator(), raysAreDependent(), readConstraints(), readRanges(), registerBranchingCandidates(), registerBranchingCandidatesAllUnfixed(), removeZeros(), removeZerosQuad(), resolveGenVBoundPropagation(), resolvePropagation(), reuseSolution(), reversePropBinarySearch(), rowprepCleanupIntegralCoefs(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPaddIneqBilinear(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPbendersSetupSubproblem(), SCIPchgVarObjProbing(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope2(), SCIPcreateConsOrbitope(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPmatrixGetParallelCols(), SCIPmatrixGetParallelRows(), SCIPprocessRowprepNonlinear(), SCIPpropagateProbing(), SCIPsnprintfProbingStats(), SCIPvalidateSolve(), SCIPwriteGms(), SCIPwriteMps(), selectBranchVar(), selectShifting(), selectVarRecursive(), separateCuts(), separateRltCuts(), setupAggregationData(), setupAndSolveSubscipRapidlearning(), solveComponent(), solveSingleRowLP(), storeSuitableRows(), strengthenVarbounds(), subtreeSumGapInsertChildren(), subtreeSumGapUpdate(), tightenAuxVarBounds(), tightenCoefs(), tightenVariables(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), tryFillNlhdlrExprDataQuad(), tryUpgradingLogicor(), tryUpgradingXor(), updateBestCandidate(), updateFirstRow(), updateLogRegression(), updateObjUpperbound(), updateVariableRounding(), upgradeConss(), varIsSemicontinuous(), and writeFzn().
◆ SCIPisLT()
checks, if val1 is (more than epsilon) lower than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 458 of file scip_numerics.c.
References NULL, SCIPsetIsLT(), and Scip::set.
Referenced by addBilinearTermToCut(), addCoef(), addConflictBounds(), addNodesInformation(), addScenarioVarsAndConsToProb(), addSplitcons(), analyseVarOnoffBounds(), analyzeConflictUpperbound(), assignNextBin(), branch(), buildMod2Matrix(), calcPscostQuot(), checkLeavesBelowIncumbent(), checkSetupTolerances(), chgLhs(), chgProbingBound(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), combineCols(), compareNodes(), compensateVarLock(), componentSetupWorkingSol(), computeRevPropIntervalSin(), computeSCTable(), constructValidSolution(), createSubscip(), detectDominatingVlbs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), ensureScoresPresent(), evaluateLiftingFunction(), execRelpscost(), findBestUb(), findComponents(), findDominancePairs(), findNonDominatedVars(), generateZerohalfCut(), getAlphaAndBeta(), getFixVal(), getPartitionCovervars(), getScore(), impliesVlbPrecedenceCondition(), infinityCountUpdate(), isPointFeasible(), maxCircles(), maximizeObjectiveSymresackStrict(), mod2matrixPreprocessRows(), performDualfix(), performRandRounding(), performStrongbranchWithPropagation(), predBndStr(), prettifyConss(), processBinvarFixings(), processRealBoundChg(), propagateCons(), propagateCutoffboundVar(), readBounds(), releaseNodeFromDepthInfo(), reoptimize(), resolveGenVBoundPropagation(), reversePropBinarySearch(), rowprepCleanupImproveCoefrange(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_NLHDLRINTEVAL(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddIneqBilinear(), SCIPaddRow(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgVarUbLazy(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPmakeSOS1sFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPtreemodelSelectCandidate(), SCIPupdateDistributionScore(), separateCons(), separateCuts(), setupProblem(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveSingleRowLP(), startProbing(), tightenCoefs(), tightenVariables(), tightenVarUb(), transformAndSolve(), transformNonIntegralRow(), tryFillNlhdlrExprDataQuad(), updateBestCandidate(), and updateObjUpperbound().
◆ SCIPisLE()
checks, if val1 is not (more than epsilon) greater than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 471 of file scip_numerics.c.
References NULL, SCIPsetIsLE(), and Scip::set.
Referenced by addBilinearTermToCut(), addConstraint(), addExpSecant(), addLogLinearization(), addLogSecant(), addNewLocks(), addSplitcons(), analyzeGenVBoundConflict(), applyProbingVar(), assignVars(), checkOrigPbCons(), checkSystemGF2(), chgLhs(), chgProbingBound(), chgRhs(), chooseDoubleVar(), collectNonBinaryImplicationData(), combineCols(), compensateVarLock(), computeEstimatorsTrig(), computeInitialCutsTrig(), computeLeftSecantSin(), computeRightSecantSin(), computeVertexPolyhedralFacetUnivariate(), consdataCreateRedundant(), consdataGetReliableResidualActivity(), consdataPrint(), consdataUpdateChgCoef(), correctLocksAndCaptures(), createBlockproblem(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), detectDominatingVubs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), enumeratePatterns(), estimateBivariate(), estimateUnivariate(), evaluateLiftingFunction(), filterCands(), filterPoints(), findBestUb(), findFixings(), findUplockAggregations(), getAlphaAndBeta(), getFixingValue(), getFixVal(), getGMIFromRow(), getImpliedBounds(), getLinVarsAndAndRess(), getNCircles(), heurExec(), impliesVlbPrecedenceCondition(), initsepaBoundInequalityFromCardinality(), isOverlapping(), lockRoundingAndCons(), performDualfix(), performStrongbranchWithPropagation(), predBndStr(), processNLPSol(), projectVbd(), propagateCons(), removeOldLocks(), resolveGenVBoundPropagation(), reversePropBinarySearch(), sampleRandomPoints(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddBilinMcCormick(), SCIPaddSquareSecant(), SCIPanalyzeDeductionsProbing(), SCIPapplyProbingVar(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPprintSolutionStatistics(), SCIPseparateRelaxedKnapsack(), searchEcAggrWithMIP(), selectNextDiving(), separateCuts(), setSymmetryData(), setupAndSolveSubscipRapidlearning(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveSingleRowLP(), solveSubNLP(), subtreeSumGapRemoveNode(), tightenCoefs(), transformVariable(), tryFillNlhdlrExprDataQuad(), tryUpgradingSetppc(), unlockRoundingAndCons(), updateBestCandidate(), updateDualBounds(), updateTransformation(), upgradeConss(), and upgradeLinearSuperindicator().
◆ SCIPisGT()
checks, if val1 is (more than epsilon) greater than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 484 of file scip_numerics.c.
References NULL, SCIPsetIsGT(), and Scip::set.
Referenced by addBilinearTermToCut(), addBranchingComplementaritiesSOS1(), addCoef(), addConflictBounds(), addGenVBound(), addPathCuts(), addRelaxation(), addSplitcons(), addSubtourCuts(), addTourCuts(), aggregateNextRow(), analyseVarOnoffBounds(), analyzeConflictLowerbound(), applyNlobbt(), applyProbingVar(), assignNextBin(), calcPscostQuot(), checkDivingCandidates(), checkPackingPartitioningOrbitopeSolution(), checkSetupTolerances(), checkVarbound(), chgProbingBound(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), combineCols(), compareNodes(), compensateVarLock(), computeLiftingData(), computeNextAdjacency(), computePosRingCircle(), computeRevPropIntervalSin(), computeSolTangentSin(), computeSVTS(), consdataCreate(), createSubscip(), cutsTransformMIR(), cutTightenCoefs(), cutTightenCoefsQuad(), detectDominatingVubs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), enfopsPackingPartitioningOrbitopeSolution(), enumeratePatterns(), evaluateLiftingFunction(), execRelpscost(), extractCycle(), findBestLb(), findNonDominatedVars(), generateLiftedFlowCoverCut(), generateZerohalfCut(), getAlphaAndBeta(), getFixVal(), getNCircles(), getObjectiveFactor(), getOptimalShiftingValue(), getScore(), getScoreLikeCoefdiving(), getVarRank(), impliesVlbPrecedenceCondition(), improvePoint(), infinityCountUpdate(), isPointFeasible(), maximizeObjectiveSymresackCriticalEntry(), maximizeObjectiveSymresackStrict(), performRandRounding(), performStrongbranchWithPropagation(), printRangeSection(), printRowType(), processRealBoundChg(), propagateCons(), readBounds(), releaseNodeFromDepthInfo(), resolveGenVBoundPropagation(), reverseProp(), roundPartition(), rowprepCleanupImproveCoefrange(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRINTEVAL(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_RELAXEXEC(), SCIPaddRow(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPchgVarLbLazy(), SCIPcopyConsLinear(), SCIPcutsTightenCoefficients(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPtreemodelSelectCandidate(), SCIPupdateDistributionScore(), selectVarRecursive(), separateCons(), separateCuts(), separatePerspective(), singletonColumnStuffing(), solveAndEvalSubscip(), solvePricingHeuristic(), startProbing(), storeAggrFromMIP(), tightenCoefs(), tightenVariables(), tightenVarLb(), transformAndSolve(), transformNonIntegralRow(), tryFillNlhdlrExprDataQuad(), updateBestCandidate(), and updateSubproblemCutConstant().
◆ SCIPisGE()
checks, if val1 is not (more than epsilon) lower than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 497 of file scip_numerics.c.
References NULL, SCIPsetIsGE(), and Scip::set.
Referenced by addBilinearTermToCut(), addNodesInformation(), addSplitcons(), analyzeGenVBoundConflict(), applyProbingVar(), assignVars(), checkSystemGF2(), checkVarbound(), chgProbingBound(), collectNonBinaryImplicationData(), combineCols(), computeCut(), computeLeftSecantSin(), computePosCircleCircle(), computePosRingCircle(), computeSolTangentSin(), computeSVTS(), computeVarRatio(), consdataCreateRedundant(), consdataUpdateChgCoef(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), cutsTransformMIR(), cutTightenCoefsQuad(), detectDominatingVlbs(), dualPresolve(), dualPresolving(), estimateBivariate(), estimateUnivariate(), execRelpscost(), executeBranchingRecursive(), findBestLb(), findDominancePairs(), findDownlockAggregations(), findFixings(), generateAndApplyBendersCuts(), generateLiftedFlowCoverCut(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getFixingValue(), getImpliedBounds(), getPartitionCovervars(), identifySourcesTargets(), impliesVlbPrecedenceCondition(), isNlobbtApplicable(), isVlb(), isVub(), maximizeObjectiveSymresackStrict(), nodeGetUctScore(), performLPRandRounding(), performLPSimpleRounding(), performStrongbranchWithPropagation(), prettifyConss(), propagateCons(), propagateCutoffboundGlobally(), resolveGenVBoundPropagation(), reuseSolution(), reversePropBinarySearch(), roundPartition(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_TABLEOUTPUT(), SCIPaddBilinMcCormick(), SCIPaddIneqBilinear(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyProbingVar(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPgetVarStrongbranchWithPropagation(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsolveDiveLP(), SCIPsolveKnapsackExactly(), SCIPtryStrongbranchLPSol(), SCIPupdateNodeLowerbound(), SCIPverifyCircularPatternHeuristic(), selectNextDiving(), selectVarMultAggrBranching(), selectVarRecursive(), separateCuts(), setSymmetryData(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveProbingLP(), tightenCoefs(), updateBestCandidate(), and upgradeLinearSuperindicator().
◆ SCIPisInfinity()
checks, if value is (positive) infinite
- Parameters
-
scip SCIP data structure val value to be compared against infinity
Definition at line 521 of file scip_numerics.c.
References NULL, SCIPsetIsInfinity(), and Scip::set.
Referenced by addAltLPColumn(), addAltLPConstraint(), addAltLPRow(), addBilinearTermToCut(), addBranchingComplementaritiesSOS1(), addCoef(), addCols(), addConstraint(), addCut(), addExpLinearization(), addExprsViolScore(), addExpSecant(), addFacetToCut(), addGenVBound(), addLinearTermToCut(), addLocalbranchingConstraintAndObjcutoff(), addLocks(), addLogLinearization(), addLogSecant(), addNewLocks(), addObjcut(), addOneRow(), addRltTerm(), addRow(), addRows(), addRowToCut(), addSignpowerRefpoints(), addSlackVars(), addTangentRefpoints(), aggregateNextRow(), aggregateVariables(), aggregation(), analyzeGenVBoundConflict(), analyzeViolation(), applyBoundHeur(), applyDomainChanges(), applyFixings(), applyGenVBound(), applyOptcumulative(), applyRepair(), applyVboundsFixings(), buildMod2Matrix(), buildPowEstimator(), calcActivityBounds(), calcBranchScore(), calcGap(), calcMaxColActivity(), calcMinColActivity(), calcMinColActResidual(), calcShiftVal(), calculateAlternatives(), calculateBounds(), calculateMinvalAndMaxval(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelCol(), cancelRow(), canonicalizeConstraints(), checkArraySizesGLS(), checkArraySizesHeur(), checkCands(), checkCons(), checkConsQuadraticProblem(), checkLogCriterion(), checkOptimalSolution(), checkOrigPbCons(), checkRedundancySide(), checkSubproblemConvexity(), chgCoeffWithBound(), chgLhs(), chgQuadCoeffWithBound(), chgRhs(), choosePscostVar(), chooseRefpointsPow(), collectCoefficients(), combineCols(), compareNodes(), compensateVarLock(), computeCut(), computeCutsAbs(), computeHyperplaneThreePoints(), computeIntercut(), computeIntersectionPoint(), computeLeftSecantSin(), computeLeftTangentSin(), computeLiftingData(), computeMaxViolation(), computeMIRForOptimalityCut(), computeNegCutcoefs(), computeRevPropIntervalSin(), computeRightSecantSin(), computeRightTangentSin(), computeRltCut(), computeSecant(), computeStandardIntegerOptCut(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeStandardNLPFeasibilityCut(), computeStandardNLPOptimalityCut(), computeStrengthenedIntercut(), computeSVTS(), computeVertexPolyhedralFacetLP(), computeVertexPolyhedralFacetUnivariate(), computeViolation(), consdataCheckNonbinvar(), consdataCreate(), consdataFree(), consdataGetActivity(), consdataGetReliableResidualActivity(), consdataIsResidualIntegral(), consdataPrint(), consdataRecomputeMaxActivityDelta(), consdataUpdateActivitiesGlbLb(), consdataUpdateChgCoef(), constructSNFRelaxation(), correctLocksAndCaptures(), createAltLPColumn(), createAndAddLinearCons(), createBlockproblem(), createCGMIPprimalsols(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createLinking(), createNLP(), createNormalizedKnapsack(), createProjRow(), createProjRows(), createRows(), createSubproblem(), createSubscip(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutsTransformKnapsackCover(), cutsTransformMIR(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), detectHiddenProducts(), detectProductsUnconditional(), detectSocQuadraticSimple(), determineBestBounds(), determineBound(), determineBoundForSNF(), determineLimits(), determineTotalNumberLinearConss(), determineVariableFixings(), determineVariableFixingsDecomp(), displayRelevantStats(), doSeachEcAggr(), doSolveSubMIP(), dualPresolve(), enforceExpr(), estimateConvexSecant(), estimateHyperbolaMixed(), estimateHyperbolaPositive(), estimateUnivariate(), estimateVertexPolyhedral(), estimateVertexPolyhedralProduct(), evalFunctionGradient(), evalFunctionValue(), evalPhiAtRay(), evaluateCutNumerics(), evaluateLiftingFunction(), extractCapacityRows(), extractFlowRows(), extractLinearValues(), filterCands(), filterExistingLP(), findAggregation(), findAndStoreEcAggregations(), findDownlockAggregations(), findFixings(), findPointPosition(), findRho(), findUnlockedLinearVar(), findUplockAggregations(), fixNonNeighborhoodVariables(), fixVariable(), forwardPropExpr(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAverageNBRay(), generateAverageRay(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateCut(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getBoundConsFromVertices(), getBranchingPrioritiesSOS1(), getClosestVlb(), getClosestVub(), getConsRelViolation(), getCopyMemlimit(), getCopyTimelimit(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getGenVBoundsBound(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getGMIFromRow(), getImpliedBounds(), getLinearCoeffs(), getLinVarsAndAndRess(), getMaxActivitySingleRowWithoutCol(), getMinActivitySingleRowWithoutCol(), getMinColActWithoutRow(), getMinMaxActivityResiduals(), getObjectiveFactor(), getOptimalShiftingValue(), getPotential(), getPotentialContributed(), getRelDistance(), getReward(), getTimeLeft(), getVarBoundsOfRow(), getVariableRedcostScore(), handleNewVariableCardinality(), handleNewVariableSOS1(), handleNlpParam(), improvePoint(), initMatrix(), initsepaBoundInequalityFromCardinality(), initSolve(), initWorhp(), intEvalQuotient(), invertCommodity(), isCandidate(), isNlobbtApplicable(), isPossibleToComputeCut(), isSingleLockedCand(), isZero(), lockRoundingAndCons(), mod2MatrixTransformContRows(), modifyAndPackCut(), nodeGetSolvalBinaryBigMSOS1(), nodeGetUctScore(), nodepairqueueCreate(), AMPLProblemHandler::OnConBounds(), performBoundSubstitution(), performBoundSubstitutionSimple(), performDualfix(), performStrongbranchWithPropagation(), predBndStr(), preprocessConstraintPairs(), presolve(), presolveAddKKTLinearCons(), presolveMergeConss(), presolveRedundantConss(), presolveSingleLockedVars(), prettifyConss(), printBounds(), printBoundSection(), printDualSol(), printIndicatorCons(), printLinearCons(), printLongStatistics(), printNonlinearCons(), printNonLinearCons(), printPseudobooleanCons(), printQuadraticCons(), printRangeSection(), printRhsSection(), printRow(), printRowType(), printShortStatistics(), processHashlists(), processNlRow(), propagateCons(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLowerboundBinvar(), propagateLowerboundVar(), propagateVbounds(), propConss(), propIndicator(), proposeFeasibleSolution(), rayInRecessionCone(), readBinaries(), readBounds(), readCols(), readConstraints(), readIndicators(), readRanges(), readRhs(), registerBranchingCandidates(), relaxVar(), removeOldLocks(), removeZeros(), removeZerosQuad(), resolvePropagation(), retransformVariable(), rowCalculateGauss(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowprepCleanupScaledown(), rowprepCleanupScaleup(), runBenders(), sampleRandomPoints(), scaleCons(), scaleConsSides(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRPARSE(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLPICHGCONSSIDES(), SCIP_DECL_NLPICHGVARBOUNDS(), SCIP_DECL_NLPISOLVE(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddBilinLinearization(), SCIPaddBilinMcCormick(), SCIPaddCoefLinear(), SCIPaddConstantQuadratic(), SCIPaddNlpiProblemNlRows(), SCIPaddRow(), SCIPaddSquareLinearization(), SCIPaddSquareSecant(), SCIPaddVarImplication(), SCIPaggrRowAddCustomCons(), SCIPaggrRowAddRow(), SCIPaggrRowCancelVarWithBound(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarLbNode(), SCIPchgVarLbProbing(), SCIPchgVarObj(), SCIPchgVarObjProbing(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPchgVarUbNode(), SCIPchgVarUbProbing(), SCIPclassifyConstraintTypesLinear(), SCIPcleanupRowprep(), SCIPcleanupRowprep2(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcomputeFacetVertexPolyhedralNonlinear(), SCIPcopyConsLinear(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateFiniteSolCopy(), SCIPcreateNlpiProblemFromNlRows(), SCIPcreateVar(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPgetExprRelAuxViolationNonlinear(), SCIPgetNlpiOracleIpopt(), SCIPgetRowprepViolation(), SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPincludePresolMILP(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPmakeIndicatorFeasible(), SCIPmatrixRemoveColumnBounds(), SCIPnlpiOracleEvalJacobian(), SCIPnlpiOraclePrintProblem(), SCIPnlpiOraclePrintProblemGams(), SCIPnlpiOracleSetObjective(), SCIPprintSolutionStatistics(), SCIPprintStage(), SCIProwCalcProbability(), SCIPscaleupRowprep(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximatelyLT(), SCIPtightenExprIntervalNonlinear(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtransformProb(), SCIPtreemodelSelectCandidate(), SCIPvalidateSolve(), SCIPvarCalcDistributionParameters(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), scoreBranchingCandidates(), selectBranchVar(), selectCandidateUsingSampling(), selectCandidateUsingSVTS(), selectShifting(), sepaImplBoundCutsSOS1(), separateCons(), separateCuts(), separateMcCormickImplicit(), separatePerspective(), setAndUpdateCorePoint(), setSubscipLimits(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipMutation(), setupSubScip(), setVarToNearestBound(), singletonColumnStuffing(), solveClassification(), solveComponent(), solveCumulative(), solveIndependentCons(), solveMinIISC(), solveNlp(), solveSingleRowLP(), solveSubNLP(), solveSubproblem(), solveSubscip(), storeNonlinearConvexNlrows(), subtreeSumGapComputeFromScratchEfficiently(), subtreeSumGapInsertChildren(), subtreeSumGapUpdate(), termIsConvex(), tightenCoefs(), tightenVariables(), tightenVarsBoundsSOS1(), transformAndSolve(), transformColumn(), transformNonIntegralRow(), transformValue(), transformVariable(), tryFillNlhdlrExprDataQuad(), tryFixVar(), unboundedAuxiliaryVariables(), unlockRoundingAndCons(), updateActivities(), updateBestCandidate(), updateCutoffbound(), updateDualBounds(), updateImplicationGraphSOS1(), updateObjUpperbound(), updateRowActivities(), updateSlacks(), updateSubproblemLowerbound(), updateTransformation(), updateViolations(), updateWeightsTCliquegraph(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varProcessBoundChanges(), wrapperDins(), wrapperRins(), and writeFzn().
◆ SCIPisHugeValue()
checks, if value is huge and should be handled separately (e.g., in activity computation)
- Parameters
-
scip SCIP data structure val value to be checked whether it is huge
Definition at line 533 of file scip_numerics.c.
References NULL, SCIPsetIsHugeValue(), and Scip::set.
Referenced by areCoefsNumericsGood(), checkCons(), computeRestrictionToRay(), consdataGetReliableResidualActivity(), estimateBivariate(), estimateUnivariate(), getDualBranchscore(), improvePoint(), SCIP_DECL_PRESOLEXEC(), SCIPscaleupRowprep(), selectShifting(), separateCuts(), simplifyInequalities(), solveBilinearLP(), and updateBestCandidate().
◆ SCIPisZero()
checks, if value is in range epsilon of 0.0
- Parameters
-
scip SCIP data structure val value to process
Definition at line 558 of file scip_numerics.c.
References NULL, SCIPsetIsZero(), and Scip::set.
Referenced by addAltLPColumn(), addAltLPConstraint(), addBilinearTermToCut(), addCoefTerm(), addCols(), addConflictBounds(), addFacetToCut(), addFlowrowToCommodity(), addGenVBound(), addLinearTermToCut(), addObjcut(), addRltTerm(), addRow(), addRows(), adjustCutoffbound(), aggregation(), applyFixings(), applyRepair(), branchOnBin(), buildConvexCombination(), buildMod2Matrix(), calcActivityBounds(), calcEfficacy(), calcEfficacyDenseStorageQuad(), calcEfficacyNormQuad(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelCol(), cancelRow(), catchObjEvent(), checkDivingCandidates(), checkSolution(), checkSymmetriesAreSymmetries(), collectMaxactVar(), collectMinactImplicVar(), collectMinactImplicVars(), collectMinactVar(), collectNonBinaryVBoundData(), combineCols(), componentSetupWorkingSol(), computeCut(), computeHyperbolaRoot(), computeLeftSecantSin(), computePosRingCircle(), computeRestrictionToRay(), computeRightSecantSin(), computeSignpowerRoot(), computeSolTangentSin(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeStandardNLPFeasibilityCut(), computeStandardNLPOptimalityCut(), computeStrengthenedIntercut(), computeSymmetryGroup(), computeVarRatio(), computeVertexPolyhedralFacetBivariate(), consdataCreate(), consdataFree(), consdataGetReliableResidualActivity(), consdataUpdateDelCoef(), consEnfo(), correctLocksAndCaptures(), createAndAddAnds(), createAndAddLinearCons(), createMIP(), createNewSol(), createObjRow(), createProbSimplified(), createSubscip(), createVariables(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutsTransformKnapsackCover(), DECL_CURVCHECK(), detectHiddenProducts(), detectSocNorm(), detectSocQuadraticComplex(), detectSocQuadraticSimple(), determineBestBounds(), determineBound(), dropObjEvent(), ecaggrAddBilinTerm(), enforceConflictgraph(), enumeratePatterns(), estimateConvexSecant(), estimateHyperbolaMixed(), estimateHyperbolaPositive(), estimateRoot(), execRelpscost(), exprdataCreate(), fillGlobalStartingData(), filterExistingLP(), findRho(), fixIntegerVariable(), fixVariableZero(), generateAndApplyBendersCuts(), generateBoundInequalityFromSOS1Nodes(), generateCloseCutPoint(), generateClusterCuts(), generateCutSolDisagg(), generateRowCardinality(), getActiveVar(), getBinVarsRepresentatives(), getBoundConsFromVertices(), getDualBranchscore(), getFeasiblePointsBilinear(), getGenVBound(), getGMIFromRow(), getMaxactImplicObjchg(), getMinactImplicObjchg(), getObjectiveFactor(), getPotential(), getPotentialContributed(), getScore(), getScoreLikeCoefdiving(), handleNewVariableCardinality(), handleNewVariableSOS1(), improvePoint(), insertRayEntries(), intercutsComputeCommonQuantities(), isPartition(), isSingleLockedCand(), mod2MatrixAddOrigRow(), mod2MatrixAddTransRow(), mod2matrixPreprocessColumns(), mod2matrixRemoveRow(), mod2rowAddRow(), modifyAndPackCut(), nodepairqueueCreate(), objimplicsCreate(), optimize(), performDualfix(), performStrongbranchSOS1(), permuteStartSolution(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundSOS2(), printActiveVariables(), printBoundSection(), printDualSol(), printLinearRow(), printNLRow(), printPBRow(), printRhsSection(), printRow(), propagateCons(), propagateCutoffboundBinvar(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLowerboundVar(), propIndicator(), proposeFeasibleSolution(), raysAreDependent(), readBounds(), readCoefficients(), readCols(), readObjective(), readOPBFile(), readRhs(), reformulateFactorizedBinaryQuadratic(), resolvePropagation(), rowprepCleanupIntegralCoefs(), rowprepCleanupSide(), scaleCons(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRBWDIFF(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPaddRow(), SCIPaddVarVlb(), SCIPaddVarVub(), SCIPaggrRowAddObjectiveFunction(), SCIPanalyzeDeductionsProbing(), SCIPapplyProximity(), SCIPbendersSetupSubproblem(), SCIPchgCoefLinear(), SCIPchgReoptObjective(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope1(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsOrbitope(), SCIPcreateNlpiProblemFromNlRows(), SCIPgetVectorEfficacyNorm(), SCIPisObjIntegral(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPreduceMatrixSize(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectShifting(), setupAggregationData(), setupSubproblem(), solCutIsViolated(), solveBilinearLP(), solveClassification(), solveMinIISC(), solveSingleRowLP(), solveSubNLP(), storeAggrFromMIP(), storeCutInArrays(), switchNext(), termIsConstant(), tightenCoefs(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), tryFillNlhdlrExprDataQuad(), tryUpgradingXor(), updateBilinearRelaxation(), updateMIP(), updatePartition(), updateSlacks(), upgradeConss(), writeFzn(), and writeOpbObjective().
◆ SCIPisPositive()
checks, if value is greater than epsilon
- Parameters
-
scip SCIP data structure val value to process
Definition at line 570 of file scip_numerics.c.
References NULL, SCIPsetIsPositive(), and Scip::set.
Referenced by addBilinearTermToCut(), addCoefTerm(), addConflictBinvar(), addPathCuts(), applyAlternativeBoundsBranching(), checkRedundancySide(), chgLhs(), chgRhs(), collectCoefficients(), collectMaxactVar(), combineCols(), computeCutsAbs(), computeNextAdjacency(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), consEnfo(), createAndAddLinearCons(), createCGCutDirect(), createMIP(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), detectSocQuadraticSimple(), dfs(), doSeparation(), dualBoundStrengthening(), dualPresolve(), estimateSignedpower(), extractCapacityRows(), extractFlowRows(), findFixings(), fixIntegerVariable(), fixVariableZero(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateRowCardinality(), getBranchingDecisionStrongbranchSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), initData(), isCandidate(), lockRoundingAndCons(), nodepairqueueCreate(), optimize(), performDualfix(), permuteStartSolution(), predBndStr(), preprocessConstraintPairs(), propagateCons(), propagateLowerboundBinvar(), propIndicator(), proposeFeasibleSolution(), resolveGenVBoundPropagation(), resolvePropagation(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPapplyLockFixings(), SCIPbendersSolSlackVarsActive(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPchgReoptObjective(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPupdateStartpointHeurSubNlp(), searchEcAggrWithCliques(), selectInitialVariableRandomly(), selectShifting(), separateCuts(), separatePerspective(), setUpEvents(), solveAndEvalSubscip(), solveSingleRowLP(), sortGenVBounds(), transformAndSolve(), unlockRoundingAndCons(), updatePartition(), upgradeLinearSuperindicator(), varMayRoundDown(), and varMayRoundUp().
◆ SCIPisNegative()
checks, if value is lower than -epsilon
- Parameters
-
scip SCIP data structure val value to process
Definition at line 582 of file scip_numerics.c.
References NULL, SCIPsetIsNegative(), and Scip::set.
Referenced by addConflictBinvar(), adjustCutoffbound(), applyAlternativeBoundsBranching(), calcBranchScore(), checkLogCriterion(), collectMinactVar(), combineCols(), computeCut(), computeCutsAbs(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeTangent(), computeVertexPolyhedralFacetBivariate(), copySofttimelimit(), createMIP(), createVarUbs(), cutTightenCoefs(), cutTightenCoefsQuad(), detectSocNorm(), detectSocQuadraticSimple(), determineBestBounds(), dualPresolve(), dualPresolving(), extractCapacityRows(), extractNodes(), fillGlobalStartingData(), findFixings(), fixIntegerVariable(), fixVariableZero(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateDisjCutSOS1(), generateRowCardinality(), isCandidate(), nlrowaggrCreate(), nodepairqueueCreate(), objimplicsCreate(), performDualfix(), predBndStr(), preprocessConstraintPairs(), ObjPricerVRP::pricing(), propagateCons(), propagateCutoffboundBinvar(), proposeFeasibleSolution(), removeDoubleAndSingletonsAndPerformDualpresolve(), SCIP_DECL_CONSINITLP(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_HEUREXEC(), SCIPcalcCumulativeDistribution(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPgetReadingTime(), SCIPvarCalcDistributionParameters(), searchEcAggrWithCliques(), selectShifting(), separatePerspective(), solveAndEvalSubscip(), solveSingleRowLP(), sortGenVBounds(), transformAndSolve(), transformColumn(), tryFillNlhdlrExprDataQuad(), updateBestCandidate(), updatePartition(), upgradeLinearSuperindicator(), varMayRoundDown(), and varMayRoundUp().
◆ SCIPisIntegral()
checks, if value is integral within epsilon
- Parameters
-
scip SCIP data structure val value to process
Definition at line 594 of file scip_numerics.c.
References NULL, SCIPsetIsIntegral(), and Scip::set.
Referenced by addCoefTerm(), addExpLinearization(), addLogLinearization(), aggregateVariables(), applyFixings(), assignVars(), buildFlowCover(), calcBranchScore(), cancelCol(), cancelRow(), checkCons(), computeCut(), computeSignpowerRoot(), consdataCheckSuperindicator(), convertBoundToInt(), createAndAddLinearCons(), enfopsPackingPartitioningOrbitopeSolution(), estimateConvexSecant(), fixAndPropagate(), flattenFloat(), getFlowCover(), getVarWeight(), isPartition(), parseRange(), presolveImplint(), prettifyConss(), printLinearCons(), printNLRow(), printPBRow(), printRow(), printValue(), propIndicator(), readCoefficients(), readIndicators(), readOPBFile(), readPolynomial(), reformulateFactorizedBinaryQuadratic(), roundPartition(), runBenders(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPaddCoefPseudoboolean(), SCIPaddSquareLinearization(), SCIPaddVarIndicator(), SCIPclassifyConstraintTypesLinear(), SCIPconsAddCoef(), SCIPcreateConsIndicatorGeneric(), SCIPisObjIntegral(), SCIPsolveKnapsackExactly(), tightenBounds(), tightenCoefs(), tightenVariables(), updateBestCandidate(), updateVariableRounding(), writeExpandedSolutions(), writeFzn(), and writeOpbObjective().
◆ SCIPisScalingIntegral()
checks whether the product val * scalar is integral in epsilon scaled by scalar
- Parameters
-
scip SCIP data structure val unscaled value to check for scaled integrality scalar value to scale val with for checking for integrality
Definition at line 606 of file scip_numerics.c.
References NULL, SCIPsetIsScalingIntegral(), and Scip::set.
Referenced by scaleCons().
◆ SCIPisFracIntegral()
checks, if given fractional part is smaller than epsilon
- Parameters
-
scip SCIP data structure val value to process
Definition at line 619 of file scip_numerics.c.
References NULL, SCIPsetIsFracIntegral(), and Scip::set.
◆ SCIPfloor()
rounds value + epsilon down to the next integer
- Parameters
-
scip SCIP data structure val value to process
Definition at line 631 of file scip_numerics.c.
References NULL, SCIPsetFloor(), and Scip::set.
Referenced by addExpLinearization(), addLogLinearization(), addOneRow(), branchBalancedCardinality(), calcColorValue(), checkCands(), computeFixingrate(), computeMIREfficacy(), computeSignpowerRoot(), createCGMIPprimalsols(), createSubSCIP(), cutsSubstituteStrongCG(), DECL_CHANGESUBSCIP(), enforceConflictgraph(), enforceConssSOS1(), estimateConvexSecant(), fixDiscreteVars(), fixVariable(), forwardPropExpr(), generateClusterCuts(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), getCoef(), getNCircles(), handleCycle(), handleNlpParam(), performDualfix(), predBndStr(), proposeFeasibleSolution(), readOPBFile(), readVariables(), restrictToBinaryBounds(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECSOL(), SCIPaddSquareLinearization(), SCIPaggrRowAddRow(), SCIPanalyzeDeductionsProbing(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackExactly(), SCIPtightenExprIntervalNonlinear(), SCIPwriteGms(), selectNextDiving(), setupSubScip(), tightenVariables(), tightenVarsBoundsSOS1(), transformAndSolve(), tryAdd2variableBuffer(), and updateArcData().
◆ SCIPceil()
rounds value - epsilon up to the next integer
- Parameters
-
scip SCIP data structure val value to process
Definition at line 643 of file scip_numerics.c.
References NULL, SCIPsetCeil(), and Scip::set.
Referenced by addOneRow(), checkCands(), computeSVTS(), createObjRow(), createReaderdata(), cutsRoundStrongCG(), cutsSubstituteStrongCG(), estimateConvexSecant(), findUncapacitatedArcs(), fixVariable(), forbidFixation(), forwardPropExpr(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), handleCycle(), maxCircles(), performDualfix(), predBndStr(), proposeFeasibleSolution(), readVariables(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECSOL(), SCIPaggrRowAddRow(), SCIPanalyzeDeductionsProbing(), SCIPcalcStrongCG(), SCIPcreateConsIndicatorGeneric(), SCIPperformGenericDivingAlgorithm(), SCIPtightenExprIntervalNonlinear(), SCIPwriteGms(), selectNextDiving(), separateCuts(), separateGLS(), separateHeur(), tightenVariables(), tightenVarsBoundsSOS1(), transformAndSolve(), updateArcData(), and visualizeSolutionAscii().
◆ SCIPround()
rounds value to the nearest integer with epsilon tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 655 of file scip_numerics.c.
References NULL, SCIPsetRound(), and Scip::set.
Referenced by applyFixings(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_VARFIXINGS(), estimateConvexSecant(), flattenFloat(), mod2(), printNLRow(), printPBRow(), printRow(), rowprepCleanupIntegralCoefs(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIPapplyHeurSubNlp(), solveNLP(), visualizeSolutionAscii(), visualizeSolutionGnuplot(), visualizeSolutionMatplotlib(), and writeOpbObjective().
◆ SCIPfrac()
returns fractional part of value, i.e. x - floor(x) in epsilon tolerance
- Parameters
-
scip SCIP data structure val value to return fractional part for
Definition at line 667 of file scip_numerics.c.
References NULL, SCIPsetFrac(), and Scip::set.
Referenced by changeSubvariableObjective(), computeCut(), createCGCutCMIR(), createCGCutStrongCG(), createCGMIPprimalsols(), cutsTransformMIR(), DECL_VARFIXINGS(), generateClusterCuts(), getGMIFromRow(), runVanillaStrongBranching(), and SCIP_DECL_BRANCHEXECLP().
◆ SCIPisSumEQ()
checks, if values are in range of sumepsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 679 of file scip_numerics.c.
References NULL, SCIPsetIsSumEQ(), and Scip::set.
Referenced by computeVarRatio(), SCIP_DECL_BRANCHEXECLP(), separateSCIs(), transformNonIntegralRow(), and updateBestCandidate().
◆ SCIPisSumLT()
checks, if val1 is (more than sumepsilon) lower than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 692 of file scip_numerics.c.
References NULL, SCIPsetIsSumLT(), and Scip::set.
Referenced by proposeFeasibleSolution(), solveComponent(), and transformNonIntegralRow().
◆ SCIPisSumLE()
checks, if val1 is not (more than sumepsilon) greater than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 705 of file scip_numerics.c.
References NULL, SCIPsetIsSumLE(), and Scip::set.
Referenced by filterCandidates(), and getAlphaAndBeta().
◆ SCIPisSumGT()
checks, if val1 is (more than sumepsilon) greater than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 718 of file scip_numerics.c.
References NULL, SCIPsetIsSumGT(), and Scip::set.
Referenced by constructCompression(), execRelpscost(), SCIP_DECL_BRANCHEXECLP(), transformNonIntegralRow(), and updateBestCandidate().
◆ SCIPisSumGE()
checks, if val1 is not (more than sumepsilon) lower than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 731 of file scip_numerics.c.
References NULL, SCIPsetIsSumGE(), and Scip::set.
Referenced by execRelpscost().
◆ SCIPisSumZero()
checks, if value is in range sumepsilon of 0.0
- Parameters
-
scip SCIP data structure val value to process
Definition at line 744 of file scip_numerics.c.
References NULL, SCIPsetIsSumZero(), and Scip::set.
Referenced by computeCut().
◆ SCIPisSumPositive()
checks, if value is greater than sumepsilon
- Parameters
-
scip SCIP data structure val value to process
Definition at line 756 of file scip_numerics.c.
References NULL, SCIPsetIsSumPositive(), and Scip::set.
Referenced by calcBranchScore(), computeCut(), and createCGCutCMIR().
◆ SCIPisSumNegative()
checks, if value is lower than -sumepsilon
- Parameters
-
scip SCIP data structure val value to process
Definition at line 768 of file scip_numerics.c.
References NULL, SCIPsetIsSumNegative(), and Scip::set.
Referenced by SCIP_DECL_BRANCHEXECLP().
◆ SCIPisFeasEQ()
checks, if relative difference of values is in range of feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 780 of file scip_numerics.c.
References NULL, SCIPsetIsFeasEQ(), and Scip::set.
Referenced by addFacetToCut(), addLinearTermToCut(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addRowToCut(), applyFixings(), applyNlobbt(), applyRepair(), branchUnbalancedCardinality(), calculateAlternatives(), checkCons(), checkConsQuadraticProblem(), checkRikun(), checkSetupTolerances(), chooseDoubleVar(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeInitialKnapsackCover(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeNogoodCut(), computeRanks(), computeSecant(), computeStandardIntegerOptCut(), consdataCheckNonbinvar(), consdataCheckSuperindicator(), consFixLinkvar(), constructCompression(), createAndAddAndCons(), createCGCutDirect(), createConflict(), createCoveringProblem(), createIndicatorConstraint(), createProjRow(), createRows(), createSelectedSortedEventpointsSol(), createSubSCIP(), createSubscip(), createSwitchSolution(), CUTOFF_CONSTRAINT(), deleteVarCardinality(), determineFixings(), determineVariableFixings(), doBinarySearch(), doSolveSubMIP(), enforceCardinality(), enforceConstraint(), filterExistingLP(), findPointPosition(), fixAndPropagate(), generateAverageNBRay(), generateBoundInequalityFromSOS1Nodes(), generateNeighborFacets(), generateRowCardinality(), generateZerohalfCut(), getCover(), getNActiveConsScore(), getPartitionNoncovervars(), getSolutionValues(), GUBsetCalcCliquePartition(), handleNewVariableCardinality(), heurExec(), initProblem(), isPossibleToComputeCut(), LOPseparate(), markRowsXj(), optimize(), performDualfix(), performRandRounding(), phi(), presolRoundCardinality(), presolveAddKKTAggregatedVars(), presolveAddKKTLinearCons(), presolveAddKKTLinearConss(), presolveAddKKTVarboundConss(), printBoundSection(), processBinvarFixings(), processFixings(), processWatchedVars(), propagateCons(), propagateCutoffboundVar(), propagateRedcostBinvar(), propagateRedcostVar(), propCardinality(), raysAreDependent(), readBinaries(), readBounds(), reboundIntegerVariables(), registerBranchingCandidates(), resolvePropagationCoretimes(), restrictToBinaryBounds(), rowFindSlackVar(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIPaddIneqBilinear(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPaddVarImplication(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPconvertRealToInt(), SCIPconvertRealToLongint(), SCIPdummyDebugMethodForSun(), SCIPgenerateAndApplyBendersOptCut(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPwriteGms(), SCIPwriteLp(), separateCons(), separateCuts(), separateIISRounding(), sequentialUpAndDownLifting(), sequentialUpAndDownLiftingGUB(), setAltLPObj(), setObjective(), solveAndEvalSubscip(), solveBilinearLP(), switchNext(), termIsConstant(), transformValue(), updateSlacks(), varIsFixed(), and varProcessBoundChanges().
◆ SCIPisFeasLT()
checks, if relative difference val1 and val2 is lower than feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 793 of file scip_numerics.c.
References NULL, SCIPsetIsFeasLT(), and Scip::set.
Referenced by addCut(), analyseVarOnoffBounds(), analyzeGenVBoundConflict(), applyFixings(), applyRepair(), branchBalancedCardinality(), calcBranchScore(), calculateBounds(), checkKnapsack(), checkOrigPbCons(), checkRowViolation(), checkViolations(), collectNonBinaryVBoundData(), computeCut(), computeVarsCoverSOS1(), countSparseSol(), createCGCutCMIR(), createCGCutStrongCG(), createSubscip(), execGenVBounds(), filterPoints(), findPointPosition(), getBoundConsFromVertices(), getCover(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getMaxactImplicObjchg(), getOptimalShiftingValue(), handleNewVariableSOS2(), improvePoint(), isConsViolated(), optimize(), performImplicationGraphAnalysis(), performStrongbranchSOS1(), preprocessConstraintPairs(), propagateCons(), propagateCutoffboundBinvar(), propagateLowerboundBinvar(), propagateLowerboundVar(), propagateRedcostVar(), propVariableNonzero(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPperformGenericDivingAlgorithm(), SCIPprobdataUpdateDualbound(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximatelyLT(), sepaImplBoundCutsSOS1(), separateIISRounding(), separateMcCormickImplicit(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscipRapidlearning(), setupProblem(), solvePricingHeuristic(), tightenCoefs(), tightenVarsBoundsSOS1(), tryFixVar(), updateArcData(), updateImplicationGraphSOS1(), updateViolations(), and upgradeCons().
◆ SCIPisFeasLE()
checks, if relative difference of val1 and val2 is not greater than feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 806 of file scip_numerics.c.
References NULL, SCIPsetIsFeasLE(), and Scip::set.
Referenced by addConflictBounds(), addTightEstimatorCut(), applyFixings(), applyRepair(), branchruledataUpdateCurrentBounds(), buildFlowCover(), calcShiftVal(), checkBounddisjunction(), checkCons(), checkConsQuadraticProblem(), checkConstraintMatching(), checkRowViolation(), checkViolations(), collectNonBinaryImplicationData(), computeInitialKnapsackCover(), computeRevPropIntervalSin(), consFixLinkvar(), constructSNFRelaxation(), createSubscip(), cutTightenCoefs(), cutTightenCoefsQuad(), determineBound(), evaluateLiftingFunction(), filterCands(), filterExistingLP(), findDominancePairs(), generateDisjCutSOS1(), generateNeighborFacets(), getFeasibleSet(), getFlowCover(), getOptimalShiftingValue(), heurdataUpdateCurrentBounds(), heurExec(), isConsViolated(), isDisplaySol(), optimize(), performRandRounding(), propagateRootRedcostVar(), registerBranchingCandidates(), rowCalculateGauss(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_RELAXEXEC(), SCIPaddIneqBilinear(), SCIPapplyHeurDualval(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPcalcCumulativeDistribution(), SCIPcheckPattern(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPupdateDistributionScore(), separateCuts(), setObjective(), setupAndSolveSubscipRapidlearning(), shiftValues(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), transformVariable(), tryToInsert(), updateBestCandidate(), updateBilinearRelaxation(), updateSlacks(), and updateVariableRounding().
◆ SCIPisFeasGT()
checks, if relative difference of val1 and val2 is greater than feastol
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 819 of file scip_numerics.c.
References NULL, SCIPsetIsFeasGT(), and Scip::set.
Referenced by addGenVBound(), analyseVarOnoffBounds(), analyzeGenVBoundConflict(), applyFixings(), applyRepair(), buildFlowCover(), checkOrigPbCons(), checkRowViolation(), checkViolations(), collectNonBinaryVBoundData(), computeCut(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createSubscip(), enforceCardinality(), findPointPosition(), generateClusterCuts(), generateNeighborFacets(), getBestEstimators(), getCover(), getFlowCover(), getMaxactImplicObjchg(), getOptimalShiftingValue(), getPartitionCovervars(), getPartitionNoncovervars(), handleNewVariableSOS2(), initMatrix(), makeSOS1constraintsFeasible(), optimize(), performImplicationGraphAnalysis(), performStrongbranchSOS1(), propagateLowerboundVar(), propVariableNonzero(), relaxVar(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyLockFixings(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPperformGenericDivingAlgorithm(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximately(), sepaImplBoundCutsSOS1(), separateCons(), separateCuts(), separateSupLiftedMinimalCoverInequality(), sequentialUpAndDownLifting(), setupAndSolveFiniteSolSubscip(), shiftValues(), tightenCoefs(), tightenVarsBoundsSOS1(), tryFixVar(), tryToInsert(), updateArcData(), updateImplicationGraphSOS1(), updateViolations(), and upgradeCons().
◆ SCIPisFeasGE()
checks, if relative difference of val1 and val2 is not lower than -feastol
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 832 of file scip_numerics.c.
References NULL, SCIPsetIsFeasGE(), and Scip::set.
Referenced by addConflictBounds(), addTightEstimatorCut(), applyFixings(), buildFlowCover(), calcShiftVal(), checkBounddisjunction(), checkCons(), checkConsQuadraticProblem(), checkRowViolation(), checkViolations(), collectNonBinaryImplicationData(), computeRevPropIntervalSin(), constructSNFRelaxation(), determineBound(), dfs(), extractVariablesMINLP(), filterCands(), filterExistingLP(), filterPoints(), findDominancePairs(), forbidCover(), generateNeighborFacets(), getFeasibleSet(), getFlowCover(), improvePoint(), isConsViolated(), optimize(), performRandRounding(), propagateRootRedcostVar(), propIndicator(), registerBranchingCandidates(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERREDCOST(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPcheckPattern(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPsolveKnapsackApproximatelyLT(), SCIPupdateDistributionScore(), separateCuts(), separateSupLiftedMinimalCoverInequality(), setObjective(), shiftValues(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), tryToInsert(), updateBestCandidate(), updateBilinearRelaxation(), updateSlacks(), and varProcessBoundChanges().
◆ SCIPisFeasZero()
checks, if value is in range feasibility tolerance of 0.0
- Parameters
-
scip SCIP data structure val value to process
Definition at line 845 of file scip_numerics.c.
References NULL, SCIPsetIsFeasZero(), and Scip::set.
Referenced by addAltLPColumn(), addBranchingComplementaritiesSOS1(), addGenVBound(), addOneRow(), aggregateNextRow(), applyRepair(), BENDERS_CUTORACLE(), branchBalancedCardinality(), branchUnbalancedCardinality(), buildFlowCover(), calculateAlternatives(), checkConsQuadraticProblem(), checkIISlocal(), checkLinearConssVarboundSOS1(), checkLPBoundsClean(), checkOrigPbCons(), checkPackingPartitioningOrbitopeSolution(), checkSwitchNonoverlappingSOS1Methods(), computeMIREfficacy(), createAltLPColumn(), createAndAddAndCons(), createCGMIPprimalsols(), createConflict(), createKKTComplementarityBounds(), detectVarboundSOS1(), doBinarySearch(), enforceCardinality(), enforceConflictgraph(), enforceConssSOS1(), enforceCuts(), enforceIndicators(), enforceSol(), enforceSOS2(), extendToCover(), fixVariableZeroNode(), generateAverageNBRay(), generateAverageRay(), generateClusterCuts(), generateDisjCutSOS1(), generateRowSOS2(), getBranchingPrioritiesSOS1(), getBranchingVerticesSOS1(), getDiveBdChgsSOS1constraints(), getFlowCover(), getGMIFromRow(), getSimplexCoefficients(), getVectorOfWeights(), initConflictgraph(), initMatrix(), isSolFeasible(), isViolatedSOS1(), isZero(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), markNeighborsMWISHeuristic(), polishPrimalSolution(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolveAddKKTAggregatedVars(), presolveAddKKTQuadBilinearTerms(), presolveAddKKTQuadLinearTerms(), presolveAddKKTQuadQuadraticTerms(), printBoundSection(), processBinvarFixings(), processFixings(), propCardinality(), propIndicator(), propVariableNonzero(), readBinaries(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_SEPAEXECLP(), SCIPaddIneqBilinear(), SCIPaddVarImplication(), SCIPapplyProximity(), SCIPcalcCumulativeDistribution(), SCIPdummyDebugMethodForSun(), SCIPinitVarBranchStats(), SCIPinitVarValueBranchStats(), SCIPmakeIndicatorFeasible(), SCIPprintSolutionStatistics(), SCIPselectVarStrongBranching(), sepaImplBoundCutsSOS1(), separateCuts(), separateIISRounding(), separatePoint(), setObjective(), setupAndSolveSubscip(), setupSubScip(), solveBilinearLP(), tightenVarsBoundsSOS1(), transformVariable(), tryFixVar(), updateImplicationGraphSOS1(), updateTransformation(), and updateWeightsTCliquegraph().
◆ SCIPisFeasPositive()
checks, if value is greater than feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 857 of file scip_numerics.c.
References NULL, SCIPsetIsFeasPositive(), and Scip::set.
Referenced by addBranchingComplementaritiesSOS1(), addCut(), branchBalancedCardinality(), branchUnbalancedCardinality(), canonicalizeConstraints(), checkAndConss(), checkCons(), checkConsQuadraticProblem(), computeBranchingPriorities(), computeCut(), consdataCreate(), createCGCutCMIR(), createCGCutStrongCG(), detectVarboundSOS1(), enforceCardinality(), extractCycle(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateClusterCuts(), generateDisjCutSOS1(), generateNeighborFacets(), getBoundConsFromVertices(), getCover(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getNActiveConsScore(), getNCircles(), getScore(), getScoreLikeCoefdiving(), getSOS1Implications(), getVariableRedcostScore(), getVectorOfWeights(), handleNewVariableSOS1(), handleNewVariableSOS2(), inferVariableZero(), initMatrix(), lockVariableCardinality(), lockVariableSOS2(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), markRowsXj(), nodeGetSolvalBinaryBigMSOS1(), nodepartitionIsConnected(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), propCardinality(), propConsSOS1(), propIndicator(), propSOS2(), propVariableNonzero(), relaxVar(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPisViolatedIndicator(), SCIPmakeIndicatorFeasible(), separatePoint(), separateRltCuts(), tightenVarsBoundsSOS1(), unlockVariableCardinality(), unlockVariableSOS2(), updateImplicationGraphSOS1(), and updateWeightsTCliquegraph().
◆ SCIPisFeasNegative()
checks, if value is lower than -feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 869 of file scip_numerics.c.
References NULL, SCIPsetIsFeasNegative(), and Scip::set.
Referenced by addBranchingComplementaritiesSOS1(), addCut(), branchBalancedCardinality(), branchUnbalancedCardinality(), canonicalizeConstraints(), checkConsQuadraticProblem(), computeCut(), computeInteriorPoint(), createCGCutCMIR(), createCGCutStrongCG(), detectVarboundSOS1(), enforceCardinality(), enforceIndicators(), extendToCover(), extractCycle(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), getBoundConsFromVertices(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getNActiveConsScore(), getNCircles(), getScore(), getScoreLikeCoefdiving(), getSOS1Implications(), getVariableRedcostScore(), handleNewVariableSOS1(), handleNewVariableSOS2(), inferVariableZero(), initMatrix(), lockVariableCardinality(), lockVariableSOS2(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), nodeGetSolvalBinaryBigMSOS1(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundSOS2(), propCardinality(), propConsSOS1(), propSOS2(), propVariableNonzero(), relaxVar(), rowCalculateGauss(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPmakeIndicatorFeasible(), sepaImplBoundCutsSOS1(), separateCons(), separateConsBinaryRepresentation(), separateCoverCutsCons(), separateDeterminant(), separateIndicators(), separateMcCormickImplicit(), separatePoint(), separateRltCuts(), solvePricingHeuristic(), tightenVarsBoundsSOS1(), unlockVariableCardinality(), unlockVariableSOS2(), updateImplicationGraphSOS1(), and updateWeightsTCliquegraph().
◆ SCIPisFeasIntegral()
checks, if value is integral within the LP feasibility bounds
- Parameters
-
scip SCIP data structure val value to process
Definition at line 881 of file scip_numerics.c.
References NULL, SCIPsetIsFeasIntegral(), and Scip::set.
Referenced by addGLSCliques(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addNextLevelCliques(), BENDERS_CUTORACLE(), buildFlowCover(), checkCands(), checkCons(), checkCumulativeCondition(), checkPackingPartitioningOrbitopeSolution(), checkRedundancySide(), checkSymresackSolution(), chooseDoubleVar(), computeFixingrate(), countSparseSol(), createAndAddLinearCons(), createCGCutDirect(), createCoreProfile(), createNormalizedKnapsack(), createSelectedSortedEventpointsSol(), createSubscip(), CUTOFF_CONSTRAINT(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_CHANGESUBSCIP(), DECL_VARFIXINGS(), determineBound(), enforceCuts(), execRelpscost(), fixAndPropagate(), fixVariable(), generateZerohalfCut(), getBranchCands(), getFlowCover(), getHighestCapacityUsage(), getNLPFracVars(), getVariableRedcostScore(), handle1Cycle(), handleCycle(), heurExec(), insertSortedRootNeighbors(), mod2(), nodepartitionIsConnected(), optimize(), performFixing(), performRandRounding(), performRelaxSimpleRounding(), performSimpleRounding(), propagateCons(), readBounds(), readGenerals(), resolvePropagationCoretimes(), restrictToBinaryBounds(), roundFixingValue(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECSOL(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPcheckSolutionOrbisack(), SCIPconvertRealToInt(), SCIPconvertRealToLongint(), SCIPcutGenerationHeuristicCMIR(), SCIPselectVarPseudoStrongBranching(), SCIPwriteCliqueGraph(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), separateCuts(), separateGLS(), separateHeur(), separateOddCycles(), solveNLP(), tightenBounds(), tightenCoefs(), tryAdd2variableBuffer(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().
◆ SCIPisFeasFracIntegral()
checks, if given fractional part is smaller than feastol
- Parameters
-
scip SCIP data structure val value to process
Definition at line 893 of file scip_numerics.c.
References NULL, SCIPsetIsFeasFracIntegral(), and Scip::set.
◆ SCIPfeasFloor()
rounds value + feasibility tolerance down to the next integer
- Parameters
-
scip SCIP data structure val value to process
Definition at line 905 of file scip_numerics.c.
References NULL, SCIPsetFeasFloor(), and Scip::set.
Referenced by addOrigRow(), addTrustRegionConstraints(), aggregateVariables(), buildMod2Matrix(), calcBranchScore(), calcPscostQuot(), calcShiftVal(), checkRedundancySide(), chooseDoubleVar(), computeCut(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), createAndAddLinearCons(), createNormalizedKnapsack(), createSubscip(), enforceSOS2(), execRelpscost(), executeBranchingRecursive(), generateZerohalfCut(), getNCircles(), getOptimalShiftingValue(), getZiValue(), handle1Cycle(), performRandRounding(), performSimpleRounding(), restrictToBinaryBounds(), roundFixingValue(), scaleCons(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPapplyProximity(), SCIPgetVarStrongbranchWithPropagation(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPwriteGms(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), tightenBounds(), tightenCoefs(), transformNonIntegralRow(), and updateTcliquegraph().
◆ SCIPfeasCeil()
rounds value - feasibility tolerance up to the next integer
- Parameters
-
scip SCIP data structure val value to process
Definition at line 917 of file scip_numerics.c.
References NULL, SCIPsetFeasCeil(), and Scip::set.
Referenced by addGLSCliques(), addNextLevelCliques(), addOrigRow(), branchruledataEnsureArraySize(), buildMod2Matrix(), calcBranchScore(), calcShiftVal(), checkRedundancySide(), chooseDoubleVar(), computeCut(), computeEstOmegaset(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), createSubscip(), execRelpscost(), executeBranchingRecursive(), getOptimalShiftingValue(), getZiValue(), handle1Cycle(), heurdataEnsureArraySize(), insertSortedRootNeighbors(), performFixing(), performRandRounding(), performSimpleRounding(), resolveGenVBoundPropagation(), restrictToBinaryBounds(), roundFixingValue(), scaleCons(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPgetVarStrongbranchWithPropagation(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), setupProblem(), tightenBounds(), tightenCoefs(), and updateObjUpperbound().
◆ SCIPfeasRound()
rounds value to the nearest integer in feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 929 of file scip_numerics.c.
References NULL, SCIPsetFeasRound(), and Scip::set.
Referenced by generateZerohalfCut(), heurExec(), and sampleRandomPoints().
◆ SCIPfeasFrac()
returns fractional part of value, i.e. x - floor(x)
returns fractional part of value, i.e. x - floor(x) in feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 941 of file scip_numerics.c.
References NULL, SCIPsetFeasFrac(), and Scip::set.
Referenced by createCGMIPprimalsols(), createSubproblem(), execRelpscost(), getGMIFromRow(), handleCycle(), roundFixingValue(), SCIP_DECL_SEPAEXECLP(), and separateCuts().
◆ SCIPisDualfeasEQ()
checks, if relative difference of values is in range of dual feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 953 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasEQ(), and Scip::set.
◆ SCIPisDualfeasLT()
checks, if relative difference val1 and val2 is lower than dual feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 966 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasLT(), and Scip::set.
◆ SCIPisDualfeasLE()
checks, if relative difference of val1 and val2 is not greater than dual feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 979 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasLE(), and Scip::set.
Referenced by propagateLowerboundBinvar().
◆ SCIPisDualfeasGT()
checks, if relative difference of val1 and val2 is greater than dual feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 992 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasGT(), and Scip::set.
◆ SCIPisDualfeasGE()
checks, if relative difference of val1 and val2 is not lower than -dual feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1005 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasGE(), and Scip::set.
◆ SCIPisDualfeasZero()
checks, if value is in range dual feasibility tolerance of 0.0
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1018 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasZero(), and Scip::set.
Referenced by computeStandardLPFeasibilityCut(), countNonZeroRootRedcostVars(), createRows(), determineVariableFixings(), getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), and propdataInit().
◆ SCIPisDualfeasPositive()
checks, if value is greater than dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1030 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasPositive(), and Scip::set.
Referenced by getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), and propagateRootRedcostVar().
◆ SCIPisDualfeasNegative()
checks, if value is lower than -dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1042 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasNegative(), and Scip::set.
Referenced by getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), and propagateRootRedcostVar().
◆ SCIPisDualfeasIntegral()
checks, if value is integral within the LP dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1054 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasIntegral(), and Scip::set.
◆ SCIPisDualfeasFracIntegral()
checks, if given fractional part is smaller than dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1066 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasFracIntegral(), and Scip::set.
◆ SCIPdualfeasFloor()
rounds value + dual feasibility tolerance down to the next integer
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1078 of file scip_numerics.c.
References NULL, SCIPsetDualfeasFloor(), and Scip::set.
◆ SCIPdualfeasCeil()
rounds value - dual feasibility tolerance up to the next integer
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1090 of file scip_numerics.c.
References NULL, SCIPsetDualfeasCeil(), and Scip::set.
◆ SCIPdualfeasRound()
rounds value to the nearest integer in dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1102 of file scip_numerics.c.
References NULL, SCIPsetDualfeasRound(), and Scip::set.
◆ SCIPdualfeasFrac()
returns fractional part of value, i.e. x - floor(x) in dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1114 of file scip_numerics.c.
References NULL, SCIPsetDualfeasFrac(), and Scip::set.
◆ SCIPisLbBetter()
checks, if the given new lower bound is tighter (w.r.t. bound strengthening epsilon) than the old one
checks, if the given new lower bound is at least min(oldub - oldlb, |oldlb|) times the bound strengthening epsilon better than the old one
- Parameters
-
scip SCIP data structure newlb new lower bound oldlb old lower bound oldub old upper bound
Definition at line 1128 of file scip_numerics.c.
References NULL, SCIPsetIsLbBetter(), and Scip::set.
Referenced by isIntervalBetter(), performFixing(), and SCIPanalyzeDeductionsProbing().
◆ SCIPisUbBetter()
checks, if the given new upper bound is tighter (w.r.t. bound strengthening epsilon) than the old one
checks, if the given new upper bound is at least min(oldub - oldlb, |oldub|) times the bound strengthening epsilon better than the old one
- Parameters
-
scip SCIP data structure newub new upper bound oldlb old lower bound oldub old upper bound
Definition at line 1143 of file scip_numerics.c.
References NULL, SCIPsetIsUbBetter(), and Scip::set.
Referenced by isIntervalBetter(), performFixing(), and SCIPanalyzeDeductionsProbing().
◆ SCIPisRelEQ()
checks, if relative difference of values is in range of epsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1156 of file scip_numerics.c.
References NULL, SCIPsetIsRelEQ(), and Scip::set.
Referenced by computeHyperplaneThreePoints(), estimateVertexPolyhedral(), estimateVertexPolyhedralProduct(), extractProducts(), forwardPropExpr(), getFeasiblePointsBilinear(), rowprepRecordModifiedVar(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIPaddBilinMcCormick(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPcomputeBilinEnvelope2(), SCIPcomputeFacetVertexPolyhedralNonlinear(), and SCIPmergeRowprepTerms().
◆ SCIPisRelLT()
checks, if relative difference of val1 and val2 is lower than epsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1169 of file scip_numerics.c.
References NULL, SCIPsetIsRelLT(), and Scip::set.
Referenced by updateBilinearRelaxation().
◆ SCIPisRelLE()
checks, if relative difference of val1 and val2 is not greater than epsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1182 of file scip_numerics.c.
References NULL, SCIPsetIsRelLE(), and Scip::set.
Referenced by addLinearConstraints(), getFeasiblePointsBilinear(), and reversePropBilinear().
◆ SCIPisRelGT()
checks, if relative difference of val1 and val2 is greater than epsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1195 of file scip_numerics.c.
References NULL, SCIPsetIsRelGT(), and Scip::set.
Referenced by SCIPupdateStartpointHeurSubNlp(), selectVarRecursive(), and updateBilinearRelaxation().
◆ SCIPisRelGE()
checks, if relative difference of val1 and val2 is not lower than -epsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1208 of file scip_numerics.c.
References NULL, SCIPsetIsRelGE(), and Scip::set.
Referenced by getFeasiblePointsBilinear(), and reversePropBilinear().
◆ SCIPisSumRelEQ()
checks, if relative difference of values is in range of sumepsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1221 of file scip_numerics.c.
References NULL, SCIPsetIsSumRelEQ(), and Scip::set.
Referenced by SCIP_DECL_NLHDLRREVERSEPROP().
◆ SCIPisSumRelLT()
checks, if relative difference of val1 and val2 is lower than sumepsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1234 of file scip_numerics.c.
References NULL, SCIPsetIsSumRelLT(), and Scip::set.
◆ SCIPisSumRelLE()
checks, if relative difference of val1 and val2 is not greater than sumepsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1247 of file scip_numerics.c.
References NULL, SCIPsetIsSumRelLE(), and Scip::set.
◆ SCIPisSumRelGT()
checks, if relative difference of val1 and val2 is greater than sumepsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1260 of file scip_numerics.c.
References NULL, SCIPsetIsSumRelGT(), and Scip::set.
◆ SCIPisSumRelGE()
! [SnippetCodeStyleNaming] checks, if relative difference of val1 and val2 is not lower than -sumepsilon
checks, if relative difference of val1 and val2 is not lower than -sumepsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1273 of file scip_numerics.c.
References NULL, SCIPsetIsSumRelGE(), and Scip::set.
◆ SCIPconvertRealToInt()
converts the given real number representing an integer to an int; in optimized mode the function gets inlined for performance; in debug mode we check some additional conditions
- Parameters
-
scip SCIP data structure real double bound to convert
Definition at line 1288 of file scip_numerics.c.
References SCIP_Real, SCIPisFeasEQ(), and SCIPisFeasIntegral().
Referenced by adjustOversizedJobBounds(), analyzeEnergyRequirement(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), checkCons(), checkCumulativeCondition(), checkOverloadViaThetaTree(), collectBinaryVars(), collectBranchingCands(), collectDataTTEF(), collectDemands(), collectIntVars(), computeAlternativeBounds(), computeImpliedEst(), computeImpliedLct(), computeMinDistance(), consCheckRedundancy(), consdataCreateBinvars(), constraintNonOverlappingGraph(), coretimesUpdateLb(), coretimesUpdateUb(), createCoreProfile(), createCoverCuts(), createCoverCutsTimepoint(), createSelectedSortedEventpointsSol(), createSortedEventpoints(), createSortedEventpointsSol(), getActiveVar(), getHighestCapacityUsage(), presolveConsEffectiveHorizon(), presolveConsEst(), presolveConsLct(), propagateLbTTEF(), propagateTimetable(), propagateTTEF(), propagateUbTTEF(), removeIrrelevantJobs(), resolvePropagationCoretimes(), respropCumulativeCondition(), SCIP_DECL_CONSPARSE(), SCIPcreateWorstCaseProfile(), strengthenVarbounds(), tightenCoefs(), tightenLbTTEF(), and tightenUbTTEF().
◆ SCIPconvertRealToLongint()
| SCIP_Longint SCIPconvertRealToLongint | ( | SCIP * | scip, |
| SCIP_Real | real | ||
| ) |
! [SnippetCodeStyleNaming] converts the given real number representing an integer to a long integer; in optimized mode the function gets inlined for performance; in debug mode we check some additional conditions
converts the given real number representing an integer to a long integer; in optimized mode the function gets inlined for performance; in debug mode we check some additional conditions
- Parameters
-
scip SCIP data structure real double bound to convert
Definition at line 1304 of file scip_numerics.c.
References SCIP_Longint, SCIP_LONGINT_MAX, SCIP_LONGINT_MIN, SCIP_Real, SCIPisFeasEQ(), and SCIPisFeasIntegral().
Referenced by collectSolution(), and printValue().
◆ SCIPisUpdateUnreliable()
Checks, if an iteratively updated value is reliable or should be recomputed from scratch. This is useful, if the value, e.g., the activity of a linear constraint or the pseudo objective value, gets a high absolute value during the optimization process which is later reduced significantly. In this case, the last digits were canceled out when increasing the value and are random after decreasing it. We do not consider the cancellations which can occur during increasing the absolute value because they just cannot be expressed using fixed precision floating point arithmetic, anymore. In order to get more reliable values, the idea is to always store the last reliable value, where increasing the absolute of the value is viewed as preserving reliability. Then, after each update, the new absolute value can be compared against the last reliable one with this method, checking whether it was decreased by a factor of at least "lp/recompfac" and should be recomputed.
- Parameters
-
scip SCIP data structure newvalue new value after update oldvalue old value, i.e., last reliable value
Definition at line 1328 of file scip_numerics.c.
References FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPsetIsUpdateUnreliable(), Scip::set, and TRUE.
◆ SCIPprintReal()
outputs a real number, or "+infinity", or "-infinity" to a file
- Parameters
-
scip SCIP data structure file output file (or NULL for standard output) val value to print width width of the field precision number of significant digits printed
Definition at line 377 of file scip_numerics.c.
References Scip::messagehdlr, NULL, SCIP_MAXSTRLEN, SCIPmessageFPrintInfo(), SCIPsetIsInfinity(), SCIPsnprintf(), and Scip::set.
Referenced by SCIPprintMIPStart(), SCIPprintSol(), and SCIPprintTransSol().
◆ SCIPparseReal()
parse a real value that was written with SCIPprintReal()
- Parameters
-
scip SCIP data structure str string to search value pointer to store the parsed value endptr pointer to store the final string position if successfully parsed, otherwise str
Definition at line 404 of file scip_numerics.c.
References FALSE, NULL, SCIP_OKAY, SCIPinfinity(), SCIPskipSpace(), SCIPstrToRealValue(), and TRUE.
Referenced by SCIP_DECL_CONSPARSE(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPRPARSE(), and SCIPprocessShellArguments().