methods used by the majority of operations involving floating-point computations in SCIP
returns value treated as zero
scip | SCIP data structure |
Definition at line 137 of file scip_numerics.c.
References assert(), NULL, and SCIPsetEpsilon().
Referenced by addCut(), addCuts(), bilinboundGetScore(), checkRedundancySide(), computeFixingOrder(), computeMIREfficacy(), computeVertexPolyhedralFacetLP(), consEnfo(), convertUnaryEquality(), createCGCutCMIR(), createCGCutStrongCG(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutsTransformKnapsackCover(), cutsTransformStrongCG(), dualPresolve(), estimateBivariateQuotient(), estimateConvexSecant(), estimateGradient(), estimateUnivariateQuotient(), evaluateCutNumerics(), forwardPropExpr(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), normalizeCons(), prettifyConss(), removeZeros(), removeZerosQuad(), reverseProp(), rowprepCleanupSide(), SCIP_DECL_CONSENFOLP(), 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(), SCIPscaleupRowprep(), SCIPseparateRelaxedKnapsack(), SCIPtightenExprIntervalNonlinear(), scoreBranchingCandidates(), scoring(), transformNonIntegralRow(), and useBilinIneqs().
returns value treated as zero for sums of floating point values
scip | SCIP data structure |
Definition at line 151 of file scip_numerics.c.
References assert(), NULL, and SCIPsetSumepsilon().
Referenced by addCut(), addCuts(), addLocalbranchingConstraintAndObjcutoff(), calculateCutoffScore(), calculateRelCutoffScore(), calculateScoreFromDeeperscore(), calculateScoreFromDeeperscoreAndCutoffs(), calculateScoreFromResult(), calculateScoreFromResult2(), chooseVeclenVar(), createCGCutCMIR(), createCGCutStrongCG(), createNLP(), createSubproblem(), cutsTransformMIR(), cutTightenCoefs(), cutTightenCoefsQuad(), doSolveSubMIP(), evaluateCutNumerics(), generateDisjCutSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getVectorOfWeights(), initializeCandsLists(), penaliseWithParallelism(), postprocessCut(), postprocessCutQuad(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPaggrRowRemoveZeros(), SCIPcalcFlowCover(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcutGenerationHeuristicCMIR(), SCIPincludeHeurGins(), SCIPincludeHeurMutation(), scoring(), setupAndSolveSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipMutation(), setupSubScip(), setupSubScip(), setupSubScip(), solveCoveringProblem(), transformNonIntegralRow(), wrapperDins(), and wrapperRins().
returns feasibility tolerance for constraints
scip | SCIP data structure |
Definition at line 165 of file scip_numerics.c.
References assert(), NULL, and SCIPsetFeastol().
Referenced by adjustCutoffbound(), analyzeConflict(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), analyzeGenVBoundConflict(), applyNlobbt(), applyObbtBilinear(), calcScore(), checkCons(), checkCons(), checkCons(), computeInteriorPoint(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeVertexPolyhedralFacetLP(), cutTightenCoefs(), cutTightenCoefsQuad(), displayRelevantStats(), doSeparation(), enforceConflictgraph(), enforceExpr(), getBranchingDecisionStrongbranchSOS1(), getNLPFracVars(), isConsViolated(), normalizeCons(), performStrongbranchSOS1(), postprocessCut(), postprocessCutQuad(), prepareLiftingData(), presolveRedundantConss(), prettifyConss(), proposeFeasibleSolution(), rangedRowPropagation(), readLIBSVM(), resolvePropagation(), reversePropBilinear(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINIT(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIPapplyProximity(), SCIPcomputeFacetVertexPolyhedralNonlinear(), SCIPgenerateAndApplyBendersOptCut(), SCIPprocessRowprepNonlinear(), SCIPprocessShellArguments(), SCIPsolveKnapsackApproximatelyLT(), SCIPvalidateSolve(), separateCuts(), separateCuts(), separateCuts(), sepaSubtour(), setupAndSolveSubscip(), simplifyInequalities(), and solveSubNLP().
returns primal feasibility tolerance of LP solver
returns primal feasibility tolerance of LP solver
scip | SCIP data structure |
Definition at line 181 of file scip_numerics.c.
References assert(), NULL, and SCIPgetLPFeastol().
returns feasibility tolerance for reduced costs
scip | SCIP data structure |
Definition at line 195 of file scip_numerics.c.
References assert(), NULL, and SCIPsetDualfeastol().
Referenced by applyObbt(), computeInteriorPoint(), createGenVBound(), includeVarGenVBound(), SCIPincludeHeurSubNlp(), and separateCuts().
returns convergence tolerance used in barrier algorithm
scip | SCIP data structure |
Definition at line 209 of file scip_numerics.c.
References assert(), NULL, and SCIPsetBarrierconvtol().
return the cutoff bound delta
scip | SCIP data structure |
Definition at line 223 of file scip_numerics.c.
References assert(), NULL, and SCIPsetCutoffbounddelta().
Referenced by checkParallelObjective(), updateCutoffbound(), and updateObjUpperbound().
return the relaxation primal feasibility tolerance
scip | SCIP data structure |
Definition at line 238 of file scip_numerics.c.
References assert(), NULL, and SCIPsetRelaxfeastol().
SCIP_RETCODE SCIPchgFeastol | ( | SCIP * | scip, |
SCIP_Real | feastol ) |
sets the feasibility tolerance for constraints
scip | SCIP data structure |
feastol | new feasibility tolerance for constraints |
Definition at line 253 of file scip_numerics.c.
References assert(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPsetSetFeastol().
Referenced by displayRelevantStats(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PARAMCHGD(), and SCIPvalidateSolve().
SCIP_RETCODE SCIPchgLpfeastol | ( | SCIP * | scip, |
SCIP_Real | lpfeastol, | ||
SCIP_Bool | printnewvalue ) |
sets the primal feasibility tolerance of LP solver
sets the primal feasibility tolerance of LP solver
scip | SCIP data structure |
lpfeastol | new primal feasibility tolerance of LP solver |
printnewvalue | should "numerics/lpfeastol = ..." be printed? |
Definition at line 273 of file scip_numerics.c.
References NULL, SCIP_OKAY, SCIP_VERBLEVEL_HIGH, SCIPsetLPFeastol(), and SCIPverbMessage().
SCIP_RETCODE SCIPchgDualfeastol | ( | SCIP * | scip, |
SCIP_Real | dualfeastol ) |
sets the feasibility tolerance for reduced costs
scip | SCIP data structure |
dualfeastol | new feasibility tolerance for reduced costs |
Definition at line 294 of file scip_numerics.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_OKAY, SCIPsetDualfeastol(), and SCIPsetSetDualfeastol().
Referenced by applyObbt(), and SCIP_DECL_PARAMCHGD().
SCIP_RETCODE SCIPchgBarrierconvtol | ( | SCIP * | scip, |
SCIP_Real | barrierconvtol ) |
sets the convergence tolerance used in barrier algorithm
scip | SCIP data structure |
barrierconvtol | new convergence tolerance used in barrier algorithm |
Definition at line 319 of file scip_numerics.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_LPALGO_BARRIER, SCIP_LPALGO_BARRIERCROSSOVER, SCIP_OKAY, SCIPsetBarrierconvtol(), and SCIPsetSetBarrierconvtol().
Referenced by SCIP_DECL_PARAMCHGD().
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).
scip | SCIP data structure |
relaxfeastol | new primal feasibility tolerance of relaxations |
Definition at line 352 of file scip_numerics.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPsetSetRelaxfeastol(), and TRUE.
Referenced by applyObbtBilinear().
void SCIPmarkLimitChanged | ( | SCIP * | scip | ) |
marks that some limit parameter was changed
scip | SCIP data structure |
Definition at line 366 of file scip_numerics.c.
References assert(), NULL, and SCIPsetSetLimitChanged().
Referenced by SCIP_DECL_PARAMCHGD().
returns value treated as infinity
scip | SCIP data structure |
Definition at line 510 of file scip_numerics.c.
References assert(), NULL, and SCIPsetInfinity().
Referenced by ObjPricerVRP::add_tour_variable(), addAltLPConstraint(), addAuxiliaryVariablesToMaster(), addBranchingComplementaritiesSOS1(), addBranchingDecisionConss(), addConflictBounds(), addCut(), addCut(), addCut(), addCut(), addCut(), addExtendedAsymmetricFormulation(), addKnapsackConstraints(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLogicOrConstraints(), addNlrow(), addNlrow(), addNlrow(), addObjCutoff(), addOrbisackCover(), addOrbisackInequality(), addOrbitopesDynamic(), addPathCuts(), addRegularScholtes(), addRelaxation(), addRow(), addScenarioVarsAndConsToProb(), addSetppcConstraints(), addSlackVars(), addSSTConssOrbitAndUpdateSST(), addStrongSBCsSubgroup(), addSubtourCuts(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), addSymresackInequality(), addTourCuts(), addTrustRegionConstraints(), addVariable(), addWeakSBCsSubgroup(), aggregateConstraints(), aggregateGeneratedCuts(), aggregation(), aggregation(), analyzeViolation(), applyCliqueFixings(), applyFixings(), applyFixings(), applyFixings(), applyHeur(), applyObbtBilinear(), applyOptcumulativeFixings(), areCoefsNumericsGood(), assignNextBin(), branchingDecisionInit(), branchingResultDataInit(), buildMod2Matrix(), calcActivityBounds(), calcMaxColActivity(), calcMinColActivity(), calcMinColActResidual(), calculateBounds(), calculateWeightedGain(), calcVarBoundsDominated(), calcVarBoundsDominating(), chgLhs(), chgLhs(), chgLhs(), chgRhs(), chgRhs(), chgRhs(), chooseFracVar(), chooseGuidedVar(), computeConvexEnvelopeFacet(), computeCut(), computeFixingOrder(), computeIntercut(), computeLiftingData(), computeProjectionScore(), computeRestrictionToRay(), computeRltCut(), computeRoot(), computeRoot(), computeStandardNLPOptimalityCut(), computeVarsCoverSOS1(), computeVertexPolyhedralFacetLP(), computeViolation(), consdataComputePseudoActivity(), consdataCreate(), consdataCreate(), consdataCreate(), consdataGetActivity(), consdataGetFeasibility(), consdataRecomputeMaxActivityDelta(), consdataTightenCoefs(), consdataUpdateAddCoef(), constructCompression(), constructCompression(), constructCutRow(), convertLongEquality(), CREATE_CONSTRAINT(), createAndAddLinearCons(), createAuxiliaryNonlinearSubproblem(), createAuxVar(), createBlockproblem(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createConstraint(), createConstraints(), createCoverCutsTimepoint(), createCoveringProblem(), createDepthinfo(), createDisaggrRow(), createDisaggrVars(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createMasterproblem(), createNAryBranch(), createNLP(), createObjRow(), createOriginalproblem(), createPartitionCut(), createPatternVars(), createPrecedenceCons(), createProbOnlyEdge(), createProbQP(), createProbSimplified(), createProbSimplifiedTest(), createRelaxation(), createRelaxation(), createRelaxation(), createRelaxation(), createRow(), createRow(), createRow(), createScenarioData(), createSubproblem(), createSubproblems(), createSubSCIP(), createSubscip(), createVarboundCons(), createVarUbs(), determineBoundForSNF(), dualBoundStrengthening(), dualPresolve(), dualPresolve(), dualPresolving(), dualPresolving(), AMPLProblemHandler::EndInput(), enforceCardinality(), enforceConflictgraph(), estimateBivariateQuotient(), estimateUnivariateQuotient(), execmain(), execRelpscost(), executeBranching(), extendToCover(), extractLinearValues(), findBestObjectiveValue(), findDominancePairs(), findInsertionPoint(), findMonoidalQuadRoot(), findRho(), findRho(), fixVariable(), forbidCover(), fullDualPresolve(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), generateBoundInequalityFromSOS1Nodes(), generateCut(), generateDisjCutSOS1(), generateOddCycleCut(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBinaryProductExprDo(), getBoundConsFromVertices(), getBranchingDecisionStrongbranchSOS1(), getBranchingPrioritiesSOS1(), getClosestVlb(), getClosestVub(), getCurrentRegressionTangentAxisIntercept(), getExprAbsAuxViolation(), getExprAbsOrigViolation(), getGenVBoundsBound(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getImpliedBounds(), getImpliedBounds(), getLinearConsSides(), getMaxActivity(), getMaxObjPseudoactivityResidualValue(), getMinActivity(), getMinFeas(), getMinMaxActivityResiduals(), getNewSidesAfterAggregation(), getObjectiveFactor(), getOptimalShiftingValue(), getPotentialContributed(), getTimeLeft(), getVarBoundsOfRow(), getVarBoundsOfRow(), getVariable(), getVariable(), getVariableRedcostScore(), getVariableRedcostScore(), handleNlpParam(), initComponent(), initConshdlrData(), initEventhandlerData(), initializeCandsLists(), initLP(), initLP(), initMatrix(), initWorhp(), isValue(), isValue(), isValue(), isValue(), level2dataCreate(), LOPseparate(), maximalslack(), mod2MatrixTransformContRows(), moveVariable(), newsolCliqueAddRow(), nextBound(), nodepairqueueCreate(), AMPLProblemHandler::OnHeader(), AMPLProblemHandler::OnVarBounds(), parseType(), performStrongbranchWithPropagation(), preprocessConstraintPairs(), preprocessConstraintPairs(), presolStuffing(), presolveAddKKTKnapsackConss(), presolveAddKKTLinearCons(), presolveAddKKTLogicorConss(), presolveAddKKTSetppcConss(), prettifyConss(), printAndCons(), propagateCons(), propdataInit(), propdataInit(), propIndicator(), rangedRowPropagation(), readBounds(), readBounds(), readBounds(), readBounds(), readCnf(), readCols(), readConstraints(), readConstraints(), readConstraints(), readConstraints(), readIndicators(), readLIBSVM(), readObjective(), readObjective(), readOPBFile(), readQMatrix(), readRows(), readSol(), readSolFile(), readVariables(), readXmlSolFile(), reformulateFactorizedBinaryQuadratic(), relaxVar(), reoptimize(), resetSubproblemObjectiveValue(), runBenders(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DISPINITSOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINTEVAL(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINITSOL(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_NLPICREATEPROBLEM(), SCIP_DECL_NLPISOLVE(), SCIP_DECL_NLPISOLVE(), SCIP_DECL_NODESELSELECT(), SCIP_DECL_NODESELSELECT(), SCIP_DECL_NODESELSELECT(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PROPINIT(), SCIP_DECL_READERREAD(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_TABLEOUTPUT(), SCIPaddCoefLinear(), SCIPaddConflict(), SCIPaddNlpiProblemNlRows(), SCIPaddSymgraphEdge(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPaggrRowCancelVarWithBound(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPbendersComputeSubproblemLowerbound(), SCIPbendersSolveSubproblem(), SCIPbendersSolveSubproblemLP(), SCIPclassifyConstraintTypesLinear(), SCIPconsGetLhs(), SCIPconsGetRhs(), SCIPcopyConss(), SCIPcreateConsBasicSOC(), SCIPcreateConsBasicSOCNonlinear(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateConsLinear(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsSOC(), SCIPcreateNlpiProblemFromNlRows(), SCIPcreateSchedulingProblem(), SCIPcreateSymgraph(), SCIPcutGenerationHeuristicCMIR(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetConcurrentGap(), SCIPgetFirstLPLowerboundRoot(), SCIPgetLowerbound(), SCIPgetRowprepRowCons(), SCIPgetRowprepRowConshdlr(), SCIPgetRowprepRowSepa(), SCIPgetRowprepViolation(), SCIPgetUpperbound(), SCIPgetVarLbAtIndex(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarUbAtIndex(), SCIPincludeBenderscutInt(), SCIPincludeBranchrulePscost(), SCIPincludeConshdlrBenderslp(), SCIPincludeConshdlrNonlinear(), SCIPincludeHeurDualval(), SCIPincludeHeurFarkasdiving(), SCIPincludeHeurIndicator(), SCIPincludeHeurMpec(), SCIPincludeHeurMultistart(), SCIPincludeHeurProximity(), SCIPincludeHeurSubNlp(), SCIPincludeNlhdlrQuadratic(), SCIPincludeNlhdlrSoc(), SCIPincludePropNlobbt(), SCIPincludeSepaEccuts(), SCIPmatrixCreate(), SCIPmatrixRemoveColumnBounds(), SCIPnlpiOracleAddConstraints(), SCIPnlpiOracleAddVars(), SCIPnlpiOracleChgConsSides(), SCIPnlpiOracleChgVarBounds(), SCIPparseReal(), SCIPperformGenericDivingAlgorithm(), SCIPpruneTree(), SCIPreadOpb(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPsolveProbingRelax(), SCIPsyncstoreGetLastLowerbound(), SCIPsyncstoreGetLastUpperbound(), SCIPsyncstoreStartSync(), SCIPtreemodelSelectCandidate(), SCIPupdateNlpiProblem(), SCIPverifyCircularPatternNLP(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), scoreBranchingCandidates(), selectEssentialRounding(), selectEssentialRounding(), selectEssentialRounding(), selectRounding(), selectShifting(), selectShifting(), selectVarMultAggrBranching(), selectVarRecursive(), sepaImplBoundCutsSOS1(), separateCons(), separateCoverCutsCons(), separateCoversOrbisack(), separateCuts(), separateCuts(), separateIndicators(), separateMcCormickImplicit(), separatePerspective(), separateSCIs(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), sepaSubtour(), setupAndSolve(), setupAndSolve(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupProblem(), setupProblem(), setupProblem(), setupProblem(), setupProblem(), setupSubScip(), setupSubScip(), solveBendersSubproblems(), solveComponent(), solvePricingMINLP(), solveSingleRowLP(), sortVariables(), storeSolution(), subtreeSumGapRemoveNode(), switchNext(), tightenBounds(), tightenSides(), tightenVarsBoundsSOS1(), transformColumn(), transformVariable(), tryFillNlhdlrExprDataQuad(), tryUpgradingLogicor(), tryUpgradingSetppc(), updateActivities(), updateActivities(), updateActivities(), updateAuxiliaryNonlinearSubproblem(), updateBestCandidate(), updateBounds(), updateRowActivities(), updateTransformation(), upgradeLinearSuperindicator(), writeFzn(), and writeOpbConstraints().
returns the minimum value that is regarded as huge and should be handled separately (e.g., in activity computation)
scip | SCIP data structure |
Definition at line 547 of file scip_numerics.c.
References assert(), NULL, and SCIPsetGetHugeValue().
Referenced by addCut(), addCutPool(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), getDualBranchscore(), getMaxActivity(), getMinActivity(), resolvePropagation(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_NLHDLRSOLLINEARIZE(), and SCIPcalcStrongCG().
checks, if values are in range of epsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 445 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsEQ().
Referenced by addAltLPColumn(), addAltLPConstraint(), addAltLPRow(), addCoefTerm(), addConflictBounds(), addConflictFixedVars(), addConflictReasonVars(), addExprsViolScore(), addExpSecant(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLogSecant(), addLowerBound(), addOneRow(), addPathCuts(), addSplitcons(), addSubtourCuts(), addSymmetryInformation(), addSymmetryInformation(), addTourCuts(), addUpperBound(), adjustCutoffbound(), aggregateConstraints(), aggregateNextRow(), aggregateVariables(), analyseVarOnoffBounds(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), applyFixings(), applyFixings(), applyFixings(), applyFixings(), applyFixings(), applyObbt(), applySeparation(), areBoundsChanged(), assignVars(), branchOnBin(), buildMod2Matrix(), calcGap(), calcPscostQuot(), calcPscostQuot(), calculateAlternatives(), cancelCol(), cancelRow(), catchEvent(), catchEvent(), checkConsnames(), checkConsnames(), checkConsnames(), checkEqualObjective(), checkExec(), checkIISlocal(), checkParallelObjective(), checkParallelObjective(), checkPartialObjective(), checkSignomialBounds(), checkSolution(), checkSystemGF2(), chgLhs(), chgLhs(), chgLhs(), chgRhs(), chgRhs(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), collectBranchingCandidates(), combineCols(), compareNodes(), componentSetupWorkingSol(), computeBilinEnvelope2(), computeConvexEnvelopeFacet(), computeCut(), computeCutsAbs(), computeEstimatorsTrig(), computeImpliedEst(), computeImpliedLct(), computeInitialCutsTrig(), computeLeftSecantSin(), computeProjectionScore(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeRightSecantSin(), computeRltCut(), computeSecant(), computeSignpowerRoot(), computeSolTangentSin(), computeSVTS(), computeVarRatio(), computeVertexPolyhedralFacetLP(), consdataCreate(), consdataCreate(), consdataCreateRedundant(), consdataFree(), consdataPrint(), consdataPrint(), consdataTightenCoefs(), consdataUpdateDelCoef(), consPrintConsSol(), constructCompression(), constructValidSolution(), convertBinaryEquality(), convertBoundToInt(), convertEquality(), convertLongEquality(), convertUnaryEquality(), correctLocksAndCaptures(), createAltLPColumn(), createAltLPColumn(), createAndAddLinearCons(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createCGMIPprimalsols(), createSubproblem(), createSubscip(), DECL_TIMESERIESUPDATE(), detectDominatingVlbs(), detectDominatingVubs(), detectParallelCols(), detectRedundantConstraints(), determineBestBounds(), determineBoundForSNF(), determineTotalNumberLinearConss(), displayRelevantStats(), dropEvent(), dropEvent(), dualBoundStrengthening(), dualPresolve(), dualPresolve(), estimateBivariateQuotient(), estimateConvexSecant(), estimateUnivariateQuotient(), evaluateAggrCand(), extractCapacityRows(), extractCliques(), extractCycle(), extractFlowRows(), findAggregation(), findDominancePairs(), findFixings(), findNonDominatedVars(), findRho(), findRho(), fixAndPropagate(), fixMatchingSolutionValues(), fixMatchingSolutionValues(), fixVariables(), forbidFixation(), fullDualPresolve(), getBinVarsRepresentatives(), getGenVBoundsMinActivityConflict(), getRandomVariable(), getReward(), getReward(), getScore(), getScoreOfFarkasDiving(), getVariablePscostScore(), getVariablePscostScore(), handleNlpParam(), impliesVlbPrecedenceCondition(), improvePoint(), initCurrent(), isBinaryProduct(), isCandidate(), isEvenOperator(), isIntervalBetter(), isNonstandardPerm(), isPartition(), isRangedRow(), isSingleLockedCand(), nodeGetUctScore(), normalizeCons(), parseConstantArrayAssignment(), parseValue(), performBranchingNoSol(), performBranchingSol(), performDualfix(), preprocessConstraintPairs(), preprocessConstraintPairs(), presolRoundIndicator(), presolStuffing(), presolveImplint(), presolveSingleLockedVars(), prettifyConss(), printActiveVariables(), printBoundSection(), printLinearCons(), printLinearCons(), printLinearCons(), printNonLinearCons(), printNonlinearCons(), printNonlinearCons(), printQuadraticCons(), printQuadraticCons(), printRangeSection(), printRowType(), processRealBoundChg(), propagateCons(), propagateCons(), propagateRedcostVar(), propagateVbounds(), propIndicator(), rangedRowPropagation(), raysAreDependent(), readConstraints(), readRanges(), registerBranchingCandidates(), registerBranchingCandidatesAllUnfixed(), removeZeros(), removeZerosQuad(), resolveGenVBoundPropagation(), resolvePropagation(), reuseSolution(), reversePropBinarySearch(), rowprepCleanupIntegralCoefs(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRDETECT(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPaddIneqBilinear(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPbendersSetupSubproblem(), SCIPchgVarObjProbing(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope2(), SCIPcomputeSymgraphColors(), SCIPcreateConsOrbitope(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPmatrixGetParallelCols(), SCIPmatrixGetParallelRows(), SCIPprocessRowprepNonlinear(), SCIPpropagateProbing(), SCIPsnprintfProbingStats(), SCIPsymEQ(), SCIPupgradeConsLinear(), SCIPvalidateSolve(), SCIPwriteGms(), SCIPwriteMps(), selectBranchVar(), selectShifting(), selectShifting(), selectVarRecursive(), separateCuts(), separateRltCuts(), setupAggregationData(), setupAndSolveSubscipRapidlearning(), simplifyInequalities(), solveComponent(), solveSingleRowLP(), storeSuitableRows(), strengthenVarbounds(), subtreeSumGapUpdate(), tightenAuxVarBounds(), tightenBounds(), tightenCoefs(), tightenVariables(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), tryAddGadgetSquaredDifference(), tryFillNlhdlrExprDataQuad(), tryUpgradingLogicor(), tryUpgradingXor(), updateBestCandidate(), updateBestCandidate(), updateBestCandidate(), updateBestCandidate(), updateDualVector(), updateFirstRow(), updateLogRegression(), updateObjectiveVector(), updateObjUpperbound(), updateVariableRounding(), upgradeConss(), varIsCenteredAt0(), varIsSemicontinuous(), varIsSemicontinuous(), while(), while(), while(), and writeFzn().
checks, if val1 is (more than epsilon) lower than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 458 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsLT().
Referenced by addBilinearTermToCut(), addCoef(), addConflictBounds(), addLowerBound(), addNodesInformation(), addScenarioVarsAndConsToProb(), addSplitcons(), alwaysLTshiftedVars(), analyseVarOnoffBounds(), analyzeConflictUpperbound(), applyDomainReductions(), assignNextBin(), branch(), branchOnVar(), buildMod2Matrix(), calcPscostQuot(), calcPscostQuot(), checkLeavesBelowIncumbent(), checkSetupTolerances(), chgLhs(), chgLhs(), chgProbingBound(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), combineCols(), compareConsnodes(), compareNodes(), compareSymgraphs(), compareVars(), compareVarsSignedPerm(), compensateVarLock(), componentSetupWorkingSol(), computeRevPropIntervalSin(), computeSCTable(), consdataTightenCoefs(), constructValidSolution(), createSubscip(), detectDominatingVlbs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), ensureScoresPresent(), evaluateLiftingFunction(), execRelpscost(), findBestUb(), findComponents(), findDominancePairs(), findNewBounds(), findNonDominatedVars(), generateZerohalfCut(), getAlphaAndBeta(), getFixVal(), getPartitionCovervars(), getScore(), impliesVlbPrecedenceCondition(), isPointFeasible(), l2BallProjection(), linfBallProjection(), maxCircles(), maximizeObjectiveSymresackStrict(), mod2matrixPreprocessRows(), normalizeCons(), performDualfix(), performRandRounding(), performStrongbranchWithPropagation(), predBndStr(), preprocessConstraintPairs(), preprocessConstraintPairs(), prettifyConss(), processBinvarFixings(), processRealBoundChg(), propagateCons(), propagateCutoffboundVar(), propagateLowerBoundVar(), propagateSelfReflectionVar(), propagateUpperBoundSymVar(), rangedRowPropagation(), rangedRowSimplify(), readBounds(), readBounds(), releaseNodeFromDepthInfo(), reoptimize(), resolveGenVBoundPropagation(), reversePropBinarySearch(), rowprepCleanupImproveCoefrange(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRINTEVAL(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddIneqBilinear(), SCIPaddRow(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgVarUbLazy(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPmakeSOS1sFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsymLT(), SCIPtreemodelSelectCandidate(), SCIPupdateDistributionScore(), separateCons(), separateCuts(), setupProblem(), simplifyInequalities(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveSingleRowLP(), startProbing(), tightenBounds(), tightenCoefs(), tightenVarBounds(), tightenVariables(), tightenVarUb(), transformAndSolve(), transformNonIntegralRow(), tryFillNlhdlrExprDataQuad(), updateBestCandidate(), updateBestCandidate(), updateObjUpperbound(), and while().
checks, if val1 is not (more than epsilon) greater than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 471 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsLE().
Referenced by addBilinearTermToCut(), addConstraint(), addExpSecant(), addLogLinearization(), addLogSecant(), addNewLocks(), addSplitcons(), addUpperBound(), aggregateConstraints(), analyzeGenVBoundConflict(), applyBoundChgs(), applyDomainReductions(), applyProbingVar(), assignVars(), checkExec(), checkImplicsApplied(), checkOrigPbCons(), checkSystemGF2(), chgLhs(), chgProbingBound(), chgRhs(), chooseDoubleVar(), collectNonBinaryImplicationData(), combineCols(), compensateVarLock(), computeEstimatorsTrig(), computeInitialCutsTrig(), computeLeftSecantSin(), computeRightSecantSin(), computeVertexPolyhedralFacetUnivariate(), consdataCreateRedundant(), consdataGetReliableResidualActivity(), consdataPrint(), consdataTightenCoefs(), convertLongEquality(), correctLocksAndCaptures(), createBlockproblem(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), detectDominatingVubs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), dualPresolve(), enumeratePatterns(), estimateBivariate(), estimateUnivariate(), evaluateLiftingFunction(), filterCands(), filterPoints(), findBestUb(), findFixings(), findUplockAggregations(), getAlphaAndBeta(), getFixingValue(), getFixVal(), getGMIFromRow(), getGMIFromRow(), getImpliedBounds(), getImpliedBounds(), getNCircles(), getNewSidesAfterAggregation(), hasBetterRatio(), heurExec(), impliesVlbPrecedenceCondition(), indicatorVarIsInteresting(), initCurrent(), initsepaBoundInequalityFromCardinality(), isEvenOperator(), isOverlapping(), l1BallProjection(), lockRoundingAndCons(), normalizeCons(), performDualfix(), performStrongbranchWithPropagation(), predBndStr(), preprocessConstraintPairs(), presolStuffing(), processNLPSol(), projectVbd(), propagateCons(), propagateCons(), propagateLowerbound(), rangedRowPropagation(), rangedRowSimplify(), removeOldLocks(), resolveGenVBoundPropagation(), reversePropBinarySearch(), sampleRandomPoints(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddBilinMcCormick(), SCIPaddSquareSecant(), SCIPanalyzeDeductionsProbing(), SCIPapplyProbingVar(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPprintSolutionStatistics(), SCIPseparateRelaxedKnapsack(), SCIPsymLE(), scoring(), searchEcAggrWithMIP(), selectNextDiving(), separateCuts(), separateCuts(), separateCuts(), setSymmetryData(), setupAndSolveSubscipRapidlearning(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveSingleRowLP(), solveSubNLP(), subtreeSumGapRemoveNode(), tightenBounds(), tightenCoefs(), tightenVarBounds(), tightenVarBoundsEasy(), transformVariable(), tryFillNlhdlrExprDataQuad(), tryUpgradingSetppc(), unlockRoundingAndCons(), updateBestCandidate(), updateDualBounds(), updateTransformation(), upgradeConss(), upgradeLinearSuperindicator(), while(), and while().
checks, if val1 is (more than epsilon) greater than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 484 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsGT().
Referenced by addBilinearTermToCut(), addBranchingComplementaritiesSOS1(), addCoef(), addConflictBounds(), addGenVBound(), addPathCuts(), addRelaxation(), addSplitcons(), addSubtourCuts(), addTourCuts(), aggregateNextRow(), analyseVarOnoffBounds(), analyzeConflictLowerbound(), applyDomainReductions(), applyNlobbt(), applyProbingVar(), assignNextBin(), branchOnVar(), calcPscostQuot(), calcPscostQuot(), canGTshiftedVars(), checkCons(), checkDivingCandidates(), checkPackingPartitioningOrbitopeSolution(), checkSetupTolerances(), checkVarbound(), chgLhs(), chgProbingBound(), chgRhs(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), combineCols(), compareConsnodes(), compareNodes(), compareSymgraphs(), compareVars(), compareVarsSignedPerm(), compensateVarLock(), computeLiftingData(), computeNextAdjacency(), computePosRingCircle(), computeRevPropIntervalSin(), computeSolTangentSin(), computeSVTS(), consdataCreate(), consdataCreate(), consdataCreate(), consdataTightenCoefs(), convertLongEquality(), createSubscip(), cutsTransformMIR(), cutTightenCoefs(), cutTightenCoefsQuad(), detectDominatingVubs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), enfopsPackingPartitioningOrbitopeSolution(), enumeratePatterns(), evaluateLiftingFunction(), execRelpscost(), extractCycle(), filterWithDynamicParallelism(), findBestLb(), findInsertionPoint(), findNewBounds(), findNonDominatedVars(), generateLiftedFlowCoverCut(), generateZerohalfCut(), getAlphaAndBeta(), getFixVal(), getNCircles(), getObjectiveFactor(), getOptimalShiftingValue(), getScore(), getVarRank(), impliesVlbPrecedenceCondition(), improvePoint(), isPointFeasible(), l1BallProjection(), l2BallProjection(), linfBallProjection(), maximizeObjectiveSymresackCriticalEntry(), maximizeObjectiveSymresackStrict(), normalizeCons(), performRandRounding(), performStrongbranchWithPropagation(), preprocessConstraintPairs(), preprocessConstraintPairs(), presolStuffing(), printRangeSection(), printRowType(), processRealBoundChg(), propagateCons(), rangedRowPropagation(), rangedRowSimplify(), readBounds(), readBounds(), reformRowprep(), releaseNodeFromDepthInfo(), resolveGenVBoundPropagation(), reverseProp(), roundPartition(), rowprepCleanupImproveCoefrange(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRINTEVAL(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_RELAXEXEC(), SCIPaddRow(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPchgVarLbLazy(), SCIPcopyConsLinear(), SCIPcutsTightenCoefficients(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsymGT(), SCIPtreemodelSelectCandidate(), SCIPupdateDistributionScore(), selectVarRecursive(), separateCons(), separateCons(), separateCuts(), separatePerspective(), simplifyInequalities(), singletonColumnStuffing(), solveAndEvalSubscip(), solvePricingHeuristic(), startProbing(), storeAggrFromMIP(), tightenCoefs(), tightenSides(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVariables(), tightenVarLb(), transformAndSolve(), transformNonIntegralRow(), tryFillNlhdlrExprDataQuad(), updateBestCandidate(), updateBestCandidate(), updateSubproblemCutConstant(), and while().
checks, if val1 is not (more than epsilon) lower than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 497 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsGE().
Referenced by addBilinearTermToCut(), addNodesInformation(), addSplitcons(), aggregateGeneratedCuts(), analyzeGenVBoundConflict(), applyDomainReductions(), applyFixings(), applyProbingVar(), assignVars(), checkImplicsApplied(), checkSystemGF2(), checkVarbound(), chgProbingBound(), collectNonBinaryImplicationData(), combineCols(), computeCut(), computeLeftSecantSin(), computePosCircleCircle(), computePosRingCircle(), computeSolTangentSin(), computeSVTS(), computeVarRatio(), consdataCreateRedundant(), consdataTightenCoefs(), convertLongEquality(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), cutsTransformMIR(), cutTightenCoefsQuad(), detectDominatingVlbs(), dualPresolve(), dualPresolving(), estimateBivariate(), estimateUnivariate(), execRelpscost(), executeBranching(), executeBranchingRecursive(), filterWithDynamicParallelism(), findBestLb(), findDominancePairs(), findDownlockAggregations(), findFixings(), generateAndApplyBendersCuts(), generateLiftedFlowCoverCut(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getFixingValue(), getImpliedBounds(), getImpliedBounds(), getPartitionCovervars(), identifySourcesTargets(), impliesVlbPrecedenceCondition(), initCurrent(), isNlobbtApplicable(), isVlb(), isVub(), maximizeObjectiveSymresackStrict(), nodeGetUctScore(), performLPRandRounding(), performLPSimpleRounding(), performStrongbranchWithPropagation(), preprocessConstraintPairs(), prettifyConss(), propagateCons(), propagateCons(), propagateCutoffbound(), propagateCutoffboundGlobally(), rangedRowPropagation(), rangedRowSimplify(), resolveGenVBoundPropagation(), reuseSolution(), reversePropBinarySearch(), roundPartition(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_TABLEOUTPUT(), SCIPaddBilinMcCormick(), SCIPaddIneqBilinear(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyProbingVar(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPgetVarStrongbranchWithPropagation(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsolveDiveLP(), SCIPsolveKnapsackExactly(), SCIPsymGE(), SCIPtryStrongbranchLPSol(), SCIPupdateNodeLowerbound(), SCIPverifyCircularPatternHeuristic(), scoreContainerSetScore(), selectNextDiving(), selectVarMultAggrBranching(), selectVarRecursive(), separateCuts(), separateCuts(), setSymmetryData(), simplifyInequalities(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveProbingLP(), tightenCoefs(), updateBestCandidate(), updateMuSteplengthParam(), upgradeLinearSuperindicator(), and while().
checks, if value is (positive) infinite
scip | SCIP data structure |
val | value to be compared against infinity |
Definition at line 521 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsInfinity().
Referenced by addAltLPColumn(), addAltLPConstraint(), addAltLPRow(), addBilinearTermToCut(), addBranchingComplementaritiesSOS1(), addCoef(), addCols(), addConflictBounds(), addConstraint(), addCut(), addCut(), addCuts(), addExpLinearization(), addExprsViolScore(), addExpSecant(), addFacetToCut(), addGenVBound(), addLinearTermToCut(), addLocalbranchingConstraintAndObjcutoff(), addLocks(), addLogLinearization(), addLogSecant(), addNewLocks(), addObjcut(), addObjCutoff(), addOneRow(), addRelaxation(), addRltTerm(), addRow(), addRows(), addRowToCut(), addRowToCut(), addSignpowerRefpoints(), addSlackVars(), addSymmetryInformation(), addTangentRefpoints(), aggregateConstraints(), aggregateGeneratedCuts(), aggregateNextRow(), aggregateVariables(), aggregation(), analyzeConflictRangedRow(), analyzeGenVBoundConflict(), analyzeViolation(), applyBoundHeur(), applyFixings(), applyFixings(), applyGenVBound(), applyOptcumulative(), applyOrbitalBranchingPropagations(), applyOrbitalReductionPart(), applyRepair(), applyVboundsFixings(), branchingIntegralFirst(), buildMod2Matrix(), buildPowEstimator(), calcActivityBounds(), calcBranchScore(), calcBranchScore(), calcGap(), calcMaxColActivity(), calcMaxObjPseudoactivity(), calcMinColActivity(), calcMinColActResidual(), calcShiftVal(), calculateAlternatives(), calculateBounds(), calculateMinvalAndMaxval(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelCol(), cancelRow(), canonicalizeConstraints(), checkArraySizesGLS(), checkArraySizesHeur(), checkCands(), checkCons(), checkCons(), checkConsQuadraticProblem(), checkLogCriterion(), checkOptimalSolution(), checkOrigPbCons(), checkParallelObjective(), checkRedundancySide(), checkSignomialBounds(), checkSubproblemConvexity(), chgCoeffWithBound(), chgLhs(), chgLhs(), chgLhs(), chgQuadCoeffWithBound(), chgRhs(), chgRhs(), chgRhs(), choosePscostVar(), chooseRefpointsPow(), combineCols(), compareNodes(), compensateVarLock(), computeCut(), computeCut(), computeCutsAbs(), computeHyperplaneThreePoints(), computeIntercut(), computeIntersectionPoint(), computeIntersectionPoint(), computeLeftSecantSin(), computeLeftTangentSin(), computeLiftingData(), computeMaxViolation(), computeMIRForOptimalityCut(), computeNegCutcoefs(), computeRevPropIntervalSin(), computeRightSecantSin(), computeRightTangentSin(), computeRltCut(), computeSecant(), computeStandardIntegerOptCut(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeStandardNLPFeasibilityCut(), computeStandardNLPOptimalityCut(), computeStrengthenedIntercut(), computeSVTS(), computeVertexPolyhedralFacetLP(), computeVertexPolyhedralFacetUnivariate(), computeViolation(), consdataComputePseudoActivity(), consdataCreate(), consdataCreate(), consdataCreate(), consdataGetActivity(), consdataGetActivityResiduals(), consdataGetGlbActivityResiduals(), consdataGetReliableResidualActivity(), consdataPrint(), consdataPrint(), consdataRecomputeGlbMaxactivity(), consdataRecomputeGlbMinactivity(), consdataRecomputeMaxactivity(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMinactivity(), consdataTightenCoefs(), consdataUpdateActivities(), consdataUpdateActivitiesGlbLb(), consdataUpdateActivitiesGlbUb(), consdataUpdateActivitiesLb(), consdataUpdateActivitiesUb(), consdataUpdateAddCoef(), consPrintConsSol(), constructCutRow(), constructSNFRelaxation(), convertLongEquality(), correctLocksAndCaptures(), createAltLPColumn(), createAltLPColumn(), createAndAddLinearCons(), createBlockproblem(), createCGMIPprimalsols(), createGenVBound(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createLinking(), createLPWithHardCuts(), createLPWithSoftCuts(), createNLP(), createNormalizedKnapsack(), createProjRow(), createRows(), createSubproblem(), createSubscip(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutsTransformKnapsackCover(), cutsTransformMIR(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_TIMESERIESUPDATE(), detectHiddenProducts(), detectProductsUnconditional(), detectRedundantConstraints(), detectSocQuadraticSimple(), determineBestBounds(), determineBound(), determineBoundForSNF(), determineLimits(), determineLimits(), determineTotalNumberLinearConss(), determineVariableFixings(), determineVariableFixings(), determineVariableFixingsDecomp(), displayRelevantStats(), doPricing(), doSeachEcAggr(), doSolveSubMIP(), dualPresolve(), dualPresolve(), enforceExpr(), estimateConvexSecant(), estimateHyperbolaMixed(), estimateHyperbolaPositive(), estimateUnivariate(), estimateVertexPolyhedral(), estimateVertexPolyhedralProduct(), evalFunctionGradient(), evalFunctionValue(), evalPhiAtRay(), evaluateCutNumerics(), evaluateLiftingFunction(), extractCapacityRows(), extractCliques(), extractFlowRows(), extractLinearValues(), filterCands(), filterExistingLP(), findAndStoreEcAggregations(), findDownlockAggregations(), findFixings(), findMonoidalQuadRoot(), findPointPosition(), findRho(), findRho(), findUnlockedLinearVar(), findUplockAggregations(), fixNonNeighborhoodVariables(), fixVariable(), forwardPropExpr(), fullDualPresolve(), generateAndApplyBendersCuts(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAverageNBRay(), generateAverageRay(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateCut(), generateCut(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getBoundConsFromVertices(), getBranchingPrioritiesSOS1(), getClosestVlb(), getClosestVub(), getConsRelViolation(), getCopyMemlimit(), getCopyTimelimit(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getDomainCenter(), getFilterCoef(), getGenVBoundsBound(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getGMIFromRow(), getGMIFromRow(), getImpliedBounds(), getImpliedBounds(), getLinearCoeffs(), getMaxActivitySingleRowWithoutCol(), getMaxObjPseudoactivityResidual(), getMaxObjPseudoactivityResidualValue(), getMinActivitySingleRowWithoutCol(), getMinColActWithoutRow(), getMinMaxActivityResiduals(), getMinMaxActivityResiduals(), getNewSidesAfterAggregation(), getObjectiveFactor(), getOptimalShiftingValue(), getPotential(), getPotentialContributed(), getRelDistance(), getReward(), getReward(), getTimeLeft(), getVarBoundsOfRow(), getVarBoundsOfRow(), getVariableRedcostScore(), getVariableRedcostScore(), handleNewVariableCardinality(), handleNewVariableSOS1(), handleNlpParam(), hasUnfixedSCIndicator(), improvePoint(), initializeCandsLists(), initMatrix(), initsepaBoundInequalityFromCardinality(), initSolve(), initWorhp(), intEvalQuotient(), invertCommodity(), isCandidate(), isFiniteNonnegativeIntegral(), isNlobbtApplicable(), isPossibleToComputeCut(), isRangedRow(), isSingleLockedCand(), isZero(), lockRounding(), lockRoundingAndCons(), mod2MatrixTransformContRows(), modifyAndPackCut(), nodeGetSolvalBinaryBigMSOS1(), nodeGetUctScore(), nodepairqueueCreate(), normalizeCons(), AMPLProblemHandler::OnConBounds(), performBoundSubstitution(), performBoundSubstitutionSimple(), performDualfix(), performStrongbranchWithPropagation(), predBndStr(), preprocessConstraintPairs(), preprocessConstraintPairs(), presolStuffing(), presolve(), presolveAddKKTLinearCons(), presolveMergeConss(), presolveRedundantConss(), presolveSingleLockedVars(), prettifyConss(), printBounds(), printBoundSection(), printDualSol(), printIndicatorCons(), printLinearCons(), printLinearCons(), printLinearCons(), printLongStatistics(), printNonLinearCons(), printNonlinearCons(), printNonlinearCons(), printQuadraticCons(), printQuadraticCons(), printRangeSection(), printRhsSection(), printRow(), printRow(), printRowType(), printShortStatistics(), processHashlists(), processNlRow(), propagateCons(), propagateCutoffbound(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLowerbound(), propagateLowerboundBinvar(), propagateLowerboundVar(), propagateVbounds(), propConss(), propIndicator(), proposeFeasibleSolution(), rangedRowPropagation(), rangedRowSimplify(), rayInRecessionCone(), readBinaries(), readBounds(), readCols(), readConstraints(), readConstraints(), readIndicators(), readRanges(), readRhs(), registerBranchingCandidates(), relaxVar(), removeOldLocks(), removeZeros(), removeZerosQuad(), resolvePropagation(), resolvePropagation(), resolvePropagation(), retransformVariable(), rowCalculateGauss(), rowCalculateGauss(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowprepCleanupScaledown(), rowprepCleanupScaleup(), runBenders(), sampleRandomPoints(), scaleCons(), scaleConsSides(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRPARSE(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLPICHGCONSSIDES(), SCIP_DECL_NLPICHGVARBOUNDS(), SCIP_DECL_NLPISOLVE(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), 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(), SCIPcomputeSymgraphColors(), SCIPcopyConsLinear(), SCIPcopySymgraph(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateFiniteSolCopy(), SCIPcreateNlpiProblemFromNlRows(), SCIPcreateVar(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPgetExprRelAuxViolationNonlinear(), SCIPgetRowprepViolation(), SCIPgetSymActiveVariables(), SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPmakeIndicatorFeasible(), SCIPmatrixRemoveColumnBounds(), SCIPnlpiOracleEvalJacobian(), SCIPnlpiOraclePrintProblem(), SCIPnlpiOraclePrintProblemGams(), SCIPnlpiOracleSetObjective(), SCIPprintSolutionStatistics(), SCIPprintStage(), SCIProwCalcProbability(), SCIPscaleupRowprep(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximatelyLT(), SCIPsymEQ(), SCIPsymGE(), SCIPsymGT(), SCIPsymLE(), SCIPsymLT(), SCIPtightenExprIntervalNonlinear(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtransformProb(), SCIPtreemodelSelectCandidate(), SCIPvalidateSolve(), SCIPvarCalcDistributionParameters(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), scoreBranchingCandidates(), scoring(), selectBranchVar(), selectCandidateUsingSampling(), selectCandidateUsingSVTS(), selectShifting(), sepaImplBoundCutsSOS1(), separateCons(), separateCons(), separateCuts(), separateCuts(), separateMcCormickImplicit(), separatePerspective(), setAndUpdateCorePoint(), setSubscipLimits(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipMutation(), setupSubScip(), setupSubScip(), setupSubScip(), setVarToNearestBound(), simplifyInequalities(), singletonColumnStuffing(), solveClassification(), solveComponent(), solveCumulative(), solveIndependentCons(), solveLagromoryLP(), solveLPWithHardCuts(), solveMinIISC(), solveNlp(), solveSingleRowLP(), solveSubNLP(), solveSubproblem(), solveSubscip(), solveSubscip(), storeNonlinearConvexNlrows(), storeNonlinearConvexNlrows(), subtreeSumGapComputeFromScratchEfficiently(), subtreeSumGapUpdate(), TCLIQUE_NEWSOL(), termIsConvex(), tightenBounds(), tightenCoefs(), tightenSides(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVariables(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), transformAndSolve(), transformColumn(), transformNonIntegralRow(), transformValue(), transformVariable(), tryAddGadgetBilinearProductSignedPerm(), tryAddGadgetSquaredDifference(), tryFillNlhdlrExprDataQuad(), tryFixVar(), unboundedAuxiliaryVariables(), unlockRounding(), unlockRoundingAndCons(), updateActivities(), updateActivities(), updateActivities(), updateBestCandidate(), updateBestCandidate(), updateBestCandidate(), updateCutoffbound(), updateDualBounds(), updateImplicationGraphSOS1(), updateLagrangianValue(), updateObjectiveVector(), updateObjUpperbound(), updateRowActivities(), updateSlacks(), updateSubgradient(), updateSubproblemLowerbound(), updateTransformation(), updateViolations(), updateViolations(), updateWeightsTCliquegraph(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varIsCenteredAt0(), varProcessBoundChanges(), varProcessBoundChanges(), wrapperDins(), wrapperRins(), and writeFzn().
checks, if value is huge and should be handled separately (e.g., in activity computation)
scip | SCIP data structure |
val | value to be checked whether it is huge |
Definition at line 533 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsHugeValue().
Referenced by applyObbtBilinear(), areCoefsNumericsGood(), checkCons(), computeRestrictionToRay(), consdataGetActivityResiduals(), consdataGetGlbActivityResiduals(), consdataGetReliableResidualActivity(), consdataRecomputeGlbMaxactivity(), consdataRecomputeGlbMinactivity(), consdataRecomputeMaxactivity(), consdataRecomputeMinactivity(), consdataUpdateActivities(), convertLongEquality(), estimateBivariate(), estimateUnivariate(), fullDualPresolve(), getDualBranchscore(), improvePoint(), prepareCons(), rangedRowPropagation(), SCIP_DECL_PRESOLEXEC(), SCIPscaleupRowprep(), selectShifting(), separateCuts(), simplifyInequalities(), solveBilinearLP(), and updateBestCandidate().
checks, if value is in range epsilon of 0.0
scip | SCIP data structure |
val | value to process |
Definition at line 558 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsZero().
Referenced by addAltLPColumn(), addAltLPConstraint(), addBilinearTermToCut(), addCoef(), addCoefTerm(), addCols(), addConflictBounds(), addConflictBounds(), addFacetToCut(), addFlowrowToCommodity(), addGenVBound(), addLinearTermToCut(), addObjcut(), addRltTerm(), addRow(), addRows(), addSymmetryInformation(), addSymmetryInformation(), adjustCutoffbound(), aggregateConstraints(), aggregateGeneratedCuts(), aggregation(), applyFixings(), applyFixings(), applyFixings(), applyRepair(), branchOnBin(), buildConvexCombination(), buildMod2Matrix(), calcActivityBounds(), calcEfficacy(), calcEfficacyDenseStorageQuad(), calcEfficacyNormQuad(), calculateShift(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelCol(), cancelRow(), catchObjEvent(), checkCons(), checkDivingCandidates(), checkEqualObjective(), checkExec(), checkParallelObjective(), checkSolution(), chgCoefPos(), chgLhs(), chgRhs(), collectMaxactVar(), collectMinactImplicVar(), collectMinactImplicVars(), collectMinactVar(), collectNonBinaryVBoundData(), combineCols(), componentSetupWorkingSol(), computeCut(), computeHyperbolaRoot(), computeLeftSecantSin(), computeMonoidalQuadCoefs(), computePosRingCircle(), computeRestrictionToLine(), computeRestrictionToRay(), computeRightSecantSin(), computeSignpowerRoot(), computeSolTangentSin(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeStandardNLPFeasibilityCut(), computeStandardNLPOptimalityCut(), computeStrengthenedIntercut(), computeVarRatio(), computeVertexPolyhedralFacetBivariate(), consdataCreate(), consdataCreate(), consdataCreate(), consdataFree(), consdataGetReliableResidualActivity(), consdataTightenCoefs(), consdataUpdateAddCoef(), consdataUpdateDelCoef(), consEnfo(), convertLongEquality(), convertUnaryEquality(), correctLocksAndCaptures(), createAndAddAnds(), createAndAddLinearCons(), createGenVBound(), createMIP(), createNewSol(), createObjRow(), createProbSimplified(), createSubscip(), createVariables(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutsTransformKnapsackCover(), DECL_CURVCHECK(), delCoefPos(), detectHiddenProducts(), detectSocNorm(), detectSocQuadraticComplex(), detectSocQuadraticSimple(), determineBestBounds(), determineBound(), dropObjEvent(), ecaggrAddBilinTerm(), enforceConflictgraph(), enumeratePatterns(), estimateConvexSecant(), estimateGradient(), estimateHyperbolaMixed(), estimateHyperbolaPositive(), execRelpscost(), exprdataCreate(), extractCliques(), fillGlobalStartingData(), filterBounds(), filterExistingLP(), filterRound(), findMonoidalQuadRoot(), findRho(), findRho(), fixIntegerVariable(), fixVariableZero(), fixVariableZero(), fullDualPresolve(), generateAndApplyBendersCuts(), generateBoundInequalityFromSOS1Nodes(), generateCloseCutPoint(), generateClusterCuts(), generateCutSolDisagg(), generateCutSolSOC(), generateRowCardinality(), getActiveVar(), getBinVarsRepresentatives(), getBoundConsFromVertices(), getDualBranchscore(), getFeasiblePointsBilinear(), getGMIFromRow(), getGMIFromRow(), getMaxactImplicObjchg(), getMinactImplicObjchg(), getObjectiveFactor(), getOptimalShiftingValue(), getPotential(), getPotentialContributed(), getScore(), handleNewVariableCardinality(), handleNewVariableSOS1(), improvePoint(), initCurrent(), insertRayEntries(), intercutsComputeCommonQuantities(), isPartition(), isSingleLockedCand(), lockRounding(), mergeMultiples(), mod2MatrixAddOrigRow(), mod2MatrixAddTransRow(), mod2matrixPreprocessColumns(), mod2matrixRemoveRow(), mod2rowAddRow(), modifyAndPackCut(), nodepairqueueCreate(), normalizeCons(), objimplicsCreate(), optimize(), performDualfix(), performStrongbranchSOS1(), permuteStartSolution(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundSOS2(), presolStuffing(), printActiveVariables(), printBoundSection(), printDualSol(), printLinearRow(), printNLRow(), printRhsSection(), printRow(), printRow(), printRow(), printRow(), propagateCons(), propagateCutoffbound(), propagateCutoffboundBinvar(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLowerbound(), propagateLowerboundVar(), propdataInit(), propIndicator(), proposeFeasibleSolution(), rangedRowPropagation(), raysAreDependent(), raysAreDependent(), readBounds(), readCoefficients(), readCoefficients(), readCoefficients(), readCols(), readObjective(), readOPBFile(), readRhs(), reformRowprep(), reformulateFactorizedBinaryQuadratic(), resolvePropagation(), resolvePropagation(), resolvePropagation(), rowprepCleanupIntegralCoefs(), rowprepCleanupSide(), scaleCons(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRBWDIFF(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_READERREAD(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefLinear(), SCIPaddCoefPseudoboolean(), SCIPaddRow(), SCIPaddSymgraphVarAggregation(), SCIPaddVarVlb(), SCIPaddVarVub(), SCIPaggrRowAddObjectiveFunction(), SCIPanalyzeDeductionsProbing(), SCIPapplyProximity(), SCIPbendersSetupSubproblem(), SCIPchgCoefLinear(), SCIPchgReoptObjective(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope1(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsOrbitope(), SCIPcreateNlpiProblemFromNlRows(), SCIPestimateRoot(), SCIPgetVectorEfficacyNorm(), SCIPisObjIntegral(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPreduceMatrixSize(), SCIPupgradeConsLinear(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectShifting(), selectShifting(), setupAggregationData(), setupSubproblem(), simplifyInequalities(), solCutIsViolated(), solveBilinearLP(), solveClassification(), solveMinIISC(), solveSingleRowLP(), solveSubNLP(), sparsifyIntercut(), storeAggrFromMIP(), storeCutInArrays(), switchNext(), termIsConstant(), tightenCoefs(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), tryAddGadgetBilinearProductSignedPerm(), tryAddGadgetEvenOperatorSum(), tryAddGadgetEvenOperatorVariable(), tryFillNlhdlrExprDataQuad(), tryUpgradingXor(), unlockRounding(), updateBilinearRelaxation(), updateMIP(), updateObjectiveVector(), updateSlacks(), updateSubgradient(), upgradeConss(), while(), writeFzn(), and writeOpbObjective().
checks, if value is greater than epsilon
scip | SCIP data structure |
val | value to process |
Definition at line 570 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsPositive().
Referenced by addBilinearTermToCut(), addCoefTerm(), addConflictBinvar(), addPathCuts(), aggregateConstraints(), applyAlternativeBoundsBranching(), calcMaxObjPseudoactivity(), calculateShift(), checkParallelObjective(), checkRedundancySide(), checkSignomialBounds(), chgCoefPos(), chgLhs(), chgLhs(), chgRhs(), chgRhs(), collectMaxactVar(), combineCols(), computeCutsAbs(), computeNextAdjacency(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), consEnfo(), convertLongEquality(), createAndAddLinearCons(), createCGCutDirect(), createMIP(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), detectSocQuadraticSimple(), dfs(), doSeparation(), dualBoundStrengthening(), dualPresolve(), dualPresolve(), estimateSignedpower(), evaluateLiftingFunctionKnapsack(), extractCapacityRows(), extractCliques(), extractFlowRows(), filterRound(), findFixings(), fixIntegerVariable(), fixVariableZero(), fixVariableZero(), fullDualPresolve(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateRowCardinality(), getBranchingDecisionStrongbranchSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getScoreOfFarkasDiving(), initData(), isCandidate(), l1BallProjection(), lockRoundingAndCons(), nodepairqueueCreate(), normalizeCons(), optimize(), performDualfix(), permuteStartSolution(), predBndStr(), preprocessConstraintPairs(), preprocessConstraintPairs(), presolStuffing(), propagateCons(), propagateLowerboundBinvar(), propIndicator(), proposeFeasibleSolution(), rangedRowSimplify(), resolveGenVBoundPropagation(), resolvePropagation(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLREVALAUX(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPapplyLockFixings(), SCIPbendersSolSlackVarsActive(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPchgReoptObjective(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPupdateStartpointHeurSubNlp(), SCIPupgradeConsLinear(), searchEcAggrWithCliques(), selectInitialVariableRandomly(), selectShifting(), selectShifting(), separateCuts(), separateCuts(), separatePerspective(), setUpEvents(), solveAndEvalSubscip(), solveLagrangianDual(), solveSingleRowLP(), sortGenVBounds(), tightenVarBoundsEasy(), transformAndSolve(), unlockRoundingAndCons(), updateMuSteplengthParam(), upgradeLinearSuperindicator(), varMayRoundDown(), and varMayRoundUp().
checks, if value is lower than -epsilon
scip | SCIP data structure |
val | value to process |
Definition at line 582 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsNegative().
Referenced by addConflictBinvar(), adjustCutoffbound(), applyAlternativeBoundsBranching(), applyFixings(), calcBranchScore(), calcBranchScore(), calcMaxObjPseudoactivity(), calculateShift(), checkLogCriterion(), checkParallelObjective(), chgCoefPos(), collectMinactVar(), combineCols(), computeCut(), computeCutsAbs(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeTangent(), computeVertexPolyhedralFacetBivariate(), convertLongEquality(), copySofttimelimit(), createMIP(), createVarUbs(), cutTightenCoefs(), cutTightenCoefsQuad(), detectSocNorm(), detectSocQuadraticSimple(), determineBestBounds(), dualPresolve(), dualPresolve(), dualPresolving(), extractCapacityRows(), extractNodes(), fillGlobalStartingData(), filterRound(), findFixings(), fixIntegerVariable(), fixVariableZero(), fixVariableZero(), fullDualPresolve(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateDisjCutSOS1(), generateRowCardinality(), getScoreOfFarkasDiving(), isCandidate(), isFiniteNonnegativeIntegral(), l1BallProjection(), l2BallProjection(), linfBallProjection(), nlrowaggrCreate(), nodepairqueueCreate(), normalizeCons(), objimplicsCreate(), performDualfix(), predBndStr(), preprocessConstraintPairs(), preprocessConstraintPairs(), presolStuffing(), ObjPricerVRP::pricing(), propagateCons(), propagateCutoffboundBinvar(), proposeFeasibleSolution(), rangedRowSimplify(), removeDoubleAndSingletonsAndPerformDualpresolve(), SCIP_DECL_CONSINITLP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPcalcCumulativeDistribution(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPgetReadingTime(), SCIPvarCalcDistributionParameters(), searchEcAggrWithCliques(), selectShifting(), selectShifting(), separatePerspective(), simplifyInequalities(), solveAndEvalSubscip(), solveSingleRowLP(), sortGenVBounds(), tightenVarBoundsEasy(), transformAndSolve(), transformColumn(), tryFillNlhdlrExprDataQuad(), updateBallRadius(), updateBestCandidate(), upgradeLinearSuperindicator(), varMayRoundDown(), and varMayRoundUp().
checks, if value is integral within epsilon
scip | SCIP data structure |
val | value to process |
Definition at line 594 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsIntegral().
Referenced by addCoefTerm(), addExpLinearization(), addLogLinearization(), aggregateConstraints(), aggregateVariables(), applyFixings(), applyFixings(), assignVars(), branchOnVar(), calcBranchScore(), calcBranchScore(), cancelCol(), cancelRow(), computeCut(), computeSignpowerRoot(), consdataCheckSuperindicator(), consdataIsResidualIntegral(), convertBoundToInt(), convertLongEquality(), createAndAddLinearCons(), dualPresolve(), enfopsPackingPartitioningOrbitopeSolution(), estimateConvexSecant(), fixAndPropagate(), flattenFloat(), fullDualPresolve(), getFlowCover(), isEvenOperator(), isFiniteNonnegativeIntegral(), isPartition(), normalizeCons(), parseRange(), presolStuffing(), presolveImplint(), prettifyConss(), printLinearCons(), printNLRow(), printRow(), printValue(), propagateStaticLexred(), propagateStaticOrbitope(), propIndicator(), rangedRowPropagation(), readCoefficients(), readOPBFile(), readPolynomial(), reformulateFactorizedBinaryQuadratic(), roundPartition(), runBenders(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPRESPROP(), SCIPaddCoefPseudoboolean(), SCIPaddSquareLinearization(), SCIPaddVarIndicator(), SCIPclassifyConstraintTypesLinear(), SCIPconsAddCoef(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPisObjIntegral(), SCIPsolveKnapsackExactly(), SCIPupgradeConsLinear(), simplifyInequalities(), tightenBounds(), tightenCoefs(), tightenSides(), tightenVariables(), updateBestCandidate(), updateVariableRounding(), updateVarVals(), writeExpandedSolutions(), writeFzn(), and writeOpbObjective().
checks whether the product val * scalar is integral in epsilon scaled by scalar
scip | SCIP data structure |
val | unscaled value to check for scaled integrality |
scalar | value to scale val with for checking for integrality |
Definition at line 606 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsScalingIntegral().
Referenced by scaleCons().
checks, if given fractional part is smaller than epsilon
scip | SCIP data structure |
val | value to process |
Definition at line 619 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsFracIntegral().
rounds value + epsilon down to the next integer
scip | SCIP data structure |
val | value to process |
Definition at line 631 of file scip_numerics.c.
References assert(), NULL, and SCIPsetFloor().
Referenced by addExpLinearization(), addLogLinearization(), addOneRow(), applyFixings(), branchBalancedCardinality(), calcColorValue(), checkCands(), computeFixingrate(), computeMIREfficacy(), computeSignpowerRoot(), createCGMIPprimalsols(), createSubSCIP(), cutsSubstituteStrongCG(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), dualPresolve(), enforceConflictgraph(), enforceConssSOS1(), estimateConvexSecant(), evaluateLiftingFunctionKnapsack(), findNewBounds(), fixDiscreteVars(), fixVariable(), forwardPropExpr(), fullDualPresolve(), generateClusterCuts(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), getCoef(), getNCircles(), handleCycle(), handleNlpParam(), performDualfix(), predBndStr(), presolStuffing(), proposeFeasibleSolution(), rangedRowPropagation(), readOPBFile(), readVariables(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECSOL(), SCIPaddSquareLinearization(), SCIPaggrRowAddRow(), SCIPanalyzeDeductionsProbing(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackExactly(), SCIPtightenExprIntervalNonlinear(), SCIPwriteGms(), selectNextDiving(), setupSubScip(), simplifyInequalities(), tightenBoundProbing(), tightenVariables(), tightenVarsBoundsSOS1(), transformAndSolve(), tryAdd2variableBuffer(), tryAdd2variableBuffer(), updateArcData(), and while().
rounds value - epsilon up to the next integer
scip | SCIP data structure |
val | value to process |
Definition at line 643 of file scip_numerics.c.
References assert(), NULL, and SCIPsetCeil().
Referenced by addOneRow(), checkCands(), computeSVTS(), createObjRow(), createReaderdata(), cutsRoundStrongCG(), cutsSubstituteStrongCG(), estimateConvexSecant(), findNewBounds(), findUncapacitatedArcs(), fixVariable(), forbidFixation(), forwardPropExpr(), fullDualPresolve(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), handleCycle(), maxCircles(), performDualfix(), predBndStr(), presolStuffing(), propIndicator(), proposeFeasibleSolution(), rangedRowPropagation(), readVariables(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECSOL(), SCIPaggrRowAddRow(), SCIPanalyzeDeductionsProbing(), SCIPcalcStrongCG(), SCIPcreateConsIndicatorGeneric(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPperformGenericDivingAlgorithm(), SCIPtightenExprIntervalNonlinear(), SCIPwriteGms(), selectNextDiving(), selectVarStart(), separateCuts(), separateCuts(), separateGLS(), separateHeur(), simplifyInequalities(), tightenBoundProbing(), tightenVariables(), tightenVarsBoundsSOS1(), transformAndSolve(), updateArcData(), and visualizeSolutionAscii().
rounds value to the nearest integer with epsilon tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 655 of file scip_numerics.c.
References assert(), NULL, and SCIPsetRound().
Referenced by applyFixings(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), estimateConvexSecant(), flattenFloat(), mod2(), printNLRow(), printRow(), rowprepCleanupIntegralCoefs(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIPapplyHeurSubNlp(), scoreBranchingCandidates(), solveNLP(), tryAddGadgetSquaredDifference(), updateVarVals(), visualizeSolutionAscii(), visualizeSolutionGnuplot(), visualizeSolutionMatplotlib(), writeOpbConstraints(), and writeOpbObjective().
returns fractional part of value, i.e. x - floor(x) in epsilon tolerance
scip | SCIP data structure |
val | value to return fractional part for |
Definition at line 667 of file scip_numerics.c.
References assert(), NULL, and SCIPsetFrac().
Referenced by changeSubvariableObjective(), computeCut(), createCGCutCMIR(), createCGCutStrongCG(), createCGMIPprimalsols(), cutsTransformMIR(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), generateClusterCuts(), getGMIFromRow(), getGMIFromRow(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), and while().
checks, if values are in range of sumepsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 679 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsSumEQ().
Referenced by computeVarRatio(), SCIP_DECL_BRANCHEXECLP(), separateSCIs(), transformNonIntegralRow(), and updateBestCandidate().
checks, if val1 is (more than sumepsilon) lower than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 692 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsSumLT().
Referenced by proposeFeasibleSolution(), solveComponent(), and transformNonIntegralRow().
checks, if val1 is not (more than sumepsilon) greater than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 705 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsSumLE().
Referenced by filterCandidates(), getAlphaAndBeta(), and scoring().
checks, if val1 is (more than sumepsilon) greater than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 718 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsSumGT().
Referenced by constructCompression(), execRelpscost(), SCIP_DECL_BRANCHEXECLP(), tightenVarBoundsEasy(), transformNonIntegralRow(), and updateBestCandidate().
checks, if val1 is not (more than sumepsilon) lower than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 731 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsSumGE().
Referenced by execRelpscost().
checks, if value is in range sumepsilon of 0.0
scip | SCIP data structure |
val | value to process |
Definition at line 744 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsSumZero().
Referenced by computeCut().
checks, if value is greater than sumepsilon
scip | SCIP data structure |
val | value to process |
Definition at line 756 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsSumPositive().
Referenced by calcBranchScore(), calcBranchScore(), computeCut(), and createCGCutCMIR().
checks, if value is lower than -sumepsilon
scip | SCIP data structure |
val | value to process |
Definition at line 768 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsSumNegative().
Referenced by SCIP_DECL_BRANCHEXECLP().
checks, if relative difference of values is in range of feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 780 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsFeasEQ().
Referenced by addFacetToCut(), addLinearTermToCut(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addRowToCut(), addRowToCut(), applyFixings(), applyFixings(), applyFixings(), applyFixings(), applyFixings(), applyFixings(), applyNlobbt(), applyRepair(), branchUnbalancedCardinality(), calculateAlternatives(), checkCons(), checkCons(), checkConsQuadraticProblem(), checkRikun(), checkSetupTolerances(), chooseDoubleVar(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeInitialKnapsackCover(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeIntegerVariableBoundsDins(), computeNogoodCut(), computeRanks(), computeSecant(), computeStandardIntegerOptCut(), consdataCheckSuperindicator(), consFixLinkvar(), constructCompression(), constructCompression(), createAndAddAndCons(), createCGCutDirect(), createConflict(), createCoveringProblem(), createIndicatorConstraint(), createProjRow(), createRows(), createSelectedSortedEventpointsSol(), createSubSCIP(), createSubSCIP(), createSubscip(), createSwitchSolution(), CUTOFF_CONSTRAINT(), deleteVarCardinality(), determineFixings(), determineVariableFixings(), determineVariableFixings(), doBinarySearch(), doBinarySearch(), doPricing(), 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(), propagateCons(), propagateCons(), propagateCutoffboundVar(), propagateRedcostBinvar(), propagateRedcostVar(), propCardinality(), propdataInit(), raysAreDependent(), readBinaries(), readBounds(), reboundIntegerVariables(), registerBranchingCandidates(), resolvePropagationCoretimes(), rowFindSlackVar(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_PRESOLEXEC(), SCIPaddIneqBilinear(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPaddVarImplication(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPconvertRealToInt(), SCIPconvertRealToLongint(), SCIPgenerateAndApplyBendersOptCut(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPwriteGms(), SCIPwriteLp(), separateCons(), separateCuts(), separateCuts(), separateIISRounding(), sequentialUpAndDownLifting(), sequentialUpAndDownLiftingGUB(), setAltLPObj(), setObjective(), simplifyInequalities(), solveAndEvalSubscip(), solveBilinearLP(), switchNext(), termIsConstant(), tightenBounds(), transformValue(), updateSlacks(), varIsFixed(), varIsFixedLocal(), varProcessBoundChanges(), and varProcessBoundChanges().
checks, if relative difference val1 and val2 is lower than feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 793 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsFeasLT().
Referenced by addCut(), addUpperBound(), analyseVarOnoffBounds(), analyzeGenVBoundConflict(), applyFixings(), applyFixings(), applyRepair(), branchBalancedCardinality(), calcBranchScore(), calculateBounds(), checkCons(), checkKnapsack(), checkOrigPbCons(), checkRowViolation(), checkViolations(), collectNonBinaryVBoundData(), computeCut(), computeVarsCoverSOS1(), consdataTightenCoefs(), countSparseSol(), createCGCutCMIR(), createCGCutStrongCG(), createSubscip(), detectRedundantConstraints(), execGenVBounds(), executeBranching(), extractCliques(), filterPoints(), findPointPosition(), getBoundConsFromVertices(), getCover(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getMaxactImplicObjchg(), getOptimalShiftingValue(), handleNewVariableSOS2(), improvePoint(), isConsViolated(), optimize(), performImplicationGraphAnalysis(), performStrongbranchSOS1(), preprocessConstraintPairs(), preprocessConstraintPairs(), propagateCons(), propagateCons(), propagateCutoffboundBinvar(), propagateLowerboundBinvar(), propagateLowerboundVar(), propagateRedcostVar(), propIndicator(), propVariableNonzero(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPperformGenericDivingAlgorithm(), SCIPprobdataUpdateDualbound(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximatelyLT(), sepaImplBoundCutsSOS1(), separateIISRounding(), separateMcCormickImplicit(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscipRapidlearning(), setupProblem(), simplifyInequalities(), solvePricingHeuristic(), tightenCoefs(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVarsBoundsSOS1(), tryFixVar(), updateArcData(), updateImplicationGraphSOS1(), updateViolations(), updateViolations(), updateViolations(), upgradeCons(), while(), while(), while(), and while().
checks, if relative difference of val1 and val2 is not greater than feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 806 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsFeasLE().
Referenced by addConflictBounds(), applyFixings(), applyRepair(), branchruledataUpdateCurrentBounds(), calcShiftVal(), checkBounddisjunction(), checkCons(), checkCons(), checkCons(), checkConsQuadraticProblem(), checkConstraintMatching(), checkRowViolation(), checkViolations(), collectNonBinaryImplicationData(), computeInitialKnapsackCover(), computeRevPropIntervalSin(), consFixLinkvar(), constructSNFRelaxation(), convertLongEquality(), createSubscip(), cutTightenCoefs(), cutTightenCoefsQuad(), determineBound(), dualPresolve(), evaluateLiftingFunction(), extractCliques(), filterCands(), filterExistingLP(), filterRound(), findDominancePairs(), generateDisjCutSOS1(), generateNeighborFacets(), getFeasibleSet(), getFlowCover(), getOptimalShiftingValue(), heurdataUpdateCurrentBounds(), heurExec(), isConsViolated(), isDisplaySol(), optimize(), performRandRounding(), propagateRootRedcostVar(), registerBranchingCandidates(), rowCalculateGauss(), rowCalculateGauss(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_RELAXEXEC(), SCIPaddIneqBilinear(), SCIPapplyHeurDualval(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPcalcCumulativeDistribution(), SCIPcheckPattern(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPupdateDistributionScore(), separateCuts(), separateCuts(), setObjective(), setupAndSolveSubscipRapidlearning(), shiftValues(), simplifyInequalities(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), tightenVarBounds(), tightenVarUb(), transformVariable(), tryToInsert(), updateBestCandidate(), updateBestCandidate(), updateBestCandidate(), updateBilinearRelaxation(), updateSlacks(), updateVariableRounding(), and while().
checks, if relative difference of val1 and val2 is greater than feastol
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 819 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsFeasGT().
Referenced by addGenVBound(), addLowerBound(), analyseVarOnoffBounds(), analyzeGenVBoundConflict(), applyFixings(), applyFixings(), applyObbtBilinear(), applyRepair(), checkCons(), checkOrigPbCons(), checkRowViolation(), checkViolations(), collectNonBinaryVBoundData(), computeCut(), consdataTightenCoefs(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createSubscip(), doPricing(), enforceCardinality(), executeBranching(), extractCliques(), findPointPosition(), generateClusterCuts(), generateNeighborFacets(), getBestEstimators(), getCover(), getFlowCover(), getMaxactImplicObjchg(), getPartitionCovervars(), getPartitionNoncovervars(), handleNewVariableSOS2(), makeSOS1constraintsFeasible(), optimize(), performImplicationGraphAnalysis(), performStrongbranchSOS1(), preprocessConstraintPairs(), propagateCons(), propagateLowerboundVar(), propVariableNonzero(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyLockFixings(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPperformGenericDivingAlgorithm(), SCIPseparateRelaxedKnapsack(), sepaImplBoundCutsSOS1(), separateCuts(), separateSupLiftedMinimalCoverInequality(), sequentialUpAndDownLifting(), setupAndSolveFiniteSolSubscip(), shiftValues(), simplifyInequalities(), tightenCoefs(), tightenVarBounds(), tightenVarsBoundsSOS1(), tryFixVar(), tryToInsert(), updateArcData(), updateImplicationGraphSOS1(), updateViolations(), updateViolations(), updateViolations(), upgradeCons(), while(), while(), while(), and while().
checks, if relative difference of val1 and val2 is not lower than -feastol
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 832 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsFeasGE().
Referenced by addConflictBounds(), applyFixings(), calcShiftVal(), checkBounddisjunction(), checkCons(), checkCons(), checkCons(), checkConsQuadraticProblem(), checkRowViolation(), checkViolations(), collectNonBinaryImplicationData(), computeRevPropIntervalSin(), constructSNFRelaxation(), determineBound(), dfs(), doPricing(), dualPresolve(), extractCliques(), extractVariablesMINLP(), filterCands(), filterExistingLP(), filterPoints(), filterRound(), findDominancePairs(), forbidCover(), generateNeighborFacets(), getFeasibleSet(), getFlowCover(), improvePoint(), isConsViolated(), optimize(), performRandRounding(), propagateRootRedcostVar(), propIndicator(), registerBranchingCandidates(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERREDCOST(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPcheckPattern(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPsolveKnapsackApproximatelyLT(), SCIPupdateDistributionScore(), separateCuts(), separateCuts(), separateSupLiftedMinimalCoverInequality(), setObjective(), shiftValues(), simplifyInequalities(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), tightenVarBounds(), tightenVarLb(), tryToInsert(), updateBestCandidate(), updateBestCandidate(), updateBestCandidate(), updateBilinearRelaxation(), updateSlacks(), varProcessBoundChanges(), and varProcessBoundChanges().
checks, if value is in range feasibility tolerance of 0.0
scip | SCIP data structure |
val | value to process |
Definition at line 845 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsFeasZero().
Referenced by addAltLPColumn(), addBranchingComplementaritiesSOS1(), addGenVBound(), addOneRow(), aggregateNextRow(), applyObbtBilinear(), applyRepair(), BENDERS_CUTORACLE(), BENDERS_CUTORACLE(), branchBalancedCardinality(), branchUnbalancedCardinality(), calculateAlternatives(), checkConsQuadraticProblem(), checkIISlocal(), checkLinearConssVarboundSOS1(), checkLPBoundsClean(), checkPackingPartitioningOrbitopeSolution(), checkSwitchNonoverlappingSOS1Methods(), computeMIREfficacy(), createAltLPColumn(), createAltLPColumn(), createAndAddAndCons(), createCGMIPprimalsols(), createConflict(), createKKTComplementarityBounds(), detectVarboundSOS1(), doBinarySearch(), doBinarySearch(), enforceCardinality(), enforceConflictgraph(), enforceConssSOS1(), enforceCuts(), enforceIndicators(), enforceSol(), enforceSOS2(), extendToCover(), fixVariableZeroNode(), fixVariableZeroNode(), fixVariableZeroNode(), generateAverageNBRay(), generateAverageRay(), generateClusterCuts(), generateDisjCutSOS1(), generateRowSOS2(), getBranchingPrioritiesSOS1(), getBranchingVerticesSOS1(), getDiveBdChgsSOS1constraints(), getFlowCover(), getGMIFromRow(), getGMIFromRow(), getSimplexCoefficients(), getVectorOfWeights(), initConflictgraph(), isSolFeasible(), isViolatedSOS1(), isZero(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), markNeighborsMWISHeuristic(), normalizeCons(), polishPrimalSolution(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolveAddKKTAggregatedVars(), presolveAddKKTQuadBilinearTerms(), presolveAddKKTQuadLinearTerms(), presolveAddKKTQuadQuadraticTerms(), printBoundSection(), processBinvarFixings(), processFixings(), propCardinality(), propIndicator(), propVariableNonzero(), readBinaries(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_SEPAEXECLP(), SCIPaddIneqBilinear(), SCIPaddVarImplication(), SCIPapplyProximity(), SCIPcalcCumulativeDistribution(), SCIPinitVarBranchStats(), SCIPinitVarValueBranchStats(), SCIPmakeIndicatorFeasible(), SCIPprintSolutionStatistics(), SCIPselectVarStrongBranching(), sepaImplBoundCutsSOS1(), separateCuts(), separateCuts(), separateIISRounding(), separatePoint(), setObjective(), setupAndSolveSubscip(), setupSubScip(), setupSubScip(), simplifyInequalities(), solveBilinearLP(), TCLIQUE_NEWSOL(), tightenBounds(), tightenVarsBoundsSOS1(), transformVariable(), tryFixVar(), updateImplicationGraphSOS1(), updatePartition(), updateStepLength(), updateSubgradient(), updateTransformation(), and updateWeightsTCliquegraph().
checks, if value is greater than feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 857 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsFeasPositive().
Referenced by addBranchingComplementaritiesSOS1(), addConflictBounds(), addCut(), aggregateGeneratedCuts(), branchBalancedCardinality(), branchUnbalancedCardinality(), canonicalizeConstraints(), checkAndConss(), checkCons(), checkCons(), checkCons(), checkCons(), checkConsQuadraticProblem(), computeBranchingPriorities(), computeCut(), consdataCreate(), constructCutRow(), createCGCutCMIR(), createCGCutStrongCG(), detectVarboundSOS1(), enforceCardinality(), extractCycle(), fixVariableZeroNode(), fixVariableZeroNode(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateClusterCuts(), generateDisjCutSOS1(), generateNeighborFacets(), getBoundConsFromVertices(), getCover(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getNActiveConsScore(), getNCircles(), getScore(), getSOS1Implications(), getVariableRedcostScore(), getVariableRedcostScore(), getVectorOfWeights(), handleNewVariableSOS1(), handleNewVariableSOS2(), inferVariableZero(), inferVariableZero(), initMatrix(), lockVariableCardinality(), lockVariableSOS1(), lockVariableSOS2(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), markRowsXj(), nodeGetSolvalBinaryBigMSOS1(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), propCardinality(), propConsSOS1(), propIndicator(), propSOS2(), propVariableNonzero(), relaxVar(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPisViolatedIndicator(), SCIPmakeIndicatorFeasible(), separateCons(), separatePoint(), separateRltCuts(), TCLIQUE_NEWSOL(), tightenVarsBoundsSOS1(), unlockVariableCardinality(), unlockVariableSOS1(), unlockVariableSOS2(), updateImplicationGraphSOS1(), updateSubgradient(), and updateWeightsTCliquegraph().
checks, if value is lower than -feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 869 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsFeasNegative().
Referenced by addBranchingComplementaritiesSOS1(), addConflictBounds(), addCut(), addCut(), aggregateGeneratedCuts(), branchBalancedCardinality(), branchUnbalancedCardinality(), canonicalizeConstraints(), checkConsQuadraticProblem(), computeCut(), computeInteriorPoint(), constructCutRow(), createCGCutCMIR(), createCGCutStrongCG(), detectVarboundSOS1(), enforceCardinality(), enforceIndicators(), extendToCover(), extractCycle(), fixVariableZeroNode(), fixVariableZeroNode(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), getBoundConsFromVertices(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getNActiveConsScore(), getNCircles(), getScore(), getSOS1Implications(), getVariableRedcostScore(), getVariableRedcostScore(), handleNewVariableSOS1(), handleNewVariableSOS2(), inferVariableZero(), inferVariableZero(), initMatrix(), lockVariableCardinality(), lockVariableSOS1(), lockVariableSOS2(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), nodeGetSolvalBinaryBigMSOS1(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundSOS2(), propCardinality(), propConsSOS1(), propSOS2(), propVariableNonzero(), relaxVar(), rowCalculateGauss(), rowCalculateGauss(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPmakeIndicatorFeasible(), sepaImplBoundCutsSOS1(), separateCons(), separateCons(), separateCons(), separateCons(), separateCons(), separateCons(), separateCons(), separateCons(), separateConsBinaryRepresentation(), separateCoverCutsCons(), separateDeterminant(), separateIndicators(), separateMcCormickImplicit(), separatePoint(), separateRltCuts(), simplifyInequalities(), solvePricingHeuristic(), TCLIQUE_NEWSOL(), tightenBounds(), tightenVarsBoundsSOS1(), unlockVariableCardinality(), unlockVariableSOS1(), unlockVariableSOS2(), updateImplicationGraphSOS1(), and updateWeightsTCliquegraph().
checks, if value is integral within the LP feasibility bounds
scip | SCIP data structure |
val | value to process |
Definition at line 881 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsFeasIntegral().
Referenced by addGLSCliques(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addNextLevelCliques(), areBoundsChanged(), BENDERS_CUTORACLE(), BENDERS_CUTORACLE(), branchingIntegralFirst(), checkCands(), checkCumulativeCondition(), checkPackingPartitioningOrbitopeSolution(), checkRedundancySide(), checkSymresackSolution(), chooseDoubleVar(), computeFixingrate(), convertLongEquality(), countSparseSol(), createAndAddLinearCons(), createCGCutDirect(), createCoreProfile(), createNormalizedKnapsack(), createSelectedSortedEventpointsSol(), createSubscip(), CUTOFF_CONSTRAINT(), CUTOFF_CONSTRAINT(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), determineBound(), enforceCuts(), execRelpscost(), executeBranching(), fixAndPropagate(), fixVariable(), generateZerohalfCut(), getBranchCands(), getFlowCover(), getHighestCapacityUsage(), getNLPFracVars(), getVariableRedcostScore(), getVariableRedcostScore(), handle1Cycle(), handleCycle(), heurExec(), insertSortedRootNeighbors(), isViolatedAndNotFixed(), mod2(), normalizeCons(), optimize(), performFixing(), performRandRounding(), performRelaxSimpleRounding(), performSimpleRounding(), propagateCons(), readBounds(), readGenerals(), resolvePropagationCoretimes(), roundFixingValue(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECSOL(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPcheckSolutionOrbisack(), SCIPconvertRealToInt(), SCIPconvertRealToLongint(), SCIPcutGenerationHeuristicCMIR(), SCIPselectVarPseudoStrongBranching(), SCIPwriteCliqueGraph(), selectEssentialRounding(), selectEssentialRounding(), selectEssentialRounding(), selectRounding(), selectShifting(), selectShifting(), selectVarMultAggrBranching(), separateCuts(), separateGLS(), separateHeur(), separateOddCycles(), simplifyInequalities(), solveNLP(), tightenBounds(), tightenCoefs(), tryAdd2variableBuffer(), tryAdd2variableBuffer(), while(), while(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().
checks, if given fractional part is smaller than feastol
scip | SCIP data structure |
val | value to process |
Definition at line 893 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsFeasFracIntegral().
Referenced by while().
rounds value + feasibility tolerance down to the next integer
scip | SCIP data structure |
val | value to process |
Definition at line 905 of file scip_numerics.c.
References assert(), NULL, and SCIPsetFeasFloor().
Referenced by addOrigRow(), addTrustRegionConstraints(), aggregateVariables(), branchOnVar(), buildMod2Matrix(), calcBranchScore(), calcBranchScore(), calcPscostQuot(), calcShiftVal(), checkRedundancySide(), chooseDoubleVar(), computeCut(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeIntegerVariableBoundsDins(), createAndAddLinearCons(), createNormalizedKnapsack(), createSubscip(), enforceSOS2(), execRelpscost(), executeBranching(), executeBranchingRecursive(), for(), for(), generateZerohalfCut(), getNCircles(), getOptimalShiftingValue(), getZiValue(), handle1Cycle(), performRandRounding(), performSimpleRounding(), roundFixingValue(), scaleCons(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPapplyProximity(), SCIPgetVarStrongbranchWithPropagation(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPwriteGms(), scoreBranchingCandidates(), selectEssentialRounding(), selectEssentialRounding(), selectEssentialRounding(), selectRounding(), selectShifting(), selectShifting(), selectVarMultAggrBranching(), simplifyInequalities(), tightenBounds(), tightenCoefs(), tightenSides(), transformNonIntegralRow(), and updateTcliquegraph().
rounds value - feasibility tolerance up to the next integer
scip | SCIP data structure |
val | value to process |
Definition at line 917 of file scip_numerics.c.
References assert(), NULL, and SCIPsetFeasCeil().
Referenced by addGLSCliques(), addNextLevelCliques(), addOrigRow(), branchOnVar(), branchruledataEnsureArraySize(), buildMod2Matrix(), calcBranchScore(), calcBranchScore(), calcShiftVal(), checkRedundancySide(), chooseDoubleVar(), computeCut(), computeEstOmegaset(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeIntegerVariableBoundsDins(), createSubscip(), execRelpscost(), executeBranching(), executeBranchingRecursive(), for(), for(), getOptimalShiftingValue(), getZiValue(), handle1Cycle(), heurdataEnsureArraySize(), insertSortedRootNeighbors(), performFixing(), performRandRounding(), performSimpleRounding(), resolveGenVBoundPropagation(), roundFixingValue(), scaleCons(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PROPRESPROP(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPgetVarStrongbranchWithPropagation(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), scoreBranchingCandidates(), selectEssentialRounding(), selectEssentialRounding(), selectEssentialRounding(), selectRounding(), selectShifting(), selectShifting(), selectVarMultAggrBranching(), setupProblem(), simplifyInequalities(), tightenBounds(), tightenCoefs(), tightenSides(), and updateObjUpperbound().
rounds value to the nearest integer in feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 929 of file scip_numerics.c.
References assert(), NULL, and SCIPsetFeasRound().
Referenced by generateZerohalfCut(), heurExec(), and sampleRandomPoints().
returns fractional part of value, i.e. x - floor(x)
returns fractional part of value, i.e. x - floor(x) in feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 941 of file scip_numerics.c.
References assert(), NULL, and SCIPsetFeasFrac().
Referenced by createCGMIPprimalsols(), createSubproblem(), execRelpscost(), generateGMICuts(), getGMIFromRow(), getGMIFromRow(), handleCycle(), roundFixingValue(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), and separateCuts().
checks, if relative difference of values is in range of dual feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 953 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsDualfeasEQ().
checks, if relative difference val1 and val2 is lower than dual feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 966 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsDualfeasLT().
Referenced by propagateLowerbound().
checks, if relative difference of val1 and val2 is not greater than dual feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 979 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsDualfeasLE().
Referenced by propagateLowerboundBinvar().
checks, if relative difference of val1 and val2 is greater than dual feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 992 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsDualfeasGT().
checks, if relative difference of val1 and val2 is not lower than -dual feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 1005 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsDualfeasGE().
checks, if value is in range dual feasibility tolerance of 0.0
scip | SCIP data structure |
val | value to process |
Definition at line 1018 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsDualfeasZero().
Referenced by computeStandardLPFeasibilityCut(), countNonZeroRootRedcostVars(), createRows(), determineVariableFixings(), getVariableRedcostScore(), getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), and propdataInit().
checks, if value is greater than dual feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 1030 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsDualfeasPositive().
Referenced by getVariableRedcostScore(), getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), and propagateRootRedcostVar().
checks, if value is lower than -dual feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 1042 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsDualfeasNegative().
Referenced by getVariableRedcostScore(), getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), and propagateRootRedcostVar().
checks, if value is integral within the LP dual feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 1054 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsDualfeasIntegral().
checks, if given fractional part is smaller than dual feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 1066 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsDualfeasFracIntegral().
rounds value + dual feasibility tolerance down to the next integer
scip | SCIP data structure |
val | value to process |
Definition at line 1078 of file scip_numerics.c.
References assert(), NULL, and SCIPsetDualfeasFloor().
rounds value - dual feasibility tolerance up to the next integer
scip | SCIP data structure |
val | value to process |
Definition at line 1090 of file scip_numerics.c.
References assert(), NULL, and SCIPsetDualfeasCeil().
rounds value to the nearest integer in dual feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 1102 of file scip_numerics.c.
References assert(), NULL, and SCIPsetDualfeasRound().
returns fractional part of value, i.e. x - floor(x) in dual feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 1114 of file scip_numerics.c.
References assert(), NULL, and SCIPsetDualfeasFrac().
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
scip | SCIP data structure |
newlb | new lower bound |
oldlb | old lower bound |
oldub | old upper bound |
Definition at line 1128 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsLbBetter().
Referenced by applyObbt(), isIntervalBetter(), performFixing(), SCIP_DECL_HEUREXEC(), SCIPanalyzeDeductionsProbing(), tightenBoundProbing(), tightenVarBounds(), and tightenVarLb().
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
scip | SCIP data structure |
newub | new upper bound |
oldlb | old lower bound |
oldub | old upper bound |
Definition at line 1143 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsUbBetter().
Referenced by applyObbt(), isIntervalBetter(), performFixing(), SCIP_DECL_HEUREXEC(), SCIPanalyzeDeductionsProbing(), tightenBoundProbing(), tightenVarBounds(), and tightenVarUb().
checks, if relative difference of values is in range of epsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 1156 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsRelEQ().
Referenced by computeHyperplaneThreePoints(), estimateSpecialPower(), estimateVertexPolyhedral(), estimateVertexPolyhedralProduct(), extractProducts(), forwardPropExpr(), getFeasiblePointsBilinear(), rowprepRecordModifiedVar(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIPaddBilinMcCormick(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPcomputeBilinEnvelope2(), SCIPcomputeFacetVertexPolyhedralNonlinear(), and SCIPmergeRowprepTerms().
checks, if relative difference of val1 and val2 is lower than epsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 1169 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsRelLT().
Referenced by updateBilinearRelaxation().
checks, if relative difference of val1 and val2 is not greater than epsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 1182 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsRelLE().
Referenced by addLinearConstraints(), getFeasiblePointsBilinear(), and reversePropBilinear().
checks, if relative difference of val1 and val2 is greater than epsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 1195 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsRelGT().
Referenced by SCIPupdateStartpointHeurSubNlp(), selectVarRecursive(), and updateBilinearRelaxation().
checks, if relative difference of val1 and val2 is not lower than -epsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 1208 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsRelGE().
Referenced by getFeasiblePointsBilinear(), and reversePropBilinear().
checks, if relative difference of values is in range of sumepsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 1221 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsSumRelEQ().
Referenced by consdataTightenCoefs(), and SCIP_DECL_NLHDLRREVERSEPROP().
checks, if relative difference of val1 and val2 is lower than sumepsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 1234 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsSumRelLT().
checks, if relative difference of val1 and val2 is not greater than sumepsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 1247 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsSumRelLE().
Referenced by consdataTightenCoefs().
checks, if relative difference of val1 and val2 is greater than sumepsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 1260 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsSumRelGT().
! [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
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 1273 of file scip_numerics.c.
References assert(), NULL, and SCIPsetIsSumRelGE().
Referenced by consdataTightenCoefs().
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
scip | SCIP data structure |
real | double bound to convert |
Definition at line 1288 of file scip_numerics.c.
References assert(), SCIPisFeasEQ(), and SCIPisFeasIntegral().
Referenced by adjustOversizedJobBounds(), analyzeEnergyRequirement(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), 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().
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
scip | SCIP data structure |
real | double bound to convert |
Definition at line 1304 of file scip_numerics.c.
References assert(), SCIP_LONGINT_MAX, SCIP_LONGINT_MIN, SCIPisFeasEQ(), and SCIPisFeasIntegral().
Referenced by collectSolution(), and printValue().
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.
scip | SCIP data structure |
newvalue | new value after update |
oldvalue | old value, i.e., last reliable value |
Definition at line 1328 of file scip_numerics.c.
References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPsetIsUpdateUnreliable(), and TRUE.
Referenced by addConflictBounds(), consdataUpdateActivities(), convertLongEquality(), dualPresolve(), fullDualPresolve(), and tightenVarBounds().
outputs a real number, or "+infinity", or "-infinity" to a file
scip | SCIP data structure |
file | output file (or NULL for standard output) |
val | value to print |
width | width of the field |
precision | number of significant digits printed |
Definition at line 377 of file scip_numerics.c.
References assert(), NULL, SCIP_MAXSTRLEN, SCIPmessageFPrintInfo(), SCIPsetIsInfinity(), and SCIPsnprintf().
Referenced by SCIPprintMIPStart(), SCIPprintSol(), and SCIPprintTransSol().
parse a real value that was written with SCIPprintReal()
scip | SCIP data structure |
str | string to search |
value | pointer to store the parsed value |
endptr | pointer to store the final string position if successfully parsed, otherwise str |
Definition at line 404 of file scip_numerics.c.
References assert(), FALSE, NULL, SCIP_OKAY, SCIPinfinity(), SCIPskipSpace(), SCIPstrToRealValue(), and TRUE.
Referenced by SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPRPARSE(), and SCIPprocessShellArguments().