Detailed Description

functions 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 functions for floating point numbers

Functions
SCIP_Real	SCIPepsilon (SCIP *scip)
SCIP_Real	SCIPsumepsilon (SCIP *scip)
SCIP_Real	SCIPfeastol (SCIP *scip)
SCIP_Real	SCIPdualfeastol (SCIP *scip)
SCIP_Real	SCIPbarrierconvtol (SCIP *scip)
SCIP_Real	SCIPcutoffbounddelta (SCIP *scip)
SCIP_Real	SCIPrelaxfeastol (SCIP *scip)
SCIP_RETCODE	SCIPchgFeastol (SCIP *scip, SCIP_Real feastol)
SCIP_RETCODE	SCIPchgDualfeastol (SCIP *scip, SCIP_Real dualfeastol)
SCIP_RETCODE	SCIPchgBarrierconvtol (SCIP *scip, SCIP_Real barrierconvtol)
SCIP_Real	SCIPchgRelaxfeastol (SCIP *scip, SCIP_Real relaxfeastol)
void	SCIPmarkLimitChanged (SCIP *scip)
SCIP_Real	SCIPinfinity (SCIP *scip)
SCIP_Real	SCIPgetHugeValue (SCIP *scip)
SCIP_Bool	SCIPisEQ (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisLT (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisLE (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisGT (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisGE (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisInfinity (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisHugeValue (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisZero (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisPositive (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisNegative (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisIntegral (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisScalingIntegral (SCIP *scip, SCIP_Real val, SCIP_Real scalar)
SCIP_Bool	SCIPisFracIntegral (SCIP *scip, SCIP_Real val)
SCIP_Real	SCIPfloor (SCIP *scip, SCIP_Real val)
SCIP_Real	SCIPceil (SCIP *scip, SCIP_Real val)
SCIP_Real	SCIPround (SCIP *scip, SCIP_Real val)
SCIP_Real	SCIPfrac (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisSumEQ (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisSumLT (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisSumLE (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisSumGT (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisSumGE (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisSumZero (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisSumPositive (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisSumNegative (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisFeasEQ (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisFeasLT (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisFeasLE (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisFeasGT (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisFeasGE (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisFeasZero (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisFeasPositive (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisFeasNegative (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisFeasIntegral (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisFeasFracIntegral (SCIP *scip, SCIP_Real val)
SCIP_Real	SCIPfeasFloor (SCIP *scip, SCIP_Real val)
SCIP_Real	SCIPfeasCeil (SCIP *scip, SCIP_Real val)
SCIP_Real	SCIPfeasRound (SCIP *scip, SCIP_Real val)
SCIP_Real	SCIPfeasFrac (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisDualfeasEQ (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisDualfeasLT (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisDualfeasLE (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisDualfeasGT (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisDualfeasGE (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisDualfeasZero (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisDualfeasPositive (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisDualfeasNegative (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisDualfeasIntegral (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisDualfeasFracIntegral (SCIP *scip, SCIP_Real val)
SCIP_Real	SCIPdualfeasFloor (SCIP *scip, SCIP_Real val)
SCIP_Real	SCIPdualfeasCeil (SCIP *scip, SCIP_Real val)
SCIP_Real	SCIPdualfeasRound (SCIP *scip, SCIP_Real val)
SCIP_Real	SCIPdualfeasFrac (SCIP *scip, SCIP_Real val)
SCIP_Bool	SCIPisLbBetter (SCIP *scip, SCIP_Real newlb, SCIP_Real oldlb, SCIP_Real oldub)
SCIP_Bool	SCIPisUbBetter (SCIP *scip, SCIP_Real newub, SCIP_Real oldlb, SCIP_Real oldub)
SCIP_Bool	SCIPisRelEQ (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisRelLT (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisRelLE (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisRelGT (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisRelGE (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisSumRelEQ (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisSumRelLT (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisSumRelLE (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisSumRelGT (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool	SCIPisSumRelGE (SCIP *scip, SCIP_Real val1, SCIP_Real val2)
int	SCIPconvertRealToInt (SCIP *scip, SCIP_Real real)
SCIP_Longint	SCIPconvertRealToLongint (SCIP *scip, SCIP_Real real)
SCIP_Bool	SCIPisUpdateUnreliable (SCIP *scip, SCIP_Real newvalue, SCIP_Real oldvalue)
void	SCIPprintReal (SCIP scip, FILE file, SCIP_Real val, int width, int precision)
SCIP_Bool	SCIPparseReal (SCIP scip, const char str, SCIP_Real value, char *endptr)
SCIP_Bool	SCIPparseRational (SCIP scip, const char str, SCIP_RATIONAL value, char *endptr)

Function Documentation

◆ SCIPepsilon()

SCIP_Real SCIPepsilon ( SCIP * scip )

returns value treated as zero

Returns: value treated as zero

Parameters

scip	SCIP data structure

Definition at line 140 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetEpsilon().

Referenced by addCut(), addCuts(), bilinboundGetScore(), computeFixingOrder(), computeMIREfficacy(), computeVertexPolyhedralFacetLP(), consEnfo(), convertUnaryEquality(), createCGCutCMIR(), createCGCutStrongCG(), cutsRoundMIR(), cutsRoundMIRSafely(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteMIRSafely(), cutsSubstituteStrongCG(), cutsTransformKnapsackCover(), cutsTransformStrongCG(), cutTightenCoefsSafely(), estimateBivariateQuotient(), estimateConvexSecant(), estimateGradient(), estimateUnivariateQuotient(), evaluateCutNumerics(), forwardPropExpr(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), normalizeCons(), prettifyConss(), removeZeros(), removeZerosQuad(), removeZerosSafely(), reverseProp(), rowprepCleanupSide(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRREVERSEPROP(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_PRESOLEXEC(), SCIPanalyzeDeductionsProbing(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPgetConcurrentGap(), SCIPgetExprBoundsNonlinear(), SCIPincludeConshdlrNonlinear(), SCIPincludeExprhdlrLog(), SCIPincludeExprhdlrPow(), SCIPscaleupRowprep(), SCIPseparateRelaxedKnapsack(), SCIPtightenExprIntervalNonlinear(), scoreBranchingCandidates(), scoring(), transformNonIntegralRow(), and useBilinIneqs().

◆ SCIPsumepsilon()

SCIP_Real SCIPsumepsilon ( SCIP * scip )

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 154 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetSumepsilon().

Referenced by addCut(), addCuts(), addLocalbranchingConstraintAndObjcutoff(), calcMIRSafely(), calculateCutoffScore(), calculateRelCutoffScore(), calculateScoreFromDeeperscore(), calculateScoreFromDeeperscoreAndCutoffs(), calculateScoreFromResult(), calculateScoreFromResult2(), chooseVeclenVar(), createCGCutCMIR(), createCGCutStrongCG(), createNLP(), createSubproblem(), cutsTransformMIR(), cutTightenCoefs(), cutTightenCoefsQuad(), cutTightenCoefsSafely(), doSolveSubMIP(), evaluateCutNumerics(), generateDisjCutSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getVectorOfWeights(), initializeCandsLists(), penaliseWithParallelism(), postprocessCut(), postprocessCutQuad(), postprocessCutSafely(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPaggrRowRemoveZeros(), SCIPcalcFlowCover(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcutGenerationHeuristicCMIR(), SCIPincludeHeurGins(), SCIPincludeHeurMutation(), scoring(), setupAndSolveSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipMutation(), setupSubScip(), setupSubScip(), setupSubScip(), solveCoveringProblem(), transformNonIntegralRow(), wrapperDins(), and wrapperRins().

◆ SCIPfeastol()

SCIP_Real SCIPfeastol ( SCIP * scip )

returns feasibility tolerance for constraints

Returns: feasibility tolerance for constraints

Parameters

scip	SCIP data structure

Definition at line 168 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetFeastol().

Referenced by adjustCutoffbound(), analyzeConflict(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), analyzeGenVBoundConflict(), applyNlobbt(), applyObbtBilinear(), calcScore(), checkCons(), checkCons(), checkCons(), computeInteriorPoint(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeVertexPolyhedralFacetLP(), cutTightenCoefs(), cutTightenCoefsQuad(), displayRelevantStats(), doSeparation(), enforceConflictgraph(), enforceExpr(), getBranchingDecisionStrongbranchSOS1(), getNLPFracVars(), isConsViolated(), normalizeCons(), performStrongbranchSOS1(), postprocessCut(), postprocessCutQuad(), postprocessCutSafely(), prepareLiftingData(), prepareSeparation(), presolveRedundantConss(), prettifyConss(), proposeFeasibleSolution(), rangedRowPropagation(), readLIBSVM(), resolvePropagation(), reversePropBilinear(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINIT(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIPapplyProximity(), SCIPcomputeFacetVertexPolyhedralNonlinear(), SCIPgenerateAndApplyBendersOptCut(), SCIPprocessRowprepNonlinear(), SCIPprocessShellArguments(), SCIPsolveKnapsackApproximatelyLT(), SCIPvalidateSolve(), separateCuts(), separateCuts(), separateCuts(), sepaSubtour(), setupAndSolveSubscip(), simplifyInequalities(), and solveSubNLP().

◆ SCIPdualfeastol()

SCIP_Real SCIPdualfeastol ( SCIP * scip )

returns feasibility tolerance for reduced costs

Returns: feasibility tolerance for reduced costs

Parameters

scip	SCIP data structure

Definition at line 182 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetDualfeastol().

Referenced by applyObbt(), computeInteriorPoint(), createGenVBound(), includeVarGenVBound(), SCIPincludeHeurSubNlp(), and separateCuts().

◆ SCIPbarrierconvtol()

SCIP_Real SCIPbarrierconvtol ( SCIP * scip )

returns convergence tolerance used in barrier algorithm

Returns: convergence tolerance used in barrier algorithm

Parameters

scip	SCIP data structure

Definition at line 196 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetBarrierconvtol().

◆ SCIPcutoffbounddelta()

SCIP_Real SCIPcutoffbounddelta ( SCIP * scip )

return the cutoff bound delta

Returns: cutoff bound data

Parameters

scip	SCIP data structure

Definition at line 210 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetCutoffbounddelta().

Referenced by checkParallelObjective(), updateCutoffbound(), and updateObjUpperbound().

◆ SCIPrelaxfeastol()

SCIP_Real SCIPrelaxfeastol ( SCIP * scip )

return the relaxation primal feasibility tolerance

See also: SCIPchgRelaxfeastol

Returns: relaxfeastol

Parameters

scip	SCIP data structure

Definition at line 225 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetRelaxfeastol().

◆ 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 240 of file scip_numerics.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, and SCIPsetSetFeastol().

Referenced by displayRelevantStats(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_PARAMCHGD(), and SCIPvalidateSolve().

◆ 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 258 of file scip_numerics.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_OKAY, SCIP_Real, SCIPsetDualfeastol(), and SCIPsetSetDualfeastol().

Referenced by applyObbt(), and SCIP_DECL_PARAMCHGD().

◆ 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 283 of file scip_numerics.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_LPALGO_BARRIER, SCIP_LPALGO_BARRIERCROSSOVER, SCIP_OKAY, SCIP_Real, SCIPsetBarrierconvtol(), and SCIPsetSetBarrierconvtol().

Referenced by SCIP_DECL_PARAMCHGD().

◆ SCIPchgRelaxfeastol()

SCIP_Real SCIPchgRelaxfeastol	(	SCIP *	scip,
		SCIP_Real	relaxfeastol )

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 316 of file scip_numerics.c.

References assert(), FALSE, NULL, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPsetSetRelaxfeastol(), and TRUE.

Referenced by applyObbtBilinear().

◆ SCIPmarkLimitChanged()

void SCIPmarkLimitChanged ( SCIP * scip )

marks that some limit parameter was changed

Parameters

scip	SCIP data structure

Definition at line 330 of file scip_numerics.c.

References assert(), NULL, and SCIPsetSetLimitChanged().

Referenced by SCIP_DECL_PARAMCHGD().

◆ SCIPinfinity()

SCIP_Real SCIPinfinity ( SCIP * scip )

returns value treated as infinity

Parameters

scip	SCIP data structure

Definition at line 501 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetInfinity().

Referenced by ObjPricerVRP::add_tour_variable(), addAltLPConstraint(), addAndOrLinearization(), addAuxiliaryVariablesToMaster(), addBranchingComplementaritiesSOS1(), addBranchingDecisionConss(), addConflictBounds(), addCut(), addCut(), addCut(), addCut(), addCut(), addExtendedAsymmetricFormulation(), addKnapsackConstraints(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLogicOrConstraints(), addNlrow(), addNlrow(), addNlrow(), addObjCutoff(), addOrbisackCover(), addOrbisackInequality(), addOrbitopesDynamic(), addPathCuts(), addRegularScholtes(), addRelaxation(), addRow(), addScenarioVarsAndConsToProb(), addSetppcConstraints(), addSlackVars(), addSSTConssOrbitAndUpdateSST(), addStrongSBCsSubgroup(), addSubtourCuts(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), addSymresackInequality(), addTourCuts(), addTrustRegionConstraints(), addUseConstraint(), addVariable(), addWeakSBCsSubgroup(), addXorLinearization(), aggregateConstraints(), aggregateGeneratedCuts(), aggregation(), aggregation(), analyzeViolation(), applyCliqueFixings(), applyFixings(), applyFixings(), applyFixings(), applyHeur(), applyObbtBilinear(), applyOptcumulativeFixings(), applyOrbitalReductionPart(), areCoefsNumericsGood(), assignNextBin(), branchingDecisionInit(), branchingResultDataInit(), buildMod2Matrix(), calcActivityBounds(), calcMaxColActivity(), calcMinColActivity(), calcMinColActResidual(), calcMIRSafely(), calculateBounds(), calculateWeightedGain(), calcVarBoundsDominated(), calcVarBoundsDominating(), checkRedundancySide(), chgCoeffWithBoundSafely(), chgLhs(), chgLhs(), chgLhs(), chgRhs(), chgRhs(), chgRhs(), chooseFracVar(), chooseGuidedVar(), computeConvexEnvelopeFacet(), computeCut(), computeFixingOrder(), computeIntercut(), computeLiftingData(), computeProjectionScore(), computeRestrictionToRay(), computeRltCut(), computeRoot(), computeRoot(), computeStandardNLPOptimalityCut(), computeVarsCoverSOS1(), computeVertexPolyhedralFacetLP(), computeViolation(), consdataComputePseudoActivity(), consdataComputeSolActivityWithErrorbound(), consdataCreate(), consdataCreate(), consdataCreate(), consdataGetActivity(), consdataGetFeasibility(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMaxActivityDelta(), consdataTightenCoefs(), consdataUpdateAddCoef(), constructCompression(), constructCompression(), constructCutRow(), continueStrongBranchingTreeSizeEstimation(), convertLongEquality(), CREATE_CONSTRAINT(), createAndAddLinearCons(), createAuxiliaryNonlinearSubproblem(), createAuxVar(), createBlockproblem(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createConstraint(), createConstraints(), createCoverCutsTimepoint(), createCoveringProblem(), createDepthinfo(), createDisaggrRow(), createDisaggrVars(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createMasterproblem(), createNAryBranch(), createNLP(), createObjRow(), createOriginalproblem(), createPartitionCut(), createPatternVars(), createPrecedenceCons(), createProbOnlyEdge(), createProbQP(), createProbSimplified(), createProbSimplifiedTest(), createRelaxation(), createRelaxation(), createRelaxation(), createRelaxation(), createRow(), createRow(), createRow(), createRows(), createScenarioData(), createSubproblem(), createSubproblems(), createSubSCIP(), createSubscip(), createVarboundCons(), createVarUbs(), cutsRoundMIRSafely(), cutsSubstituteMIRSafely(), cutTightenCoefsSafely(), deletionSubproblem(), determineBoundForSNF(), dualBoundStrengthening(), dualPresolve(), dualPresolve(), dualPresolving(), dualPresolving(), AMPLProblemHandler::EndInput(), enforceCardinality(), enforceConflictgraph(), estimateBivariateQuotient(), estimateUnivariateQuotient(), execmain(), execRelpscost(), executeBranching(), expectedTreeSize(), extendToCover(), extractLinearValues(), findBestObjectiveValue(), findDominancePairs(), findInsertionPoint(), findMonoidalQuadRoot(), findRho(), findRho(), fixVariable(), forbidCover(), fullDualPresolve(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), generateBoundInequalityFromSOS1Nodes(), generateCut(), generateDisjCutSOS1(), generateOddCycleCut(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBinaryProductExprDo(), getBoundConsFromVertices(), getBranchingDecisionStrongbranchSOS1(), getBranchingPrioritiesSOS1(), getClosestVlb(), getClosestVub(), getCurrentRegressionTangentAxisIntercept(), getExprAbsAuxViolation(), getExprAbsOrigViolation(), getGenVBoundsBound(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getImpliedBounds(), getImpliedBounds(), getLinearConsSides(), getMaxActivity(), getMaxActivity(), getMaxObjPseudoactivityResidualValue(), getMinActivity(), getMinActivity(), getMinFeas(), getMinMaxActivityResiduals(), getNewSidesAfterAggregation(), getObjectiveFactor(), getObjectiveRow(), getOptimalShiftingValue(), getPotentialContributed(), getTimeLeft(), getVarBoundsOfRow(), getVarBoundsOfRow(), getVariable(), getVariable(), getVariableRedcostScore(), getVariableRedcostScore(), handleDoubleLexOrbitope(), handleNlpParam(), handleOrbitope(), initComponent(), initConshdlrData(), initEventhandlerData(), initializeCandsLists(), initLP(), initLP(), initMatrix(), initSolve(), initWorhp(), isValue(), isValue(), isValue(), isValue(), level2dataCreate(), LOPseparate(), matrixCreate(), maximalslack(), mod2MatrixTransformContRows(), moveVariable(), newsolCliqueAddRow(), nextBound(), nodepairqueueCreate(), AMPLProblemHandler::OnHeader(), AMPLProblemHandler::OnVarBounds(), parseType(), performStrongbranchWithPropagation(), preprocessConstraintPairs(), preprocessConstraintPairs(), presolStuffing(), presolveAddKKTKnapsackConss(), presolveAddKKTLinearCons(), presolveAddKKTLogicorConss(), presolveAddKKTSetppcConss(), prettifyConss(), printAndCons(), propagateCons(), propdataInit(), propdataInit(), propIndicator(), rangedRowPropagation(), readBounds(), readBounds(), readBounds(), readBounds(), readBoundsExact(), readCnf(), readCols(), readColsExact(), readConstraints(), readConstraints(), readConstraints(), readConstraints(), readIndicators(), readLIBSVM(), readObjective(), readObjective(), readOPBFile(), readQMatrix(), readRows(), readSol(), readSolFile(), readVariables(), readXmlSolFile(), reformulateFactorizedBinaryQuadratic(), relaxVar(), reoptimize(), resetSubproblemObjectiveValue(), runBenders(), runVanillaStrongBranching(), scaleValSafely(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DISPINITSOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINTEVAL(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEURINITSOL(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_NLPICREATEPROBLEM(), SCIP_DECL_NLPISOLVE(), SCIP_DECL_NLPISOLVE(), SCIP_DECL_NODESELSELECT(), SCIP_DECL_NODESELSELECT(), SCIP_DECL_NODESELSELECT(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PROPINIT(), SCIP_DECL_READERREAD(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_TABLEOUTPUT(), SCIPaddCoefLinear(), SCIPaddConflict(), SCIPaddNlpiProblemNlRows(), SCIPaddSymgraphEdge(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPaggrRowCancelVarWithBound(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPbendersComputeSubproblemLowerbound(), SCIPbendersSolveSubproblem(), SCIPbendersSolveSubproblemLP(), SCIPcertificateNewMirInfo(), SCIPclassifyConstraintTypesLinear(), SCIPclearSymgraph(), SCIPconsGetLhs(), SCIPconsGetRhs(), SCIPcopyConss(), SCIPcreateConsBasicSOCNonlinear(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateConsLinear(), SCIPcreateConsOrbitopeFull(), SCIPcreateConsOrbitopePP(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateNlpiProblemFromNlRows(), SCIPcreateRowKnapsack(), SCIPcreateRowLogicor(), SCIPcreateRowSetppc(), SCIPcreateSchedulingProblem(), SCIPcreateSymgraph(), SCIPcutGenerationHeuristicCMIR(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetConcurrentGap(), SCIPgetFirstLPLowerboundRoot(), SCIPgetLowerbound(), SCIPgetRowprepRowCons(), SCIPgetRowprepRowConshdlr(), SCIPgetRowprepRowSepa(), SCIPgetRowprepViolation(), SCIPgetUpperbound(), SCIPgetVarLbAtIndex(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarUbAtIndex(), SCIPincludeBenderscutInt(), SCIPincludeBranchrulePscost(), SCIPincludeBranchruleRelpscost(), SCIPincludeConshdlrBenderslp(), SCIPincludeConshdlrNonlinear(), SCIPincludeHeurDualval(), SCIPincludeHeurFarkasdiving(), SCIPincludeHeurIndicator(), SCIPincludeHeurMpec(), SCIPincludeHeurMultistart(), SCIPincludeHeurProximity(), SCIPincludeHeurSubNlp(), SCIPincludeNlhdlrQuadratic(), SCIPincludeNlhdlrSoc(), SCIPincludePropNlobbt(), SCIPincludeSepaEccuts(), SCIPmatrixCreate(), SCIPmatrixRemoveColumnBounds(), SCIPnlpiOracleAddConstraints(), SCIPnlpiOracleAddVars(), SCIPnlpiOracleChgConsSides(), SCIPnlpiOracleChgVarBounds(), SCIPparseReal(), SCIPperformGenericDivingAlgorithm(), SCIPpruneTree(), SCIPreadOpb(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPsolveProbingRelax(), SCIPstoreSolutionGap(), SCIPsyncstoreGetLastLowerbound(), SCIPsyncstoreGetLastUpperbound(), SCIPsyncstoreStartSync(), SCIPtreemodelSelectCandidate(), SCIPupdateNlpiProblem(), SCIPverifyCircularPatternNLP(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), scoreBranchingCandidates(), selectEssentialRounding(), selectEssentialRounding(), selectEssentialRounding(), selectRounding(), selectShifting(), selectShifting(), selectVarMultAggrBranching(), selectVarRecursive(), sepaImplBoundCutsSOS1(), separateCons(), separateCoverCutsCons(), separateCoversOrbisack(), separateCuts(), separateCuts(), separateIndicators(), separateMcCormickImplicit(), separateOneFlower(), separatePerspective(), separateSCIs(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateStandard(), separateSupLiftedMinimalCoverInequality(), separateTwoFlower(), sepaSubtour(), setupAndSolve(), setupAndSolve(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupProblem(), setupProblem(), setupProblem(), setupProblem(), setupProblem(), setupSubScip(), setupSubScip(), solveBendersSubproblems(), solveComponent(), solvePricingMINLP(), solveSingleRowLP(), sortVariables(), storeSolution(), subtreeSumGapRemoveNode(), switchNext(), tightenBounds(), tightenBounds(), tightenSides(), tightenVarBounds(), tightenVarsBoundsSOS1(), transformColumn(), transformVariable(), tryAddOrbitalRedLexRed(), tryFillNlhdlrExprDataQuad(), tryUpgradingLogicor(), tryUpgradingSetppc(), updateActivities(), updateActivities(), updateActivities(), updateAuxiliaryNonlinearSubproblem(), updateBestCandidate(), updateBounds(), updateRowActivities(), updateTransformation(), upgradeLinearSuperindicator(), varVecAddScaledRowCoefsSafely(), writeFzn(), and writeOpbConstraints().

◆ SCIPgetHugeValue()

SCIP_Real SCIPgetHugeValue ( SCIP * scip )

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 538 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetGetHugeValue().

Referenced by addCut(), addCutPool(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), getDualBranchscore(), getMaxActivity(), getMaxActivity(), getMinActivity(), getMinActivity(), resolvePropagation(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIPcalcStrongCG(), and separateDeterminant().

◆ SCIPisEQ()

SCIP_Bool SCIPisEQ	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

checks if values are in range of epsilon

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 436 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsEQ().

Referenced by addAltLPColumn(), addAltLPConstraint(), addAltLPRow(), addCoefTerm(), addConflictBounds(), addConflictFixedVars(), addConflictReasonVars(), addExprsViolScore(), addExpSecant(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLogSecant(), addLowerBound(), addOneRow(), addOneRowSafely(), addPathCuts(), addSplitcons(), addSubtourCuts(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), addTourCuts(), addUpperBound(), adjustCutoffbound(), adjustKernelVars(), aggregateConstraints(), aggregateNextRow(), aggregateVariables(), analyseVarOnoffBounds(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), applyFixings(), applyFixings(), applyFixings(), applyFixings(), applyObbt(), applySeparation(), areBoundsChanged(), assignVars(), branchOnBin(), buildMod2Matrix(), calcGap(), calcPscostQuot(), calcPscostQuot(), calculateAlternatives(), cancelRow(), catchEvent(), catchEvent(), checkConsnames(), checkConsnames(), checkConsnames(), checkEqualObjective(), checkExec(), checkIISlocal(), checkParallelObjective(), checkParallelObjective(), checkPartialObjective(), checkRedundancySide(), checkSignomialBounds(), checkSolution(), checkSystemGF2(), chgLhs(), chgLhs(), chgLhs(), chgRhs(), chgRhs(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), collectBranchingCandidates(), combineCols(), compareNodes(), componentSetupWorkingSol(), computeBilinEnvelope2(), computeConvexEnvelopeFacet(), computeCut(), computeCutsAbs(), computeEstimatorsTrig(), computeImpliedEst(), computeImpliedLct(), computeInitialCutsTrig(), computeLeftSecantSin(), computeMatrixStatistics(), computeProjectionScore(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeRightSecantSin(), computeRltCut(), computeSecant(), computeSignpowerRoot(), computeSolTangentSin(), computeSVTS(), computeVarRatio(), computeVertexPolyhedralFacetLP(), consdataCreate(), consdataCreate(), consdataCreateRedundant(), consdataFree(), consdataPrint(), consdataTightenCoefs(), consdataUpdateChgCoef(), consdataUpdateDelCoef(), consdataUpdateDelCoef(), consPrintConsSol(), constructCompression(), constructValidSolution(), convertBinaryEquality(), convertBoundToInt(), convertEquality(), convertLongEquality(), convertUnaryEquality(), correctLocksAndCaptures(), countKernelVariables(), createAltLPColumn(), createAltLPColumn(), createAndAddLinearCons(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createCGMIPprimalsols(), createSubproblem(), createSubscip(), DECL_TIMESERIESUPDATE(), detectDominatingVlbs(), detectDominatingVubs(), detectParallelCols(), detectRedundantConstraints(), determineBestBounds(), determineBestBoundsSafely(), determineBoundForSNF(), determineTotalNumberLinearConss(), displayRelevantStats(), dropEvent(), dropEvent(), dualBoundStrengthening(), dualPresolve(), dualPresolve(), estimateBivariateQuotient(), estimateConvexSecant(), estimateUnivariateQuotient(), evaluateAggrCand(), extractCapacityRows(), extractCliques(), extractCycle(), extractFlowRows(), fillKernels(), findAggregation(), findDominancePairs(), findFixings(), findImpliedIntegers(), findNonDominatedVars(), findRho(), findRho(), fixAndPropagate(), fixMatchingSolutionValues(), fixVariables(), forbidFixation(), fullDualPresolve(), getBinVarsRepresentatives(), getGenVBoundsMinActivityConflict(), getRandomVariable(), getReward(), getReward(), getScore(), getScoreOfFarkasDiving(), getVariablePscostScore(), handleNlpParam(), impliesVlbPrecedenceCondition(), improvePoint(), initConopt(), initCurrent(), isCandidate(), isEquallyCenteredOrbitope(), isEvenOperator(), isIntervalBetter(), isNonstandardPerm(), isPartition(), isRangedRow(), isSingleLockedCand(), nodeGetUctScore(), normalizeCons(), parseConstantArrayAssignment(), parseValue(), performBranchingNoSol(), performBranchingSol(), performDualfix(), preprocessConstraintPairs(), preprocessConstraintPairs(), presolRoundIndicator(), presolStuffing(), presolveImplint(), presolveSingleLockedVars(), prettifyConss(), printActiveVariables(), printBoundSection(), printLinearCons(), printLinearCons(), printLinearCons(), printNonLinearCons(), printNonlinearCons(), printNonlinearCons(), printQuadraticCons(), printQuadraticCons(), printRangeSection(), printRowType(), processRealBoundChg(), propagateCons(), propagateCons(), propagateRedcostVar(), propagateVbounds(), propIndicator(), rangedRowPropagation(), raysAreDependent(), readConstraints(), ReadMatrix(), readRanges(), registerBranchingCandidates(), registerBranchingCandidatesAllUnfixed(), removeZeros(), removeZerosQuad(), removeZerosSafely(), resolveGenVBoundPropagation(), resolvePropagation(), reuseSolution(), reversePropBinarySearch(), rowprepCleanupIntegralCoefs(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRDETECT(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLPICHGCONSSIDES(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPaddIneqBilinear(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPbendersSetupSubproblem(), SCIPchgVarObjProbing(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope2(), SCIPcomputeSymgraphColors(), SCIPcreateConsOrbitopeFull(), SCIPcreateConsOrbitopePP(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPmatrixGetParallelCols(), SCIPmatrixGetParallelRows(), SCIPprocessRowprepNonlinear(), SCIPpropagateProbing(), SCIPsnprintfProbingStats(), SCIPsymEQ(), SCIPupgradeConsLinear(), SCIPvalidateSolve(), SCIPwriteGms(), SCIPwriteMps(), selectBranchVar(), selectShifting(), selectShifting(), selectVarRecursive(), separateCuts(), separateRltCuts(), setupAggregationData(), setupAndSolveSubscipRapidlearning(), simplifyInequalities(), solveComponent(), solveSingleRowLP(), storeSuitableRows(), strengthenVarbounds(), subtreeSumGapUpdate(), tightenAuxVarBounds(), tightenBounds(), tightenCoefs(), tightenVarBounds(), tightenVariables(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), tryAddGadgetSquaredDifference(), tryFillNlhdlrExprDataQuad(), tryUpgradingLogicor(), tryUpgradingXor(), updateBestCandidate(), updateBestCandidate(), updateBestCandidate(), updateBestCandidate(), updateDualVector(), updateFirstRow(), updateLogRegression(), updateObjectiveVector(), updateObjUpperbound(), updateVariableRounding(), upgradeConss(), varIsCenteredAt0(), varIsSemicontinuous(), varIsSemicontinuous(), while(), while(), while(), and writeFzn().

◆ SCIPisLT()

SCIP_Bool SCIPisLT	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 449 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsLT().

Referenced by addBilinearTermToCut(), addCoef(), addConflictBounds(), addLowerBound(), addNodesInformation(), addScenarioVarsAndConsToProb(), addSplitcons(), alwaysLTshiftedVars(), analyseVarOnoffBounds(), analyzeConflictUpperbound(), applyDomainReductions(), assignNextBin(), branch(), branchOnVar(), buildMod2Matrix(), calcPscostQuot(), calcPscostQuot(), checkLeavesBelowIncumbent(), checkRedundancySide(), checkSetupTolerances(), chgLhs(), chgLhs(), chgProbingBound(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), combineCols(), compareConsnodes(), compareNodes(), compareSymgraphs(), compareVars(), compareVarsSignedPerm(), compensateVarLock(), componentSetupWorkingSol(), computeRevPropIntervalSin(), computeSCTable(), consdataTightenCoefs(), constructHypergraph(), constructValidSolution(), createSubscip(), detectDominatingVlbs(), determineBestBounds(), determineBestBoundsSafely(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), ensureScoresPresent(), evaluateLiftingFunction(), execRelpscost(), findBestUb(), findBestUbSafely(), findComponents(), findDominancePairs(), findMIRBestUb(), findNewBounds(), findNonDominatedVars(), generateZerohalfCut(), getAlphaAndBeta(), getFixVal(), getPartitionCovervars(), getScore(), handleDoubleLexOrbitope(), handleOrbitope(), impliesVlbPrecedenceCondition(), isPointFeasible(), l2BallProjection(), linfBallProjection(), maxCircles(), maximizeObjectiveSymresackStrict(), mod2matrixPreprocessRows(), normalizeCons(), performDualfix(), performRandRounding(), performStrongbranchWithPropagation(), predBndStr(), preprocessConstraintPairs(), preprocessConstraintPairs(), prettifyConss(), processBinvarFixings(), processRealBoundChg(), propagateCons(), propagateCutoffboundBinvar(), propagateCutoffboundVar(), propagateLowerBoundVar(), propagateSelfReflectionVar(), propagateUpperBoundSymVar(), rangedRowPropagation(), rangedRowSimplify(), readBounds(), readBounds(), releaseNodeFromDepthInfo(), reoptimize(), resolveGenVBoundPropagation(), reversePropBinarySearch(), rowprepCleanupImproveCoefrange(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRINTEVAL(), SCIP_DECL_NLPICHGCONSSIDES(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddIneqBilinear(), SCIPaddRow(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgVarUbLazy(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPmakeSOS1sFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsymLT(), SCIPtreemodelSelectCandidate(), SCIPupdateDistributionScore(), SCIPupdateNodeLowerbound(), separateCons(), separateCuts(), setupProblem(), simplifyInequalities(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveSingleRowLP(), startProbing(), tightenBounds(), tightenCoefs(), tightenVarBounds(), tightenVarBounds(), tightenVariables(), tightenVarUb(), transformAndSolve(), transformNonIntegralRow(), tryFillNlhdlrExprDataQuad(), updateBestCandidate(), updateBestCandidate(), updateObjUpperbound(), and while().

◆ SCIPisLE()

SCIP_Bool SCIPisLE	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 462 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsLE().

Referenced by addBilinearTermToCut(), addConstraint(), addExpSecant(), addLinearConstraint(), addLogLinearization(), addLogSecant(), addNewLocks(), addSplitcons(), addUpperBound(), aggregateConstraints(), analyzeGenVBoundConflict(), applyBoundChgs(), applyDomainReductions(), applyFixings(), applyProbingVar(), assignVars(), checkExec(), checkImplicsApplied(), checkOrigPbCons(), checkSystemGF2(), chgLhs(), chgProbingBound(), chgRhs(), chooseDoubleVar(), collectNonBinaryImplicationData(), combineCols(), compensateVarLock(), computeEstimatorsTrig(), computeInitialCutsTrig(), computeLeftSecantSin(), computeRightSecantSin(), computeVertexPolyhedralFacetUnivariate(), consdataGetReliableResidualActivity(), consdataPrint(), consdataTightenCoefs(), continueStrongBranchingTreeSizeEstimation(), convertLongEquality(), correctLocksAndCaptures(), createBlockproblem(), cutsRoundMIR(), cutsRoundMIRSafely(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteMIRSafely(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), cutTightenCoefsSafely(), detectDominatingVubs(), determineBestBounds(), determineBestBoundsSafely(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), dualPresolve(), enumeratePatterns(), estimateBivariate(), estimateUnivariate(), evaluateLiftingFunction(), filterCands(), filterPoints(), findBestUb(), findBestUbSafely(), findFixings(), findMIRBestUb(), findUplockAggregations(), getAlphaAndBeta(), getFixingValue(), getFixVal(), getGMIFromRow(), getGMIFromRow(), getImpliedBounds(), getImpliedBounds(), getNCircles(), getNewSidesAfterAggregation(), hasBetterRatio(), heurExec(), impliesVlbPrecedenceCondition(), indicatorVarIsInteresting(), initCurrent(), initsepaBoundInequalityFromCardinality(), isEvenOperator(), isInCurrentLogBucket(), isOverlapping(), l1BallProjection(), lockRoundingAndCons(), normalizeCons(), performDualfix(), performStrongbranchWithPropagation(), predBndStr(), preprocessConstraintPairs(), presolStuffing(), processNLPSol(), projectVbd(), propagateCons(), propagateLowerbound(), rangedRowPropagation(), rangedRowSimplify(), removeOldLocks(), resolveGenVBoundPropagation(), reversePropBinarySearch(), sampleRandomPoints(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddBilinMcCormick(), SCIPaddSquareSecant(), SCIPanalyzeDeductionsProbing(), SCIPapplyProbingVar(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPprintSolutionStatistics(), SCIPseparateRelaxedKnapsack(), SCIPsymLE(), scoring(), searchEcAggrWithMIP(), selectNextDiving(), separateCuts(), separateCuts(), separateCuts(), setSymmetryData(), setupAndSolveSubscipRapidlearning(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveSingleRowLP(), solveSubNLP(), subtreeSumGapRemoveNode(), tightenBounds(), tightenCoefs(), tightenVarBounds(), tightenVarBounds(), tightenVarBoundsEasy(), transformVariable(), tryFillNlhdlrExprDataQuad(), tryUpgradingSetppc(), unlockRoundingAndCons(), updateBestCandidate(), updateDualBounds(), updateTransformation(), upgradeConss(), upgradeLinearSuperindicator(), while(), and while().

◆ SCIPisGT()

SCIP_Bool SCIPisGT	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 475 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsGT().

Referenced by addBilinearTermToCut(), addBranchingComplementaritiesSOS1(), addCoef(), addConflictBounds(), addGenVBound(), addPathCuts(), addRelaxation(), addSplitcons(), addSubtourCuts(), addTourCuts(), adjustKernelVars(), aggregateNextRow(), analyseVarOnoffBounds(), analyzeConflictLowerbound(), applyDomainReductions(), applyNlobbt(), applyProbingVar(), assignNextBin(), branchOnVar(), calcPscostQuot(), calcPscostQuot(), canGTshiftedVars(), checkCons(), checkDivingCandidates(), checkPackingPartitioningOrbitopeSolution(), checkRedundancySide(), checkSetupTolerances(), checkTrivialInfeas(), checkVarbound(), chgLhs(), chgProbingBound(), chgRhs(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), combineCols(), compareConsnodes(), compareNodes(), compareSymgraphs(), compareVars(), compareVarsSignedPerm(), compensateVarLock(), computeLiftingData(), computeNextAdjacency(), computePosRingCircle(), computeRevPropIntervalSin(), computeSolTangentSin(), computeSVTS(), consdataCreate(), consdataCreate(), consdataCreate(), consdataTightenCoefs(), continueStrongBranchingTreeSizeEstimation(), convertLongEquality(), countKernelVariables(), createSubscip(), cutsTransformMIR(), cutTightenCoefs(), cutTightenCoefsQuad(), cutTightenCoefsSafely(), detectDominatingVubs(), determineBestBounds(), determineBestBoundsSafely(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), enfopsPackingPartitioningOrbitopeSolution(), enumeratePatterns(), evaluateLiftingFunction(), execRelpscost(), extractCycle(), fillKernels(), filterWithDynamicParallelism(), findBestLb(), findBestLbSafely(), findInsertionPoint(), findMIRBestLb(), findNewBounds(), findNonDominatedVars(), generateLiftedFlowCoverCut(), generateZerohalfCut(), getAlphaAndBeta(), getFixVal(), getNCircles(), getObjectiveFactor(), getOptimalShiftingValue(), getScore(), getVarRank(), impliesVlbPrecedenceCondition(), improvePoint(), isInCurrentLogBucket(), isPointFeasible(), l1BallProjection(), l2BallProjection(), linfBallProjection(), maximizeObjectiveSymresackCriticalEntry(), maximizeObjectiveSymresackStrict(), normalizeCons(), performRandRounding(), performStrongbranchWithPropagation(), preprocessConstraintPairs(), preprocessConstraintPairs(), presolStuffing(), printRangeSection(), printRowType(), processRealBoundChg(), propagateCons(), rangedRowPropagation(), rangedRowSimplify(), readBounds(), readBounds(), reformRowprep(), releaseNodeFromDepthInfo(), resolveGenVBoundPropagation(), reverseProp(), roundPartition(), rowprepCleanupImproveCoefrange(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRINTEVAL(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_RELAXEXEC(), SCIPaddRow(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPcalcKnapsackCover(), SCIPchgVarLbLazy(), SCIPcopyConsExactLinear(), SCIPcopyConsLinear(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsymGT(), SCIPtreemodelSelectCandidate(), SCIPupdateDistributionScore(), selectVarRecursive(), separateCons(), separateCons(), separateCuts(), separatePerspective(), simplifyInequalities(), singletonColumnStuffing(), solveAndEvalSubscip(), solvePricingHeuristic(), startProbing(), storeAggrFromMIP(), tightenCoefs(), tightenSides(), tightenVarBounds(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVariables(), tightenVarLb(), transformAndSolve(), transformNonIntegralRow(), tryFillNlhdlrExprDataQuad(), updateBestCandidate(), updateBestCandidate(), updateSubproblemCutConstant(), and while().

◆ SCIPisGE()

SCIP_Bool SCIPisGE	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 488 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsGE().

Referenced by addBilinearTermToCut(), addNodesInformation(), addSplitcons(), aggregateGeneratedCuts(), analyzeGenVBoundConflict(), applyDomainReductions(), applyFixings(), applyFixings(), applyProbingVar(), assignVars(), checkImplicsApplied(), checkSystemGF2(), checkVarbound(), chgProbingBound(), collectNonBinaryImplicationData(), combineCols(), computeCut(), computeLeftSecantSin(), computePosCircleCircle(), computePosRingCircle(), computeSolTangentSin(), computeSVTS(), computeVarRatio(), consdataTightenCoefs(), convertLongEquality(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), cutsTransformMIR(), cutTightenCoefsQuad(), cutTightenCoefsSafely(), detectDominatingVlbs(), dualPresolve(), dualPresolve(), dualPresolving(), estimateBivariate(), estimateUnivariate(), execRelpscost(), executeBranching(), executeBranchingRecursive(), filterWithDynamicParallelism(), findBestLb(), findBestLbSafely(), findDominancePairs(), findDownlockAggregations(), findFixings(), findMIRBestLb(), generateAndApplyBendersCuts(), generateLiftedFlowCoverCut(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getFixingValue(), getImpliedBounds(), getImpliedBounds(), getPartitionCovervars(), identifySourcesTargets(), impliesVlbPrecedenceCondition(), initCurrent(), isNlobbtApplicable(), isVlb(), isVub(), maximizeObjectiveSymresackStrict(), nodeGetUctScore(), performLPRandRounding(), performLPSimpleRounding(), performStrongbranchWithPropagation(), prepareSeparation(), preprocessConstraintPairs(), prettifyConss(), propagateCons(), propagateCutoffbound(), propagateCutoffboundGlobally(), rangedRowPropagation(), rangedRowSimplify(), resolveGenVBoundPropagation(), reuseSolution(), reversePropBinarySearch(), roundPartition(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_TABLEOUTPUT(), SCIPaddBilinMcCormick(), SCIPaddIneqBilinear(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyProbingVar(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPgetVarStrongbranchWithPropagation(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsolveDiveLP(), SCIPsolveKnapsackExactly(), SCIPsymGE(), SCIPtryStrongbranchLPSol(), SCIPverifyCircularPatternHeuristic(), scoreContainerSetScore(), selectNextDiving(), selectVarMultAggrBranching(), selectVarRecursive(), separateCuts(), separateCuts(), setSymmetryData(), simplifyInequalities(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveProbingLP(), tightenCoefs(), updateBestCandidate(), updateMinMaxMeanGain(), updateMuSteplengthParam(), upgradeLinearSuperindicator(), and while().

◆ SCIPisInfinity()

SCIP_Bool SCIPisInfinity	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is (positive) infinite

Parameters

scip	SCIP data structure
val	value to be compared against infinity

Definition at line 512 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsInfinity().

◆ SCIPisHugeValue()

SCIP_Bool SCIPisHugeValue	(	SCIP *	scip,
		SCIP_Real	val )

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 524 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsHugeValue().

◆ SCIPisZero()

SCIP_Bool SCIPisZero	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is in range epsilon of 0.0

Parameters

scip	SCIP data structure
val	value to process

Definition at line 549 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsZero().

Referenced by addAltLPColumn(), addAltLPConstraint(), addBilinearTermToCut(), addCoef(), addCoefTerm(), addCols(), addConflictBounds(), addConflictBounds(), addFacetToCut(), addFlowrowToCommodity(), addGenVBound(), addLinearTermToCut(), addObjcut(), addRltTerm(), addRow(), addRows(), addSymmetryInformation(), addSymmetryInformation(), addSymmetryInformation(), adjustCutoffbound(), aggregateConstraints(), aggregateGeneratedCuts(), applyFixings(), applyFixings(), applyFixings(), applyRepair(), branchOnBin(), buildConvexCombination(), buildMod2Matrix(), calcActivityBounds(), calcEfficacy(), calcEfficacyDenseStorage(), calcEfficacyDenseStorageQuad(), calcEfficacyNormQuad(), calculateShift(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelCol(), cancelRow(), catchObjEvent(), checkCons(), checkDivingCandidates(), checkEqualObjective(), checkExec(), checkParallelObjective(), checkSolution(), chgCoefPos(), chgLhs(), chgRhs(), collectMaxactVar(), collectMinactImplicVar(), collectMinactImplicVars(), collectMinactVar(), collectNonBinaryVBoundData(), combineCols(), componentSetupWorkingSol(), computeCut(), computeHyperbolaRoot(), computeLeftSecantSin(), computeMonoidalQuadCoefs(), computePosRingCircle(), computeRestrictionToLine(), computeRestrictionToRay(), computeRightSecantSin(), computeSignpowerRoot(), computeSolTangentSin(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeStandardNLPFeasibilityCut(), computeStandardNLPOptimalityCut(), computeStrengthenedIntercut(), computeVarRatio(), computeVertexPolyhedralFacetBivariate(), consdataComputePseudoActivity(), consdataCreate(), consdataCreate(), consdataCreate(), consdataFree(), consdataGetActivity(), consdataGetReliableResidualActivity(), consdataPrint(), consdataTightenCoefs(), consdataUpdateAddCoef(), consdataUpdateDelCoef(), consEnfo(), continueStrongBranchingTreeSizeEstimation(), convertLongEquality(), convertUnaryEquality(), correctLocksAndCaptures(), createAndAddAnds(), createAndAddLinearCons(), createGenVBound(), createMIP(), createNewSol(), createObjRow(), createProbSimplified(), createSubscip(), createVariables(), cutsSubstituteMIR(), cutsSubstituteMIRSafely(), cutsSubstituteStrongCG(), cutsTransformKnapsackCover(), DECL_CURVCHECK(), delCoefPos(), detectHiddenProducts(), detectSocNorm(), detectSocQuadraticComplex(), detectSocQuadraticSimple(), determineBestBounds(), determineBestBoundsSafely(), determineBound(), dropObjEvent(), dualPresolve(), ecaggrAddBilinTerm(), enforceConflictgraph(), enumeratePatterns(), estimateConvexSecant(), estimateGradient(), estimateHyperbolaMixed(), estimateHyperbolaPositive(), execRelpscost(), exprdataCreate(), extractCliques(), fillGlobalStartingData(), filterBounds(), filterExistingLP(), filterRound(), findMonoidalQuadRoot(), findRho(), findRho(), fixIntegerVariable(), fixVariableZero(), fixVariableZero(), fromCommandLine(), fullDualPresolve(), generateAndApplyBendersCuts(), generateBoundInequalityFromSOS1Nodes(), generateCloseCutPoint(), generateClusterCuts(), generateCutSolDisagg(), generateCutSolSOC(), generateRowCardinality(), getActiveVar(), getBinVarsRepresentatives(), getBoundConsFromVertices(), getDualBranchscore(), getFeasiblePointsBilinear(), getGMIFromRow(), getGMIFromRow(), getMaxactImplicObjchg(), getMinactImplicObjchg(), getObjectiveFactor(), getObjectiveRow(), getOptimalShiftingValue(), getPotential(), getPotentialContributed(), getScore(), handleNewVariableCardinality(), handleNewVariableSOS1(), improvePoint(), initCurrent(), insertRayEntries(), intercutsComputeCommonQuantities(), isPartition(), isSingleLockedCand(), lockRounding(), matrixAddRow(), mergeMultiples(), mod2MatrixAddOrigRow(), mod2MatrixAddTransRow(), mod2matrixPreprocessColumns(), mod2matrixRemoveRow(), mod2rowAddRow(), modifyAndPackCut(), nodepairqueueCreate(), normalizeCons(), objimplicsCreate(), optimize(), performDualfix(), performStrongbranchSOS1(), permuteStartSolution(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundSOS2(), presolStuffing(), printActiveVariables(), printBoundSection(), printDualSol(), printLinearRow(), printRhsSection(), printRow(), printRow(), propagateCons(), propagateCutoffbound(), propagateCutoffboundBinvar(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLowerbound(), propagateLowerboundVar(), propdataInit(), propIndicator(), proposeFeasibleSolution(), rangedRowPropagation(), raysAreDependent(), raysAreDependent(), readBounds(), readCoefficients(), readCoefficients(), readCoefficients(), readCols(), readObjective(), readOPBFile(), readRhs(), reformRowprep(), reformulateFactorizedBinaryQuadratic(), resolvePropagation(), resolvePropagation(), resolvePropagation(), rowprepCleanupIntegralCoefs(), rowprepCleanupSide(), scaleCons(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRBWDIFF(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefLinear(), SCIPaddCoefPseudoboolean(), SCIPaddRow(), SCIPaddSymgraphVarAggregation(), SCIPaddTermPseudoboolean(), SCIPaddVarVlb(), SCIPaddVarVub(), SCIPaggrRowAddObjectiveFunction(), SCIPanalyzeDeductionsProbing(), SCIPapplyProximity(), SCIPbendersSetupSubproblem(), SCIPchgCoefLinear(), SCIPchgReoptObjective(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope1(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsOrbitopeFull(), SCIPcreateConsOrbitopePP(), SCIPcreateConsPseudoboolean(), SCIPcreateNlpiProblemFromNlRows(), SCIPestimateRoot(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVectorEfficacyNorm(), SCIPisObjIntegral(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPprintSolutionPbSolver(), SCIPreduceMatrixSize(), SCIPupgradeConsLinear(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectShifting(), selectShifting(), setupAggregationData(), setupSubproblem(), simplifyInequalities(), solCutIsViolated(), solveBilinearLP(), solveClassification(), solveMinIISC(), solveSingleRowLP(), solveSubNLP(), sparsifyIntercut(), storeAggrFromMIP(), storeCutInArrays(), switchNext(), termIsConstant(), tightenCoefs(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), tryAddGadgetBilinearProductSignedPerm(), tryAddGadgetEvenOperatorSum(), tryAddGadgetEvenOperatorVariable(), tryFillNlhdlrExprDataQuad(), tryUpgradingXor(), unlockRounding(), updateBilinearRelaxation(), updateMIP(), updateObjectiveVector(), updateSlacks(), updateSubgradient(), upgradeConss(), while(), writeFzn(), and writeOpbObjective().

◆ SCIPisPositive()

SCIP_Bool SCIPisPositive	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is greater than epsilon

Parameters

scip	SCIP data structure
val	value to process

Definition at line 561 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsPositive().

Referenced by addBilinearTermToCut(), addCoefTerm(), addConflictBinvar(), addLinearConstraint(), addPathCuts(), aggregateConstraints(), applyAlternativeBoundsBranching(), calcMaxObjPseudoactivity(), calcMIRSafely(), calculateShift(), checkParallelObjective(), checkSignomialBounds(), chgCoefPos(), chgLhs(), chgLhs(), chgRhs(), chgRhs(), collectMaxactVar(), combineCols(), computeCutsAbs(), computeNextAdjacency(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), consEnfo(), convertLongEquality(), createAndAddLinearCons(), createCGCutDirect(), createMIP(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), cutTightenCoefsSafely(), detectSocQuadraticSimple(), dfs(), doSeparation(), dualBoundStrengthening(), dualPresolve(), dualPresolve(), estimateSignedpower(), evaluateLiftingFunctionKnapsack(), extractCapacityRows(), extractCliques(), extractFlowRows(), filterRound(), findFixings(), fixIntegerVariable(), fixVariableZero(), fixVariableZero(), fullDualPresolve(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateRowCardinality(), getBranchingDecisionStrongbranchSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getScoreOfFarkasDiving(), initData(), isCandidate(), l1BallProjection(), lockRoundingAndCons(), nodepairqueueCreate(), normalizeCons(), optimize(), performDualfix(), permuteStartSolution(), predBndStr(), preprocessConstraintPairs(), preprocessConstraintPairs(), presolStuffing(), propagateCons(), propagateLowerboundBinvar(), propIndicator(), proposeFeasibleSolution(), rangedRowSimplify(), resolveGenVBoundPropagation(), resolvePropagation(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLREVALAUX(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPapplyLockFixings(), SCIPbendersSolSlackVarsActive(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPchgReoptObjective(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPupdateStartpointHeurSubNlp(), SCIPupgradeConsLinear(), searchEcAggrWithCliques(), selectInitialVariableRandomly(), selectShifting(), selectShifting(), separateCuts(), separateCuts(), separatePerspective(), setUpEvents(), solveAndEvalSubscip(), solveLagrangianDual(), solveSingleRowLP(), sortGenVBounds(), tightenVarBoundsEasy(), transformAndSolve(), unlockRoundingAndCons(), updateMuSteplengthParam(), upgradeLinearSuperindicator(), varMayRoundDown(), and varMayRoundUp().

◆ SCIPisNegative()

SCIP_Bool SCIPisNegative	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is lower than -epsilon

Parameters

scip	SCIP data structure
val	value to process

Definition at line 573 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsNegative().

Referenced by addConflictBinvar(), addLinearConstraint(), adjustCutoffbound(), applyAlternativeBoundsBranching(), applyFixings(), calcBranchScore(), calcBranchScore(), calcMaxObjPseudoactivity(), calculateShift(), checkLogCriterion(), checkParallelObjective(), chgCoefPos(), collectMinactVar(), combineCols(), computeCut(), computeCutsAbs(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeTangent(), computeVertexPolyhedralFacetBivariate(), copySofttimelimit(), createMIP(), createVarUbs(), cutTightenCoefs(), cutTightenCoefsQuad(), cutTightenCoefsSafely(), detectSocNorm(), detectSocQuadraticSimple(), determineBestBounds(), determineBestBoundsSafely(), dualPresolve(), dualPresolve(), dualPresolving(), extractCapacityRows(), extractNodes(), fillGlobalStartingData(), filterRound(), findFixings(), fixIntegerVariable(), fixVariableZero(), fixVariableZero(), fullDualPresolve(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateDisjCutSOS1(), generateRowCardinality(), getScoreOfFarkasDiving(), isCandidate(), isFiniteNonnegativeIntegral(), l1BallProjection(), l2BallProjection(), linfBallProjection(), nlrowaggrCreate(), nodepairqueueCreate(), normalizeCons(), objimplicsCreate(), performDualfix(), predBndStr(), preprocessConstraintPairs(), preprocessConstraintPairs(), presolStuffing(), ObjPricerVRP::pricing(), propagateCons(), propagateCutoffboundBinvar(), proposeFeasibleSolution(), rangedRowSimplify(), removeDoubleAndSingletonsAndPerformDualpresolve(), SCIP_DECL_CONSINITLP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPcalcCumulativeDistribution(), SCIPclassifyConstraintTypesLinear(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPgetReadingTime(), SCIPvarCalcDistributionParameters(), searchEcAggrWithCliques(), selectShifting(), selectShifting(), separatePerspective(), simplifyInequalities(), solveAndEvalSubscip(), solveSingleRowLP(), sortGenVBounds(), tightenVarBoundsEasy(), transformAndSolve(), transformColumn(), tryFillNlhdlrExprDataQuad(), updateBallRadius(), updateBestCandidate(), upgradeLinearSuperindicator(), varMayRoundDown(), and varMayRoundUp().

◆ SCIPisIntegral()

SCIP_Bool SCIPisIntegral	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is integral within epsilon

Parameters

scip	SCIP data structure
val	value to process

Definition at line 585 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsIntegral().

Referenced by addCoefTerm(), addCut(), addExpLinearization(), addLogLinearization(), addXorLinearization(), aggregateConstraints(), aggregateVariables(), applyFixings(), applyFixings(), assignVars(), branchOnVar(), calcBranchScore(), calcBranchScore(), cancelCol(), cancelRow(), computeCut(), computeMatrixStatistics(), computeSignpowerRoot(), consdataCheckSuperindicator(), consdataIsResidualIntegral(), convertBoundToInt(), convertLongEquality(), createAndAddLinearCons(), dualPresolve(), enfopsPackingPartitioningOrbitopeSolution(), estimateConvexSecant(), fixAndPropagate(), flattenFloat(), fullDualPresolve(), getFlowCover(), isEvenOperator(), isFiniteNonnegativeIntegral(), isPartition(), normalizeCons(), parseRange(), presolStuffing(), presolveImplint(), prettifyConss(), printLinearCons(), printNLRow(), printRow(), printValue(), propagateStaticLexred(), propagateStaticOrbitope(), propIndicator(), rangedRowPropagation(), readCoefficients(), readPolynomial(), reformulateFactorizedBinaryQuadratic(), roundPartition(), runBenders(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPRESPROP(), SCIPaddCoefPseudoboolean(), SCIPaddSquareLinearization(), SCIPaddVarIndicator(), SCIPclassifyConstraintTypesLinear(), SCIPconsAddCoef(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPisObjIntegral(), SCIPsolveKnapsackExactly(), SCIPupgradeConsLinear(), simplifyInequalities(), tightenBounds(), tightenCoefs(), tightenSides(), tightenVariables(), updateBestCandidate(), updateVariableRounding(), updateVarVals(), writeExpandedSolutions(), writeFzn(), and writeOpbObjective().

◆ SCIPisScalingIntegral()

SCIP_Bool SCIPisScalingIntegral	(	SCIP *	scip,
		SCIP_Real	val,
		SCIP_Real	scalar )

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 597 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsScalingIntegral().

Referenced by scaleCons().

◆ SCIPisFracIntegral()

SCIP_Bool SCIPisFracIntegral	(	SCIP *	scip,
		SCIP_Real	val )

checks if given fractional part is smaller than epsilon

Parameters

scip	SCIP data structure
val	value to process

Definition at line 610 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsFracIntegral().

◆ SCIPfloor()

SCIP_Real SCIPfloor	(	SCIP *	scip,
		SCIP_Real	val )

rounds value + epsilon down to the next integer

Parameters

scip	SCIP data structure
val	value to process

Definition at line 622 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetFloor().

Referenced by addExpLinearization(), addLogLinearization(), addOneRow(), applyFixings(), branchBalancedCardinality(), calcColorValue(), checkCands(), computeFixingrate(), computeMIREfficacy(), computeSignpowerRoot(), createCGMIPprimalsols(), createSubSCIP(), cutsSubstituteStrongCG(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), dualPresolve(), enforceConflictgraph(), enforceConssSOS1(), estimateConvexSecant(), evaluateLiftingFunctionKnapsack(), findNewBounds(), fixDiscreteVars(), fixVariable(), forwardPropExpr(), fullDualPresolve(), generateClusterCuts(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), getCoef(), getNCircles(), handleCycle(), handleNlpParam(), performDualfix(), predBndStr(), presolStuffing(), proposeFeasibleSolution(), rangedRowPropagation(), readVariables(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECSOL(), SCIPaddSquareLinearization(), SCIPaggrRowAddRow(), SCIPanalyzeDeductionsProbing(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackExactly(), SCIPtightenExprIntervalNonlinear(), SCIPwriteGms(), selectNextDiving(), setupSubScip(), simplifyInequalities(), tightenBoundProbing(), tightenVariables(), tightenVarsBoundsSOS1(), transformAndSolve(), tryAdd2variableBuffer(), tryAdd2variableBuffer(), updateArcData(), and while().

◆ SCIPceil()

SCIP_Real SCIPceil	(	SCIP *	scip,
		SCIP_Real	val )

rounds value - epsilon up to the next integer

Parameters

scip	SCIP data structure
val	value to process

Definition at line 634 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetCeil().

Referenced by addOneRow(), checkCands(), computeSVTS(), createObjRow(), createReaderdata(), cutsRoundStrongCG(), cutsSubstituteStrongCG(), estimateConvexSecant(), fillBuckets(), findNewBounds(), findUncapacitatedArcs(), fixVariable(), forbidFixation(), forwardPropExpr(), fullDualPresolve(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), handleCycle(), maxCircles(), performDualfix(), predBndStr(), presolStuffing(), proposeFeasibleSolution(), rangedRowPropagation(), readConstraints(), readOPBFile(), readVariables(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECSOL(), SCIPaggrRowAddRow(), SCIPanalyzeDeductionsProbing(), SCIPcalcStrongCG(), SCIPcreateConsIndicatorGeneric(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPperformGenericDivingAlgorithm(), SCIPtightenExprIntervalNonlinear(), SCIPwriteGms(), selectNextDiving(), selectVarStart(), separateCuts(), separateCuts(), separateGLS(), separateHeur(), setObjective(), simplifyInequalities(), tightenBoundProbing(), tightenVariables(), tightenVarsBoundsSOS1(), transformAndSolve(), updateArcData(), and visualizeSolutionAscii().

◆ SCIPround()

SCIP_Real SCIPround	(	SCIP *	scip,
		SCIP_Real	val )

rounds value to the nearest integer with epsilon tolerance

Parameters

scip	SCIP data structure
val	value to process

Definition at line 646 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetRound().

Referenced by addCut(), applyFixings(), cutTightenCoefs(), cutTightenCoefsQuad(), cutTightenCoefsSafely(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), estimateConvexSecant(), flattenFloat(), mod2(), printNLRow(), printRow(), rowprepCleanupIntegralCoefs(), SCIP_DECL_CONSCHECK(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERREAD(), SCIPapplyHeurSubNlp(), scoreBranchingCandidates(), solCreateSolAssignment(), solveNLP(), tryAddGadgetSquaredDifference(), updateVarVals(), visualizeSolutionAscii(), visualizeSolutionGnuplot(), visualizeSolutionMatplotlib(), writeOpbConstraints(), and writeOpbObjective().

◆ SCIPfrac()

SCIP_Real SCIPfrac	(	SCIP *	scip,
		SCIP_Real	val )

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 658 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetFrac().

Referenced by changeSubvariableObjective(), computeCut(), createCGCutCMIR(), createCGCutStrongCG(), createCGMIPprimalsols(), cutsTransformMIR(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), generateClusterCuts(), getGMIFromRow(), getGMIFromRow(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), and while().

◆ SCIPisSumEQ()

SCIP_Bool SCIPisSumEQ	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 670 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsSumEQ().

Referenced by computeVarRatio(), SCIP_DECL_BRANCHEXECLP(), separateSCIs(), transformNonIntegralRow(), and updateBestCandidate().

◆ SCIPisSumLT()

SCIP_Bool SCIPisSumLT	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 683 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsSumLT().

Referenced by checkTrivialInfeas(), proposeFeasibleSolution(), solveComponent(), and transformNonIntegralRow().

◆ SCIPisSumLE()

SCIP_Bool SCIPisSumLE	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 696 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsSumLE().

Referenced by filterCandidates(), getAlphaAndBeta(), and scoring().

◆ SCIPisSumGT()

SCIP_Bool SCIPisSumGT	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 709 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsSumGT().

Referenced by constructCompression(), execRelpscost(), SCIP_DECL_BRANCHEXECLP(), tightenVarBoundsEasy(), transformNonIntegralRow(), and updateBestCandidate().

◆ SCIPisSumGE()

SCIP_Bool SCIPisSumGE	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 722 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsSumGE().

Referenced by execRelpscost().

◆ SCIPisSumZero()

SCIP_Bool SCIPisSumZero	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is in range sumepsilon of 0.0

Parameters

scip	SCIP data structure
val	value to process

Definition at line 735 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsSumZero().

Referenced by aggregation(), and computeCut().

◆ SCIPisSumPositive()

SCIP_Bool SCIPisSumPositive	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is greater than sumepsilon

Parameters

scip	SCIP data structure
val	value to process

Definition at line 747 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsSumPositive().

Referenced by calcBranchScore(), computeCut(), and createCGCutCMIR().

◆ SCIPisSumNegative()

SCIP_Bool SCIPisSumNegative	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is lower than -sumepsilon

Parameters

scip	SCIP data structure
val	value to process

Definition at line 759 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsSumNegative().

Referenced by SCIP_DECL_BRANCHEXECLP().

◆ SCIPisFeasEQ()

SCIP_Bool SCIPisFeasEQ	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 771 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsFeasEQ().

Referenced by addFacetToCut(), addLinearTermToCut(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addRowToCut(), addRowToCut(), applyFixings(), applyFixings(), applyFixings(), applyFixings(), applyFixings(), applyFixings(), applyNlobbt(), applyRepair(), branchUnbalancedCardinality(), bucketCreateSubscip(), calculateAlternatives(), checkCons(), checkCons(), checkConsQuadraticProblem(), checkRikun(), checkSetupTolerances(), chooseDoubleVar(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeInitialKnapsackCover(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeIntegerVariableBoundsDins(), computeNogoodCut(), computeRanks(), computeSecant(), computeStandardIntegerOptCut(), consdataCheckSuperindicator(), consFixLinkvar(), constructCompression(), constructCompression(), createAndAddAndCons(), createCGCutDirect(), createConflict(), createCoveringProblem(), createIndicatorConstraint(), createProjRow(), createRows(), createSelectedSortedEventpointsSol(), createSubSCIP(), createSubSCIP(), createSubscip(), createSwitchSolution(), CUTOFF_CONSTRAINT(), deleteVarCardinality(), determineFixings(), determineVariableFixings(), determineVariableFixings(), doBinarySearch(), doBinarySearch(), doPricing(), doSolveSubMIP(), enforceCardinality(), enforceConstraint(), filterExistingLP(), findPointPosition(), fixAndPropagate(), generateAverageNBRay(), generateBoundInequalityFromSOS1Nodes(), generateNeighborFacets(), generateRowCardinality(), generateZerohalfCut(), getCover(), getNActiveConsScore(), getPartitionNoncovervars(), getSolutionValues(), GUBsetCalcCliquePartition(), handleNewVariableCardinality(), heurExec(), initProblem(), isPossibleToComputeCut(), LOPseparate(), markRowsXj(), optimize(), performDualfix(), performRandRounding(), phi(), presolRoundCardinality(), presolveAddKKTAggregatedVars(), presolveAddKKTLinearCons(), presolveAddKKTLinearConss(), presolveAddKKTVarboundConss(), printBoundSection(), processBinvarFixings(), processFixings(), processWatchedVars(), propagateCons(), propagateCons(), propagateCons(), propagateCutoffboundVar(), propagateRedcostBinvar(), propagateRedcostVar(), propCardinality(), raysAreDependent(), readBinaries(), reboundIntegerVariables(), registerBranchingCandidates(), resolvePropagationCoretimes(), rowFindSlackVar(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_PRESOLEXEC(), SCIPaddIneqBilinear(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPaddVarImplication(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPconvertRealToInt(), SCIPconvertRealToLongint(), SCIPgenerateAndApplyBendersOptCut(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPwriteGms(), SCIPwriteLp(), separateCons(), separateCuts(), separateCuts(), separateIISRounding(), sequentialUpAndDownLifting(), sequentialUpAndDownLiftingGUB(), setAltLPObj(), setObjective(), simplifyInequalities(), solveAndEvalSubscip(), solveBilinearLP(), switchNext(), termIsConstant(), tightenBounds(), tightenBounds(), transformValue(), updateSlacks(), varIsFixed(), varIsFixedLocal(), varProcessBoundChanges(), and varProcessBoundChanges().

◆ SCIPisFeasLT()

SCIP_Bool SCIPisFeasLT	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 784 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsFeasLT().

Referenced by addCut(), addUpperBound(), analyseVarOnoffBounds(), analyzeGenVBoundConflict(), applyFixings(), applyFixings(), applyRepair(), branchBalancedCardinality(), calcBranchScore(), calculateBounds(), checkCons(), checkKnapsack(), checkOrigPbCons(), checkRowViolation(), checkViolations(), collectNonBinaryVBoundData(), computeCut(), computeVarsCoverSOS1(), consdataTightenCoefs(), countSparseSol(), createCGCutCMIR(), createCGCutStrongCG(), createSubscip(), detectRedundantConstraints(), execGenVBounds(), executeBranching(), extractCliques(), filterPoints(), findPointPosition(), getBoundConsFromVertices(), getCover(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getMaxactImplicObjchg(), getOptimalShiftingValue(), handleNewVariableSOS2(), improvePoint(), isConsViolated(), optimize(), performImplicationGraphAnalysis(), performStrongbranchSOS1(), preprocessConstraintPairs(), preprocessConstraintPairs(), propagateCons(), propagateCons(), propagateLowerboundBinvar(), propagateLowerboundVar(), propagateRedcostVar(), propIndicator(), propVariableNonzero(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPinferVarUbCons(), SCIPperformGenericDivingAlgorithm(), SCIPprobdataUpdateDualbound(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximatelyLT(), sepaImplBoundCutsSOS1(), separateIISRounding(), separateMcCormickImplicit(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscipRapidlearning(), setupProblem(), simplifyInequalities(), solvePricingHeuristic(), tightenCoefs(), tightenVarBounds(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVarsBoundsSOS1(), tryFixVar(), updateArcData(), updateImplicationGraphSOS1(), updateViolations(), updateViolations(), updateViolations(), upgradeCons(), while(), while(), while(), and while().

◆ SCIPisFeasLE()

SCIP_Bool SCIPisFeasLE	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 797 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsFeasLE().

Referenced by addConflictBounds(), applyRepair(), branchruledataUpdateCurrentBounds(), calcShiftVal(), checkBounddisjunction(), checkCons(), checkCons(), checkCons(), checkConsQuadraticProblem(), checkConstraintMatching(), checkRowViolation(), checkViolations(), collectNonBinaryImplicationData(), computeInitialKnapsackCover(), computeRevPropIntervalSin(), consFixLinkvar(), constructSNFRelaxation(), convertLongEquality(), createSubscip(), cutTightenCoefs(), cutTightenCoefsQuad(), cutTightenCoefsSafely(), determineBound(), dualPresolve(), evaluateLiftingFunction(), extractCliques(), filterCands(), filterExistingLP(), filterRound(), findDominancePairs(), generateDisjCutSOS1(), generateNeighborFacets(), getFeasibleSet(), getFlowCover(), getOptimalShiftingValue(), heurdataUpdateCurrentBounds(), heurExec(), isConsViolated(), isDisplaySol(), optimize(), performRandRounding(), propagateRootRedcostVar(), registerBranchingCandidates(), rowCalculateGauss(), rowCalculateGauss(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_RELAXEXEC(), SCIPaddIneqBilinear(), SCIPapplyHeurDualval(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPcalcCumulativeDistribution(), SCIPcheckPattern(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPupdateDistributionScore(), separateCuts(), separateCuts(), setupAndSolveSubscipRapidlearning(), shiftValues(), simplifyInequalities(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), tightenVarBounds(), tightenVarUb(), transformVariable(), tryToInsert(), updateBestCandidate(), updateBestCandidate(), updateBestCandidate(), updateBilinearRelaxation(), updateSlacks(), updateVariableRounding(), and while().

◆ SCIPisFeasGT()

SCIP_Bool SCIPisFeasGT	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 810 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsFeasGT().

Referenced by addGenVBound(), addLowerBound(), analyseVarOnoffBounds(), analyzeGenVBoundConflict(), applyFixings(), applyFixings(), applyObbtBilinear(), applyRepair(), checkCons(), checkOrigPbCons(), checkRowViolation(), checkViolations(), collectNonBinaryVBoundData(), computeCut(), consdataTightenCoefs(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createSubscip(), doPricing(), enforceCardinality(), executeBranching(), extractCliques(), findPointPosition(), generateClusterCuts(), generateNeighborFacets(), getBestEstimators(), getCover(), getFlowCover(), getMaxactImplicObjchg(), getPartitionCovervars(), getPartitionNoncovervars(), handleNewVariableSOS2(), makeSOS1constraintsFeasible(), optimize(), performImplicationGraphAnalysis(), performStrongbranchSOS1(), preprocessConstraintPairs(), propagateCons(), propagateLowerboundVar(), propVariableNonzero(), readBounds(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyLockFixings(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPinferVarLbCons(), SCIPperformGenericDivingAlgorithm(), SCIPseparateRelaxedKnapsack(), sepaImplBoundCutsSOS1(), separateCuts(), separateSupLiftedMinimalCoverInequality(), sequentialUpAndDownLifting(), setupAndSolveFiniteSolSubscip(), shiftValues(), simplifyInequalities(), tightenCoefs(), tightenVarBounds(), tightenVarBounds(), tightenVarsBoundsSOS1(), tryFixVar(), tryToInsert(), updateArcData(), updateImplicationGraphSOS1(), updateViolations(), updateViolations(), updateViolations(), upgradeCons(), while(), while(), while(), and while().

◆ SCIPisFeasGE()

SCIP_Bool SCIPisFeasGE	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 823 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsFeasGE().

Referenced by addConflictBounds(), calcShiftVal(), checkBounddisjunction(), checkCons(), checkCons(), checkCons(), checkConsQuadraticProblem(), checkRowViolation(), checkViolations(), collectNonBinaryImplicationData(), computeRevPropIntervalSin(), constructSNFRelaxation(), determineBound(), dfs(), doPricing(), dualPresolve(), extractCliques(), extractVariablesMINLP(), filterCands(), filterExistingLP(), filterPoints(), filterRound(), findDominancePairs(), forbidCover(), generateNeighborFacets(), getFeasibleSet(), getFlowCover(), improvePoint(), isConsViolated(), optimize(), performRandRounding(), propagateRootRedcostVar(), propIndicator(), registerBranchingCandidates(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERREDCOST(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPcheckPattern(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPsolveKnapsackApproximatelyLT(), SCIPupdateDistributionScore(), separateCuts(), separateCuts(), separateSupLiftedMinimalCoverInequality(), shiftValues(), simplifyInequalities(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), tightenVarBounds(), tightenVarLb(), tryToInsert(), updateBestCandidate(), updateBestCandidate(), updateBestCandidate(), updateBilinearRelaxation(), updateSlacks(), varProcessBoundChanges(), and varProcessBoundChanges().

◆ SCIPisFeasZero()

SCIP_Bool SCIPisFeasZero	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is in range feasibility tolerance of 0.0

Parameters

scip	SCIP data structure
val	value to process

Definition at line 836 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsFeasZero().

Referenced by addAltLPColumn(), addBranchingComplementaritiesSOS1(), addGenVBound(), addOneRow(), addOneRowSafely(), aggregateNextRow(), applyObbtBilinear(), applyRepair(), BENDERS_CUTORACLE(), BENDERS_CUTORACLE(), branchBalancedCardinality(), branchUnbalancedCardinality(), calculateAlternatives(), checkConsQuadraticProblem(), checkIISlocal(), checkLinearConssVarboundSOS1(), checkLPBoundsClean(), checkPackingPartitioningOrbitopeSolution(), checkSwitchNonoverlappingSOS1Methods(), computeMIREfficacy(), createAltLPColumn(), createAltLPColumn(), createAndAddAndCons(), createCGMIPprimalsols(), createConflict(), createKKTComplementarityBounds(), detectVarboundSOS1(), doBinarySearch(), doBinarySearch(), enforceCardinality(), enforceConflictgraph(), enforceConssSOS1(), enforceCuts(), enforceIndicators(), enforceSol(), enforceSOS2(), extendToCover(), fixMatchingSolutionValues(), fixVariableZeroNode(), fixVariableZeroNode(), fixVariableZeroNode(), generateAverageNBRay(), generateAverageRay(), generateClusterCuts(), generateDisjCutSOS1(), generateRowSOS2(), getBranchingPrioritiesSOS1(), getBranchingVerticesSOS1(), getDiveBdChgsSOS1constraints(), getFlowCover(), getGMIFromRow(), getGMIFromRow(), getSimplexCoefficients(), getVariablePscostScore(), getVectorOfWeights(), initConflictgraph(), isSolFeasible(), isViolatedSOS1(), isZero(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), markNeighborsMWISHeuristic(), normalizeCons(), polishPrimalSolution(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolveAddKKTAggregatedVars(), presolveAddKKTQuadBilinearTerms(), presolveAddKKTQuadLinearTerms(), presolveAddKKTQuadQuadraticTerms(), printBoundSection(), processBinvarFixings(), processFixings(), propCardinality(), propIndicator(), propVariableNonzero(), readBinaries(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_SEPAEXECLP(), SCIPaddIneqBilinear(), SCIPaddVarImplication(), SCIPapplyProximity(), SCIPcalcCumulativeDistribution(), SCIPinitVarBranchStats(), SCIPinitVarValueBranchStats(), SCIPmakeIndicatorFeasible(), SCIPprintSolutionStatistics(), SCIPselectVarStrongBranching(), sepaImplBoundCutsSOS1(), separateCuts(), separateCuts(), separateIISRounding(), separatePoint(), setObjective(), setupAndSolveSubscip(), setupSubScip(), setupSubScip(), simplifyInequalities(), solveBilinearLP(), TCLIQUE_NEWSOL(), tightenBounds(), tightenBounds(), tightenVarsBoundsSOS1(), transformVariable(), tryFixVar(), updateImplicationGraphSOS1(), updatePartition(), updateStepLength(), updateSubgradient(), updateTransformation(), and updateWeightsTCliquegraph().

◆ SCIPisFeasPositive()

SCIP_Bool SCIPisFeasPositive	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is greater than feasibility tolerance

Parameters

scip	SCIP data structure
val	value to process

Definition at line 848 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsFeasPositive().

Referenced by addBranchingComplementaritiesSOS1(), addConflictBounds(), addCut(), aggregateGeneratedCuts(), branchBalancedCardinality(), branchUnbalancedCardinality(), canonicalizeConstraints(), checkAndConss(), checkCons(), checkCons(), checkCons(), checkCons(), checkConsQuadraticProblem(), computeBranchingPriorities(), computeCut(), consdataCreate(), constructCutRow(), createCGCutCMIR(), createCGCutStrongCG(), detectVarboundSOS1(), enforceCardinality(), extractCycle(), fixVariableZeroNode(), fixVariableZeroNode(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateClusterCuts(), generateDisjCutSOS1(), generateNeighborFacets(), getBoundConsFromVertices(), getCover(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getNActiveConsScore(), getNCircles(), getScore(), getSOS1Implications(), getVariableRedcostScore(), getVariableRedcostScore(), getVectorOfWeights(), handleNewVariableSOS1(), handleNewVariableSOS2(), inferVariableZero(), inferVariableZero(), initMatrix(), lockVariableCardinality(), lockVariableSOS1(), lockVariableSOS2(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), markRowsXj(), nodeGetSolvalBinaryBigMSOS1(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), propCardinality(), propConsSOS1(), propIndicator(), propSOS2(), propVariableNonzero(), relaxVar(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPisViolatedIndicator(), SCIPmakeIndicatorFeasible(), separateCons(), separatePoint(), separateRltCuts(), TCLIQUE_NEWSOL(), tightenVarsBoundsSOS1(), unlockVariableCardinality(), unlockVariableSOS1(), unlockVariableSOS2(), updateImplicationGraphSOS1(), updateSubgradient(), and updateWeightsTCliquegraph().

◆ SCIPisFeasNegative()

SCIP_Bool SCIPisFeasNegative	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is lower than -feasibility tolerance

Parameters

scip	SCIP data structure
val	value to process

Definition at line 860 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsFeasNegative().

Referenced by addBranchingComplementaritiesSOS1(), addConflictBounds(), addCut(), addCut(), aggregateGeneratedCuts(), branchBalancedCardinality(), branchUnbalancedCardinality(), canonicalizeConstraints(), checkConsQuadraticProblem(), computeCut(), computeInteriorPoint(), constructCutRow(), createCGCutCMIR(), createCGCutStrongCG(), detectVarboundSOS1(), enforceCardinality(), enforceIndicators(), extendToCover(), extractCycle(), fixVariableZeroNode(), fixVariableZeroNode(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), getBoundConsFromVertices(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getNActiveConsScore(), getNCircles(), getScore(), getSOS1Implications(), getVariableRedcostScore(), getVariableRedcostScore(), handleNewVariableSOS1(), handleNewVariableSOS2(), inferVariableZero(), inferVariableZero(), initMatrix(), lockVariableCardinality(), lockVariableSOS1(), lockVariableSOS2(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), nodeGetSolvalBinaryBigMSOS1(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundSOS2(), propCardinality(), propConsSOS1(), propSOS2(), propVariableNonzero(), readBounds(), relaxVar(), rowCalculateGauss(), rowCalculateGauss(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPmakeIndicatorFeasible(), sepaImplBoundCutsSOS1(), separateCons(), separateCons(), separateCons(), separateCons(), separateCons(), separateCons(), separateCons(), separateCons(), separateConsBinaryRepresentation(), separateCoverCutsCons(), separateDeterminant(), separateIndicators(), separateMcCormickImplicit(), separatePoint(), separateRltCuts(), simplifyInequalities(), solvePricingHeuristic(), TCLIQUE_NEWSOL(), tightenBounds(), tightenBounds(), tightenVarsBoundsSOS1(), unlockVariableCardinality(), unlockVariableSOS1(), unlockVariableSOS2(), updateImplicationGraphSOS1(), and updateWeightsTCliquegraph().

◆ SCIPisFeasIntegral()

SCIP_Bool SCIPisFeasIntegral	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is integral within the LP feasibility bounds

Parameters

scip	SCIP data structure
val	value to process

Definition at line 872 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsFeasIntegral().

Referenced by addGLSCliques(), addLocalBranchingConstraint(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addNextLevelCliques(), alnsFixMoreVariables(), areBoundsChanged(), BENDERS_CUTORACLE(), BENDERS_CUTORACLE(), branchingIntegralFirst(), checkCands(), checkCumulativeCondition(), checkPackingPartitioningOrbitopeSolution(), checkSymresackSolution(), chooseDoubleVar(), computeFixingrate(), convertLongEquality(), countSparseSol(), createAndAddLinearCons(), createCGCutDirect(), createCoreProfile(), createNormalizedKnapsack(), createSelectedSortedEventpointsSol(), createSubscip(), CUTOFF_CONSTRAINT(), CUTOFF_CONSTRAINT(), cutTightenCoefs(), cutTightenCoefsQuad(), cutTightenCoefsSafely(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), DECL_VARFIXINGS(), determineBound(), enforceCuts(), execRelpscost(), executeBranching(), fixAndPropagate(), fixVariable(), generateZerohalfCut(), getBranchCands(), getFlowCover(), getHighestCapacityUsage(), getNLPFracVars(), getVariableRedcostScore(), getVariableRedcostScore(), handle1Cycle(), handleCycle(), heurExec(), insertSortedRootNeighbors(), isViolatedAndNotFixed(), mod2(), normalizeCons(), optimize(), performFixing(), performRandRounding(), performRelaxSimpleRounding(), performSimpleRounding(), propagateCons(), readBounds(), readGenerals(), resolvePropagationCoretimes(), roundFixingValue(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECSOL(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPcheckSolutionOrbisack(), SCIPconvertRealToInt(), SCIPconvertRealToLongint(), SCIPcutGenerationHeuristicCMIR(), SCIPselectVarPseudoStrongBranching(), SCIPwriteCliqueGraph(), selectEssentialRounding(), selectEssentialRounding(), selectEssentialRounding(), selectRounding(), selectShifting(), selectShifting(), selectVarMultAggrBranching(), separateCuts(), separateGLS(), separateHeur(), separateOddCycles(), simplifyInequalities(), solveNLP(), tightenBounds(), tightenCoefs(), tryAdd2variableBuffer(), tryAdd2variableBuffer(), while(), while(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().

◆ SCIPisFeasFracIntegral()

SCIP_Bool SCIPisFeasFracIntegral	(	SCIP *	scip,
		SCIP_Real	val )

checks if given fractional part is smaller than feastol

Parameters

scip	SCIP data structure
val	value to process

Definition at line 884 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsFeasFracIntegral().

Referenced by while().

◆ SCIPfeasFloor()

SCIP_Real SCIPfeasFloor	(	SCIP *	scip,
		SCIP_Real	val )

rounds value + feasibility tolerance down to the next integer

Parameters

scip	SCIP data structure
val	value to process

Definition at line 896 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetFeasFloor().

Referenced by addOrigRow(), addTrustRegionConstraints(), aggregateVariables(), branchOnVar(), buildMod2Matrix(), calcBranchScore(), calcBranchScore(), calcPscostQuot(), calcShiftVal(), checkRedundancySide(), chooseDoubleVar(), computeCut(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeIntegerVariableBoundsDins(), createAndAddLinearCons(), createNormalizedKnapsack(), createSubscip(), enforceSOS2(), execRelpscost(), executeBranching(), executeBranchingRecursive(), for(), for(), generateZerohalfCut(), getNCircles(), getOptimalShiftingValue(), getZiValue(), handle1Cycle(), performRandRounding(), performSimpleRounding(), roundFixingValue(), scaleCons(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPapplyProximity(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPwriteGms(), scoreBranchingCandidates(), selectEssentialRounding(), selectEssentialRounding(), selectEssentialRounding(), selectRounding(), selectShifting(), selectShifting(), selectVarMultAggrBranching(), simplifyInequalities(), tightenBounds(), tightenCoefs(), tightenSides(), transformNonIntegralRow(), and updateTcliquegraph().

◆ SCIPfeasCeil()

SCIP_Real SCIPfeasCeil	(	SCIP *	scip,
		SCIP_Real	val )

rounds value - feasibility tolerance up to the next integer

Parameters

scip	SCIP data structure
val	value to process

Definition at line 908 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetFeasCeil().

Referenced by addGLSCliques(), addNextLevelCliques(), addOrigRow(), branchOnVar(), branchruledataEnsureArraySize(), buildMod2Matrix(), calcBranchScore(), calcBranchScore(), calcShiftVal(), checkRedundancySide(), chooseDoubleVar(), computeCut(), computeEstOmegaset(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeIntegerVariableBoundsDins(), createSubscip(), execRelpscost(), executeBranching(), executeBranchingRecursive(), for(), for(), getOptimalShiftingValue(), getZiValue(), handle1Cycle(), heurdataEnsureArraySize(), insertSortedRootNeighbors(), performFixing(), performRandRounding(), performSimpleRounding(), resolveGenVBoundPropagation(), roundFixingValue(), scaleCons(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PROPRESPROP(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), scoreBranchingCandidates(), selectEssentialRounding(), selectEssentialRounding(), selectEssentialRounding(), selectRounding(), selectShifting(), selectShifting(), selectVarMultAggrBranching(), setupProblem(), simplifyInequalities(), tightenBounds(), tightenCoefs(), tightenSides(), and updateObjUpperbound().

◆ SCIPfeasRound()

SCIP_Real SCIPfeasRound	(	SCIP *	scip,
		SCIP_Real	val )

rounds value to the nearest integer in feasibility tolerance

Parameters

scip	SCIP data structure
val	value to process

Definition at line 920 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetFeasRound().

Referenced by generateZerohalfCut(), heurExec(), and sampleRandomPoints().

◆ SCIPfeasFrac()

SCIP_Real SCIPfeasFrac	(	SCIP *	scip,
		SCIP_Real	val )

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 932 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetFeasFrac().

Referenced by createCGMIPprimalsols(), createSubproblem(), execRelpscost(), generateGMICuts(), getGMIFromRow(), getGMIFromRow(), handleCycle(), roundFixingValue(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), and separateCuts().

◆ SCIPisDualfeasEQ()

SCIP_Bool SCIPisDualfeasEQ	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 944 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsDualfeasEQ().

◆ SCIPisDualfeasLT()

SCIP_Bool SCIPisDualfeasLT	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 957 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsDualfeasLT().

Referenced by propagateLowerbound().

◆ SCIPisDualfeasLE()

SCIP_Bool SCIPisDualfeasLE	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 970 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsDualfeasLE().

Referenced by propagateLowerboundBinvar().

◆ SCIPisDualfeasGT()

SCIP_Bool SCIPisDualfeasGT	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 983 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsDualfeasGT().

◆ SCIPisDualfeasGE()

SCIP_Bool SCIPisDualfeasGE	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 996 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsDualfeasGE().

◆ SCIPisDualfeasZero()

SCIP_Bool SCIPisDualfeasZero	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is in range dual feasibility tolerance of 0.0

Parameters

scip	SCIP data structure
val	value to process

Definition at line 1009 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsDualfeasZero().

Referenced by computeStandardLPFeasibilityCut(), countNonZeroRootRedcostVars(), createRows(), determineVariableFixings(), getVariableRedcostScore(), getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), and propdataInit().

◆ SCIPisDualfeasPositive()

SCIP_Bool SCIPisDualfeasPositive	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is greater than dual feasibility tolerance

Parameters

scip	SCIP data structure
val	value to process

Definition at line 1021 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsDualfeasPositive().

Referenced by getVariableRedcostScore(), getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), and propagateRootRedcostVar().

◆ SCIPisDualfeasNegative()

SCIP_Bool SCIPisDualfeasNegative	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is lower than -dual feasibility tolerance

Parameters

scip	SCIP data structure
val	value to process

Definition at line 1033 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsDualfeasNegative().

Referenced by getVariableRedcostScore(), getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), and propagateRootRedcostVar().

◆ SCIPisDualfeasIntegral()

SCIP_Bool SCIPisDualfeasIntegral	(	SCIP *	scip,
		SCIP_Real	val )

checks if value is integral within the LP dual feasibility tolerance

Parameters

scip	SCIP data structure
val	value to process

Definition at line 1045 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsDualfeasIntegral().

◆ SCIPisDualfeasFracIntegral()

SCIP_Bool SCIPisDualfeasFracIntegral	(	SCIP *	scip,
		SCIP_Real	val )

checks if given fractional part is smaller than dual feasibility tolerance

Parameters

scip	SCIP data structure
val	value to process

Definition at line 1057 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsDualfeasFracIntegral().

◆ SCIPdualfeasFloor()

SCIP_Real SCIPdualfeasFloor	(	SCIP *	scip,
		SCIP_Real	val )

rounds value + dual feasibility tolerance down to the next integer

Parameters

scip	SCIP data structure
val	value to process

Definition at line 1069 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetDualfeasFloor().

◆ SCIPdualfeasCeil()

SCIP_Real SCIPdualfeasCeil	(	SCIP *	scip,
		SCIP_Real	val )

rounds value - dual feasibility tolerance up to the next integer

Parameters

scip	SCIP data structure
val	value to process

Definition at line 1081 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetDualfeasCeil().

◆ SCIPdualfeasRound()

SCIP_Real SCIPdualfeasRound	(	SCIP *	scip,
		SCIP_Real	val )

rounds value to the nearest integer in dual feasibility tolerance

Parameters

scip	SCIP data structure
val	value to process

Definition at line 1093 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetDualfeasRound().

◆ SCIPdualfeasFrac()

SCIP_Real SCIPdualfeasFrac	(	SCIP *	scip,
		SCIP_Real	val )

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 1105 of file scip_numerics.c.

References assert(), NULL, SCIP_Real, and SCIPsetDualfeasFrac().

◆ SCIPisLbBetter()

SCIP_Bool SCIPisLbBetter	(	SCIP *	scip,
		SCIP_Real	newlb,
		SCIP_Real	oldlb,
		SCIP_Real	oldub )

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 1119 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsLbBetter().

Referenced by applyObbt(), isIntervalBetter(), performFixing(), SCIP_DECL_HEUREXEC(), SCIPanalyzeDeductionsProbing(), tightenBoundProbing(), tightenVarBounds(), tightenVarBounds(), and tightenVarLb().

◆ SCIPisUbBetter()

SCIP_Bool SCIPisUbBetter	(	SCIP *	scip,
		SCIP_Real	newub,
		SCIP_Real	oldlb,
		SCIP_Real	oldub )

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 1134 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsUbBetter().

Referenced by applyObbt(), isIntervalBetter(), performFixing(), SCIP_DECL_HEUREXEC(), SCIPanalyzeDeductionsProbing(), tightenBoundProbing(), tightenVarBounds(), tightenVarBounds(), and tightenVarUb().

◆ SCIPisRelEQ()

SCIP_Bool SCIPisRelEQ	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 1147 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsRelEQ().

Referenced by computeHyperplaneThreePoints(), estimateSpecialPower(), estimateVertexPolyhedral(), estimateVertexPolyhedralProduct(), extractProducts(), forwardPropExpr(), getFeasiblePointsBilinear(), propdataInit(), rowprepRecordModifiedVar(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIPaddBilinMcCormick(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPcomputeBilinEnvelope2(), SCIPcomputeFacetVertexPolyhedralNonlinear(), and SCIPmergeRowprepTerms().

◆ SCIPisRelLT()

SCIP_Bool SCIPisRelLT	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 1160 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsRelLT().

Referenced by updateBilinearRelaxation().

◆ SCIPisRelLE()

SCIP_Bool SCIPisRelLE	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 1173 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsRelLE().

Referenced by addLinearConstraints(), getFeasiblePointsBilinear(), and reversePropBilinear().

◆ SCIPisRelGT()

SCIP_Bool SCIPisRelGT	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 1186 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsRelGT().

Referenced by SCIPupdateStartpointHeurSubNlp(), selectVarRecursive(), and updateBilinearRelaxation().

◆ SCIPisRelGE()

SCIP_Bool SCIPisRelGE	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 1199 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsRelGE().

Referenced by getFeasiblePointsBilinear(), reversePropBilinear(), and updateMinMaxMeanGain().

◆ SCIPisSumRelEQ()

SCIP_Bool SCIPisSumRelEQ	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 1212 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsSumRelEQ().

Referenced by consdataTightenCoefs(), and SCIP_DECL_NLHDLRREVERSEPROP().

◆ SCIPisSumRelLT()

SCIP_Bool SCIPisSumRelLT	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 1225 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsSumRelLT().

◆ SCIPisSumRelLE()

SCIP_Bool SCIPisSumRelLE	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 1238 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsSumRelLE().

Referenced by consdataTightenCoefs().

◆ SCIPisSumRelGT()

SCIP_Bool SCIPisSumRelGT	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

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 1251 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsSumRelGT().

◆ SCIPisSumRelGE()

SCIP_Bool SCIPisSumRelGE	(	SCIP *	scip,
		SCIP_Real	val1,
		SCIP_Real	val2 )

! [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 1264 of file scip_numerics.c.

References assert(), NULL, SCIP_Bool, SCIP_Real, and SCIPsetIsSumRelGE().

Referenced by consdataTightenCoefs().

◆ SCIPconvertRealToInt()

int SCIPconvertRealToInt	(	SCIP *	scip,
		SCIP_Real	real )

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 1279 of file scip_numerics.c.

References assert(), SCIP_Real, SCIPisFeasEQ(), and SCIPisFeasIntegral().

Referenced by boundedConvertRealToInt(), consdataCreateBinvars(), and SCIP_DECL_CONSPARSE().

◆ 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 1295 of file scip_numerics.c.

References assert(), SCIP_Longint, SCIP_LONGINT_MAX, SCIP_LONGINT_MIN, SCIP_Real, SCIPisFeasEQ(), and SCIPisFeasIntegral().

Referenced by collectSolution(), and printValue().

◆ SCIPisUpdateUnreliable()

SCIP_Bool SCIPisUpdateUnreliable	(	SCIP *	scip,
		SCIP_Real	newvalue,
		SCIP_Real	oldvalue )

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 1319 of file scip_numerics.c.

References assert(), FALSE, NULL, SCIP_Bool, SCIP_CALL_ABORT, SCIP_Real, SCIPcheckStage, SCIPsetIsUpdateUnreliable(), and TRUE.

Referenced by addConflictBounds(), consdataUpdateActivities(), convertLongEquality(), dualPresolve(), fullDualPresolve(), and tightenVarBounds().

◆ SCIPprintReal()

void SCIPprintReal	(	SCIP *	scip,
		FILE *	file,
		SCIP_Real	val,
		int	width,
		int	precision )

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 341 of file scip_numerics.c.

References assert(), NULL, SCIP_MAXSTRLEN, SCIP_Real, SCIPmessageFPrintInfo(), SCIPsetIsInfinity(), and SCIPsnprintf().

Referenced by SCIPprintMIPStart(), SCIPprintSol(), and SCIPprintTransSol().

◆ SCIPparseReal()

SCIP_Bool SCIPparseReal	(	SCIP *	scip,
		const char *	str,
		SCIP_Real *	value,
		char **	endptr )

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 368 of file scip_numerics.c.

References assert(), FALSE, NULL, SCIP_Bool, SCIP_OKAY, SCIP_Real, SCIPinfinity(), SCIPskipSpace(), SCIPstrToRealValue(), and TRUE.

Referenced by getFixedVariable(), getObjective(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPRPARSE(), and SCIPprocessShellArguments().

◆ SCIPparseRational()

SCIP_Bool SCIPparseRational	(	SCIP *	scip,
		const char *	str,
		SCIP_RATIONAL *	value,
		char **	endptr )

parse a rational value

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 409 of file scip_numerics.c.

References assert(), FALSE, NULL, SCIP_Bool, SCIPskipSpace(), SCIPstrToRationalValue(), and TRUE.

Referenced by getFixedVariable(), getObjective(), SCIP_DECL_CONSPARSE(), SCIP_DECL_DIALOGEXEC(), and SCIPprocessShellArguments().

Detailed Description

Functions

Function Documentation

◆ SCIPepsilon()

◆ SCIPsumepsilon()

◆ SCIPfeastol()

◆ SCIPdualfeastol()

◆ SCIPbarrierconvtol()

◆ SCIPcutoffbounddelta()

◆ SCIPrelaxfeastol()

◆ SCIPchgFeastol()

◆ SCIPchgDualfeastol()

◆ SCIPchgBarrierconvtol()

◆ SCIPchgRelaxfeastol()

◆ SCIPmarkLimitChanged()

◆ SCIPinfinity()

◆ SCIPgetHugeValue()

◆ SCIPisEQ()

◆ SCIPisLT()

◆ SCIPisLE()

◆ SCIPisGT()

◆ SCIPisGE()

◆ SCIPisInfinity()

◆ SCIPisHugeValue()

◆ SCIPisZero()

◆ SCIPisPositive()

◆ SCIPisNegative()

◆ SCIPisIntegral()

◆ SCIPisScalingIntegral()

◆ SCIPisFracIntegral()

◆ SCIPfloor()

◆ SCIPceil()

◆ SCIPround()

◆ SCIPfrac()

◆ SCIPisSumEQ()

◆ SCIPisSumLT()

◆ SCIPisSumLE()

◆ SCIPisSumGT()

◆ SCIPisSumGE()

◆ SCIPisSumZero()

◆ SCIPisSumPositive()

◆ SCIPisSumNegative()

◆ SCIPisFeasEQ()

◆ SCIPisFeasLT()

◆ SCIPisFeasLE()

◆ SCIPisFeasGT()

◆ SCIPisFeasGE()

◆ SCIPisFeasZero()

◆ SCIPisFeasPositive()

◆ SCIPisFeasNegative()

◆ SCIPisFeasIntegral()

◆ SCIPisFeasFracIntegral()

◆ SCIPfeasFloor()

◆ SCIPfeasCeil()

◆ SCIPfeasRound()

◆ SCIPfeasFrac()

◆ SCIPisDualfeasEQ()

◆ SCIPisDualfeasLT()

◆ SCIPisDualfeasLE()

◆ SCIPisDualfeasGT()

◆ SCIPisDualfeasGE()

◆ SCIPisDualfeasZero()

◆ SCIPisDualfeasPositive()

◆ SCIPisDualfeasNegative()

◆ SCIPisDualfeasIntegral()

◆ SCIPisDualfeasFracIntegral()

◆ SCIPdualfeasFloor()

◆ SCIPdualfeasCeil()

◆ SCIPdualfeasRound()

◆ SCIPdualfeasFrac()

◆ SCIPisLbBetter()

◆ SCIPisUbBetter()

◆ SCIPisRelEQ()

◆ SCIPisRelLT()

◆ SCIPisRelLE()

◆ SCIPisRelGT()

◆ SCIPisRelGE()

◆ SCIPisSumRelEQ()

◆ SCIPisSumRelLT()

◆ SCIPisSumRelLE()