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 139 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 153 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 167 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 183 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 197 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 211 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 225 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 240 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 255 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 275 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 296 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 321 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 354 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 368 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 512 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 549 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 447 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(), displayRelevantStats(), dropEvent(), dualBoundStrengthening(), dualPresolve(), estimateBivariateQuotient(), estimateConvexSecant(), estimateUnivariateQuotient(), evaluateAggrCand(), extractCapacityRows(), extractCycle(), extractFlowRows(), 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 460 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 473 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(), 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_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 486 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(), updateSubproblemCutConstant(), and writeOpbConstraints().
◆ 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 499 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(), 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_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 523 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(), consdataRecomputeGlbMinactivity(), consdataRecomputeMaxactivity(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMinactivity(), 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(), SCIPtranslateSubSols(), 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 535 of file scip_numerics.c.
References NULL, SCIPsetIsHugeValue(), and Scip::set.
Referenced by areCoefsNumericsGood(), checkCons(), computeRestrictionToRay(), consdataGetReliableResidualActivity(), consdataRecomputeGlbMinactivity(), consdataRecomputeMaxactivity(), consdataRecomputeMinactivity(), 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 560 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(), createSubproblems(), createSubscip(), createVariables(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutsTransformKnapsackCover(), detectHiddenProducts(), detectSocNorm(), detectSocQuadraticComplex(), detectSocQuadraticSimple(), determineBestBounds(), 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(), 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(), SCIPbendersSolSlackVarsActive(), 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 572 of file scip_numerics.c.
References NULL, SCIPsetIsPositive(), and Scip::set.
Referenced by addBilinearTermToCut(), addCoefTerm(), addConflictBinvar(), addPathCuts(), applyAlternativeBoundsBranching(), applyFixings(), checkRedundancySide(), chgLhs(), chgRhs(), collectCoefficients(), collectMaxactVar(), combineCols(), computeCutsAbs(), computeNextAdjacency(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), consEnfo(), createAndAddLinearCons(), createCGCutDirect(), createMIP(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), detectSocQuadraticSimple(), determineBound(), dfs(), doSeparation(), dualBoundStrengthening(), dualPresolve(), estimateSignedpower(), extractCapacityRows(), extractFlowRows(), findFixings(), fixIntegerVariable(), fixVariableZero(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateRowCardinality(), getBranchingDecisionStrongbranchSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), initData(), isCandidate(), lockRoundingAndCons(), nodepairqueueCreate(), 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(), 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 584 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(), determineBound(), 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 596 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 608 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 621 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 633 of file scip_numerics.c.
References NULL, SCIPsetFloor(), and Scip::set.
Referenced by addExpLinearization(), addLogLinearization(), addOneRow(), branchBalancedCardinality(), calcColorValue(), checkCands(), computeFixingrate(), computeMIREfficacy(), computeSignpowerRoot(), createCGMIPprimalsols(), createSubSCIP(), cutsSubstituteMIR(), 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(), 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 645 of file scip_numerics.c.
References NULL, SCIPsetCeil(), and Scip::set.
Referenced by addOneRow(), checkCands(), computeSVTS(), createObjRow(), createReaderdata(), cutsRoundStrongCG(), cutsSubstituteMIR(), 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(), SCIPaggrRowAddRow(), SCIPanalyzeDeductionsProbing(), 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 657 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(), SCIPcalcStrongCG(), 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 669 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 681 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 694 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 707 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 720 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 733 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 746 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 758 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 770 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 782 of file scip_numerics.c.
References NULL, SCIPsetIsFeasEQ(), and Scip::set.
Referenced by addFacetToCut(), addLinearTermToCut(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addRowToCut(), applyFixings(), applyNlobbt(), applyRepair(), branchUnbalancedCardinality(), calculateAlternatives(), checkAndConss(), 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(), determineBound(), 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 795 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(), determineBound(), 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 808 of file scip_numerics.c.
References NULL, SCIPsetIsFeasLE(), and Scip::set.
Referenced by addConflictBounds(), addTightEstimatorCut(), 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(), propagateCons(), 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 821 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(), determineBound(), 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 834 of file scip_numerics.c.
References NULL, SCIPsetIsFeasGE(), and Scip::set.
Referenced by addConflictBounds(), addTightEstimatorCut(), 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(), propagateCons(), 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 847 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(), checkAndConss(), checkCons(), checkConsQuadraticProblem(), checkIISlocal(), checkLinearConssVarboundSOS1(), checkLPBoundsClean(), checkOrigPbCons(), checkPackingPartitioningOrbitopeSolution(), checkSwitchNonoverlappingSOS1Methods(), computeMIREfficacy(), createAltLPColumn(), createAndAddAndCons(), createCGMIPprimalsols(), createConflict(), createKKTComplementarityBounds(), detectVarboundSOS1(), determineBound(), 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 859 of file scip_numerics.c.
References NULL, SCIPsetIsFeasPositive(), and Scip::set.
Referenced by addBranchingComplementaritiesSOS1(), addCut(), branchBalancedCardinality(), branchUnbalancedCardinality(), canonicalizeConstraints(), 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 871 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 883 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(), cutsSubstituteMIR(), 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 895 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 907 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(), determineBound(), 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 919 of file scip_numerics.c.
References NULL, SCIPsetFeasCeil(), and Scip::set.
Referenced by addGLSCliques(), addNextLevelCliques(), addOrigRow(), branchruledataEnsureArraySize(), buildMod2Matrix(), calcBranchScore(), 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 931 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 943 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 955 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 968 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 981 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 994 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 1007 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 1020 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 1032 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 1044 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 1056 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 1068 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 1080 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 1092 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 1104 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 1116 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 1130 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 1145 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 1158 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 1171 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 1184 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 1197 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 1210 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 1223 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 1236 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 1249 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 1262 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 1275 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 1290 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 1306 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 1330 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 379 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 406 of file scip_numerics.c.
References NULL, SCIPinfinity(), SCIPstrToRealValue(), and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPRPARSE(), and SCIPprocessShellArguments().