SCIP Doxygen Documentation
 
Loading...
Searching...
No Matches

Detailed Description

methods used by the majority of operations involving floating-point computations in SCIP

Functions

SCIP_Real SCIPepsilon (SCIP *scip)
 
SCIP_Real SCIPsumepsilon (SCIP *scip)
 
SCIP_Real SCIPfeastol (SCIP *scip)
 
SCIP_Real SCIPlpfeastol (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 SCIPchgLpfeastol (SCIP *scip, SCIP_Real lpfeastol, SCIP_Bool printnewvalue)
 
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)
 

Function Documentation

◆ SCIPepsilon()

SCIP_Real SCIPepsilon ( SCIP * scip)

returns value treated as zero

Returns
value treated as zero
Parameters
scipSCIP data structure

Definition at line 137 of file scip_numerics.c.

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

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

◆ SCIPsumepsilon()

◆ SCIPfeastol()

SCIP_Real SCIPfeastol ( SCIP * scip)

returns feasibility tolerance for constraints

Returns
feasibility tolerance for constraints
Parameters
scipSCIP data structure

Definition at line 165 of file scip_numerics.c.

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

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

◆ SCIPlpfeastol()

SCIP_Real SCIPlpfeastol ( SCIP * scip)

returns primal feasibility tolerance of LP solver

Deprecated
Please use SCIPgetLPFeastol().
Returns
primal feasibility tolerance of LP solver

returns primal feasibility tolerance of LP solver

Deprecated
Please use SCIPgetLPFeastol().
Returns
primal feasibility tolerance of LP solver
Parameters
scipSCIP data structure

Definition at line 181 of file scip_numerics.c.

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

◆ SCIPdualfeastol()

SCIP_Real SCIPdualfeastol ( SCIP * scip)

returns feasibility tolerance for reduced costs

Returns
feasibility tolerance for reduced costs
Parameters
scipSCIP data structure

Definition at line 195 of file scip_numerics.c.

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

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

◆ SCIPbarrierconvtol()

SCIP_Real SCIPbarrierconvtol ( SCIP * scip)

returns convergence tolerance used in barrier algorithm

Returns
convergence tolerance used in barrier algorithm
Parameters
scipSCIP data structure

Definition at line 209 of file scip_numerics.c.

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

◆ SCIPcutoffbounddelta()

SCIP_Real SCIPcutoffbounddelta ( SCIP * scip)

return the cutoff bound delta

Returns
cutoff bound data
Parameters
scipSCIP data structure

Definition at line 223 of file scip_numerics.c.

References assert(), NULL, 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
scipSCIP data structure

Definition at line 238 of file scip_numerics.c.

References assert(), NULL, 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
scipSCIP data structure
feastolnew feasibility tolerance for constraints

Definition at line 253 of file scip_numerics.c.

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

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

◆ SCIPchgLpfeastol()

SCIP_RETCODE SCIPchgLpfeastol ( SCIP * scip,
SCIP_Real lpfeastol,
SCIP_Bool printnewvalue )

sets the primal feasibility tolerance of LP solver

Deprecated
Please use SCIPsetLPFeastol().
Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.

sets the primal feasibility tolerance of LP solver

Deprecated
Please use SCIPsetLPFeastol().
Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Parameters
scipSCIP data structure
lpfeastolnew primal feasibility tolerance of LP solver
printnewvalueshould "numerics/lpfeastol = ..." be printed?

Definition at line 273 of file scip_numerics.c.

References i, NULL, SCIP_OKAY, SCIP_VERBLEVEL_HIGH, SCIPsetLPFeastol(), and SCIPverbMessage().

◆ SCIPchgDualfeastol()

SCIP_RETCODE SCIPchgDualfeastol ( SCIP * scip,
SCIP_Real dualfeastol )

sets the feasibility tolerance for reduced costs

Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Parameters
scipSCIP data structure
dualfeastolnew feasibility tolerance for reduced costs

Definition at line 294 of file scip_numerics.c.

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

Referenced by applyObbt(), and SCIP_DECL_PARAMCHGD().

◆ 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
scipSCIP data structure
barrierconvtolnew convergence tolerance used in barrier algorithm

Definition at line 319 of file scip_numerics.c.

References assert(), FALSE, i, NULL, SCIP_CALL, SCIP_LPALGO_BARRIER, SCIP_LPALGO_BARRIERCROSSOVER, SCIP_OKAY, 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
scipSCIP data structure
relaxfeastolnew primal feasibility tolerance of relaxations

Definition at line 352 of file scip_numerics.c.

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

Referenced by applyObbtBilinear().

◆ SCIPmarkLimitChanged()

void SCIPmarkLimitChanged ( SCIP * scip)

marks that some limit parameter was changed

Parameters
scipSCIP data structure

Definition at line 366 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
scipSCIP data structure

Definition at line 510 of file scip_numerics.c.

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

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

◆ SCIPgetHugeValue()

SCIP_Real SCIPgetHugeValue ( SCIP * scip)

◆ SCIPisEQ()

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

checks, if values are in range of epsilon

Parameters
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 445 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsEQ().

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

◆ SCIPisLT()

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

checks, if val1 is (more than epsilon) lower than val2

Parameters
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 458 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsLT().

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

◆ SCIPisLE()

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

checks, if val1 is not (more than epsilon) greater than val2

Parameters
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 471 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsLE().

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

◆ SCIPisGT()

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

checks, if val1 is (more than epsilon) greater than val2

Parameters
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 484 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsGT().

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

◆ SCIPisGE()

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

checks, if val1 is not (more than epsilon) lower than val2

Parameters
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 497 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsGE().

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

◆ SCIPisInfinity()

SCIP_Bool SCIPisInfinity ( SCIP * scip,
SCIP_Real val )

checks, if value is (positive) infinite

Parameters
scipSCIP data structure
valvalue to be compared against infinity

Definition at line 521 of file scip_numerics.c.

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

Referenced by addAltLPColumn(), addAltLPConstraint(), addAltLPRow(), addBilinearTermToCut(), addBranchingComplementaritiesSOS1(), addCoef(), addCoef(), addCols(), addConflictBounds(), addConstraint(), addCut(), addCut(), addCuts(), addExpLinearization(), addExprsViolScore(), addExpSecant(), addFacetToCut(), addGenVBound(), addLinearTermToCut(), addLocalbranchingConstraintAndObjcutoff(), addLocks(), addLogLinearization(), addLogSecant(), addNewLocks(), addObjcut(), addObjCutoff(), addOneRow(), addRelaxation(), addRltTerm(), addRow(), addRows(), addRowToCut(), addRowToCut(), addSignpowerRefpoints(), addSlackVars(), addSymmetryInformation(), addTangentRefpoints(), aggregateConstraints(), aggregateGeneratedCuts(), aggregateNextRow(), aggregateVariables(), aggregation(), analyzeConflictRangedRow(), analyzeGenVBoundConflict(), analyzeViolation(), applyBoundHeur(), applyFixings(), applyFixings(), applyGenVBound(), applyOptcumulative(), applyRepair(), applyVboundsFixings(), buildMod2Matrix(), buildPowEstimator(), calcActivityBounds(), calcBranchScore(), calcBranchScore(), calcGap(), calcMaxColActivity(), calcMaxObjPseudoactivity(), calcMinColActivity(), calcMinColActResidual(), calcShiftVal(), calculateAlternatives(), calculateBounds(), calculateMinvalAndMaxval(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelCol(), cancelRow(), canonicalizeConstraints(), checkArraySizesGLS(), checkArraySizesHeur(), checkCands(), checkCons(), checkCons(), checkConsQuadraticProblem(), checkLogCriterion(), checkOptimalSolution(), checkOrigPbCons(), checkParallelObjective(), checkRedundancySide(), checkSubproblemConvexity(), chgCoeffWithBound(), chgLhs(), chgLhs(), chgLhs(), chgQuadCoeffWithBound(), chgRhs(), chgRhs(), chgRhs(), choosePscostVar(), chooseRefpointsPow(), combineCols(), compareNodes(), compensateVarLock(), computeCut(), computeCut(), computeCutsAbs(), computeHyperplaneThreePoints(), computeIntercut(), computeIntersectionPoint(), computeIntersectionPoint(), computeLeftSecantSin(), computeLeftTangentSin(), computeLiftingData(), computeMaxViolation(), computeMIRForOptimalityCut(), computeNegCutcoefs(), computeRevPropIntervalSin(), computeRightSecantSin(), computeRightTangentSin(), computeRltCut(), computeSecant(), computeStandardIntegerOptCut(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), computeStandardNLPFeasibilityCut(), computeStandardNLPOptimalityCut(), computeStrengthenedIntercut(), computeSVTS(), computeVertexPolyhedralFacetLP(), computeVertexPolyhedralFacetUnivariate(), computeViolation(), consdataComputePseudoActivity(), consdataCreate(), consdataCreate(), consdataCreate(), consdataGetActivity(), consdataGetActivityResiduals(), consdataGetGlbActivityResiduals(), consdataGetReliableResidualActivity(), consdataPrint(), consdataPrint(), consdataRecomputeGlbMaxactivity(), consdataRecomputeGlbMinactivity(), consdataRecomputeMaxactivity(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMinactivity(), consdataTightenCoefs(), consdataUpdateActivities(), consdataUpdateActivitiesGlbLb(), consdataUpdateActivitiesGlbUb(), consdataUpdateActivitiesLb(), consdataUpdateActivitiesUb(), consdataUpdateChgCoef(), consPrintConsSol(), constructCutRow(), constructSNFRelaxation(), convertLongEquality(), correctLocksAndCaptures(), createAltLPColumn(), createAltLPColumn(), createAndAddLinearCons(), createBlockproblem(), createCGMIPprimalsols(), createGenVBound(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createLinking(), createLPWithHardCuts(), createLPWithSoftCuts(), createNLP(), createNormalizedKnapsack(), createProjRow(), createRows(), createSubproblem(), createSubscip(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutsTransformKnapsackCover(), cutsTransformMIR(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_TIMESERIESUPDATE(), detectHiddenProducts(), detectProductsUnconditional(), detectRedundantConstraints(), detectSocQuadraticSimple(), determineBestBounds(), determineBound(), determineBoundForSNF(), determineLimits(), determineLimits(), determineTotalNumberLinearConss(), determineVariableFixings(), determineVariableFixings(), determineVariableFixingsDecomp(), displayRelevantStats(), doSeachEcAggr(), doSolveSubMIP(), dualPresolve(), dualPresolve(), enforceExpr(), estimateConvexSecant(), estimateHyperbolaMixed(), estimateHyperbolaPositive(), estimateUnivariate(), estimateVertexPolyhedral(), estimateVertexPolyhedralProduct(), evalFunctionGradient(), evalFunctionValue(), evalPhiAtRay(), evaluateCutNumerics(), evaluateLiftingFunction(), extractCapacityRows(), extractCliques(), extractFlowRows(), extractLinearValues(), filterCands(), filterExistingLP(), findAndStoreEcAggregations(), findDownlockAggregations(), findFixings(), findMonoidalQuadRoot(), findPointPosition(), findRho(), findRho(), findUnlockedLinearVar(), findUplockAggregations(), fixNonNeighborhoodVariables(), fixVariable(), forwardPropExpr(), fullDualPresolve(), generateAndApplyBendersCuts(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAverageNBRay(), generateAverageRay(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateCut(), generateCut(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getBoundConsFromVertices(), getBranchingPrioritiesSOS1(), getClosestVlb(), getClosestVub(), getConsRelViolation(), getCopyMemlimit(), getCopyTimelimit(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getDomainCenter(), getFilterCoef(), getGenVBoundsBound(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getGMIFromRow(), getGMIFromRow(), getImpliedBounds(), getImpliedBounds(), getLinearCoeffs(), getMaxActivitySingleRowWithoutCol(), getMaxObjPseudoactivityResidual(), getMaxObjPseudoactivityResidualValue(), getMinActivitySingleRowWithoutCol(), getMinColActWithoutRow(), getMinMaxActivityResiduals(), getMinMaxActivityResiduals(), getNewSidesAfterAggregation(), getObjectiveFactor(), getOptimalShiftingValue(), getPotential(), getPotentialContributed(), getRelDistance(), getReward(), getReward(), getTimeLeft(), getVarBoundsOfRow(), getVarBoundsOfRow(), getVariableRedcostScore(), getVariableRedcostScore(), handleNewVariableCardinality(), handleNewVariableSOS1(), handleNlpParam(), hasUnfixedSCIndicator(), improvePoint(), initializeCandsLists(), initMatrix(), initsepaBoundInequalityFromCardinality(), initSolve(), initWorhp(), intEvalQuotient(), invertCommodity(), isCandidate(), isFiniteNonnegativeIntegral(), isNlobbtApplicable(), isPossibleToComputeCut(), isRangedRow(), isSingleLockedCand(), isZero(), lockRounding(), lockRoundingAndCons(), mod2MatrixTransformContRows(), modifyAndPackCut(), nodeGetSolvalBinaryBigMSOS1(), nodeGetUctScore(), nodepairqueueCreate(), normalizeCons(), AMPLProblemHandler::OnConBounds(), performBoundSubstitution(), performBoundSubstitutionSimple(), performDualfix(), performStrongbranchWithPropagation(), predBndStr(), preprocessConstraintPairs(), preprocessConstraintPairs(), presolStuffing(), presolve(), presolveAddKKTLinearCons(), presolveMergeConss(), presolveRedundantConss(), presolveSingleLockedVars(), prettifyConss(), printBounds(), printBoundSection(), printDualSol(), printIndicatorCons(), printLinearCons(), printLinearCons(), printLinearCons(), printLongStatistics(), printNonLinearCons(), printNonlinearCons(), printNonlinearCons(), printPseudobooleanCons(), printQuadraticCons(), printQuadraticCons(), printRangeSection(), printRhsSection(), printRow(), printRow(), printRowType(), printShortStatistics(), processHashlists(), processNlRow(), propagateCons(), propagateCutoffbound(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLowerbound(), propagateLowerboundBinvar(), propagateLowerboundVar(), propagateVbounds(), propConss(), propIndicator(), proposeFeasibleSolution(), rangedRowPropagation(), rangedRowSimplify(), rayInRecessionCone(), readBinaries(), readBounds(), readCols(), readConstraints(), readConstraints(), readIndicators(), readRanges(), readRhs(), registerBranchingCandidates(), relaxVar(), removeOldLocks(), removeZeros(), removeZerosQuad(), resolvePropagation(), resolvePropagation(), resolvePropagation(), retransformVariable(), rowCalculateGauss(), rowCalculateGauss(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowprepCleanupScaledown(), rowprepCleanupScaleup(), runBenders(), sampleRandomPoints(), scaleCons(), scaleConsSides(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRPARSE(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLPICHGCONSSIDES(), SCIP_DECL_NLPICHGVARBOUNDS(), SCIP_DECL_NLPISOLVE(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SEPAEXECLP(), SCIPaddBilinLinearization(), SCIPaddBilinMcCormick(), SCIPaddCoefLinear(), SCIPaddConstantQuadratic(), SCIPaddNlpiProblemNlRows(), SCIPaddRow(), SCIPaddSquareLinearization(), SCIPaddSquareSecant(), SCIPaddVarImplication(), SCIPaggrRowAddCustomCons(), SCIPaggrRowAddRow(), SCIPaggrRowCancelVarWithBound(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarLbNode(), SCIPchgVarLbProbing(), SCIPchgVarObj(), SCIPchgVarObjProbing(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPchgVarUbNode(), SCIPchgVarUbProbing(), SCIPclassifyConstraintTypesLinear(), SCIPcleanupRowprep(), SCIPcleanupRowprep2(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcomputeFacetVertexPolyhedralNonlinear(), SCIPcomputeSymgraphColors(), SCIPcopyConsLinear(), SCIPcopySymgraph(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateFiniteSolCopy(), SCIPcreateNlpiProblemFromNlRows(), SCIPcreateVar(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPgetExprRelAuxViolationNonlinear(), SCIPgetRowprepViolation(), SCIPgetSymActiveVariables(), SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPmakeIndicatorFeasible(), SCIPmatrixRemoveColumnBounds(), SCIPnlpiOracleEvalJacobian(), SCIPnlpiOraclePrintProblem(), SCIPnlpiOraclePrintProblemGams(), SCIPnlpiOracleSetObjective(), SCIPprintSolutionStatistics(), SCIPprintStage(), SCIProwCalcProbability(), SCIPscaleupRowprep(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximatelyLT(), SCIPsymEQ(), SCIPsymGE(), SCIPsymGT(), SCIPsymLE(), SCIPsymLT(), SCIPtightenExprIntervalNonlinear(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtransformProb(), SCIPtreemodelSelectCandidate(), SCIPvalidateSolve(), SCIPvarCalcDistributionParameters(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), scoreBranchingCandidates(), scoring(), selectBranchVar(), selectCandidateUsingSampling(), selectCandidateUsingSVTS(), selectShifting(), sepaImplBoundCutsSOS1(), separateCons(), separateCons(), separateCuts(), separateCuts(), separateMcCormickImplicit(), separatePerspective(), setAndUpdateCorePoint(), setSubscipLimits(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipMutation(), setupSubScip(), setupSubScip(), setupSubScip(), setVarToNearestBound(), simplifyInequalities(), singletonColumnStuffing(), solveClassification(), solveComponent(), solveCumulative(), solveIndependentCons(), solveLagromoryLP(), solveLPWithHardCuts(), solveMinIISC(), solveNlp(), solveSingleRowLP(), solveSubNLP(), solveSubproblem(), solveSubscip(), solveSubscip(), storeNonlinearConvexNlrows(), storeNonlinearConvexNlrows(), subtreeSumGapComputeFromScratchEfficiently(), subtreeSumGapUpdate(), TCLIQUE_NEWSOL(), termIsConvex(), tightenBounds(), tightenCoefs(), tightenSides(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVariables(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), transformAndSolve(), transformColumn(), transformNonIntegralRow(), transformValue(), transformVariable(), tryAddGadgetBilinearProductSignedPerm(), tryAddGadgetSquaredDifference(), tryFillNlhdlrExprDataQuad(), tryFixVar(), unboundedAuxiliaryVariables(), unlockRounding(), unlockRoundingAndCons(), updateActivities(), updateActivities(), updateActivities(), updateBestCandidate(), updateBestCandidate(), updateBestCandidate(), updateCutoffbound(), updateDualBounds(), updateImplicationGraphSOS1(), updateLagrangianValue(), updateObjectiveVector(), updateObjUpperbound(), updateRowActivities(), updateSlacks(), updateSubgradient(), updateSubproblemLowerbound(), updateTransformation(), updateViolations(), updateViolations(), updateWeightsTCliquegraph(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varIsCenteredAt0(), varProcessBoundChanges(), varProcessBoundChanges(), wrapperDins(), wrapperRins(), and writeFzn().

◆ SCIPisHugeValue()

◆ SCIPisZero()

SCIP_Bool SCIPisZero ( SCIP * scip,
SCIP_Real val )

checks, if value is in range epsilon of 0.0

Parameters
scipSCIP data structure
valvalue to process

Definition at line 558 of file scip_numerics.c.

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

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

◆ SCIPisPositive()

SCIP_Bool SCIPisPositive ( SCIP * scip,
SCIP_Real val )

checks, if value is greater than epsilon

Parameters
scipSCIP data structure
valvalue to process

Definition at line 570 of file scip_numerics.c.

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

Referenced by addBilinearTermToCut(), addCoefTerm(), addConflictBinvar(), addPathCuts(), aggregateConstraints(), applyAlternativeBoundsBranching(), calcMaxObjPseudoactivity(), calculateShift(), checkParallelObjective(), checkRedundancySide(), chgLhs(), chgLhs(), chgRhs(), chgRhs(), collectMaxactVar(), combineCols(), computeCutsAbs(), computeNextAdjacency(), computeStandardLPFeasibilityCut(), computeStandardLPOptimalityCut(), consEnfo(), convertLongEquality(), createAndAddLinearCons(), createCGCutDirect(), createMIP(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), detectSocQuadraticSimple(), dfs(), doSeparation(), dualBoundStrengthening(), dualPresolve(), dualPresolve(), estimateSignedpower(), extractCapacityRows(), extractCliques(), extractFlowRows(), filterRound(), findFixings(), fixIntegerVariable(), fixVariableZero(), fixVariableZero(), fullDualPresolve(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateRowCardinality(), getBranchingDecisionStrongbranchSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getScoreOfFarkasDiving(), initData(), isCandidate(), l1BallProjection(), lockRounding(), lockRoundingAndCons(), nodepairqueueCreate(), normalizeCons(), optimize(), performDualfix(), permuteStartSolution(), predBndStr(), preprocessConstraintPairs(), preprocessConstraintPairs(), presolStuffing(), propagateCons(), propagateLowerboundBinvar(), propIndicator(), proposeFeasibleSolution(), rangedRowSimplify(), resolveGenVBoundPropagation(), resolvePropagation(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_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(), unlockRounding(), unlockRoundingAndCons(), updateMuSteplengthParam(), upgradeLinearSuperindicator(), varMayRoundDown(), and varMayRoundUp().

◆ SCIPisNegative()

SCIP_Bool SCIPisNegative ( SCIP * scip,
SCIP_Real val )

checks, if value is lower than -epsilon

Parameters
scipSCIP data structure
valvalue to process

Definition at line 582 of file scip_numerics.c.

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

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

◆ SCIPisIntegral()

SCIP_Bool SCIPisIntegral ( SCIP * scip,
SCIP_Real val )

checks, if value is integral within epsilon

Parameters
scipSCIP data structure
valvalue to process

Definition at line 594 of file scip_numerics.c.

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

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

◆ 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
scipSCIP data structure
valunscaled value to check for scaled integrality
scalarvalue to scale val with for checking for integrality

Definition at line 606 of file scip_numerics.c.

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

Referenced by scaleCons().

◆ SCIPisFracIntegral()

SCIP_Bool SCIPisFracIntegral ( SCIP * scip,
SCIP_Real val )

checks, if given fractional part is smaller than epsilon

Parameters
scipSCIP data structure
valvalue to process

Definition at line 619 of file scip_numerics.c.

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

◆ SCIPfloor()

SCIP_Real SCIPfloor ( SCIP * scip,
SCIP_Real val )

rounds value + epsilon down to the next integer

Parameters
scipSCIP data structure
valvalue to process

Definition at line 631 of file scip_numerics.c.

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

Referenced by addExpLinearization(), addLogLinearization(), addOneRow(), applyFixings(), branchBalancedCardinality(), calcColorValue(), checkCands(), computeFixingrate(), computeMIREfficacy(), computeSignpowerRoot(), createCGMIPprimalsols(), createSubSCIP(), cutsSubstituteStrongCG(), DECL_CHANGESUBSCIP(), DECL_CHANGESUBSCIP(), dualPresolve(), enforceConflictgraph(), enforceConssSOS1(), estimateConvexSecant(), findNewBounds(), fixDiscreteVars(), fixVariable(), forwardPropExpr(), fullDualPresolve(), generateClusterCuts(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), getCoef(), getNCircles(), handleCycle(), handleNlpParam(), performDualfix(), predBndStr(), presolStuffing(), proposeFeasibleSolution(), rangedRowPropagation(), readOPBFile(), readVariables(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECSOL(), SCIPaddSquareLinearization(), SCIPaggrRowAddRow(), SCIPanalyzeDeductionsProbing(), 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 )

◆ SCIPround()

◆ SCIPfrac()

SCIP_Real SCIPfrac ( SCIP * scip,
SCIP_Real val )

returns fractional part of value, i.e. x - floor(x) in epsilon tolerance

Parameters
scipSCIP data structure
valvalue to return fractional part for

Definition at line 667 of file scip_numerics.c.

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

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

◆ SCIPisSumEQ()

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

checks, if values are in range of sumepsilon

Parameters
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 679 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 692 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsSumLT().

Referenced by 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 705 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 718 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 731 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
valvalue to process

Definition at line 744 of file scip_numerics.c.

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

Referenced by computeCut().

◆ SCIPisSumPositive()

SCIP_Bool SCIPisSumPositive ( SCIP * scip,
SCIP_Real val )

checks, if value is greater than sumepsilon

Parameters
scipSCIP data structure
valvalue to process

Definition at line 756 of file scip_numerics.c.

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

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

◆ SCIPisSumNegative()

SCIP_Bool SCIPisSumNegative ( SCIP * scip,
SCIP_Real val )

checks, if value is lower than -sumepsilon

Parameters
scipSCIP data structure
valvalue to process

Definition at line 768 of file scip_numerics.c.

References assert(), NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 780 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsFeasEQ().

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

◆ 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 793 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsFeasLT().

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

◆ 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 806 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsFeasLE().

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

◆ 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 819 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsFeasGT().

Referenced by addGenVBound(), addLowerBound(), analyseVarOnoffBounds(), analyzeGenVBoundConflict(), applyFixings(), applyObbtBilinear(), applyRepair(), checkCons(), checkOrigPbCons(), checkRowViolation(), checkViolations(), collectNonBinaryVBoundData(), computeCut(), consdataTightenCoefs(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createSubscip(), enforceCardinality(), executeBranching(), extractCliques(), findPointPosition(), generateClusterCuts(), generateNeighborFacets(), getBestEstimators(), getCover(), getFlowCover(), getMaxactImplicObjchg(), getOptimalShiftingValue(), getPartitionCovervars(), getPartitionNoncovervars(), handleNewVariableSOS2(), initMatrix(), makeSOS1constraintsFeasible(), optimize(), performImplicationGraphAnalysis(), performStrongbranchSOS1(), preprocessConstraintPairs(), propagateCons(), propagateLowerboundVar(), propVariableNonzero(), relaxVar(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), 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_PRICERREDCOST(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyLockFixings(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPperformGenericDivingAlgorithm(), SCIPseparateRelaxedKnapsack(), sepaImplBoundCutsSOS1(), separateCons(), separateCuts(), separateSupLiftedMinimalCoverInequality(), sequentialUpAndDownLifting(), setupAndSolveFiniteSolSubscip(), shiftValues(), simplifyInequalities(), tightenCoefs(), 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 832 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsFeasGE().

Referenced by addConflictBounds(), applyFixings(), applyFixings(), calcShiftVal(), checkBounddisjunction(), checkCons(), checkCons(), checkCons(), checkConsQuadraticProblem(), checkRowViolation(), checkViolations(), collectNonBinaryImplicationData(), computeRevPropIntervalSin(), constructSNFRelaxation(), determineBound(), dfs(), 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(), SCIP_DECL_PRICERREDCOST(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPcheckPattern(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPsolveKnapsackApproximatelyLT(), SCIPupdateDistributionScore(), separateCuts(), separateCuts(), separateSupLiftedMinimalCoverInequality(), setObjective(), shiftValues(), simplifyInequalities(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), tightenVarBounds(), tightenVarLb(), tryToInsert(), updateBestCandidate(), updateBestCandidate(), updateBestCandidate(), updateBilinearRelaxation(), updateSlacks(), varProcessBoundChanges(), and varProcessBoundChanges().

◆ SCIPisFeasZero()

SCIP_Bool SCIPisFeasZero ( SCIP * scip,
SCIP_Real val )

checks, if value is in range feasibility tolerance of 0.0

Parameters
scipSCIP data structure
valvalue to process

Definition at line 845 of file scip_numerics.c.

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

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

◆ SCIPisFeasPositive()

SCIP_Bool SCIPisFeasPositive ( SCIP * scip,
SCIP_Real val )

checks, if value is greater than feasibility tolerance

Parameters
scipSCIP data structure
valvalue to process

Definition at line 857 of file scip_numerics.c.

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

Referenced by addBranchingComplementaritiesSOS1(), addConflictBounds(), addCut(), aggregateGeneratedCuts(), branchBalancedCardinality(), branchUnbalancedCardinality(), canonicalizeConstraints(), checkAndConss(), checkCons(), checkCons(), checkCons(), 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_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
scipSCIP data structure
valvalue to process

Definition at line 869 of file scip_numerics.c.

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

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

◆ SCIPisFeasIntegral()

SCIP_Bool SCIPisFeasIntegral ( SCIP * scip,
SCIP_Real val )

checks, if value is integral within the LP feasibility bounds

Parameters
scipSCIP data structure
valvalue to process

Definition at line 881 of file scip_numerics.c.

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

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

◆ SCIPisFeasFracIntegral()

SCIP_Bool SCIPisFeasFracIntegral ( SCIP * scip,
SCIP_Real val )

checks, if given fractional part is smaller than feastol

Parameters
scipSCIP data structure
valvalue to process

Definition at line 893 of file scip_numerics.c.

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

Referenced by while().

◆ SCIPfeasFloor()

SCIP_Real SCIPfeasFloor ( SCIP * scip,
SCIP_Real val )

◆ SCIPfeasCeil()

SCIP_Real SCIPfeasCeil ( SCIP * scip,
SCIP_Real val )

rounds value - feasibility tolerance up to the next integer

Parameters
scipSCIP data structure
valvalue to process

Definition at line 917 of file scip_numerics.c.

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

Referenced by addGLSCliques(), addNextLevelCliques(), addOrigRow(), branchOnVar(), branchruledataEnsureArraySize(), buildMod2Matrix(), calcBranchScore(), calcBranchScore(), calcShiftVal(), checkRedundancySide(), chooseDoubleVar(), computeCut(), computeEstOmegaset(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeIntegerVariableBoundsDins(), createSubscip(), execRelpscost(), executeBranching(), executeBranchingRecursive(), for(), for(), getOptimalShiftingValue(), getZiValue(), handle1Cycle(), heurdataEnsureArraySize(), insertSortedRootNeighbors(), performFixing(), performRandRounding(), performSimpleRounding(), resolveGenVBoundPropagation(), roundFixingValue(), scaleCons(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_PROPRESPROP(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPgetVarStrongbranchWithPropagation(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), 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
scipSCIP data structure
valvalue to process

Definition at line 929 of file scip_numerics.c.

References assert(), NULL, 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
scipSCIP data structure
valvalue to process

Definition at line 941 of file scip_numerics.c.

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

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

◆ 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 953 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 966 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 979 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 992 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 1005 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsDualfeasGE().

◆ SCIPisDualfeasZero()

SCIP_Bool SCIPisDualfeasZero ( SCIP * scip,
SCIP_Real val )

◆ SCIPisDualfeasPositive()

SCIP_Bool SCIPisDualfeasPositive ( SCIP * scip,
SCIP_Real val )

checks, if value is greater than dual feasibility tolerance

Parameters
scipSCIP data structure
valvalue to process

Definition at line 1030 of file scip_numerics.c.

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

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

◆ SCIPisDualfeasNegative()

SCIP_Bool SCIPisDualfeasNegative ( SCIP * scip,
SCIP_Real val )

checks, if value is lower than -dual feasibility tolerance

Parameters
scipSCIP data structure
valvalue to process

Definition at line 1042 of file scip_numerics.c.

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

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

◆ SCIPisDualfeasIntegral()

SCIP_Bool SCIPisDualfeasIntegral ( SCIP * scip,
SCIP_Real val )

checks, if value is integral within the LP dual feasibility tolerance

Parameters
scipSCIP data structure
valvalue to process

Definition at line 1054 of file scip_numerics.c.

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

◆ SCIPisDualfeasFracIntegral()

SCIP_Bool SCIPisDualfeasFracIntegral ( SCIP * scip,
SCIP_Real val )

checks, if given fractional part is smaller than dual feasibility tolerance

Parameters
scipSCIP data structure
valvalue to process

Definition at line 1066 of file scip_numerics.c.

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

◆ SCIPdualfeasFloor()

SCIP_Real SCIPdualfeasFloor ( SCIP * scip,
SCIP_Real val )

rounds value + dual feasibility tolerance down to the next integer

Parameters
scipSCIP data structure
valvalue to process

Definition at line 1078 of file scip_numerics.c.

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

◆ SCIPdualfeasCeil()

SCIP_Real SCIPdualfeasCeil ( SCIP * scip,
SCIP_Real val )

rounds value - dual feasibility tolerance up to the next integer

Parameters
scipSCIP data structure
valvalue to process

Definition at line 1090 of file scip_numerics.c.

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

◆ SCIPdualfeasRound()

SCIP_Real SCIPdualfeasRound ( SCIP * scip,
SCIP_Real val )

rounds value to the nearest integer in dual feasibility tolerance

Parameters
scipSCIP data structure
valvalue to process

Definition at line 1102 of file scip_numerics.c.

References assert(), NULL, 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
scipSCIP data structure
valvalue to process

Definition at line 1114 of file scip_numerics.c.

References assert(), NULL, 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
scipSCIP data structure
newlbnew lower bound
oldlbold lower bound
oldubold upper bound

Definition at line 1128 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsLbBetter().

Referenced by applyObbt(), isIntervalBetter(), performFixing(), SCIP_DECL_HEUREXEC(), SCIPanalyzeDeductionsProbing(), tightenBoundProbing(), 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
scipSCIP data structure
newubnew upper bound
oldlbold lower bound
oldubold upper bound

Definition at line 1143 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsUbBetter().

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

◆ SCIPisRelEQ()

◆ 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 1169 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 1182 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 1195 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 1208 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsRelGE().

Referenced by getFeasiblePointsBilinear(), and reversePropBilinear().

◆ SCIPisSumRelEQ()

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

checks, if relative difference of values is in range of sumepsilon

Parameters
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 1221 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 1234 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 1247 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 1260 of file scip_numerics.c.

References assert(), i, NULL, 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
scipSCIP data structure
val1first value to be compared
val2second value to be compared

Definition at line 1273 of file scip_numerics.c.

References assert(), i, NULL, and SCIPsetIsSumRelGE().

Referenced by consdataTightenCoefs().

◆ SCIPconvertRealToInt()

◆ 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
scipSCIP data structure
realdouble bound to convert

Definition at line 1304 of file scip_numerics.c.

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

Referenced by collectSolution(), and printValue().

◆ 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
scipSCIP data structure
newvaluenew value after update
oldvalueold value, i.e., last reliable value

Definition at line 1328 of file scip_numerics.c.

References assert(), FALSE, i, NULL, SCIP_CALL_ABORT, 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
scipSCIP data structure
fileoutput file (or NULL for standard output)
valvalue to print
widthwidth of the field
precisionnumber of significant digits printed

Definition at line 377 of file scip_numerics.c.

References assert(), i, NULL, SCIP_MAXSTRLEN, 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
scipSCIP data structure
strstring to search
valuepointer to store the parsed value
endptrpointer to store the final string position if successfully parsed, otherwise str

Definition at line 404 of file scip_numerics.c.

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

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