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 130 of file scip_numerics.c.
References NULL, SCIPsetEpsilon(), and Scip::set.
Referenced by addCut(), boundPruneHeur(), boundPruneHeurMw(), checkRedundancySide(), computeFixingOrder(), computeMIREfficacy(), computeVertexPolyhedralFacetLP(), consEnfo(), createCGCutCMIR(), createCGCutStrongCG(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutsTransformKnapsackCover(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), estimateBivariateQuotient(), estimateConvexSecant(), estimateUnivariateQuotient(), evaluateCutNumerics(), forwardPropExpr(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), getTmEdgeCostZeroOffset(), graph_sdStar(), graph_sdStarBiased(), prettifyConss(), pseudodeleteDeleteComputeCutoffs(), reduce_daSlackPrune(), 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(), SCIPStpHeurTMRunLP(), 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 144 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 158 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 174 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 188 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 202 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 216 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 231 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 246 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 266 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 287 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 312 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 345 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 359 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 503 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(), polyscip::Polyscip::computeNondomPoints(), computeRestrictionToRay(), computeRltCut(), computeRoot(), computeStandardNLPOptimalityCut(), computeSymmetryGroup(), computeVarsCoverSOS1(), computeVertexPolyhedralFacetLP(), computeViolation(), consdataCheckNonbinvar(), consdataCreate(), consdataGetActivity(), consdataRecomputeMaxActivityDelta(), constructCompression(), CREATE_CONSTRAINT(), createAndAddLinearCons(), createAuxiliaryNonlinearSubproblem(), createAuxVar(), createBlockproblem(), createBudgetConstraint(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createConstraint(), createConstraints(), createCoverCutsTimepoint(), createCoveringProblem(), createDegreeConstraints(), createDepthinfo(), createDisaggrRow(), createDisaggrVars(), createHopConstraint(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createMasterproblem(), createNAryBranch(), createNLP(), createObjRow(), createOriginalproblem(), createPartitionCut(), createPatternVars(), createPrecedenceCons(), createPrizeConstraints(), createProbOnlyEdge(), createProbQP(), createProbSimplified(), createProbSimplifiedTest(), createRelaxation(), createRow(), createScenarioData(), createSubproblem(), createSubproblems(), createSubSCIP(), createSubscip(), createVarboundCons(), createVariables(), createVarUbs(), daconsCreateEmpty(), daExec(), determineBoundForSNF(), dualascent_execPcMw(), 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(), lpcutAdd(), maximalslack(), mod2MatrixTransformContRows(), moveVariable(), newsolCliqueAddRow(), nodepairqueueCreate(), nodepartitionIsConnected(), AMPLProblemHandler::OnHeader(), AMPLProblemHandler::OnVarBounds(), parseType(), performStrongbranchWithPropagation(), preprocessConstraintPairs(), presolveAddKKTKnapsackConss(), presolveAddKKTLinearCons(), presolveAddKKTLogicorConss(), presolveAddKKTSetppcConss(), prettifyConss(), pricing(), printAndCons(), propagateCons(), propdataInit(), propIndicator(), readBounds(), readCnf(), readCols(), readColsMop(), readConstraints(), readIndicators(), readLIBSVM(), readObjective(), readOPBFile(), readQMatrix(), readRows(), readRowsMop(), readSol(), readSolFile(), readVariables(), readXmlSolFile(), reformulateFactorizedBinaryQuadratic(), relaxVar(), reoptimize(), resetSubproblemObjectiveValue(), runBenders(), runDualAscent(), 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(), SCIPprobdataAddNewSol(), SCIPpruneTree(), SCIPreadOpb(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPsolveProbingRelax(), SCIPStpAddContractionCut(), SCIPStpReaderIncludeParams(), SCIPsyncstoreGetLastLowerbound(), SCIPsyncstoreGetLastUpperbound(), SCIPsyncstoreStartSync(), SCIPtreemodelSelectCandidate(), SCIPupdateNlpiProblem(), SCIPverifyCircularPatternNLP(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), scoreBranchingCandidates(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), selectVarRecursive(), sep_flowBalance(), sep_flowEdgeOut(), sep_flowIn(), sepaImplBoundCutsSOS1(), separateCons(), separateCoverCutsCons(), separateCoversOrbisack(), separateCuts(), separateIndicators(), separateMcCormickImplicit(), separatePerspective(), separateSCIs(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), sepaspecial_pacliquesSeparate(), sepaspecial_pcimplicationsSeparate(), sepaspecial_vtimplicationsSeparate(), 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 540 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 438 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(), applyBranchHistoryToGraph(), applyDomainChanges(), applyFixings(), assignVars(), bottleneckRuleOut(), branchOnBin(), buildMod2Matrix(), buildsolgraph(), calcGap(), calcPscostQuot(), calculateAlternatives(), cancelCol(), cancelRow(), catchEvent(), checkCons(), checkConsnames(), checkIISlocal(), checkSolution(), checkSymmetriesAreSymmetries(), checkSystemGF2(), chgLhs(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), collectBranchingCandidates(), collectCoefficients(), combineCols(), compareNodes(), completemst1(), completemst2(), completemst3(), completemst4(), completemst5(), componentSetupWorkingSol(), computeBilinEnvelope2(), computeConvexEnvelopeFacet(), computeCut(), computeCutsAbs(), computeEstimatorsTrig(), computeImpliedEst(), computeImpliedLct(), computeInitialCutsTrig(), computeLeftSecantSin(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeRightSecantSin(), computeRltCut(), computeSecant(), computeSignpowerRoot(), computeSolTangentSin(), computeSteinerTree(), computeSteinerTreeRedCosts(), computeSteinerTreeRedCostsPcMw(), computeSVTS(), computeSymmetryGroup(), computeTransVoronoi(), computeVarRatio(), computeVertexPolyhedralFacetLP(), polyscip::doubledescription::DoubleDescriptionMethod::computeVRep_Var1(), consdataCreate(), consdataCreateRedundant(), consdataFree(), consdataPrint(), consdataUpdateChgCoef(), consdataUpdateDelCoef(), constructCompression(), constructValidSolution(), contractEdgeWithFixedEnd(), convertBoundToInt(), correctLocksAndCaptures(), createAltLPColumn(), createAndAddLinearCons(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createCGMIPprimalsols(), createSubproblem(), createSubscip(), daPcMarkRoots(), detectDominatingVlbs(), detectDominatingVubs(), detectParallelCols(), determineBestBounds(), determineBoundForSNF(), displayRelevantStats(), dropEvent(), dualascent_execPcMw(), dualBoundStrengthening(), dualPresolve(), estimateBivariateQuotient(), estimateConvexSecant(), estimateUnivariateQuotient(), evaluateAggrCand(), extGetSd(), extGetSdDouble(), extGetSdDoubleFromDistdata(), extractCapacityRows(), extractCycle(), extractFlowRows(), extreduce_checkArc(), extreduce_deleteArcs(), extreduce_deleteEdges(), extreduce_redcostTreeRecompute(), extreduce_treeRecompCosts(), fillGraphByLinearConss(), findAggregation(), findDominancePairs(), findFixings(), findNonDominatedVars(), findRho(), fixAndPropagate(), fixMatchingSolutionValues(), fixVarsDualcostLurking(), forbidFixation(), getBinVarsRepresentatives(), getBoundchangesPcMW(), getGenVBoundsMinActivityConflict(), getLinVarsAndAndRess(), getRandomVariable(), getReward(), getScore(), getScoreLikeCoefdiving(), getVariablePscostScore(), getVarWeight(), graph_dcsr_deleteEdgeBi(), graph_edge_add(), graph_findCentralTerminal(), graph_knot_replaceDeg2(), graph_pc_contractEdge(), graph_pc_enforcePseudoTerm(), graph_pc_nonLeafTermIsEnforced(), graph_pc_shiftNonLeafCosts(), graph_pc_subtractPrize(), graph_pc_term2edgeIsConsistent(), graph_pc_transOrgAreConistent(), graph_transRpc(), graph_transRpc2FixedProper(), graph_valid_ancestors(), graph_voronoiWithDist(), graph_writeStp(), handleNlpParam(), impliesVlbPrecedenceCondition(), improvePoint(), initializeIncumbent(), initReceivedSubproblem(), isBinaryProduct(), isCandidate(), isIntervalBetter(), isPartition(), isSingleLockedCand(), localExtendPc(), localInsertion(), localInsertion2(), localInsertion2pc(), localKeyPathExchangeMw(), localKeyPathExchangePc2(), localKeyVertex(), localKeyVertexPc(), localKeyVertexPc2(), nodeGetUctScore(), parseConstantArrayAssignment(), parseValue(), pcContractWithAdjacentTerm(), pcmwUpdateBestSol_csrInSync(), performBranchingNoSol(), performBranchingSol(), performDualfix(), preprocessConstraintPairs(), presolRoundIndicator(), presolveImplint(), presolveSingleLockedVars(), prettifyConss(), printActiveVariables(), printBoundSection(), printLinearCons(), printNonlinearCons(), printNonLinearCons(), printPseudobooleanCons(), printQuadraticCons(), printRangeSection(), printRowType(), processRealBoundChg(), propagateCons(), propagateOrbitalFixing(), propagateRedcostVar(), propagateVbounds(), propgraphFixEdge(), propIndicator(), pseudodeleteDeleteComputeCutoffs(), raysAreDependent(), readConstraints(), readIndicators(), readRanges(), reduce_daPcMw(), reduce_extendedEdge(), reduce_sd(), reduce_sdBiased(), reduce_sdsp(), reduceCheckEdge(), reduceRootedProb(), reduceWithEdgeFixingBounds(), 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(), SCIPprobdataAddNewSol(), SCIPprocessRowprepNonlinear(), SCIPpropagateProbing(), SCIPsnprintfProbingStats(), SCIPStpHeurPruneUpdateSols(), SCIPvalidateSolve(), SCIPwriteGms(), SCIPwriteMps(), sddeltable(), sdStarBiasedProcessNode(), selectBranchVar(), selectShifting(), selectVarRecursive(), sep_flowBalance(), sep_flowEdgeOut(), sep_flowIn(), sep_flowTermIn(), separateCuts(), separateRltCuts(), setupAggregationData(), setupAndSolveSubscipRapidlearning(), shortenSubtree(), solAddTry(), solGetStpSol(), solgraphSelectSolsDiff(), solveComponent(), solveSingleRowLP(), storeSuitableRows(), strengthenVarbounds(), subtreeSumGapInsertChildren(), subtreeSumGapUpdate(), termDeleteExtension(), 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 451 of file scip_numerics.c.
References NULL, SCIPsetIsLT(), and Scip::set.
Referenced by addBilinearTermToCut(), addCoef(), addConflictBounds(), addNodesInformation(), addScenarioVarsAndConsToProb(), addSplitcons(), addToCandidates(), analyseVarOnoffBounds(), analyzeConflictUpperbound(), applyBranchHistoryToGraph(), assignNextBin(), bottleneckRuleOut(), boundPruneHeur(), boundPruneHeurMw(), branch(), buildMod2Matrix(), calcPscostQuot(), checkLeavesBelowIncumbent(), checkSetupTolerances(), chgLhs(), chgProbingBound(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), combineCols(), compareNodes(), compensateVarLock(), componentSetupWorkingSol(), computeDegConsTree(), computeRevPropIntervalSin(), computeSCTable(), computeStarts(), computeSteinerTreeRedCosts(), computeSteinerTreeRedCostsPcMw(), constructValidSolution(), createSubscip(), daExec(), detectDominatingVlbs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dhcstpWarmUp(), dualascent_execPcMw(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), ensureScoresPresent(), evaluateLiftingFunction(), execRelpscost(), findBestUb(), findComponents(), findDominancePairs(), findNonDominatedVars(), fixVarsDualcost(), fixVarsDualcostLurking(), generateZerohalfCut(), getAlphaAndBeta(), getBiasedMw(), getcloseterms(), getcloseterms2term(), getFixVal(), getKeyPathReplaceCost(), getPartitionCovervars(), getScore(), graph_findCentralTerminal(), graph_pc_enforceNonLeafTerm(), graph_pc_enforcePseudoTerm(), graph_pc_evalTermIsNonLeaf(), graph_pc_getPosPrizeSum(), graph_pc_shiftNonLeafCosts(), graph_pc_transOrgAreConistent(), graph_sdWalksExt2(), graph_transMw(), graph_transPc2Spg(), graph_transPcGetSap(), graph_transRmw(), graph_transRpc(), graph_transRpc2FixedProper(), graph_voronoiWithDist(), graph_voronoiWithRadiusMw(), impliesVlbPrecedenceCondition(), infinityCountUpdate(), insertionGetCandidateEdges(), isPointFeasible(), isPseudoDeletableDeg3(), localKeyVertexHeuristics(), localVertexInsertion(), maxCircles(), maximizeObjectiveSymresackStrict(), mod2matrixPreprocessRows(), mst3StarNeighborRuleOut(), pcContractWithAdjacentTerm(), performDualfix(), performRandRounding(), performStrongbranchWithPropagation(), predBndStr(), prettifyConss(), processBinvarFixings(), processRealBoundChg(), propagateCons(), propagateCutoffboundVar(), propgraphApplyImplicationsPcMw(), readBounds(), reduce_bound(), reduce_boundHop(), reduce_boundHopR(), reduce_boundHopRc(), reduce_boundMw(), reduce_daSlackPrune(), reduce_getSdByPaths(), reduce_nvAdv(), reduce_sdBiased(), reduce_sdBiasedNeighbor(), reduce_sdEdgeCliqueStar(), reduce_sdPc(), reduce_sdspSap(), reduce_simple(), reduce_simple_hc(), reduce_sl(), reducePcMwTryBest(), 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_HEUREXEC(), SCIP_DECL_NLHDLRINTEVAL(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddIneqBilinear(), SCIPaddRow(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgVarUbLazy(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPlinkcuttreeFindMinChainMw(), SCIPmakeSOS1sFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPStpHeurLocalExtendPcMw(), SCIPStpHeurRecExclude(), SCIPStpHeurRecRun(), SCIPtreemodelSelectCandidate(), SCIPupdateDistributionScore(), selectBranchingVertexByLp(), separateCons(), separateCuts(), setupProblem(), singletonColumnStuffing(), solAddTry(), solveAndEvalSubscip(), solveComponent(), solveSingleRowLP(), startProbing(), tightenCoefs(), tightenVariables(), tightenVarUb(), transformAndSolve(), transformNonIntegralRow(), tryFillNlhdlrExprDataQuad(), updateBestCandidate(), updateBestSol(), updateObjUpperbound(), and utdist().
◆ 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 464 of file scip_numerics.c.
References NULL, SCIPsetIsLE(), and Scip::set.
Referenced by addBilinearTermToCut(), addConstraint(), addExpSecant(), addLogLinearization(), addLogSecant(), addNewLocks(), addSplitcons(), analyzeGenVBoundConflict(), ansProcessCandidate(), ansProcessCandidateWithBridge(), applyProbingVar(), assignVars(), bdkStarIsReplacableDeg3(), bdkStarIsSdMstReplacable(), bdkStarIsSdTreeReplacable(), bottleneckRuleOut(), checkOrigPbCons(), checkSystemGF2(), chgLhs(), chgProbingBound(), chgRhs(), chooseDoubleVar(), collectNonBinaryImplicationData(), combineCols(), compensateVarLock(), computeDegConsTree(), computeEstimatorsTrig(), computeInitialCutsTrig(), computeLeftSecantSin(), computeRightSecantSin(), computeStarts(), computeSteinerTreeRedCosts(), computeSteinerTreeRedCostsDirected(), computeSteinerTreeRedCostsPcMw(), computeVertexPolyhedralFacetUnivariate(), consdataCreateRedundant(), consdataGetReliableResidualActivity(), consdataPrint(), consdataUpdateChgCoef(), correctLocksAndCaptures(), createBlockproblem(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), detectDominatingVubs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualascent_execPcMw(), dualBoundStrengthening(), dualPresolve(), edgecostmultiplier(), enumeratePatterns(), estimateBivariate(), estimateUnivariate(), evaluateLiftingFunction(), filterCands(), filterPoints(), findBestUb(), findFixings(), findUplockAggregations(), getAlphaAndBeta(), getFixingValue(), getFixVal(), getGMIFromRow(), getImpliedBounds(), getKeyPathReplaceCost(), getlecloseterms(), getLinVarsAndAndRess(), getNCircles(), graph_knot_contract(), graph_path_PcMwSd(), graph_sdWalks(), graph_sdWalks_csr(), graph_sdWalksConnected(), graph_sdWalksExt(), graph_sdWalksExt2(), graph_sdWalksTriangle(), graph_transMw(), heurExec(), impliesVlbPrecedenceCondition(), initsepaBoundInequalityFromCardinality(), isOverlapping(), isPseudoDeletableDeg3(), localKeyVertexHeuristics(), localRun(), localVertexInsertion(), lockRoundingAndCons(), mst3StarNeighborRuleOut(), mwReduceTermDeg1(), mwTraverseChain(), pcContractWithAdjacentTerm(), pcmwReduceKnotDeg1(), pcReduceTermDeg1(), pcReduceTermDeg2(), performDualfix(), performStrongbranchWithPropagation(), predBndStr(), processNLPSol(), projectVbd(), pseudodeleteDeleteComputeCutoffs(), reduce_ansAdv(), reduce_ansAdv2(), reduce_bound(), reduce_boundMw(), reduce_cnsAdv(), reduce_daSlackPrune(), reduce_getSdByPaths(), reduce_mw(), reduce_npv(), reduce_nv(), reduce_nvAdv(), reduce_pc(), reduce_sdStar(), reduce_sdStarPc(), reduce_sdStarPc2(), reduce_sdWalkTriangle(), reduce_simple(), reduce_simple_mw(), reduce_simple_pc(), reduce_sl(), reduce_stp(), reduceWithEdgeFixingBounds(), 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_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddBilinMcCormick(), SCIPaddSquareSecant(), SCIPanalyzeDeductionsProbing(), SCIPapplyProbingVar(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPprintSolutionStatistics(), SCIPseparateRelaxedKnapsack(), SCIPStpHeurLocalExtendPcMw(), SCIPStpHeurLocalExtendPcMwOut(), SCIPStpHeurPruneUpdateSols(), SCIPStpHeurSlackPruneRun(), sdStarBiasedProcessNode(), searchEcAggrWithMIP(), selectNextDiving(), separateCuts(), setSymmetryData(), setupAndSolveSubscipRapidlearning(), singletonColumnStuffing(), solAddTry(), solPrune(), solveAndEvalSubscip(), solveComponent(), solveSingleRowLP(), solveSubNLP(), subtreeSumGapRemoveNode(), tightenCoefs(), transformVariable(), tryFillNlhdlrExprDataQuad(), tryUpgradingSetppc(), unlockRoundingAndCons(), updateBestCandidate(), updateDualBounds(), updateNodeReplaceBounds(), 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 477 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(), ansProcessCandidateWithBridge(), applyNlobbt(), applyProbingVar(), assignNextBin(), boundPruneHeur(), boundPruneHeurMw(), calcPscostQuot(), checkDivingCandidates(), checkPackingPartitioningOrbitopeSolution(), checkSetupTolerances(), checkVarbound(), chgProbingBound(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), combineCols(), compareNodes(), compensateVarLock(), computeDegConsTree(), computeLiftingData(), computeNextAdjacency(), computePosRingCircle(), computeRevPropIntervalSin(), computeSolTangentSin(), computeSteinerTreeVnoi(), computeSVTS(), consdataCreate(), createSubscip(), cutsTransformMIR(), cutTightenCoefs(), cutTightenCoefsQuad(), detectDominatingVubs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dhcstpWarmUp(), dualBoundStrengthening(), dualPresolve(), enfopsPackingPartitioningOrbitopeSolution(), enumeratePatterns(), evaluateLiftingFunction(), execRelpscost(), extractCycle(), extreduce_checkArc(), findBestLb(), findNonDominatedVars(), findRootsMark(), fixVarsDualcost(), fixVarsRedbasedIsPromising(), generateLiftedFlowCoverCut(), generateZerohalfCut(), getAlphaAndBeta(), getcloseterms2term(), getFixVal(), getNCircles(), getObjectiveFactor(), getOptimalShiftingValue(), getScore(), getScoreLikeCoefdiving(), getSd(), getVarRank(), graph_edge_redirect(), graph_knot_contract(), graph_load(), graph_path_execX(), graph_path_invroot(), graph_path_PcMwSd(), graph_path_st_pcmw_extend(), graph_path_st_pcmw_extendOut(), graph_pc_getNonLeafTermOffset(), graph_pc_solGetObj(), graph_sdWalks(), graph_sdWalks_csr(), graph_sdWalksConnected(), graph_sdWalksExt(), graph_sdWalksExt2(), graph_transMw(), graph_transRmw(), graph_transRpc(), graph_transRpc2FixedProper(), graph_voronoiMw(), graph_voronoiRepair(), graph_voronoiRepairMult(), graph_voronoiWithDist(), graph_voronoiWithRadius(), graph_voronoiWithRadiusMw(), impliesVlbPrecedenceCondition(), improvePoint(), infinityCountUpdate(), isCutoffEdge(), isNonLeaf_pretransPc(), isPointFeasible(), isPseudoDeletable(), ledgeFromNetgraph(), localVertexInsertion(), maximizeObjectiveSymresackCriticalEntry(), maximizeObjectiveSymresackStrict(), mwReduceTermDeg1(), packNodes(), pcmwGetStartNodes(), pcReduceTermDeg1(), pcReduceTermDeg2(), performRandRounding(), performStrongbranchWithPropagation(), printRangeSection(), printRowType(), processRealBoundChg(), propagateCons(), pseudodeleteDeleteComputeCutoffs(), readBounds(), reduce_ansAdv(), reduce_bound(), reduce_boundHop(), reduce_boundHopR(), reduce_boundHopRc(), reduce_boundMw(), reduce_cnsAdv(), reduce_daPcMw(), reduce_daSlackPrune(), reduce_extendedCheck3Tree(), reduce_getSdByPaths(), reduce_npv(), reduce_pc(), reduce_sdImpLongEdge(), reduce_sdPc(), reduce_sdsp(), reduce_sdspSap(), reduce_simple_sap(), reduceCheckEdge(), reducePcMw(), reducePcMwTryBest(), reduceRootedProb(), releaseNodeFromDepthInfo(), resolveGenVBoundPropagation(), reverseProp(), roundPartition(), rowprepCleanupImproveCoefrange(), ruleOutSubtree(), 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(), SCIPprobdataAddNewSol(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPtreemodelSelectCandidate(), SCIPupdateDistributionScore(), sdGetSdPcMw(), selectVarRecursive(), separateCons(), separateCuts(), separatePerspective(), setMinMaxElims(), singletonColumnStuffing(), solAddTry(), solpool_addSol(), solveAndEvalSubscip(), solvePricingHeuristic(), startProbing(), storeAggrFromMIP(), termcompDeleteEdges(), termcompMarkPseudoDelNodes(), tightenCoefs(), tightenVariables(), tightenVarLb(), transformAndSolve(), transformNonIntegralRow(), tryFillNlhdlrExprDataQuad(), updateBestCandidate(), updateRedcostdata(), updateSubproblemCutConstant(), vnoiDataRepairPreprocess(), 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 490 of file scip_numerics.c.
References NULL, SCIPsetIsGE(), and Scip::set.
Referenced by addBilinearTermToCut(), addNodesInformation(), addSplitcons(), analyzeGenVBoundConflict(), applyEdgestateToProb(), applyProbingVar(), assignVars(), boundPruneHeur(), checkSystemGF2(), checkVarbound(), chgProbingBound(), collectNonBinaryImplicationData(), combineCols(), computeCut(), computeDegConsTree(), computeLeftSecantSin(), polyscip::Polyscip::computeNondomPoints(), computePertubedSol(), computePosCircleCircle(), computePosRingCircle(), computeSolTangentSin(), computeStarts(), computeSteinerTreeVnoi(), computeSVTS(), computeVarRatio(), connectivityDataInit(), consdataCreateRedundant(), consdataUpdateChgCoef(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), cutsTransformMIR(), cutTightenCoefsQuad(), daExec(), detectDominatingVlbs(), dualascent_execPcMw(), dualPresolve(), dualPresolving(), edgecostmultiplier(), estimateBivariate(), estimateUnivariate(), execRelpscost(), executeBranchingRecursive(), extGetSd(), extGetSdDouble(), extGetSdDoubleFromDistdata(), findBestLb(), findDominancePairs(), findDownlockAggregations(), findFixings(), generateAndApplyBendersCuts(), generateLiftedFlowCoverCut(), getBiasedMw(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getFixingValue(), getImpliedBounds(), getKeyPathUpper(), getPartitionCovervars(), graph_edge_add(), graph_edge_redirect(), graph_path_st_pcmw_extend(), graph_path_st_pcmw_extendBiased(), graph_path_st_pcmw_extendOut(), graph_path_st_pcmw_reduce(), graph_pc_shiftNonLeafCosts(), graph_pc_subtractPrize(), graph_pc_transOrgAreConistent(), graph_transMw(), graph_transPc(), graph_transPc2Spg(), graph_transPcmw2rooted(), graph_transRmw(), graph_transRpc(), graph_transRpc2FixedProper(), graph_voronoiWithRadius(), graph_voronoiWithRadiusMw(), identifySourcesTargets(), impliesVlbPrecedenceCondition(), initCostsAndPrioLP(), isNlobbtApplicable(), isVlb(), isVub(), ledgeFromNetgraph(), localVertexInsertion(), maximizeObjectiveSymresackStrict(), mwContract0WeightVertices(), mwReduceTermDeg1(), mwTraverseChain(), nodeGetUctScore(), pcReduceTermDeg2(), performLPRandRounding(), performLPSimpleRounding(), performStrongbranchWithPropagation(), prettifyConss(), propagateCutoffboundGlobally(), propgraphDeleteEdge(), propgraphFixEdge(), reduce_ansAdv2(), reduce_bound(), reduce_boundMw(), reduce_chain2(), reduce_cnsAdv(), reduce_daPcMw(), reduce_extendedCheck3Tree(), reduce_identifyNonLeafTerms(), reduce_npv(), reduce_nv(), reduce_nvAdv(), reduce_sd(), reduce_sdImpLongEdge(), reduce_sdsp(), reduce_sdspSap(), reduce_simple_hc(), reduce_sl(), reduceCheckEdge(), reducePcMw(), reducePcMwTryBest(), 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(), SCIPlinkcuttreeFindMaxChain(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsolveDiveLP(), SCIPsolveKnapsackExactly(), SCIPStpHeurTMRun(), SCIPtryStrongbranchLPSol(), SCIPupdateNodeLowerbound(), SCIPverifyCircularPatternHeuristic(), selectNextDiving(), selectVarMultAggrBranching(), selectVarRecursive(), sepafullAddSingleSolcandEdges(), separateCuts(), setSymmetryData(), shortenSubtree(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveProbingLP(), tightenCoefs(), updateBestCandidate(), updateNodeReplaceBounds(), updateRedcostdata(), and upgradeLinearSuperindicator().
◆ SCIPisInfinity()
checks, if value is (positive) infinite
- Parameters
-
scip SCIP data structure val value to be compared against infinity
Definition at line 514 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(), redcosts_forLPareAvailable(), 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 526 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 551 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(), polyscip::WeightSpacePolyhedron::areAdjacent(), branchOnBin(), buildConvexCombination(), buildMod2Matrix(), calcActivityBounds(), calcEfficacy(), calcEfficacyDenseStorageQuad(), calcEfficacyNormQuad(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelCol(), cancelRow(), catchObjEvent(), checkDivingCandidates(), checkSolution(), checkSymmetriesAreSymmetries(), collectMaxactVar(), collectMinactImplicVar(), collectMinactImplicVars(), collectMinactVar(), collectNonBinaryVBoundData(), combineCols(), componentSetupWorkingSol(), computeCut(), computeHistory(), computeHistoryPcMw(), computeHyperbolaRoot(), computeLeftSecantSin(), computePosRingCircle(), computeRestrictionToRay(), computeRightSecantSin(), computeSignpowerRoot(), computeSolTangentSin(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeStandardNLPFeasibilityCut(), computeStandardNLPOptimalityCut(), computeStrengthenedIntercut(), computeSymmetryGroup(), computeVarRatio(), computeVertexPolyhedralFacetBivariate(), polyscip::doubledescription::DoubleDescriptionMethod::computeVRep_Var1(), consdataCreate(), consdataFree(), consdataGetReliableResidualActivity(), consdataUpdateDelCoef(), consEnfo(), correctLocksAndCaptures(), createAndAddAnds(), createAndAddLinearCons(), createMIP(), createNewSol(), createObjRow(), createProbSimplified(), createSubproblems(), createSubscip(), createVariables(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutsTransformKnapsackCover(), daExec(), daInit(), daRedCostIsValid(), delPseudoInit(), delPseudoInitForCheck(), detectHiddenProducts(), detectSocNorm(), detectSocQuadraticComplex(), detectSocQuadraticSimple(), determineBestBounds(), dropObjEvent(), dualascent_allTermsReachable(), dualascent_execPcMw(), ecaggrAddBilinTerm(), enforceConflictgraph(), enumeratePatterns(), estimateConvexSecant(), estimateHyperbolaMixed(), estimateHyperbolaPositive(), estimateRoot(), execRelpscost(), exprdataCreate(), extreduce_deleteArcs(), extreduce_deleteEdges(), extreduce_deleteGeneralStars(), extreduce_pseudoDeleteNodes(), 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(), graph_pc_deleteTerm(), graph_sdWalksExt2(), graph_sdWalksTriangle(), graph_transPcGetSap(), handleNewVariableCardinality(), handleNewVariableSOS1(), polyscip::doubledescription::V_RepT::hasNonUnitAndNonZeroWeight(), improvePoint(), insertRayEntries(), intercutsComputeCommonQuantities(), isPartition(), isSingleLockedCand(), mod2MatrixAddOrigRow(), mod2MatrixAddTransRow(), mod2matrixPreprocessColumns(), mod2matrixRemoveRow(), mod2rowAddRow(), modifyAndPackCut(), mwContract0WeightVertices(), nodepairqueueCreate(), polyscip::Polyscip::numberofUnboundedResults(), objimplicsCreate(), optimize(), pcmwReduceTerm0Prize(), 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(), readColsMop(), readObjective(), readOPBFile(), readRhs(), redcostGraphMark(), reduce_contract0Edges(), reduce_da(), reduce_extendedEdge(), reducePcMw(), reduceRootedProb(), 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(), SCIPprobdataAddNewSol(), SCIPprobdataPrintGraph(), SCIPprobdataWriteSolution(), SCIPreduceMatrixSize(), SCIPStpHeurRecExclude(), SCIPStpHeurTMRunLP(), 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 563 of file scip_numerics.c.
References NULL, SCIPsetIsPositive(), and Scip::set.
Referenced by addBilinearTermToCut(), addCoefTerm(), addConflictBinvar(), addPathCuts(), applyAlternativeBoundsBranching(), applyFixings(), polyscip::WeightSpacePolyhedron::areAdjacent(), checkRedundancySide(), chgLhs(), chgRhs(), collectCoefficients(), collectMaxactVar(), combineCols(), computeCutsAbs(), computeNextAdjacency(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), polyscip::doubledescription::DoubleDescriptionMethod::computeVRep_Var1(), consEnfo(), createAndAddLinearCons(), createCGCutDirect(), createMIP(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), daPcMarkRoots(), detectSocQuadraticSimple(), determineBound(), dfs(), doSeparation(), dualBoundStrengthening(), dualPresolve(), estimateSignedpower(), extractCapacityRows(), extractFlowRows(), findFixings(), findRootsMark(), fixIntegerVariable(), fixVariableZero(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateRowCardinality(), getBranchingDecisionStrongbranchSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), initData(), insertionInitInsert(), isCandidate(), lockRoundingAndCons(), nodepairqueueCreate(), performDualfix(), permuteStartSolution(), predBndStr(), preprocessConstraintPairs(), propagateCons(), propagateLowerboundBinvar(), propIndicator(), proposeFeasibleSolution(), reduce_sdsp(), 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(), sdGetSdPcMw(), searchEcAggrWithCliques(), selectBranchingVertexByLp(), selectBranchingVertexByLp2Flow(), selectInitialVariableRandomly(), selectShifting(), separateCuts(), separatePerspective(), setUpEvents(), solveAndEvalSubscip(), solveSingleRowLP(), sortGenVBounds(), transformAndSolve(), unlockRoundingAndCons(), updatePartition(), upgradeLinearSuperindicator(), polyscip::doubledescription::V_RepT::V_RepT(), varMayRoundDown(), and varMayRoundUp().
◆ SCIPisNegative()
checks, if value is lower than -epsilon
- Parameters
-
scip SCIP data structure val value to process
Definition at line 575 of file scip_numerics.c.
References NULL, SCIPsetIsNegative(), and Scip::set.
Referenced by addConflictBinvar(), adjustCutoffbound(), applyAlternativeBoundsBranching(), polyscip::WeightSpacePolyhedron::areAdjacent(), calcBranchScore(), checkLogCriterion(), collectMinactVar(), combineCols(), computeCut(), computeCutsAbs(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeTangent(), computeVertexPolyhedralFacetBivariate(), polyscip::doubledescription::DoubleDescriptionMethod::computeVRep_Var1(), copySofttimelimit(), createMIP(), createVarUbs(), cutTightenCoefs(), cutTightenCoefsQuad(), detectSocNorm(), detectSocQuadraticSimple(), determineBestBounds(), determineBound(), dualPresolve(), dualPresolving(), extractCapacityRows(), extractNodes(), fillGlobalStartingData(), findFixings(), fixIntegerVariable(), fixVariableZero(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateDisjCutSOS1(), generateRowCardinality(), polyscip::doubledescription::V_RepT::hasNonUnitAndNonZeroWeight(), isCandidate(), localVertexInsertion(), nlrowaggrCreate(), nodepairqueueCreate(), objimplicsCreate(), pcBiasCostsDCSR(), performDualfix(), predBndStr(), preprocessConstraintPairs(), ObjPricerVRP::pricing(), pricing(), propagateCons(), propagateCutoffboundBinvar(), proposeFeasibleSolution(), reduce_sdsp(), removeDoubleAndSingletonsAndPerformDualpresolve(), SCIP_DECL_CONSINITLP(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_HEUREXEC(), SCIPcalcCumulativeDistribution(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPgetReadingTime(), SCIPvarCalcDistributionParameters(), sdGetSdPcMw(), searchEcAggrWithCliques(), selectShifting(), separatePerspective(), solveAndEvalSubscip(), solveSingleRowLP(), sortGenVBounds(), transformAndSolve(), transformColumn(), tryFillNlhdlrExprDataQuad(), updateBestCandidate(), updatePartition(), upgradeLinearSuperindicator(), polyscip::doubledescription::V_RepT::V_RepT(), varMayRoundDown(), and varMayRoundUp().
◆ SCIPisIntegral()
checks, if value is integral within epsilon
- Parameters
-
scip SCIP data structure val value to process
Definition at line 587 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(), createVariables(), 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 599 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 612 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 624 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 636 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 648 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 660 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 672 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 685 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 698 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 711 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 724 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 737 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 749 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 761 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 773 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(), redcosts_forLPareReliable(), redcosts_forLPget(), 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(), sep_flowTermIn(), 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 786 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(), markPseudoDeletablesFromBounds(), optimize(), performImplicationGraphAnalysis(), performStrongbranchSOS1(), preprocessConstraintPairs(), propagateCons(), propagateCutoffboundBinvar(), propagateLowerboundBinvar(), propagateLowerboundVar(), propagateRedcostVar(), propVariableNonzero(), reduceWithEdgeFixingBounds(), reduceWithNodeFixingBounds(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPperformGenericDivingAlgorithm(), SCIPprobdataUpdateDualbound(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximatelyLT(), sepaImplBoundCutsSOS1(), separateIISRounding(), separateMcCormickImplicit(), sepaspecial_vtimplicationsSeparate(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscipRapidlearning(), setupProblem(), solvePricingHeuristic(), tightenCoefs(), tightenVarsBoundsSOS1(), tryFixVar(), updateArcData(), updateImplicationGraphSOS1(), updateNodeReplaceBounds(), 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 799 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(), 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 812 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(), reduce_da(), reduceRootedProb(), 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(), sep_flowIn(), sepaImplBoundCutsSOS1(), separateCons(), separateCuts(), separateSupLiftedMinimalCoverInequality(), sepaspecial_pacliquesSeparate(), sepaspecial_pcimplicationsSeparate(), 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 825 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(), lpcutAdd(), mincut_separateLp(), mincutFree(), mincutPrepareForLp(), 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(), sepaspecial_pcimplicationsSeparate(), setObjective(), shiftValues(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), tryToInsert(), updateBestCandidate(), updateBilinearRelaxation(), updateNodeReplaceBounds(), 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 838 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(), redcosts_forLPareReliable(), redcosts_forLPget(), 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 850 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 862 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(), sep_flowBalance(), sep_flowEdgeOut(), 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 874 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 886 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 898 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 910 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 922 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 934 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 946 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 959 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 972 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 985 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 998 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 1011 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasZero(), and Scip::set.
Referenced by computeStandardLPFeasibilityCut(), countNonZeroRootRedcostVars(), createRows(), determineVariableFixings(), getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), propdataInit(), redcosts_forLPareReliable(), and redcosts_forLPget().
◆ SCIPisDualfeasPositive()
checks, if value is greater than dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1023 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasPositive(), and Scip::set.
Referenced by getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), redcosts_forLPareReliable(), and redcosts_forLPget().
◆ SCIPisDualfeasNegative()
checks, if value is lower than -dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1035 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasNegative(), and Scip::set.
Referenced by getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), redcosts_forLPareReliable(), and redcosts_forLPget().
◆ SCIPisDualfeasIntegral()
checks, if value is integral within the LP dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1047 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 1059 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 1071 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 1083 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 1095 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 1107 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 1121 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 1136 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 1149 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 1162 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 1175 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 1188 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 1201 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 1214 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 1227 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 1240 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 1253 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 1266 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 1281 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 1297 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 1321 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 370 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 397 of file scip_numerics.c.
References NULL, SCIPinfinity(), SCIPstrToRealValue(), and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPRPARSE(), and SCIPprocessShellArguments().