SCIP
Solving Constraint Integer Programs
Computations With Tolerances
Detailed Description
methods used by the majority of operations involving floating-point computations in SCIP
- query the numerical tolerances of SCIP, as well as special values such as infinity.
- change tolerances inside relaxations
- epsilon-comparison methods for floating point numbers
Function Documentation
◆ SCIPepsilon()
returns value treated as zero
- Returns
- value treated as zero
- Parameters
-
scip SCIP data structure
Definition at line 207 of file scip_numerics.c.
References NULL, SCIPsetEpsilon(), and Scip::set.
Referenced by addCut(), checkRedundancySide(), computeFixingOrder(), computeMIREfficacy(), createCGCutCMIR(), createCGCutStrongCG(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), evaluateCutNumerics(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), getInteriority(), prettifyConss(), propagateBounds(), propagateBoundsCons(), reduce_boundPrune(), reduce_daSlackPrune(), reduce_daSlackPruneMw(), removeZeros(), removeZerosQuad(), rowprepCleanupSide(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PRESOLEXEC(), SCIPanalyzeDeductionsProbing(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPgetConcurrentGap(), SCIPseparateRelaxedKnapsack(), SCIPStpHeurTMRunLP(), solveSubNLP(), and transformNonIntegralRow().
◆ SCIPsumepsilon()
returns value treated as zero for sums of floating point values
- Returns
- value treated as zero for sums of floating point values
- Parameters
-
scip SCIP data structure
Definition at line 221 of file scip_numerics.c.
References NULL, SCIPsetSumepsilon(), and Scip::set.
Referenced by addCut(), chooseVeclenVar(), createCGCutCMIR(), createCGCutStrongCG(), createNLP(), createSubproblem(), cutsTransformMIR(), cutTightenCoefs(), cutTightenCoefsQuad(), doSolveSubMIP(), evaluateCutNumerics(), generateDisjCutSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getVectorOfWeights(), postprocessCut(), postprocessCutQuad(), SCIP_DECL_HEUREXEC(), SCIPaggrRowRemoveZeros(), SCIPapplyHeurSubNlp(), SCIPcalcFlowCover(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcutGenerationHeuristicCMIR(), SCIPincludeHeurMutation(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipMutation(), setupSubScip(), solveCoveringProblem(), transformNonIntegralRow(), wrapperDins(), and wrapperRins().
◆ SCIPfeastol()
returns feasibility tolerance for constraints
- Returns
- feasibility tolerance for constraints
- Parameters
-
scip SCIP data structure
Definition at line 235 of file scip_numerics.c.
References NULL, SCIPsetFeastol(), and Scip::set.
Referenced by addLinearization(), adjustCutoffbound(), analyzeConflict(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), analyzeGenVBoundConflict(), applyNlobbt(), calcScore(), checkCons(), computeInteriorPoint(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeViolation(), computeViolations(), cutTightenCoefs(), cutTightenCoefsQuad(), displayRelevantStats(), doSeparation(), enforceConflictgraph(), enforceConstraint(), enforceViolatedFixedNonlinear(), fixAlmostFixedX(), generateCut(), getBranchingDecisionStrongbranchSOS1(), getNLPFracVars(), heurExec(), performStrongbranchSOS1(), postprocessCut(), postprocessCutQuad(), presolveTryAddLinearReform(), prettifyConss(), propagateBounds(), propagateBoundsCons(), propagateConstraintSides(), proposeBranchingPoint(), proposeFeasibleSolution(), readLIBSVM(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resolvePropagation(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HEUREXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPapplyProximity(), SCIPprocessShellArguments(), SCIPsolveKnapsackApproximatelyLT(), SCIPvalidateSolve(), separateCuts(), separatePoint(), sepaSubtour(), setupAndSolveSubscip(), and solveSubNLP().
◆ SCIPlpfeastol()
returns primal feasibility tolerance of LP solver
- Returns
- primal feasibility tolerance of LP solver
- Parameters
-
scip SCIP data structure
Definition at line 249 of file scip_numerics.c.
References NULL, SCIPsetLpfeastol(), and Scip::set.
Referenced by enforceConstraint(), and separatePoint().
◆ SCIPdualfeastol()
returns feasibility tolerance for reduced costs
- Returns
- feasibility tolerance for reduced costs
- Parameters
-
scip SCIP data structure
Definition at line 263 of file scip_numerics.c.
References NULL, SCIPsetDualfeastol(), and Scip::set.
Referenced by computeInteriorPoint(), heurExec(), and separateCuts().
◆ SCIPbarrierconvtol()
returns convergence tolerance used in barrier algorithm
- Returns
- convergence tolerance used in barrier algorithm
- Parameters
-
scip SCIP data structure
Definition at line 277 of file scip_numerics.c.
References NULL, SCIPsetBarrierconvtol(), and Scip::set.
◆ SCIPcutoffbounddelta()
return the cutoff bound delta
- Returns
- cutoff bound data
- Parameters
-
scip SCIP data structure
Definition at line 291 of file scip_numerics.c.
References NULL, SCIPsetCutoffbounddelta(), and Scip::set.
Referenced by updateObjUpperbound().
◆ SCIPrelaxfeastol()
return the relaxation primal feasibility tolerance
- See also
- SCIPchgRelaxfeastol
- Returns
- relaxfeastol
- Parameters
-
scip SCIP data structure
Definition at line 306 of file scip_numerics.c.
References NULL, SCIPsetRelaxfeastol(), and Scip::set.
◆ SCIPchgFeastol()
| SCIP_RETCODE SCIPchgFeastol | ( | SCIP * | scip, |
| SCIP_Real | feastol | ||
| ) |
sets the feasibility tolerance for constraints
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Parameters
-
scip SCIP data structure feastol new feasibility tolerance for constraints
Definition at line 321 of file scip_numerics.c.
References NULL, SCIP_CALL, SCIP_OKAY, SCIPsetSetFeastol(), and Scip::set.
Referenced by displayRelevantStats(), SCIP_DECL_DIALOGEXEC(), and SCIPvalidateSolve().
◆ SCIPchgLpfeastol()
| SCIP_RETCODE SCIPchgLpfeastol | ( | SCIP * | scip, |
| SCIP_Real | lpfeastol, | ||
| SCIP_Bool | printnewvalue | ||
| ) |
sets the primal feasibility tolerance of LP solver
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Parameters
-
scip SCIP data structure lpfeastol new primal feasibility tolerance of LP solver printnewvalue should "numerics/lpfeastol = ..." be printed?
Definition at line 339 of file scip_numerics.c.
References FALSE, Scip::lp, SCIP_Lp::lpsolstat, NULL, SCIP_CALL, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_OKAY, SCIPsetLpfeastol(), SCIPsetSetLpfeastol(), Scip::set, and SCIP_Lp::solved.
◆ SCIPchgDualfeastol()
| SCIP_RETCODE SCIPchgDualfeastol | ( | SCIP * | scip, |
| SCIP_Real | dualfeastol | ||
| ) |
sets the feasibility tolerance for reduced costs
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Parameters
-
scip SCIP data structure dualfeastol new feasibility tolerance for reduced costs
Definition at line 365 of file scip_numerics.c.
References FALSE, Scip::lp, SCIP_Lp::lpsolstat, NULL, SCIP_CALL, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_OKAY, SCIPsetDualfeastol(), SCIPsetSetDualfeastol(), Scip::set, and SCIP_Lp::solved.
◆ SCIPchgBarrierconvtol()
| SCIP_RETCODE SCIPchgBarrierconvtol | ( | SCIP * | scip, |
| SCIP_Real | barrierconvtol | ||
| ) |
sets the convergence tolerance used in barrier algorithm
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Parameters
-
scip SCIP data structure barrierconvtol new convergence tolerance used in barrier algorithm
Definition at line 390 of file scip_numerics.c.
References FALSE, SCIP_Lp::lastlpalgo, Scip::lp, NULL, SCIP_CALL, SCIP_LPALGO_BARRIER, SCIP_LPALGO_BARRIERCROSSOVER, SCIP_OKAY, SCIPsetBarrierconvtol(), SCIPsetSetBarrierconvtol(), Scip::set, and SCIP_Lp::solved.
◆ SCIPchgRelaxfeastol()
sets the primal feasibility tolerance of relaxations
This tolerance value is used by the SCIP core and plugins to tighten then feasibility tolerance on relaxations (especially the LP relaxation) during a solve. It is set to SCIP_INVALID initially, which means that only the feasibility tolerance of the particular relaxation is taken into account. If set to a valid value, however, then this value should be used to reduce the primal feasibility tolerance of a relaxation (thus, use the minimum of relaxfeastol and the relaxations primal feastol).
- Precondition
- The value of relaxfeastol is reset to SCIP_INVALID when initializing the solve (INITSOL). Therefore, this method can only be called in one of the following stages of the SCIP solving process:
- Returns
- previous value of relaxfeastol
- Parameters
-
scip SCIP data structure relaxfeastol new primal feasibility tolerance of relaxations
Definition at line 423 of file scip_numerics.c.
References FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPsetSetRelaxfeastol(), Scip::set, and TRUE.
◆ SCIPmarkLimitChanged()
| void SCIPmarkLimitChanged | ( | SCIP * | scip | ) |
marks that some limit parameter was changed
- Parameters
-
scip SCIP data structure
Definition at line 437 of file scip_numerics.c.
References NULL, SCIPsetSetLimitChanged(), and Scip::set.
Referenced by SCIP_DECL_PARAMCHGD().
◆ SCIPinfinity()
returns value treated as infinity
- Parameters
-
scip SCIP data structure
Definition at line 581 of file scip_numerics.c.
References NULL, SCIPsetInfinity(), and Scip::set.
Referenced by ObjPricerVRP::add_tour_variable(), addAltLPConstraint(), addAuxiliaryVariablesToMaster(), addBranchingComplementaritiesSOS1(), addBranchingDecisionConss(), addCut(), addExtendedAsymmetricFormulation(), addIntervalGradientEstimator(), addKnapsackConstraints(), addLinearizationCuts(), addLocalBranchingConstraint(), addLogicOrConstraints(), addOrbisackCover(), addOrbisackInequality(), addPathCuts(), addRegularScholtes(), addRelaxation(), addRow(), addScenarioVarsAndConsToProb(), addSetppcConstraints(), addSubtourCuts(), addSymresackInequality(), addTourCuts(), addUserEstimator(), addVariable(), aggregateConstraints(), aggregation(), applyCliqueFixings(), applyFixings(), applyHeur(), applyOptcumulativeFixings(), assignNextBin(), branchingResultDataCreate(), buildMod2Matrix(), calcActivityBounds(), calcColActivity(), calcColActResidual(), calculateBounds(), calcVarBoundsDominated(), calcVarBoundsDominating(), checkCurvature(), checkCurvatureEasy(), checkFixedVariables(), chgLhs(), chgRhs(), chooseFracVar(), chooseGuidedVar(), computeBoundsX(), computeBoundsZ(), computeCut(), computeFixingOrder(), computeInteriorPoint(), computeLiftingData(), polyscip::Polyscip::computeNondomPoints(), computeSymmetryGroup(), computeVarsCoverSOS1(), computeViolation(), consdataCheckNonbinvar(), consdataComputePseudoActivity(), consdataCreate(), consdataCreateEmpty(), consdataGetActivity(), consdataRecomputeMaxActivityDelta(), constructCompression(), CREATE_CONSTRAINT(), createAndAddLinearCons(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createConstraints(), createCoverCutsTimepoint(), createCoveringProblem(), createDegreeConstraints(), createDepthinfo(), createHopConstraint(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createMasterproblem(), createNAryBranch(), createNLP(), createNlRow(), createObjRow(), createOriginalproblem(), createPartitionCut(), createPatternVars(), createPrecedenceCons(), createPrizeConstraints(), createProbOnlyEdge(), createProbQP(), createProbSimplified(), createProbSimplifiedTest(), createRelaxation(), createRow(), createSubproblem(), createSubproblems(), createSubSCIP(), createSubscip(), createVarboundCons(), createVariables(), createVarUbs(), cut_add(), determineBoundForSNF(), disaggregate(), displayRelevantStats(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), enforceCardinality(), enforceConflictgraph(), enforceViolatedFixedNonlinear(), evalLhs(), execmain(), execRelpscost(), extendToCover(), extractLinearValues(), findBestObjectiveValue(), findDominancePairs(), fixVariable(), forbidCover(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), generateBoundInequalityFromSOS1Nodes(), generateConvexConcaveEstimator(), generateConvexConcaveUnderestimator(), generateCut(), generateCutFactorable(), generateCutLTI(), generateCutUnboundedLP(), generateDisjCutSOS1(), generateLinearizationCut(), generateOddCycleCut(), generateOverestimatingHyperplaneCut(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivities(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBoundConsFromVertices(), getBranchingDecisionStrongbranchSOS1(), getBranchingPrioritiesSOS1(), getClosestVlb(), getClosestVub(), getCurrentRegressionTangentAxisIntercept(), getGenVBoundsBound(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getLinearConsSides(), getMaxActivity(), getMinActivity(), getMinFeas(), getMinMaxActivityResiduals(), getObjectiveFactor(), getOptimalShiftingValue(), getPotentialContributed(), getTimeLeft(), getVariable(), getVariableRedcostScore(), getVarUpperBoundOfRow(), heurExec(), initComponent(), initConshdlrData(), initEventhandlerData(), initLP(), initMatrix(), isUpperBoundImplied(), isValue(), LOPseparate(), maximalslack(), mod2MatrixTransformContRows(), newsolCliqueAddRow(), nodepairqueueCreate(), nodepartitionIsConnected(), parseType(), performStrongbranchWithPropagation(), polishSolution(), preprocessConstraintPairs(), presolveAddKKTKnapsackConss(), presolveAddKKTLinearCons(), presolveAddKKTLogicorConss(), presolveAddKKTSetppcConss(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveCreateOuterApprox(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveRemoveFixedVariables(), presolveTryAddLinearReform(), prettifyConss(), pricing(), printAndCons(), propagateBounds(), propagateBoundsBilinearTerm(), propagateBoundsCons(), propagateBoundsGetQuadActivity(), propagateBoundsQuadVar(), propagateBoundsTightenVar(), propagateCons(), propagateVarbounds(), propdataInit(), propIndicator(), readBounds(), readCnf(), readCols(), readColsMop(), readConstraints(), readIndicators(), readLIBSVM(), readNonlinearExprs(), readObjective(), readOPBFile(), readQMatrix(), readQuadraticCoefs(), readRows(), readRowsMop(), readSol(), readSolFile(), readVariables(), readXmlSolFile(), reformMonomial(), registerBranchingCandidatesGap(), relaxVar(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resetSubproblemObjectiveValue(), runBenders(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DISPINITSOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_EXPRGRAPHVARADDED(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NODESELSELECT(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_TABLEOUTPUT(), SCIPaddCoefLinear(), SCIPaddConflict(), SCIPaddToNlpiProblemSOC(), SCIPaggrRowCancelVarWithBound(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPbendersComputeSubproblemLowerbound(), SCIPbendersSolveSubproblem(), SCIPchgLhsQuadratic(), SCIPchgRhsQuadratic(), SCIPcomputeConvexEnvelopeFacet(), SCIPconsGetLhs(), SCIPconsGetRhs(), SCIPcopyConss(), SCIPcreateConsIndicator(), SCIPcreateConsLinear(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateNlpiProb(), SCIPcreateSchedulingProblem(), SCIPcutGenerationHeuristicCMIR(), SCIPevalExprtreeGlobalBounds(), SCIPevalExprtreeLocalBounds(), SCIPgetConcurrentGap(), SCIPgetFeasibilityQuadratic(), SCIPgetFirstLPLowerboundRoot(), SCIPgetLowerbound(), SCIPgetRowprepRowCons(), SCIPgetRowprepRowSepa(), SCIPgetUpperbound(), SCIPgetVarLbAtIndex(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarUbAtIndex(), SCIPincludeBenderscutInt(), SCIPincludeBranchrulePscost(), SCIPincludeConshdlrAbspower(), SCIPincludeConshdlrBivariate(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrQuadratic(), SCIPincludeConshdlrSOC(), SCIPincludeHeurDualval(), SCIPincludeHeurIndicator(), SCIPincludeHeurMpec(), SCIPincludeHeurMultistart(), SCIPincludeHeurProximity(), SCIPincludeHeurSubNlp(), SCIPincludePropNlobbt(), SCIPincludeSepaEccuts(), SCIPmatrixCreate(), SCIPparseReal(), SCIPperformGenericDivingAlgorithm(), SCIPprobdataAddNewSol(), SCIPreadOpb(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateCoversOrbisack(), SCIPsolveProbingRelax(), SCIPStpDualAscent(), SCIPStpDualAscentPcMw(), SCIPStpReaderIncludeParams(), SCIPsyncstoreGetLastLowerbound(), SCIPsyncstoreGetLastUpperbound(), SCIPsyncstoreStartSync(), SCIPupdateNlpiProb(), SCIPverifyCircularPatternNLP(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), selectVarRecursive(), sep_flow(), sepaImplBoundCutsSOS1(), separateCons(), separateCoverCutsCons(), separateCuts(), separateIndicators(), separatePerspective(), separatePoint(), separateSCIs(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), sepaSubtour(), setupAndSolve(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupProblem(), setupSubScip(), solveBendersSubproblems(), solveComponent(), solvePricingMINLP(), sortVariables(), splitOffLinearPart(), storeSolution(), switchNext(), tightenVarsBoundsSOS1(), transformColumn(), transformVariable(), tryUpgradingLogicor(), tryUpgradingSetppc(), updateActivities(), updateBestCandidate(), updateBounds(), updateRowActivities(), updateTransformation(), upgradeLinearSuperindicator(), writeFzn(), and writeOpbConstraints().
◆ SCIPgetHugeValue()
returns the minimum value that is regarded as huge and should be handled separately (e.g., in activity computation)
- Parameters
-
scip SCIP data structure
Definition at line 618 of file scip_numerics.c.
References NULL, SCIPsetGetHugeValue(), and Scip::set.
Referenced by computeRelaxedLowerbound(), computeRelaxedUpperbound(), and resolvePropagation().
◆ SCIPisEQ()
checks, if values are in range of epsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 516 of file scip_numerics.c.
References NULL, SCIPsetIsEQ(), and Scip::set.
Referenced by addAltLPColumn(), addAltLPConstraint(), addAltLPRow(), addCoefTerm(), addConcaveEstimatorBivariate(), addConcaveEstimatorUnivariate(), addConflictBounds(), addConflictReasonVars(), addIntervalGradientEstimator(), addLinearCoef(), addLinearization(), addLocalBranchingConstraint(), addOneRow(), addPathCuts(), addQuadVarTerm(), addSplitcons(), addSubtourCuts(), addTourCuts(), addVarbound(), adjustCutoffbound(), aggregateConstraints(), aggregateNextRow(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), applyDomainChanges(), applyFixings(), assignVars(), bottleneckRuleOut(), branchOnBin(), buildMod2Matrix(), buildsolgraph(), calcPscostQuot(), calculateAlternatives(), cancelRow(), catchEvent(), catchVarEvents(), central_terminal(), checkCons(), checkConsnames(), checkFixedVariables(), checkIISlocal(), checkSolution(), checkSymmetriesAreSymmetries(), checkSystemGF2(), chgLhs(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), collectCoefficients(), compareNodes(), componentSetupWorkingSol(), computeBilinEnvelope2(), computeCut(), computeImpliedEst(), computeImpliedLct(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeSymmetryGroup(), computeTransVoronoi(), computeViolation(), polyscip::doubledescription::DoubleDescriptionMethod::computeVRep_Var1(), consdataCreate(), consdataFree(), consdataPrint(), constructCompression(), constructValidSolution(), convertBoundToInt(), correctLocksAndCaptures(), createAltLPColumn(), createAndAddLinearCons(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createSubproblem(), createSubscip(), detectDominatingVlbs(), detectDominatingVubs(), detectParallelCols(), determineBoundForSNF(), displayRelevantStats(), dropEvent(), dualBoundStrengthening(), dualPresolve(), extractCapacityRows(), extractCycle(), extractFlowRows(), fillGraphByColoredCoefficients(), findAggregation(), findDaRoots(), findDominancePairs(), findFixings(), fixAlmostFixedX(), fixAndPropagate(), fixMatchingSolutionValues(), forbidFixation(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generateConvexConcaveUnderestimator(), generateCut(), generateCutNonConvex(), generateEstimatingHyperplane(), generateLinearizationCut(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), getActivities(), getBinVarsRepresentatives(), getGenVBoundsMinActivityConflict(), getlecloseterms(), getLinVarsAndAndRess(), getRandomVariable(), getReward(), getScore(), getScoreLikeCoefdiving(), getVariablePscostScore(), globalfixing(), graph_edge_add(), graph_pc_chgPrize(), graph_pc_contractEdge(), graph_pc_subtractPrize(), graph_voronoiWithDist(), impliesVlbPrecedenceCondition(), improvePoint(), isCandidate(), isConvexLocal(), isPartition(), lifting(), markPcMwRoots(), nodeGetUctScore(), parseConstantArrayAssignment(), parseValue(), performBranching(), preprocessConstraintPairs(), presolRoundIndicator(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesSolveEquations(), presolveFindDuplicatesUpgradeCons(), presolveSolve(), presolveTryAddLinearReform(), prettifyConss(), printActiveVariables(), printBoundSection(), printLinearCons(), printNonlinearCons(), printNonLinearCons(), printPseudobooleanCons(), printQuadraticCons(), printRangeSection(), printRowType(), printSignpowerCons(), propagateBoundsCons(), propagateCons(), propagateOrbitalFixing(), propagateRedcostVar(), propagateVbounds(), propIndicator(), readConstraints(), readIndicators(), readRanges(), reduce_daPcMw(), reduce_daSlackPrune(), reduce_daSlackPruneMw(), reduce_sd(), reduce_simple_pc(), reduceCheckEdge(), reduceSap(), reduceSPG(), reformMonomial(), registerBranchingCandidatesCentrality(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), removeFixedVariables(), replaceByLinearConstraints(), replaceQuadVarTermPos(), replaceViolatedByLinearConstraints(), resolveGenVBoundPropagation(), resolvePropagation(), rowprepCleanupIntegralCoefs(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPaddConstantQuadratic(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPbendersSetupSubproblem(), SCIPchgVarObjProbing(), SCIPcomputeBilinEnvelope2(), SCIPcomputeConvexEnvelopeFacet(), SCIPcreateConsAbspower(), SCIPcreateConsOrbitope(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPmatrixGetParallelCols(), SCIPmatrixGetParallelRows(), SCIPprobdataAddNewSol(), SCIPpropagateProbing(), SCIPresolveSolHeurSubNlp(), SCIPStpDualAscentPcMw(), SCIPStpHeurRecRun(), SCIPvalidateSolve(), SCIPwriteGms(), SCIPwriteMps(), SCIPwriteStp(), sddeltable(), selectBranchVar(), selectdiffsols(), selectShifting(), selectVarRecursive(), separateCuts(), setupAggregationData(), setupAndSolveSubscipRapidlearning(), shortenSubtree(), solveComponent(), solveDerivativeEquation(), strengthenVarbounds(), tightenBounds(), tightenCoefs(), tightenVariables(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), tryUpgradingLogicor(), tryUpgradingXor(), updateBestCandidate(), updateFirstRow(), updateLogRegression(), updateObjUpperbound(), updateVariableRounding(), upgradeConss(), and writeFzn().
◆ SCIPisLT()
checks, if val1 is (more than epsilon) lower than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 529 of file scip_numerics.c.
References NULL, SCIPsetIsLT(), and Scip::set.
Referenced by addBilinearTermToCut(), addCoef(), addConflictBounds(), addLinearizationCuts(), addNodesInformation(), addScenarioVarsAndConsToProb(), analyzeConflictUpperbound(), assignNextBin(), bottleneckRuleOut(), branch(), buildMod2Matrix(), calcPscostQuot(), central_terminal(), checkLeavesBelowIncumbent(), chgLhs(), chgProbingBound(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), compareNodes(), compEdges(), compensateVarLock(), componentSetupWorkingSol(), computeDaSolPcMw(), computeDegConsTree(), computeSCTable(), computeSteinerTree(), constructValidSolution(), createSubscip(), detectDominatingVlbs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), evaluateLiftingFunction(), execRelpscost(), findBestUb(), findComponents(), findDominancePairs(), fixNonNeighborhoodVariables(), generateAndApplyBendersIntegerCuts(), generateCut(), generateCutLTIcomputeCoefs(), generateZerohalfCut(), getAlphaAndBeta(), getcloseterms(), getcloseterms2term(), getlecloseterms(), getPartitionCovervars(), getRSD(), getScore(), globalfixing(), graph_pc_2mw(), graph_pc_2rmw(), graph_pc_getSapShift(), graph_voronoiWithDist(), graph_voronoiWithRadius(), graph_voronoiWithRadiusMw(), impliesVlbPrecedenceCondition(), maxCircles(), mod2matrixPreprocessRows(), performDualfix(), performRandRounding(), performStrongbranchWithPropagation(), polishSolution(), predBndStr(), presolveDual(), prettifyConss(), processBinvarFixings(), propagateBoundsCons(), propagateCons(), propagateCutoffboundVar(), proposeBranchingPoint(), readBounds(), reduce_ans(), reduce_bd34(), reduce_bound(), reduce_boundHop(), reduce_boundHopR(), reduce_boundHopRc(), reduce_boundMw(), reduce_boundPrune(), reduce_da(), reduce_daSlackPrune(), reduce_getSd(), reduce_nts(), reduce_nvAdv(), reduce_sd(), reduce_sdPc(), reduce_sdsp(), reduce_simple(), reduce_simple_hc(), reduce_simple_pc(), reduce_simple_sap(), reduce_sl(), reducePcMwTryBest(), reduceWithEdgeFixingBounds(), reduceWithNodeFixingBounds(), reduceWithNodeReplaceBounds(), registerBranchingCandidates(), registerBranchingCandidatesGap(), releaseNodeFromDepthInfo(), resolveGenVBoundPropagation(), rowprepCleanupImproveCoefrange(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SEPAEXECLP(), SCIPaddRow(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPlinkcuttreeFindMinChain(), SCIPmakeSOS1sFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPStpDualAscent(), SCIPStpDualAscentPcMw(), SCIPStpHeurLocalExtendPcMw(), SCIPStpHeurLocalRun(), SCIPStpHeurRecExclude(), SCIPStpHeurRecRun(), SCIPStpHeurSlackPruneRunPcMw(), SCIPStpHeurTMRun(), SCIPStpHeurTMRunLP(), SCIPupdateDistributionScore(), selectBranchingVertexByLp(), separateCons(), setupProblem(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), tightenBounds(), tightenCoefs(), tightenVariables(), tightenVarUb(), transformNonIntegralRow(), truncateSubtree(), updateBestCandidate(), updateNodeReplaceBounds(), updateObjUpperbound(), and utdist().
◆ SCIPisLE()
checks, if val1 is not (more than epsilon) greater than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 542 of file scip_numerics.c.
References NULL, SCIPsetIsLE(), and Scip::set.
Referenced by addBilinearTermToCut(), addConcaveEstimatorUnivariate(), addConstraint(), addNewLocks(), addSplitcons(), aggregateConstraints(), analyzeGenVBoundConflict(), ansProcessCandidate(), applyProbingVar(), assignVars(), bottleneckRuleOut(), checkFixedVariables(), checkOrigPbCons(), checkSystemGF2(), chgLhs(), chgProbingBound(), chgRhs(), chooseDoubleVar(), compensateVarLock(), computeDaSolPcMw(), computeDegConsTree(), computeInteriorPoint(), computePertubedSol(), consdataPrint(), correctLocksAndCaptures(), createConsFromMonomial(), createConsFromQuadTerm(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), detectDominatingVubs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualPresolve(), edgecostmultiplier(), enumeratePatterns(), evaluateGauge(), evaluateLiftingFunction(), filterCands(), filterPoints(), findBestUb(), findFixings(), findUplockAggregations(), fixNonNeighborhoodVariables(), generateConvexConcaveUnderestimator(), generateCutLTIcomputeCoefs(), generateEstimatingHyperplane(), generateSecantCut(), generateSecantCutNoCheck(), getAlphaAndBeta(), getFixingValue(), getGMIFromRow(), getlecloseterms(), getLinVarsAndAndRess(), getNCircles(), graph_path_PcMwSd(), graph_pc_2mw(), heurExec(), impliesVlbPrecedenceCondition(), initsepaBoundInequalityFromCardinality(), isOverlapping(), lockRoundingAndCons(), performDualfix(), performStrongbranchWithPropagation(), predBndStr(), presolveDual(), projectVbd(), propagateBounds(), propagateBoundsTightenVarLb(), propagateCons(), proposeBranchingPoint(), reduce_ansAdv(), reduce_ansAdv2(), reduce_bd34(), reduce_boundMw(), reduce_cnsAdv(), reduce_da(), reduce_daSlackPrune(), reduce_daSlackPruneMw(), reduce_getSd(), reduce_npv(), reduce_nv(), reduce_nvAdv(), reduce_simple(), reduce_simple_mw(), reduce_simple_pc(), reduce_sl(), reduceMw(), reducePc(), reduceStp(), reformulate(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), removeOldLocks(), resolveGenVBoundPropagation(), sampleRandomPoints(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddBilinMcCormick(), SCIPaddSquareSecant(), SCIPanalyzeDeductionsProbing(), SCIPapplyProbingVar(), SCIPchgLhsQuadratic(), SCIPchgRhsQuadratic(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcreateConsSOC(), SCIPcutsTightenCoefficients(), SCIPprintSolutionStatistics(), SCIPseparateRelaxedKnapsack(), SCIPStpDualAscentPcMw(), SCIPStpHeurLocalRun(), SCIPStpHeurPruneUpdateSols(), SCIPStpHeurSlackPruneRun(), SCIPStpHeurTMRun(), searchEcAggrWithMIP(), selectNextDiving(), separateCuts(), separatePoint(), setupAndSolveSubscipRapidlearning(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveSubNLP(), traverseChain(), trydg1edgepc(), tryUpgradingSetppc(), unlockRoundingAndCons(), updateBestCandidate(), updateNodeReplaceBounds(), upgradeConss(), and upgradeLinearSuperindicator().
◆ SCIPisGT()
checks, if val1 is (more than epsilon) greater than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 555 of file scip_numerics.c.
References NULL, SCIPsetIsGT(), and Scip::set.
Referenced by addBilinearTermToCut(), addBranchingComplementaritiesSOS1(), addCoef(), addConflictBounds(), addGenVBound(), addLinearizationCuts(), addPathCuts(), addRelaxation(), addSubtourCuts(), addTourCuts(), adjust0term(), aggregateNextRow(), analyzeConflictLowerbound(), ansProcessCandidate(), applyNlobbt(), applyProbingVar(), assignNextBin(), calcPscostQuot(), checkDivingCandidates(), checkPackingPartitioningOrbitopeSolution(), checkVarbound(), chgProbingBound(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), compareNodes(), compensateVarLock(), computeDegConsTree(), computeLiftingData(), computeNextAdjacency(), computePosRingCircle(), computeSteinerTreeVnoi(), computeViolation(), computeViolations(), consdataCreate(), correct(), correctX(), createSubscip(), cutoffEdge(), cutsTransformMIR(), cutTightenCoefs(), cutTightenCoefsQuad(), detectDominatingVubs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualcostVarfixing(), dualPresolve(), enfopsPackingPartitioningOrbitopeSolution(), enforceConstraint(), enforceViolatedFixedNonlinear(), enumeratePatterns(), evaluateLiftingFunction(), execRelpscost(), extractCycle(), findBestLb(), findDaRoots(), fixAlmostFixedX(), fixNonNeighborhoodVariables(), generateCut(), generateCutLTIcomputeCoefs(), generateCutSol(), generateLiftedFlowCoverCut(), generateSparseCut(), generateZerohalfCut(), getAlphaAndBeta(), getcloseterms2term(), getlecloseterms(), getNCircles(), getObjectiveFactor(), getOptimalShiftingValue(), getRSD(), getScore(), getScoreLikeCoefdiving(), getVarRank(), graph_edge_redirect(), graph_get2next(), graph_get3next(), graph_get4next(), graph_load(), graph_pack(), graph_path_execX(), graph_path_invroot(), graph_path_PcMwSd(), graph_path_st_pcmw(), graph_path_st_pcmw_extend(), graph_path_st_pcmw_full(), graph_path_st_rmw(), graph_path_st_rpc(), graph_pc_2mw(), graph_pc_2rmw(), graph_pc_getSapShift(), graph_sdPaths(), graph_voronoi(), graph_voronoiMw(), graph_voronoiRepair(), graph_voronoiRepairMult(), graph_voronoiTerms(), graph_voronoiWithDist(), graph_voronoiWithRadius(), graph_voronoiWithRadiusMw(), impliesVlbPrecedenceCondition(), improvePoint(), performRandRounding(), performStrongbranchWithPropagation(), polishSolution(), presolveDual(), presolveFindDuplicates(), printRangeSection(), printRowType(), processCut(), propagateBounds(), propagateBoundsCons(), propagateCons(), proposeBranchingPoint(), proposeFeasibleSolution(), readBounds(), reduce_ansAdv(), reduce_ansAdv2(), reduce_bound(), reduce_boundHop(), reduce_boundHopR(), reduce_boundHopRc(), reduce_boundMw(), reduce_boundPrune(), reduce_check3Tree(), reduce_cnsAdv(), reduce_daPcMw(), reduce_daSlackPrune(), reduce_daSlackPruneMw(), reduce_getSd(), reduce_getSdPcMw(), reduce_ledge(), reduce_npv(), reduce_nts(), reduce_rpt(), reduce_sd(), reduce_sdPc(), reduce_sdsp(), reduce_sdspSap(), reduce_simple_sap(), reduceCheckEdge(), reducePcMw(), reducePcMwTryBest(), reduceSPG(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), releaseNodeFromDepthInfo(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), reset(), resetX(), resolveGenVBoundPropagation(), rowprepCleanupImproveCoefrange(), ruleOutSubtree(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_RELAXEXEC(), SCIPaddBilinearIneqQuadratic(), SCIPaddRow(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPcopyConsLinear(), SCIPcutsTightenCoefficients(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPprobdataAddNewSol(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPStpHeurLocalRun(), SCIPStpHeurRecAddToPool(), SCIPStpHeurRecRun(), SCIPStpHeurTMRun(), SCIPStpHeurTMRunLP(), SCIPupdateDistributionScore(), separateCons(), separatePerspective(), separatePoint(), separateSymresackCovers(), setMinMaxElims(), singletonColumnStuffing(), solveAndEvalSubscip(), solvePricingHeuristic(), storeAggrFromMIP(), tightenBounds(), tightenCoefs(), tightenVariables(), tightenVarLb(), transformNonIntegralRow(), trydg1edgepc(), updateBestCandidate(), and writeOpbConstraints().
◆ SCIPisGE()
checks, if val1 is not (more than epsilon) lower than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 568 of file scip_numerics.c.
References NULL, SCIPsetIsGE(), and Scip::set.
Referenced by addBilinearTermToCut(), addNodesInformation(), addSplitcons(), analyzeGenVBoundConflict(), applyProbingVar(), applyTightening(), assignVars(), checkFixedVariables(), checkSystemGF2(), checkVarbound(), chgProbingBound(), compEdges(), computeCut(), computeDegConsTree(), computeInteriorPoint(), polyscip::Polyscip::computeNondomPoints(), computePertubedSol(), computePosCircleCircle(), computePosRingCircle(), computeStandardFeasibilityCut(), computeSteinerTreeVnoi(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), cutsTransformMIR(), cutTightenCoefsQuad(), detectDominatingVlbs(), dualcostVarfixing(), dualPresolve(), dualPresolving(), edgecostmultiplier(), evaluateGauge(), execRelpscost(), executeBranchingRecursive(), findBestLb(), findDominancePairs(), findDownlockAggregations(), findFixings(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateConvexConcaveUnderestimator(), generateCutLTIcomputeCoefs(), generateCutNonConvex(), generateEstimatingHyperplane(), generateLiftedFlowCoverCut(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getFixingValue(), getlecloseterms(), getPartitionCovervars(), graph_edge_add(), graph_path_st_pcmw_extend(), graph_path_st_pcmw_reduce(), graph_path_st_rmw(), graph_path_st_rpc(), graph_pc_2mw(), graph_pc_2pc(), graph_pc_2rmw(), graph_pc_2rpc(), graph_pc_chgPrize(), graph_pc_getSapShift(), graph_pc_mw2rmw(), graph_pc_subtractPrize(), graph_voronoiWithRadius(), graph_voronoiWithRadiusMw(), identifySourcesTargets(), impliesVlbPrecedenceCondition(), isNlobbtApplicable(), isVlb(), isVub(), nodeGetUctScore(), performLPRandRounding(), performLPSimpleRounding(), performStrongbranchWithPropagation(), presolRoundIndicator(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDual(), prettifyConss(), propagateBoundsTightenVarUb(), propagateCons(), propagateCutoffboundGlobally(), proposeBranchingPoint(), reduce_ansAdv2(), reduce_bd34(), reduce_bound(), reduce_boundHop(), reduce_boundMw(), reduce_boundPrune(), reduce_chain2(), reduce_check3Tree(), reduce_cnsAdv(), reduce_da(), reduce_daSlackPruneMw(), reduce_ledge(), reduce_npv(), reduce_nts(), reduce_nv(), reduce_nvAdv(), reduce_sd(), reduce_sdsp(), reduce_sdspSap(), reduce_simple_hc(), reduce_simple_mw(), reduce_sl(), reduceCheckEdge(), reducePcMw(), reducePcMwTryBest(), reformulate(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), resolveGenVBoundPropagation(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_TABLEOUTPUT(), SCIPaddBilinMcCormick(), SCIPaddSquareSecant(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyProbingVar(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcreateConsSOC(), SCIPgetVarStrongbranchWithPropagation(), SCIPlinkcuttreeFindMax(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsolveDiveLP(), SCIPsolveKnapsackExactly(), SCIPStpDualAscent(), SCIPStpDualAscentPcMw(), SCIPStpHeurTMRun(), SCIPStpHeurTMRunLP(), SCIPtryStrongbranchLPSol(), SCIPupdateNodeLowerbound(), SCIPverifyCircularPatternHeuristic(), selectNextDiving(), selectVarMultAggrBranching(), selectVarRecursive(), separateCuts(), shortenSubtree(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveProbingLP(), traverseChain(), trydg1edgepc(), updateBestCandidate(), updateDualBounds(), updateNodeReplaceBounds(), and upgradeLinearSuperindicator().
◆ SCIPisInfinity()
checks, if value is (positive) infinite
- Parameters
-
scip SCIP data structure val value to be compared against infinity
Definition at line 592 of file scip_numerics.c.
References NULL, SCIPsetIsInfinity(), and Scip::set.
Referenced by addAltLPColumn(), addAltLPConstraint(), addAltLPRow(), addBilinearTermToCut(), addBranchingComplementaritiesSOS1(), addCoef(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConstraint(), addCut(), addFacetToCut(), addGenVBound(), addIntervalGradientEstimator(), addLinearization(), addLinearizationCuts(), addLinearTermToCut(), addNewLocks(), addObjcut(), addOneRow(), addRow(), addVarbound(), aggregateConstraints(), aggregateNextRow(), aggregateVariables(), analyzeGenVBoundConflict(), applyBoundHeur(), applyDomainChanges(), applyFixings(), applyGenVBound(), applyHeur(), applyOptcumulative(), applyRepair(), applyTightening(), applyVboundsFixings(), buildMod2Matrix(), calcActivityBounds(), calcBranchScore(), calcColActivity(), calcColActResidual(), calcShiftVal(), calculateAlternatives(), calculateBounds(), calculateMinvalAndMaxval(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelRow(), catchLinearVarEvents(), catchVarEvents(), checkArraySizesGLS(), checkArraySizesHeur(), checkCands(), checkCons(), checkConsQuadraticProblem(), checkCurvature(), checkCurvatureEasy(), checkFixedVariables(), checkLogCriterion(), checkOptimalSolution(), checkOrigPbCons(), checkRedundancySide(), chgCoeffWithBound(), chgLhs(), chgQuadCoeffWithBound(), chgRhs(), choosePscostVar(), collectCoefficients(), compareNodes(), compensateVarLock(), computeBoundsX(), computeBoundsZ(), computeCut(), computeED(), computeGauge(), computeInteriorPoint(), computeLiftingData(), computeMaxViolation(), computeReferencePointGauge(), computeReferencePointProjection(), computeStandardFeasibilityCut(), computeStandardIntegerOptCut(), computeStandardOptimalityCut(), computeViolation(), consdataCheckNonbinvar(), consdataComputePseudoActivity(), consdataCreate(), consdataFindUnlockedLinearVar(), consdataFree(), consdataGetActivity(), consdataGetActivityResiduals(), consdataGetGlbActivityResiduals(), consdataIsResidualIntegral(), consdataPrint(), consdataRecomputeGlbMinactivity(), consdataRecomputeMaxactivity(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMinactivity(), consdataUpdateLinearActivity(), consdataUpdateLinearActivityLbChange(), consdataUpdateLinearActivityUbChange(), constructSNFRelaxation(), correctLocksAndCaptures(), createAltLPColumn(), createAndAddLinearCons(), createCoveringProblem(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createLinking(), createNewSol(), createNLP(), createNormalizedKnapsack(), createRows(), createSubproblem(), createSubscip(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutsTransformMIR(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), determineBestBounds(), determineBound(), determineBoundForSNF(), determineLimits(), determineVariableFixings(), displayRelevantStats(), doSeachEcAggr(), doSolveSubMIP(), dropLinearVarEvents(), dropVarEvents(), dualBoundStrengthening(), dualPresolve(), enforceConstraint(), enforceViolatedFixedNonlinear(), evalLhs(), evaluateCutNumerics(), evaluateGauge(), evaluateLiftingFunction(), extractCapacityRows(), extractFlowRows(), extractLinearValues(), filterCands(), filterExistingLP(), findAndStoreEcAggregations(), findDownlockAggregations(), findFixings(), findPointPosition(), findUplockAggregations(), fixAlmostFixedX(), fixNonNeighborhoodVariables(), fixVariable(), fixVariables(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateAndApplyBendersIntegerCuts(), generateAverageNBRay(), generateAverageRay(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateConvexConcaveEstimator(), generateConvexConcaveUnderestimator(), generateCut(), generateCutFactorable(), generateCutFactorableDo(), generateCutLTI(), generateCutLTIcomputeCoefs(), generateCutLTIfindIntersection(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateDisjCutSOS1(), generateEstimatingHyperplane(), generateLiftedFlowCoverCut(), generateLinearizationCut(), generateLinearizationCutProject(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateOverestimatingHyperplaneCut(), generateRowCardinality(), generateRowSOS2(), generateSecantCut(), generateSecantCutNoCheck(), generateSparseCut(), generateUnderestimatorParallelYFacets(), generateZerohalfCut(), getActivities(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getBoundConsFromVertices(), getBranchingPrioritiesSOS1(), getClosestVlb(), getClosestVub(), getCopyMemlimit(), getCopyTimelimit(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getGenVBoundsBound(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getGMIFromRow(), getLinearCoeffs(), getLinVarsAndAndRess(), getMaxActivity(), getMaxActivitySingleRowWithoutCol(), getMaxResActivity(), getMinActivity(), getMinActivitySingleRowWithoutCol(), getMinColActWithoutRow(), getMinMaxActivityResiduals(), getObjectiveFactor(), getOptimalShiftingValue(), getPotential(), getPotentialContributed(), getRelDistance(), getReward(), getTimeLeft(), getVariableRedcostScore(), getVarUpperBoundOfRow(), handleNewVariableCardinality(), handleNewVariableSOS1(), hasQuadvarHpProperty(), improvePoint(), infCntUpdate(), initMatrix(), initsepaBoundInequalityFromCardinality(), initSepaData(), invertCommodity(), isCandidate(), isConvexLocal(), isNlobbtApplicable(), isPossibleToComputeCut(), isRangedRow(), isUpperBoundImplied(), isZero(), lifting(), lockLinearVariable(), lockRounding(), lockRoundingAndCons(), mod2MatrixTransformContRows(), modifyAndPackCut(), nodeGetSolvalBinaryBigMSOS1(), nodeGetUctScore(), nodepairqueueCreate(), performDualfix(), performStrongbranchWithPropagation(), polishSolution(), predBndStr(), preprocessConstraintPairs(), presolve(), presolveAddKKTLinearCons(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveTryAddLinearReform(), prettifyConss(), printBounds(), printBoundSection(), printDualSol(), printIndicatorCons(), printLinearCons(), printLongStatistics(), printNonlinearCons(), printNonLinearCons(), printPseudobooleanCons(), printQuadraticCons(), printRangeSection(), printRhsSection(), printRowType(), printShortStatistics(), printSignpowerCons(), propagateBounds(), propagateBoundsBilinearTerm(), propagateBoundsCons(), propagateBoundsGetQuadActivity(), propagateBoundsQuadVar(), propagateBoundsTightenVar(), propagateBoundsTightenVarLb(), propagateBoundsTightenVarUb(), propagateCons(), propagateConstraintSides(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLowerboundBinvar(), propagateLowerboundVar(), propagateVarbounds(), propIndicator(), proposeBranchingPoint(), proposeFeasibleSolution(), readBinaries(), readBounds(), readCols(), readConstraints(), readIndicators(), readRanges(), readRhs(), redcostAvailable(), reformulate(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), relaxVar(), removeFixedLinearVariables(), removeFixedVariables(), removeOldLocks(), removeZeros(), removeZerosQuad(), replaceByLinearConstraints(), replaceQuadVarTermPos(), replaceViolatedByLinearConstraints(), resolvePropagation(), retransformVariable(), rowCalculateGauss(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), runBenders(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddBilinLinearization(), SCIPaddBilinMcCormick(), SCIPaddBilinTermQuadratic(), SCIPaddCoefLinear(), SCIPaddConstantQuadratic(), SCIPaddLinearVarNonlinear(), SCIPaddLinearVarQuadratic(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddQuadVarQuadratic(), SCIPaddRow(), SCIPaddSquareCoefQuadratic(), SCIPaddSquareLinearization(), SCIPaddSquareSecant(), SCIPaddVarImplication(), SCIPaggrRowAddCustomCons(), SCIPaggrRowAddRow(), SCIPaggrRowCancelVarWithBound(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgBilinCoefQuadratic(), SCIPchgLhsQuadratic(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarLbNode(), SCIPchgVarLbProbing(), SCIPchgVarObj(), SCIPchgVarObjProbing(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPchgVarUbNode(), SCIPchgVarUbProbing(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcopyConsLinear(), SCIPcreateConsAbspower(), SCIPcreateConsBivariate(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsSOC(), SCIPcreateFiniteSolCopy(), SCIPcreateNlpiProb(), SCIPcreateVar(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPgetFeasibilityQuadratic(), SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPmakeIndicatorFeasible(), SCIPprintSolutionStatistics(), SCIPprintStage(), SCIProwCalcProbability(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximatelyLT(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtransformProb(), SCIPvalidateSolve(), SCIPvarCalcDistributionParameters(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectBranchVar(), selectShifting(), sepaImplBoundCutsSOS1(), separateCons(), separateCuts(), separatePerspective(), separatePoint(), setSubscipLimits(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipMutation(), setupAndSolveSubscipRapidlearning(), setupSubScip(), singletonColumnStuffing(), solveClassification(), solveComponent(), solveCumulative(), solveIndependentCons(), solveMinIISC(), solveNlp(), solveSubproblem(), solveSubscip(), splitOffLinearPart(), storeAllBilinearTerms(), storeNonlinearConvexNlrows(), termIsConvex(), tightenBounds(), tightenCoefs(), tightenVariables(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), transformValue(), transformVariable(), tryFixVar(), unlockLinearVariable(), unlockRounding(), unlockRoundingAndCons(), updateActivities(), updateBestCandidate(), updateDualBounds(), updateImplicationGraphSOS1(), updateObjUpperbound(), updateRowActivities(), updateSlacks(), updateSubproblemLowerbound(), updateTransformation(), updateWeightsTCliquegraph(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varProcessBoundChanges(), wrapperDins(), wrapperRins(), and writeFzn().
◆ SCIPisHugeValue()
checks, if value is huge and should be handled separately (e.g., in activity computation)
- Parameters
-
scip SCIP data structure val value to be checked whether it is huge
Definition at line 604 of file scip_numerics.c.
References NULL, SCIPsetIsHugeValue(), and Scip::set.
Referenced by checkCons(), consdataComputePseudoActivity(), consdataGetActivityResiduals(), consdataGetGlbActivityResiduals(), consdataRecomputeGlbMinactivity(), consdataRecomputeMaxactivity(), consdataRecomputeMinactivity(), improvePoint(), propagateBoundsTightenVarLb(), propagateBoundsTightenVarUb(), selectShifting(), separateCuts(), simplifyInequalities(), solveBilinearLP(), and updateBestCandidate().
◆ SCIPisZero()
checks, if value is in range epsilon of 0.0
- Parameters
-
scip SCIP data structure val value to process
Definition at line 629 of file scip_numerics.c.
References NULL, SCIPsetIsZero(), and Scip::set.
Referenced by addAltLPColumn(), addAltLPConstraint(), addBilinearTerm(), addBilinearTermToCut(), addCoefTerm(), addConcaveEstimatorBivariate(), addConflictBounds(), addFacetToCut(), addFlowrowToCommodity(), addGenVBound(), addIntervalGradientEstimator(), addLinearCoef(), addLinearization(), addLinearTermToCut(), addObjcut(), addRow(), addVarbound(), adjust0term(), adjustCutoffbound(), aggregateConstraints(), applyFixings(), applyRepair(), polyscip::WeightSpacePolyhedron::areAdjacent(), branchOnBin(), buildConvexCombination(), buildMod2Matrix(), calcActivityBounds(), calcEfficacyNormQuad(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelRow(), catchObjEvent(), checkDivingCandidates(), checkFactorable(), checkFixedVariables(), checkSolution(), checkSymmetriesAreSymmetries(), chgLinearCoefPos(), collectMaxactVar(), collectMinactImplicVar(), collectMinactImplicVars(), collectMinactVar(), collectNonBinaryVBoundData(), componentSetupWorkingSol(), computeCut(), computePosRingCircle(), computeStandardFeasibilityCut(), computeStandardOptimalityCut(), polyscip::doubledescription::DoubleDescriptionMethod::computeVRep_Var1(), consdataCreate(), consdataFree(), correctLocksAndCaptures(), createAndAddAnds(), createAndAddLinearCons(), createConsFromMonomial(), createExprtreeFromMonomial(), createNewSol(), createNlRow(), createObjRow(), createProbSimplified(), createSubproblems(), createSubscip(), createTcliqueGraph(), createVariables(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), determineBestBounds(), disaggregate(), dropObjEvent(), dualCostIsValid(), ecaggrAddBilinTerm(), enforceConflictgraph(), enforceViolatedFixedNonlinear(), enumeratePatterns(), evaluateGauge(), fillGlobalStartingData(), filterExistingLP(), fixIntegerVariable(), fixVariableZero(), generateBoundInequalityFromSOS1Nodes(), generateCloseCutPoint(), generateClusterCuts(), generateCutFactorable(), generateCutFactorableDo(), generateCutLTIcomputeCoefs(), generateCutLTIfindIntersection(), generateCutLTIgenMulCoeff(), generateCutPoint(), generateCutProjectedPoint(), generateCutUnboundedLP(), generateEstimatingHyperplane(), generateRowCardinality(), getActiveVar(), getBinVarsRepresentatives(), getBoundConsFromVertices(), getGenVBound(), getGMIFromRow(), getMaxactImplicObjchg(), getMinactImplicObjchg(), getObjectiveFactor(), getPotential(), getPotentialContributed(), getScore(), getScoreLikeCoefdiving(), graph_pc_mw2rmw(), handleNewVariableCardinality(), handleNewVariableSOS1(), polyscip::doubledescription::V_RepT::hasNonUnitAndNonZeroWeight(), hasQuadvarHpProperty(), improvePoint(), isPartition(), lockRounding(), mergeAndCleanBilinearTerms(), mergeAndCleanLinearVars(), mergeAndCleanQuadVarTerms(), mod2MatrixAddOrigRow(), mod2MatrixAddTransRow(), mod2matrixPreprocessColumns(), mod2matrixRemoveRow(), mod2rowAddRow(), modifyAndPackCut(), nodepairqueueCreate(), polyscip::Polyscip::numberofUnboundedResults(), objimplicsCreate(), optimize(), performDualfix(), performStrongbranchSOS1(), permuteStartSolution(), polishSolution(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundSOS2(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveCreateOuterApprox(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveRemoveFixedVariables(), presolveSolve(), presolveTryAddLinearReform(), presolveUpgrade(), printActiveVariables(), printBoundSection(), printDualSol(), printLinearRow(), printNLRow(), printNonlinearRow(), printPBRow(), printQuadraticRow(), printRow(), printRowNl(), printSignpowerRow(), printSOCCons(), propagateCons(), propagateCutoffboundBinvar(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLowerboundVar(), propagateVarbounds(), propIndicator(), proposeFeasibleSolution(), readBounds(), readCoefficients(), readCols(), readColsMop(), readOPBFile(), readRhs(), reduce_contractZeroEdges(), reduce_da(), reduce_extendedEdge(), reduce_simple_mw(), reduce_simple_pc(), reducePcMw(), reduceSPG(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resolvePropagation(), rowprepCleanupSide(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERREAD(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddRow(), SCIPaddSquareCoefQuadratic(), SCIPaddVarVlb(), SCIPaddVarVub(), SCIPaggrRowAddObjectiveFunction(), SCIPanalyzeDeductionsProbing(), SCIPapplyProximity(), SCIPchgBilinCoefQuadratic(), SCIPchgCoefLinear(), SCIPchgLinearCoefQuadratic(), SCIPchgReoptObjective(), SCIPchgSquareCoefQuadratic(), SCIPcomputeBilinEnvelope1(), SCIPcreateConsAbspower(), SCIPcreateConsIndicator(), SCIPcreateConsNonlinear(), SCIPcreateConsNonlinear2(), SCIPcreateConsOrbitope(), SCIPcreateConsQuadratic(), SCIPcreateNlpiProb(), SCIPgetVectorEfficacyNorm(), SCIPisObjIntegral(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPprobdataAddNewSol(), SCIPprobdataPrintGraph(), SCIPprobdataWriteSolution(), SCIPreduceMatrixSize(), SCIPStpDualAscent(), SCIPStpDualAscentPcMw(), SCIPStpHeurAscendPruneRun(), SCIPStpHeurTMRunLP(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectShifting(), setupAggregationData(), setupSubproblem(), solCutIsViolated(), solveClassification(), solveDerivativeEquation(), solveMinIISC(), solveSubNLP(), storeCutInArrays(), switchNext(), termIsConstant(), tightenCoefs(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), tryUpgradingXor(), updateBilinearRelaxation(), updateSlacks(), upgradeConss(), writeFzn(), and writeOpbObjective().
◆ SCIPisPositive()
checks, if value is greater than epsilon
- Parameters
-
scip SCIP data structure val value to process
Definition at line 641 of file scip_numerics.c.
References NULL, SCIPsetIsPositive(), and Scip::set.
Referenced by addBilinearTermToCut(), addCoefTerm(), addConflictBinvar(), addLinearizationCuts(), addPathCuts(), aggregateConstraints(), applyAlternativeBoundsBranching(), polyscip::WeightSpacePolyhedron::areAdjacent(), checkCurvature(), checkCurvatureEasy(), checkFactorable(), checkRedundancySide(), chgLhs(), chgRhs(), collectMaxactVar(), computeNextAdjacency(), computeStandardFeasibilityCut(), computeStandardOptimalityCut(), polyscip::doubledescription::DoubleDescriptionMethod::computeVRep_Var1(), createAndAddLinearCons(), createCGCutDirect(), createMIP(), createNlRow(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), determineBound(), dfs(), doSeparation(), dualPresolve(), evaluateGauge(), extractCapacityRows(), extractFlowRows(), findDaRoots(), findFixings(), fixIntegerVariable(), fixVariableZero(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateConvexConcaveEstimator(), generateCut(), generateCutProjectedPoint(), generateCutSol(), generateCutUnboundedLP(), generateRowCardinality(), generateSecantCut(), generateSecantCutNoCheck(), generateSparseCut(), getBranchingDecisionStrongbranchSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), initData(), isCandidate(), lockRoundingAndCons(), markPcMwRoots(), nodepairqueueCreate(), performDualfix(), permuteStartSolution(), pertubateEdgeCosts(), predBndStr(), preprocessConstraintPairs(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveCreateOuterApprox(), presolveTryAddLinearReform(), printSignpowerRow(), propagateCons(), propagateLowerboundBinvar(), propIndicator(), proposeFeasibleSolution(), reduce_getSdPcMw(), reduce_sdsp(), resolveGenVBoundPropagation(), resolvePropagation(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERREAD(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPapplyLockFixings(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPchgReoptObjective(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPlinkcuttreeFindMinChain(), SCIPStpHeurLocalRun(), SCIPupdateStartpointHeurSubNlp(), SCIPwritePip(), searchEcAggrWithCliques(), selectBranchingVertexByLp(), selectBranchingVertexByLp2Flow(), selectInitialVariable(), selectShifting(), separateCuts(), separatePerspective(), separatePoint(), setupAndSolveSubscipRapidlearning(), setUpEvents(), solveAndEvalSubscip(), sortGenVBounds(), storeAllBilinearTerms(), unlockRoundingAndCons(), upgradeLinearSuperindicator(), polyscip::doubledescription::V_RepT::V_RepT(), varMayRoundDown(), and varMayRoundUp().
◆ SCIPisNegative()
checks, if value is lower than -epsilon
- Parameters
-
scip SCIP data structure val value to process
Definition at line 653 of file scip_numerics.c.
References NULL, SCIPsetIsNegative(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), addConflictBinvar(), adjustCutoffbound(), applyAlternativeBoundsBranching(), polyscip::WeightSpacePolyhedron::areAdjacent(), calcBranchScore(), checkCurvature(), checkCurvatureEasy(), checkFactorable(), checkLogCriterion(), collectMinactVar(), computeCut(), computeStandardFeasibilityCut(), computeStandardOptimalityCut(), polyscip::doubledescription::DoubleDescriptionMethod::computeVRep_Var1(), copySofttimelimit(), createMIP(), createNlRow(), createVarUbs(), cutTightenCoefs(), cutTightenCoefsQuad(), determineBestBounds(), determineBound(), dualPresolve(), dualPresolving(), evaluateGauge(), extractCapacityRows(), extractNodes(), fillGlobalStartingData(), findFixings(), fixIntegerVariable(), fixVariableZero(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateCut(), generateCutProjectedPoint(), generateCutUnboundedLP(), generateDisjCutSOS1(), generateEstimatingHyperplane(), generateRowCardinality(), polyscip::doubledescription::V_RepT::hasNonUnitAndNonZeroWeight(), isCandidate(), isRangedRow(), nlrowaggrCreate(), nodepairqueueCreate(), objimplicsCreate(), performDualfix(), predBndStr(), preprocessConstraintPairs(), presolveCreateOuterApprox(), presolveRemoveFixedVariables(), presolveTryAddLinearReform(), ObjPricerVRP::pricing(), pricing(), printSignpowerRow(), propagateCons(), propagateCutoffboundBinvar(), proposeFeasibleSolution(), reduce_getSdPcMw(), reduce_sdsp(), registerBranchingCandidatesGap(), removeDoubleAndSingletonsAndPerformDualpresolve(), SCIP_DECL_CONSINITLP(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HEUREXEC(), SCIP_DECL_QUADCONSUPGD(), SCIPcalcCumulativeDistribution(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPgetReadingTime(), SCIPStpHeurLocalRun(), SCIPvarCalcDistributionParameters(), SCIPwritePip(), searchEcAggrWithCliques(), selectShifting(), separatePerspective(), separatePoint(), setupAndSolveSubscipRapidlearning(), solveAndEvalSubscip(), sortGenVBounds(), storeAllBilinearTerms(), transformColumn(), updateBestCandidate(), updateNodeReplaceBounds(), upgradeLinearSuperindicator(), polyscip::doubledescription::V_RepT::V_RepT(), varMayRoundDown(), and varMayRoundUp().
◆ SCIPisIntegral()
checks, if value is integral within epsilon
- Parameters
-
scip SCIP data structure val value to process
Definition at line 665 of file scip_numerics.c.
References NULL, SCIPsetIsIntegral(), and Scip::set.
Referenced by addCoefTerm(), aggregateConstraints(), aggregateVariables(), applyFixings(), assignVars(), buildFlowCover(), calcBranchScore(), cancelRow(), checkCons(), computeCut(), consdataCheckSuperindicator(), convertBoundToInt(), createAndAddLinearCons(), createNlRow(), createVariables(), enfopsPackingPartitioningOrbitopeSolution(), fixAndPropagate(), flattenFloat(), getFlowCover(), isPartition(), isRangedRow(), parseRange(), presolveTryAddLinearReform(), presolveUpgrade(), prettifyConss(), printLinearCons(), printNLRow(), printPBRow(), printRow(), printSignpowerRow(), printValue(), propIndicator(), readCoefficients(), readExpression(), readIndicators(), readOPBFile(), readPolynomial(), reformMonomial(), reformulate(), runBenders(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPaddCoefPseudoboolean(), SCIPaddSquareLinearization(), SCIPaddVarIndicator(), SCIPcreateConsIndicator(), SCIPisObjIntegral(), SCIPsolveKnapsackExactly(), SCIPwritePip(), tightenBounds(), tightenCoefs(), tightenVariables(), updateBestCandidate(), updateVariableRounding(), writeExpandedSolutions(), writeFzn(), and writeOpbObjective().
◆ SCIPisScalingIntegral()
checks whether the product val * scalar is integral in epsilon scaled by scalar
- Parameters
-
scip SCIP data structure val unscaled value to check for scaled integrality scalar value to scale val with for checking for integrality
Definition at line 677 of file scip_numerics.c.
References NULL, SCIPsetIsScalingIntegral(), and Scip::set.
◆ SCIPisFracIntegral()
checks, if given fractional part is smaller than epsilon
- Parameters
-
scip SCIP data structure val value to process
Definition at line 690 of file scip_numerics.c.
References NULL, SCIPsetIsFracIntegral(), and Scip::set.
◆ SCIPfloor()
rounds value + epsilon down to the next integer
- Parameters
-
scip SCIP data structure val value to process
Definition at line 702 of file scip_numerics.c.
References NULL, SCIPsetFloor(), and Scip::set.
Referenced by addOneRow(), branchBalancedCardinality(), calcColorValue(), checkCands(), computeFixingrate(), computeMIREfficacy(), createSubSCIP(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), DECL_CHANGESUBSCIP(), enforceConflictgraph(), enforceConssSOS1(), fixDiscreteVars(), fixVariable(), generateClusterCuts(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), getCoef(), getNCircles(), handleCycle(), performDualfix(), polishSolution(), predBndStr(), printSignpowerRow(), proposeFeasibleSolution(), readOPBFile(), readVariables(), restrictToBinaryBounds(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIPaddSquareLinearization(), SCIPaggrRowAddRow(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurSubNlp(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackExactly(), SCIPwriteGms(), selectNextDiving(), setupSubScip(), tightenVariables(), tightenVarsBoundsSOS1(), tryAdd2variableBuffer(), and updateArcData().
◆ SCIPceil()
rounds value - epsilon up to the next integer
- Parameters
-
scip SCIP data structure val value to process
Definition at line 714 of file scip_numerics.c.
References NULL, SCIPsetCeil(), and Scip::set.
Referenced by addOneRow(), checkCands(), createObjRow(), createReaderdata(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), findUncapacitatedArcs(), fixVariable(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), handleCycle(), maxCircles(), performDualfix(), polishSolution(), predBndStr(), proposeFeasibleSolution(), readVariables(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_HEUREXEC(), SCIP_DECL_READERREAD(), SCIP_DECL_SEPAEXECLP(), SCIPaggrRowAddRow(), SCIPanalyzeDeductionsProbing(), SCIPcreateConsIndicator(), SCIPperformGenericDivingAlgorithm(), SCIPwriteGms(), selectNextDiving(), selectVarStart(), separateCuts(), separateGLS(), separateHeur(), tightenVariables(), tightenVarsBoundsSOS1(), updateArcData(), and visualizeSolutionAscii().
◆ SCIPround()
rounds value to the nearest integer with epsilon tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 726 of file scip_numerics.c.
References NULL, SCIPsetRound(), and Scip::set.
Referenced by applyFixings(), createNlRow(), cutTightenCoefs(), cutTightenCoefsQuad(), flattenFloat(), mod2(), presolveTryAddLinearReform(), printExpr(), printNLRow(), printPBRow(), printRow(), readExpression(), reformMonomial(), reformulate(), rowprepCleanupIntegralCoefs(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_READERREAD(), SCIPcalcStrongCG(), SCIPresolveSolHeurSubNlp(), SCIPwritePip(), solveNLP(), visualizeSolutionAscii(), visualizeSolutionGnuplot(), visualizeSolutionMatplotlib(), and writeOpbObjective().
◆ SCIPfrac()
returns fractional part of value, i.e. x - floor(x) in epsilon tolerance
- Parameters
-
scip SCIP data structure val value to return fractional part for
Definition at line 738 of file scip_numerics.c.
References NULL, SCIPsetFrac(), and Scip::set.
Referenced by changeSubvariableObjective(), computeCut(), createCGCutCMIR(), createCGCutStrongCG(), cutsTransformMIR(), generateClusterCuts(), getGMIFromRow(), and SCIP_DECL_BRANCHEXECLP().
◆ SCIPisSumEQ()
checks, if values are in range of sumepsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 750 of file scip_numerics.c.
References NULL, SCIPsetIsSumEQ(), and Scip::set.
Referenced by SCIP_DECL_BRANCHEXECLP(), separateSCIs(), transformNonIntegralRow(), and updateBestCandidate().
◆ SCIPisSumLT()
checks, if val1 is (more than sumepsilon) lower than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 763 of file scip_numerics.c.
References NULL, SCIPsetIsSumLT(), and Scip::set.
Referenced by proposeFeasibleSolution(), solveComponent(), and transformNonIntegralRow().
◆ SCIPisSumLE()
checks, if val1 is not (more than sumepsilon) greater than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 776 of file scip_numerics.c.
References NULL, SCIPsetIsSumLE(), and Scip::set.
Referenced by getAlphaAndBeta().
◆ SCIPisSumGT()
checks, if val1 is (more than sumepsilon) greater than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 789 of file scip_numerics.c.
References NULL, SCIPsetIsSumGT(), and Scip::set.
Referenced by constructCompression(), execRelpscost(), SCIP_DECL_BRANCHEXECLP(), transformNonIntegralRow(), and updateBestCandidate().
◆ SCIPisSumGE()
checks, if val1 is not (more than sumepsilon) lower than val2
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 802 of file scip_numerics.c.
References NULL, SCIPsetIsSumGE(), and Scip::set.
Referenced by execRelpscost().
◆ SCIPisSumZero()
checks, if value is in range sumepsilon of 0.0
- Parameters
-
scip SCIP data structure val value to process
Definition at line 815 of file scip_numerics.c.
References NULL, SCIPsetIsSumZero(), and Scip::set.
Referenced by computeCut().
◆ SCIPisSumPositive()
checks, if value is greater than sumepsilon
- Parameters
-
scip SCIP data structure val value to process
Definition at line 827 of file scip_numerics.c.
References NULL, SCIPsetIsSumPositive(), and Scip::set.
Referenced by calcBranchScore(), computeCut(), and createCGCutCMIR().
◆ SCIPisSumNegative()
checks, if value is lower than -sumepsilon
- Parameters
-
scip SCIP data structure val value to process
Definition at line 839 of file scip_numerics.c.
References NULL, SCIPsetIsSumNegative(), and Scip::set.
Referenced by SCIP_DECL_BRANCHEXECLP().
◆ SCIPisFeasEQ()
checks, if relative difference of values is in range of feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 851 of file scip_numerics.c.
References NULL, SCIPsetIsFeasEQ(), and Scip::set.
Referenced by addFacetToCut(), addLinearTermToCut(), addLocalBranchingConstraint(), applyFixings(), applyNlobbt(), applyRepair(), branchUnbalancedCardinality(), calculateAlternatives(), checkAndConss(), checkCons(), checkConsQuadraticProblem(), checkFixedVariables(), checkRikun(), chooseDoubleVar(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeNogoodCut(), computeRanks(), computeStandardIntegerOptCut(), consdataCheckNonbinvar(), consdataCheckSuperindicator(), constructCompression(), createAndAddAndCons(), createCGCutDirect(), createConflict(), createCoveringProblem(), createIndicatorConstraint(), createRows(), createSelectedSortedEventpointsSol(), createSubSCIP(), createSubscip(), createSwitchSolution(), CUTOFF_CONSTRAINT(), deleteVarCardinality(), determineBound(), determineFixings(), determineVariableFixings(), doSolveSubMIP(), enforceCardinality(), enforceConstraint(), filterExistingLP(), findPointPosition(), fixAndPropagate(), fixVariables(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generateAndApplyBendersCuts(), generateAverageNBRay(), generateBoundInequalityFromSOS1Nodes(), generateConvexConcaveUnderestimator(), generateCutProjectedPoint(), generateEstimatingHyperplane(), generateNeighborFacets(), generateRowCardinality(), generateZerohalfCut(), getCover(), getNActiveConsScore(), getPartitionNoncovervars(), getSolutionValues(), GUBsetCalcCliquePartition(), handleNewVariableCardinality(), heurExec(), initProblem(), isPossibleToComputeCut(), LOPseparate(), optimize(), performDualfix(), performRandRounding(), phi(), presolRoundCardinality(), presolveAddKKTAggregatedVars(), presolveAddKKTLinearCons(), presolveAddKKTLinearConss(), presolveAddKKTVarboundConss(), presolveFindDuplicatesSolveEquations(), printBoundSection(), processBinvarFixings(), processFixings(), processWatchedVars(), propagateCons(), propagateCutoffboundVar(), propagateRedcostBinvar(), propagateRedcostVar(), propCardinality(), readBinaries(), readBounds(), reboundIntegerVariables(), registerBranchingCandidates(), resolvePropagationCoretimes(), restrictToBinaryBounds(), rowFindSlackVar(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIPaddBilinearIneqQuadratic(), SCIPaddVarImplication(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPconvertRealToInt(), SCIPconvertRealToLongint(), SCIPdummyDebugMethodForSun(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPwriteGms(), SCIPwriteLp(), sep_flow(), separateCons(), separateCuts(), separateIISRounding(), sequentialUpAndDownLifting(), sequentialUpAndDownLiftingGUB(), setAltLPObj(), setObjective(), setRedcosts(), solveAndEvalSubscip(), solveBilinearLP(), solveDerivativeEquation(), switchNext(), termIsConstant(), transformValue(), updateSlacks(), varIsFixed(), and varProcessBoundChanges().
◆ SCIPisFeasLT()
checks, if relative difference val1 and val2 is lower than feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 864 of file scip_numerics.c.
References NULL, SCIPsetIsFeasLT(), and Scip::set.
Referenced by analyzeGenVBoundConflict(), applyFixings(), applyRepair(), branchBalancedCardinality(), calcBranchScore(), calculateBounds(), checkCons(), checkFixedVariables(), checkKnapsack(), checkOrigPbCons(), checkRowViolation(), checkViolations(), collectNonBinaryVBoundData(), computeCut(), computeVarsCoverSOS1(), countSparseSol(), createCGCutCMIR(), createCGCutStrongCG(), createSubscip(), determineBound(), enforceViolatedFixedNonlinear(), execGenVBounds(), filterPoints(), findPointPosition(), getBoundConsFromVertices(), getCover(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getMaxactImplicObjchg(), getOptimalShiftingValue(), handleNewVariableSOS2(), improvePoint(), optimize(), performImplicationGraphAnalysis(), performStrongbranchSOS1(), preprocessConstraintPairs(), propagateCons(), propagateCutoffboundBinvar(), propagateLowerboundBinvar(), propagateLowerboundVar(), propagateRedcostVar(), proposeFeasibleSolution(), propVariableNonzero(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPperformGenericDivingAlgorithm(), SCIPprobdataUpdateDualbound(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximatelyLT(), sep_2cut(), sepaImplBoundCutsSOS1(), separateIISRounding(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscipRapidlearning(), setupProblem(), solvePricingHeuristic(), tightenCoefs(), tightenVarsBoundsSOS1(), tryFixVar(), updateArcData(), updateImplicationGraphSOS1(), updateViolations(), and upgradeCons().
◆ SCIPisFeasLE()
checks, if relative difference of val1 and val2 is not greater than feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 877 of file scip_numerics.c.
References NULL, SCIPsetIsFeasLE(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConflictBounds(), applyRepair(), branchruledataUpdateCurrentBounds(), buildFlowCover(), calcShiftVal(), checkBounddisjunction(), checkCons(), checkConsQuadraticProblem(), checkConstraintMatching(), checkRowViolation(), checkViolations(), collectNonBinaryImplicationData(), computeReferencePointGauge(), computeViolation(), constructSNFRelaxation(), createSubscip(), cutTightenCoefs(), cutTightenCoefsQuad(), determineBound(), evaluateLiftingFunction(), filterCands(), filterExistingLP(), findDominancePairs(), generateConvexConcaveUnderestimator(), generateCut(), generateCutFactorableDo(), generateCutLTIcomputeCoefs(), generateDisjCutSOS1(), generateEstimatingHyperplane(), generateNeighborFacets(), generateOrthogonal_lx_ly_Underestimator(), generateUnderestimatorParallelYFacets(), getFeasibleSet(), getFlowCover(), getOptimalShiftingValue(), heurdataUpdateCurrentBounds(), heurExec(), isUpperBoundImplied(), optimize(), performRandRounding(), presolveDual(), presolveRemoveFixedVariables(), propagateCons(), propagateRootRedcostVar(), registerBranchingCandidates(), replaceViolatedByLinearConstraints(), rowCalculateGauss(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIPaddBilinearIneqQuadratic(), SCIPapplyHeurDualval(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPcalcCumulativeDistribution(), SCIPcheckPattern(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPupdateDistributionScore(), separateCuts(), setObjective(), setupAndSolveSubscipRapidlearning(), shiftValues(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), transformVariable(), tryToInsert(), updateBestCandidate(), updateBilinearRelaxation(), updateSlacks(), updateTransformation(), and updateVariableRounding().
◆ SCIPisFeasGT()
checks, if relative difference of val1 and val2 is greater than feastol
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 890 of file scip_numerics.c.
References NULL, SCIPsetIsFeasGT(), and Scip::set.
Referenced by addGenVBound(), analyzeGenVBoundConflict(), applyFixings(), applyRepair(), buildFlowCover(), checkFixedVariables(), checkOrigPbCons(), checkRowViolation(), checkViolations(), collectNonBinaryVBoundData(), computeCut(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createSubscip(), determineBound(), enforceCardinality(), enforceViolatedFixedNonlinear(), findPointPosition(), generateClusterCuts(), generateNeighborFacets(), getCover(), getFlowCover(), getMaxactImplicObjchg(), getOptimalShiftingValue(), getPartitionCovervars(), getPartitionNoncovervars(), handleNewVariableSOS2(), initMatrix(), makeSOS1constraintsFeasible(), optimize(), performImplicationGraphAnalysis(), performStrongbranchSOS1(), propagateCons(), propagateLowerboundVar(), proposeFeasibleSolution(), propVariableNonzero(), relaxVar(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyLockFixings(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPperformGenericDivingAlgorithm(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximately(), sep_flow(), sepaImplBoundCutsSOS1(), separateCons(), separateSupLiftedMinimalCoverInequality(), sequentialUpAndDownLifting(), setupAndSolveFiniteSolSubscip(), shiftValues(), tightenCoefs(), tightenVarsBoundsSOS1(), tryFixVar(), tryToInsert(), updateArcData(), updateImplicationGraphSOS1(), updateViolations(), and upgradeCons().
◆ SCIPisFeasGE()
checks, if relative difference of val1 and val2 is not lower than -feastol
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 903 of file scip_numerics.c.
References NULL, SCIPsetIsFeasGE(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConflictBounds(), buildFlowCover(), calcShiftVal(), checkBounddisjunction(), checkCons(), checkConsQuadraticProblem(), checkRowViolation(), checkViolations(), collectNonBinaryImplicationData(), computeViolation(), constructSNFRelaxation(), cut_add(), determineBound(), dfs(), extractVariablesMINLP(), filterCands(), filterExistingLP(), filterPoints(), findDominancePairs(), forbidCover(), generateConvexConcaveUnderestimator(), generateCut(), generateCutLTIcomputeCoefs(), generateNeighborFacets(), generateOrthogonal_lx_ly_Underestimator(), generateUnderestimatorParallelYFacets(), getFeasibleSet(), getFlowCover(), improvePoint(), optimize(), performRandRounding(), presolveDual(), propagateCons(), propagateRootRedcostVar(), propIndicator(), registerBranchingCandidates(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERREDCOST(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPcheckPattern(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPsolveKnapsackApproximatelyLT(), SCIPupdateDistributionScore(), sep_2cut(), separateCuts(), separateSupLiftedMinimalCoverInequality(), setObjective(), shiftValues(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), tryToInsert(), updateBestCandidate(), updateBilinearRelaxation(), updateSlacks(), and varProcessBoundChanges().
◆ SCIPisFeasZero()
checks, if value is in range feasibility tolerance of 0.0
- Parameters
-
scip SCIP data structure val value to process
Definition at line 916 of file scip_numerics.c.
References NULL, SCIPsetIsFeasZero(), and Scip::set.
Referenced by addAltLPColumn(), addBranchingComplementaritiesSOS1(), addGenVBound(), addOneRow(), aggregateNextRow(), applyRepair(), BENDERS_CUTORACLE(), branchBalancedCardinality(), branchUnbalancedCardinality(), buildFlowCover(), calculateAlternatives(), checkAndConss(), checkCons(), checkConsQuadraticProblem(), checkIISlocal(), checkLinearConssVarboundSOS1(), checkLPBoundsClean(), checkOrigPbCons(), checkPackingPartitioningOrbitopeSolution(), checkSwitchNonoverlappingSOS1Methods(), computeInteriorPoint(), computeMIREfficacy(), createAltLPColumn(), createAndAddAndCons(), createConflict(), createKKTComplementarityBounds(), detectVarboundSOS1(), determineBound(), enforceCardinality(), enforceConflictgraph(), enforceConssSOS1(), enforceCuts(), enforceIndicators(), enforceSol(), enforceSOS2(), extendToCover(), fixVariableZeroNode(), generateAverageNBRay(), generateAverageRay(), generateClusterCuts(), generateDisjCutSOS1(), generateRowSOS2(), getBranchingPrioritiesSOS1(), getBranchingVerticesSOS1(), getDiveBdChgsSOS1constraints(), getFlowCover(), getGMIFromRow(), getSimplexCoefficients(), getVectorOfWeights(), initConflictgraph(), initMatrix(), isSolFeasible(), isViolatedSOS1(), isZero(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), markNeighborsMWISHeuristic(), polishPrimalSolution(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolveAddKKTAggregatedVars(), presolveAddKKTQuadBilinearTerms(), presolveAddKKTQuadLinearTerms(), presolveAddKKTQuadQuadraticTerms(), printBoundSection(), processBinvarFixings(), processFixings(), propagateVarbounds(), propCardinality(), propIndicator(), propVariableNonzero(), readBinaries(), registerBranchingVariables(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_SEPAEXECLP(), SCIPaddBilinearIneqQuadratic(), SCIPaddVarImplication(), SCIPapplyProximity(), SCIPcalcCumulativeDistribution(), SCIPdummyDebugMethodForSun(), SCIPinitVarBranchStats(), SCIPinitVarValueBranchStats(), SCIPmakeIndicatorFeasible(), SCIPprintSolutionStatistics(), SCIPselectVarStrongBranching(), sepaImplBoundCutsSOS1(), separateCuts(), separateIISRounding(), setObjective(), setRedcosts(), setupAndSolveSubscip(), setupSubScip(), solveBilinearLP(), tightenVarsBoundsSOS1(), transformVariable(), tryFixVar(), updateImplicationGraphSOS1(), updateTransformation(), and updateWeightsTCliquegraph().
◆ SCIPisFeasPositive()
checks, if value is greater than feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 928 of file scip_numerics.c.
References NULL, SCIPsetIsFeasPositive(), and Scip::set.
Referenced by addBranchingComplementaritiesSOS1(), branchBalancedCardinality(), branchUnbalancedCardinality(), checkCons(), checkConsQuadraticProblem(), computeBranchingPriorities(), computeCut(), consdataCreate(), createCGCutCMIR(), createCGCutStrongCG(), detectVarboundSOS1(), enforceCardinality(), extractCycle(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateClusterCuts(), generateCutFactorable(), generateCutLTI(), generateDisjCutSOS1(), generateLinearizationCutProject(), generateNeighborFacets(), generateSecantCut(), getBoundConsFromVertices(), getCover(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getNActiveConsScore(), getNCircles(), getScore(), getScoreLikeCoefdiving(), getSOS1Implications(), getVariableRedcostScore(), getVectorOfWeights(), handleNewVariableSOS1(), handleNewVariableSOS2(), inferVariableZero(), initMatrix(), lockVariableCardinality(), lockVariableSOS2(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), nodeGetSolvalBinaryBigMSOS1(), nodepartitionIsConnected(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), propCardinality(), propConsSOS1(), propIndicator(), proposeBranchingPoint(), propSOS2(), propVariableNonzero(), relaxVar(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPisViolatedIndicator(), SCIPmakeIndicatorFeasible(), tightenVarsBoundsSOS1(), unlockVariableCardinality(), unlockVariableSOS2(), updateImplicationGraphSOS1(), and updateWeightsTCliquegraph().
◆ SCIPisFeasNegative()
checks, if value is lower than -feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 940 of file scip_numerics.c.
References NULL, SCIPsetIsFeasNegative(), and Scip::set.
Referenced by addBranchingComplementaritiesSOS1(), branchBalancedCardinality(), branchUnbalancedCardinality(), checkConsQuadraticProblem(), computeCut(), computeInteriorPoint(), createCGCutCMIR(), createCGCutStrongCG(), detectVarboundSOS1(), enforceCardinality(), enforceIndicators(), extendToCover(), extractCycle(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateCutFactorable(), generateCutLTI(), generateLinearizationCut(), generateLinearizationCutProject(), getBoundConsFromVertices(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getNActiveConsScore(), getNCircles(), getScore(), getScoreLikeCoefdiving(), getSOS1Implications(), getVariableRedcostScore(), handleNewVariableSOS1(), handleNewVariableSOS2(), inferVariableZero(), initMatrix(), lockVariableCardinality(), lockVariableSOS2(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), nodeGetSolvalBinaryBigMSOS1(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundSOS2(), propCardinality(), propConsSOS1(), proposeBranchingPoint(), propSOS2(), propVariableNonzero(), registerBranchingCandidatesGap(), relaxVar(), rowCalculateGauss(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPmakeIndicatorFeasible(), sep_flow(), sepaImplBoundCutsSOS1(), separateCons(), separateConsBinaryRepresentation(), separateCoverCutsCons(), separateIndicators(), solvePricingHeuristic(), tightenVarsBoundsSOS1(), unlockVariableCardinality(), unlockVariableSOS2(), updateImplicationGraphSOS1(), and updateWeightsTCliquegraph().
◆ SCIPisFeasIntegral()
checks, if value is integral within the LP feasibility bounds
- Parameters
-
scip SCIP data structure val value to process
Definition at line 952 of file scip_numerics.c.
References NULL, SCIPsetIsFeasIntegral(), and Scip::set.
Referenced by addGLSCliques(), addLocalBranchingConstraint(), addNextLevelCliques(), BENDERS_CUTORACLE(), buildFlowCover(), checkCands(), checkCons(), checkCumulativeCondition(), checkPackingPartitioningOrbitopeSolution(), checkRedundancySide(), checkSymresackSolution(), chooseDoubleVar(), computeFixingrate(), countSparseSol(), createAndAddLinearCons(), createCGCutDirect(), createCoreProfile(), createNormalizedKnapsack(), createSelectedSortedEventpointsSol(), createSubscip(), CUTOFF_CONSTRAINT(), cutsSubstituteMIR(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_CHANGESUBSCIP(), DECL_VARFIXINGS(), determineBound(), enforceCuts(), execRelpscost(), fixAndPropagate(), fixVariable(), generateZerohalfCut(), getBranchCands(), getFlowCover(), getHighestCapacityUsage(), getNLPFracVars(), getVariableRedcostScore(), handle1Cycle(), handleCycle(), heurExec(), insertSortedRootNeighbors(), mod2(), nodepartitionIsConnected(), optimize(), performFixing(), performRandRounding(), performRelaxSimpleRounding(), performSimpleRounding(), propagateCons(), readBounds(), readGenerals(), resolvePropagationCoretimes(), restrictToBinaryBounds(), roundFixingValue(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECSOL(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPcheckSolutionOrbisack(), SCIPconvertRealToInt(), SCIPconvertRealToLongint(), SCIPcutGenerationHeuristicCMIR(), SCIPresolveSolHeurSubNlp(), SCIPselectVarPseudoStrongBranching(), SCIPwriteCliqueGraph(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), separateCuts(), separateGLS(), separateHeur(), separateOddCycles(), solveNLP(), tightenBounds(), tightenCoefs(), tryAdd2variableBuffer(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().
◆ SCIPisFeasFracIntegral()
checks, if given fractional part is smaller than feastol
- Parameters
-
scip SCIP data structure val value to process
Definition at line 964 of file scip_numerics.c.
References NULL, SCIPsetIsFeasFracIntegral(), and Scip::set.
◆ SCIPfeasFloor()
rounds value + feasibility tolerance down to the next integer
- Parameters
-
scip SCIP data structure val value to process
Definition at line 976 of file scip_numerics.c.
References NULL, SCIPsetFeasFloor(), and Scip::set.
Referenced by addOrigRow(), aggregateVariables(), buildMod2Matrix(), calcBranchScore(), calcPscostQuot(), calcShiftVal(), checkRedundancySide(), chooseDoubleVar(), computeCut(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), createAndAddLinearCons(), createNormalizedKnapsack(), createSubscip(), determineBound(), enforceSOS2(), execRelpscost(), generateZerohalfCut(), getNCircles(), getOptimalShiftingValue(), getZiValue(), handle1Cycle(), performRandRounding(), performSimpleRounding(), restrictToBinaryBounds(), roundFixingValue(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPapplyProximity(), SCIPgetVarStrongbranchWithPropagation(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPwriteGms(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), tightenBounds(), tightenCoefs(), transformNonIntegralRow(), and updateTcliquegraph().
◆ SCIPfeasCeil()
rounds value - feasibility tolerance up to the next integer
- Parameters
-
scip SCIP data structure val value to process
Definition at line 988 of file scip_numerics.c.
References NULL, SCIPsetFeasCeil(), and Scip::set.
Referenced by addGLSCliques(), addNextLevelCliques(), addOrigRow(), branchruledataEnsureArraySize(), buildMod2Matrix(), calcBranchScore(), checkRedundancySide(), chooseDoubleVar(), computeCut(), computeEstOmegaset(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), createSubscip(), execRelpscost(), getOptimalShiftingValue(), getZiValue(), handle1Cycle(), heurdataEnsureArraySize(), insertSortedRootNeighbors(), performFixing(), performRandRounding(), performSimpleRounding(), resolveGenVBoundPropagation(), restrictToBinaryBounds(), roundFixingValue(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPgetVarStrongbranchWithPropagation(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), setupProblem(), tightenBounds(), tightenCoefs(), and updateObjUpperbound().
◆ SCIPfeasRound()
rounds value to the nearest integer in feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1000 of file scip_numerics.c.
References NULL, SCIPsetFeasRound(), and Scip::set.
Referenced by generateZerohalfCut(), heurExec(), and sampleRandomPoints().
◆ SCIPfeasFrac()
returns fractional part of value, i.e. x - floor(x)
returns fractional part of value, i.e. x - floor(x) in feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1012 of file scip_numerics.c.
References NULL, SCIPsetFeasFrac(), and Scip::set.
Referenced by createSubproblem(), getGMIFromRow(), handleCycle(), roundFixingValue(), SCIP_DECL_SEPAEXECLP(), and separateCuts().
◆ SCIPisDualfeasEQ()
checks, if relative difference of values is in range of dual feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1024 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasEQ(), and Scip::set.
◆ SCIPisDualfeasLT()
checks, if relative difference val1 and val2 is lower than dual feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1037 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasLT(), and Scip::set.
◆ SCIPisDualfeasLE()
checks, if relative difference of val1 and val2 is not greater than dual feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1050 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasLE(), and Scip::set.
Referenced by propagateLowerboundBinvar().
◆ SCIPisDualfeasGT()
checks, if relative difference of val1 and val2 is greater than dual feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1063 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasGT(), and Scip::set.
◆ SCIPisDualfeasGE()
checks, if relative difference of val1 and val2 is not lower than -dual feasibility tolerance
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1076 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasGE(), and Scip::set.
◆ SCIPisDualfeasZero()
checks, if value is in range dual feasibility tolerance of 0.0
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1089 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasZero(), and Scip::set.
Referenced by computeStandardFeasibilityCut(), countNonZeroRootRedcostVars(), createRows(), fixVariables(), getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), propdataInit(), SCIP_DECL_HEUREXEC(), and setRedcosts().
◆ SCIPisDualfeasPositive()
checks, if value is greater than dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1101 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasPositive(), and Scip::set.
Referenced by getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), SCIP_DECL_HEUREXEC(), and setRedcosts().
◆ SCIPisDualfeasNegative()
checks, if value is lower than -dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1113 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasNegative(), and Scip::set.
Referenced by getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), SCIP_DECL_HEUREXEC(), and setRedcosts().
◆ SCIPisDualfeasIntegral()
checks, if value is integral within the LP dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1125 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasIntegral(), and Scip::set.
◆ SCIPisDualfeasFracIntegral()
checks, if given fractional part is smaller than dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1137 of file scip_numerics.c.
References NULL, SCIPsetIsDualfeasFracIntegral(), and Scip::set.
◆ SCIPdualfeasFloor()
rounds value + dual feasibility tolerance down to the next integer
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1149 of file scip_numerics.c.
References NULL, SCIPsetDualfeasFloor(), and Scip::set.
◆ SCIPdualfeasCeil()
rounds value - dual feasibility tolerance up to the next integer
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1161 of file scip_numerics.c.
References NULL, SCIPsetDualfeasCeil(), and Scip::set.
◆ SCIPdualfeasRound()
rounds value to the nearest integer in dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1173 of file scip_numerics.c.
References NULL, SCIPsetDualfeasRound(), and Scip::set.
◆ SCIPdualfeasFrac()
returns fractional part of value, i.e. x - floor(x) in dual feasibility tolerance
- Parameters
-
scip SCIP data structure val value to process
Definition at line 1185 of file scip_numerics.c.
References NULL, SCIPsetDualfeasFrac(), and Scip::set.
◆ SCIPisLbBetter()
checks, if the given new lower bound is tighter (w.r.t. bound strengthening epsilon) than the old one
checks, if the given new lower bound is at least min(oldub - oldlb, |oldlb|) times the bound strengthening epsilon better than the old one
- Parameters
-
scip SCIP data structure newlb new lower bound oldlb old lower bound oldub old upper bound
Definition at line 1199 of file scip_numerics.c.
References NULL, SCIPsetIsLbBetter(), and Scip::set.
Referenced by performFixing(), propagateCons(), and SCIPanalyzeDeductionsProbing().
◆ SCIPisUbBetter()
checks, if the given new upper bound is tighter (w.r.t. bound strengthening epsilon) than the old one
checks, if the given new upper bound is at least min(oldub - oldlb, |oldub|) times the bound strengthening epsilon better than the old one
- Parameters
-
scip SCIP data structure newub new upper bound oldlb old lower bound oldub old upper bound
Definition at line 1214 of file scip_numerics.c.
References NULL, SCIPsetIsUbBetter(), and Scip::set.
Referenced by performFixing(), propagateCons(), and SCIPanalyzeDeductionsProbing().
◆ SCIPisRelEQ()
checks, if relative difference of values is in range of epsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1227 of file scip_numerics.c.
References NULL, SCIPsetIsRelEQ(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), checkFactorable(), fixAlmostFixedX(), generateCutLTI(), generateCutLTIfindIntersection(), generateSecantCut(), generateSecantCutNoCheck(), presolveUpgrade(), propagateCons(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSINITLP(), SCIPaddBilinMcCormick(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPcomputeHyperplaneThreePoints(), SCIPisLinearLocalQuadratic(), and solveDerivativeEquation().
◆ SCIPisRelLT()
checks, if relative difference of val1 and val2 is lower than epsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1240 of file scip_numerics.c.
References NULL, SCIPsetIsRelLT(), and Scip::set.
Referenced by updateBilinearRelaxation().
◆ SCIPisRelLE()
checks, if relative difference of val1 and val2 is not greater than epsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1253 of file scip_numerics.c.
References NULL, SCIPsetIsRelLE(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), addLinearConstraints(), and generateCutNonConvex().
◆ SCIPisRelGT()
checks, if relative difference of val1 and val2 is greater than epsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1266 of file scip_numerics.c.
References NULL, SCIPsetIsRelGT(), and Scip::set.
Referenced by SCIPupdateStartpointHeurSubNlp(), and updateBilinearRelaxation().
◆ SCIPisRelGE()
checks, if relative difference of val1 and val2 is not lower than -epsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1279 of file scip_numerics.c.
References NULL, SCIPsetIsRelGE(), and Scip::set.
Referenced by generateCutNonConvex().
◆ SCIPisSumRelEQ()
checks, if relative difference of values is in range of sumepsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1292 of file scip_numerics.c.
References NULL, SCIPsetIsSumRelEQ(), and Scip::set.
Referenced by propagateBoundsCons().
◆ SCIPisSumRelLT()
checks, if relative difference of val1 and val2 is lower than sumepsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1305 of file scip_numerics.c.
References NULL, SCIPsetIsSumRelLT(), and Scip::set.
◆ SCIPisSumRelLE()
checks, if relative difference of val1 and val2 is not greater than sumepsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1318 of file scip_numerics.c.
References NULL, SCIPsetIsSumRelLE(), and Scip::set.
◆ SCIPisSumRelGT()
checks, if relative difference of val1 and val2 is greater than sumepsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1331 of file scip_numerics.c.
References NULL, SCIPsetIsSumRelGT(), and Scip::set.
◆ SCIPisSumRelGE()
! [SnippetCodeStyleNaming] checks, if relative difference of val1 and val2 is not lower than -sumepsilon
checks, if relative difference of val1 and val2 is not lower than -sumepsilon
- Parameters
-
scip SCIP data structure val1 first value to be compared val2 second value to be compared
Definition at line 1344 of file scip_numerics.c.
References NULL, SCIPsetIsSumRelGE(), and Scip::set.
◆ SCIPconvertRealToInt()
converts the given real number representing an integer to an int; in optimized mode the function gets inlined for performance; in debug mode we check some additional conditions
- Parameters
-
scip SCIP data structure real double bound to convert
Definition at line 1359 of file scip_numerics.c.
References SCIP_Real, SCIPisFeasEQ(), and SCIPisFeasIntegral().
Referenced by adjustOversizedJobBounds(), analyzeEnergyRequirement(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), checkCons(), checkCumulativeCondition(), checkOverloadViaThetaTree(), collectBinaryVars(), collectBranchingCands(), collectDataTTEF(), collectDemands(), collectIntVars(), computeAlternativeBounds(), computeImpliedEst(), computeImpliedLct(), computeMinDistance(), consCheckRedundancy(), consdataCreateBinvars(), constraintNonOverlappingGraph(), coretimesUpdateLb(), coretimesUpdateUb(), createCoreProfile(), createCoverCuts(), createCoverCutsTimepoint(), createSelectedSortedEventpointsSol(), createSortedEventpoints(), createSortedEventpointsSol(), getActiveVar(), getHighestCapacityUsage(), presolveConsEffectiveHorizon(), presolveConsEst(), presolveConsLct(), processIntegerBoundChg(), propagateLbTTEF(), propagateTimetable(), propagateTTEF(), propagateUbTTEF(), removeIrrelevantJobs(), resolvePropagationCoretimes(), respropCumulativeCondition(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSRESPROP(), SCIPcreateWorstCaseProfile(), strengthenVarbounds(), tightenCoefs(), tightenLbTTEF(), and tightenUbTTEF().
◆ SCIPconvertRealToLongint()
| SCIP_Longint SCIPconvertRealToLongint | ( | SCIP * | scip, |
| SCIP_Real | real | ||
| ) |
! [SnippetCodeStyleNaming] converts the given real number representing an integer to a long integer; in optimized mode the function gets inlined for performance; in debug mode we check some additional conditions
converts the given real number representing an integer to a long integer; in optimized mode the function gets inlined for performance; in debug mode we check some additional conditions
- Parameters
-
scip SCIP data structure real double bound to convert
Definition at line 1375 of file scip_numerics.c.
References SCIP_Longint, SCIP_LONGINT_MAX, SCIP_LONGINT_MIN, SCIP_Real, SCIPisFeasEQ(), and SCIPisFeasIntegral().
Referenced by collectSolution(), and printValue().
◆ SCIPisUpdateUnreliable()
Checks, if an iteratively updated value is reliable or should be recomputed from scratch. This is useful, if the value, e.g., the activity of a linear constraint or the pseudo objective value, gets a high absolute value during the optimization process which is later reduced significantly. In this case, the last digits were canceled out when increasing the value and are random after decreasing it. We do not consider the cancellations which can occur during increasing the absolute value because they just cannot be expressed using fixed precision floating point arithmetic, anymore. In order to get more reliable values, the idea is to always store the last reliable value, where increasing the absolute of the value is viewed as preserving reliability. Then, after each update, the new absolute value can be compared against the last reliable one with this method, checking whether it was decreased by a factor of at least "lp/recompfac" and should be recomputed.
- Parameters
-
scip SCIP data structure newvalue new value after update oldvalue old value, i.e., last reliable value
Definition at line 1399 of file scip_numerics.c.
References FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPsetIsUpdateUnreliable(), Scip::set, and TRUE.
◆ SCIPprintReal()
outputs a real number, or "+infinity", or "-infinity" to a file
- Parameters
-
scip SCIP data structure file output file (or NULL for standard output) val value to print width width of the field precision number of significant digits printed
Definition at line 448 of file scip_numerics.c.
References Scip::messagehdlr, NULL, SCIP_MAXSTRLEN, SCIPmessageFPrintInfo(), SCIPsetIsInfinity(), SCIPsnprintf(), and Scip::set.
Referenced by SCIPprintMIPStart(), SCIPprintSol(), and SCIPprintTransSol().
◆ SCIPparseReal()
parse a real value that was written with SCIPprintReal()
- Parameters
-
scip SCIP data structure str string to search value pointer to store the parsed value endptr pointer to store the final string position if successfully parsed, otherwise str
Definition at line 475 of file scip_numerics.c.
References NULL, SCIPinfinity(), SCIPstrToRealValue(), and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPprocessShellArguments().