Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

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

  • query the numerical tolerances of SCIP, as well as special values such as infinity.
  • change tolerances inside relaxations
  • epsilon-comparison methods for floating point numbers

Functions

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

Function Documentation

◆ SCIPepsilon()

◆ SCIPsumepsilon()

◆ SCIPfeastol()

SCIP_EXPORT SCIP_Real SCIPfeastol ( SCIP scip)

returns feasibility tolerance for constraints

Returns
feasibility tolerance for constraints
Parameters
scipSCIP data structure

Definition at line 155 of file scip_numerics.c.

References NULL, SCIPsetFeastol(), and Scip::set.

Referenced by addLinearization(), adjustCutoffbound(), analyzeConflict(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), analyzeGenVBoundConflict(), applyNlobbt(), calcScore(), checkCons(), computeInteriorPoint(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeViolation(), computeViolations(), cutTightenCoefs(), cutTightenCoefsQuad(), displayRelevantStats(), doSeparation(), enforceConflictgraph(), enforceConstraint(), enforceViolatedFixedNonlinear(), fixAlmostFixedX(), generateCut(), getBranchingDecisionStrongbranchSOS1(), getNLPFracVars(), heurExec(), performStrongbranchSOS1(), postprocessCut(), postprocessCutQuad(), presolveTryAddLinearReform(), prettifyConss(), propagateBounds(), propagateBoundsCons(), propagateConstraintSides(), proposeBranchingPoint(), proposeFeasibleSolution(), readLIBSVM(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resolvePropagation(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HEUREXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPapplyProximity(), SCIPprocessShellArguments(), SCIPsolveKnapsackApproximatelyLT(), SCIPvalidateSolve(), separateCuts(), separatePoint(), sepaSubtour(), setupAndSolveSubscip(), and solveSubNLP().

◆ SCIPlpfeastol()

SCIP_EXPORT SCIP_Real SCIPlpfeastol ( SCIP scip)

returns primal feasibility tolerance of LP solver

Returns
primal feasibility tolerance of LP solver
Parameters
scipSCIP data structure

Definition at line 169 of file scip_numerics.c.

References NULL, SCIPsetLpfeastol(), and Scip::set.

Referenced by enforceConstraint(), and separatePoint().

◆ SCIPdualfeastol()

SCIP_EXPORT SCIP_Real SCIPdualfeastol ( SCIP scip)

returns feasibility tolerance for reduced costs

Returns
feasibility tolerance for reduced costs
Parameters
scipSCIP data structure

Definition at line 183 of file scip_numerics.c.

References NULL, SCIPsetDualfeastol(), and Scip::set.

Referenced by computeInteriorPoint(), heurExec(), and separateCuts().

◆ SCIPbarrierconvtol()

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

References NULL, SCIPsetBarrierconvtol(), and Scip::set.

◆ SCIPcutoffbounddelta()

SCIP_EXPORT SCIP_Real SCIPcutoffbounddelta ( SCIP scip)

return the cutoff bound delta

Returns
cutoff bound data
Parameters
scipSCIP data structure

Definition at line 211 of file scip_numerics.c.

References NULL, SCIPsetCutoffbounddelta(), and Scip::set.

Referenced by updateObjUpperbound().

◆ SCIPrelaxfeastol()

SCIP_EXPORT SCIP_Real SCIPrelaxfeastol ( SCIP scip)

return the relaxation primal feasibility tolerance

See also
SCIPchgRelaxfeastol
Returns
relaxfeastol
Parameters
scipSCIP data structure

Definition at line 226 of file scip_numerics.c.

References NULL, SCIPsetRelaxfeastol(), and Scip::set.

◆ SCIPchgFeastol()

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

References NULL, SCIP_CALL, SCIP_OKAY, SCIPsetSetFeastol(), and Scip::set.

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

◆ SCIPchgLpfeastol()

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

sets the primal feasibility tolerance of LP solver

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

Definition at line 259 of file scip_numerics.c.

References FALSE, Scip::lp, SCIP_Lp::lpsolstat, NULL, SCIP_CALL, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_OKAY, SCIPsetLpfeastol(), SCIPsetSetLpfeastol(), Scip::set, and SCIP_Lp::solved.

◆ SCIPchgDualfeastol()

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

References FALSE, Scip::lp, SCIP_Lp::lpsolstat, NULL, SCIP_CALL, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_OKAY, SCIPsetDualfeastol(), SCIPsetSetDualfeastol(), Scip::set, and SCIP_Lp::solved.

◆ SCIPchgBarrierconvtol()

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

References FALSE, SCIP_Lp::lastlpalgo, Scip::lp, NULL, SCIP_CALL, SCIP_LPALGO_BARRIER, SCIP_LPALGO_BARRIERCROSSOVER, SCIP_OKAY, SCIPsetBarrierconvtol(), SCIPsetSetBarrierconvtol(), Scip::set, and SCIP_Lp::solved.

◆ SCIPchgRelaxfeastol()

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

References FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPsetSetRelaxfeastol(), Scip::set, and TRUE.

◆ SCIPmarkLimitChanged()

SCIP_EXPORT void SCIPmarkLimitChanged ( SCIP scip)

marks that some limit parameter was changed

Parameters
scipSCIP data structure

Definition at line 357 of file scip_numerics.c.

References NULL, SCIPsetSetLimitChanged(), and Scip::set.

Referenced by SCIP_DECL_PARAMCHGD().

◆ SCIPinfinity()

SCIP_EXPORT SCIP_Real SCIPinfinity ( SCIP scip)

returns value treated as infinity

Parameters
scipSCIP data structure

Definition at line 501 of file scip_numerics.c.

References NULL, SCIPsetInfinity(), and Scip::set.

Referenced by ObjPricerVRP::add_tour_variable(), addAltLPConstraint(), addAuxiliaryVariablesToMaster(), addBranchingComplementaritiesSOS1(), addBranchingDecisionConss(), addCut(), addExtendedAsymmetricFormulation(), addIntervalGradientEstimator(), addKnapsackConstraints(), addLinearizationCuts(), addLocalBranchingConstraint(), addLogicOrConstraints(), addOrbisackCover(), addOrbisackInequality(), addPathCuts(), addRegularScholtes(), addRelaxation(), addRow(), addScenarioVarsAndConsToProb(), addSetppcConstraints(), addSubtourCuts(), addSymresackInequality(), addTourCuts(), addUserEstimator(), addVariable(), aggregateConstraints(), aggregation(), applyCliqueFixings(), applyFixings(), applyHeur(), applyOptcumulativeFixings(), assignNextBin(), branchingResultDataCreate(), buildMod2Matrix(), calcActivityBounds(), calcColActivity(), calcColActResidual(), calculateBounds(), calcVarBoundsDominated(), calcVarBoundsDominating(), checkCurvature(), checkCurvatureEasy(), checkFixedVariables(), chgLhs(), chgRhs(), chooseFracVar(), chooseGuidedVar(), computeBoundsX(), computeBoundsZ(), computeCut(), computeFixingOrder(), computeInteriorPoint(), computeLiftingData(), polyscip::Polyscip::computeNondomPoints(), computeSymmetryGroup(), computeVarsCoverSOS1(), computeViolation(), consdataCheckNonbinvar(), consdataComputePseudoActivity(), consdataCreate(), consdataCreateEmpty(), consdataGetActivity(), consdataRecomputeMaxActivityDelta(), constructCompression(), CREATE_CONSTRAINT(), createAndAddLinearCons(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createConstraints(), createCoverCutsTimepoint(), createCoveringProblem(), createDegreeConstraints(), createDepthinfo(), createHopConstraint(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createMasterproblem(), createNAryBranch(), createNLP(), createNlRow(), createObjRow(), createOriginalproblem(), createPartitionCut(), createPatternVars(), createPrecedenceCons(), createPrizeConstraints(), createProbOnlyEdge(), createProbQP(), createProbSimplified(), createProbSimplifiedTest(), createRelaxation(), createRow(), createSubproblem(), createSubproblems(), createSubSCIP(), createSubscip(), createVarboundCons(), createVariables(), createVarUbs(), cut_add(), determineBoundForSNF(), disaggregate(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), enforceCardinality(), enforceConflictgraph(), enforceViolatedFixedNonlinear(), evalLhs(), execmain(), execRelpscost(), extendToCover(), extractLinearValues(), findBestObjectiveValue(), findDominancePairs(), fixVariable(), forbidCover(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), generateBoundInequalityFromSOS1Nodes(), generateConvexConcaveEstimator(), generateConvexConcaveUnderestimator(), generateCut(), generateCutFactorable(), generateCutLTI(), generateCutUnboundedLP(), generateDisjCutSOS1(), generateLinearizationCut(), generateOddCycleCut(), generateOverestimatingHyperplaneCut(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivities(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBoundConsFromVertices(), getBranchingDecisionStrongbranchSOS1(), getBranchingPrioritiesSOS1(), getClosestVlb(), getClosestVub(), getCurrentRegressionTangentAxisIntercept(), getGenVBoundsBound(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getLinearConsSides(), getMaxActivity(), getMinActivity(), getMinFeas(), getMinMaxActivityResiduals(), getObjectiveFactor(), getOptimalShiftingValue(), getPotentialContributed(), getTimeLeft(), getVariable(), getVariableRedcostScore(), getVarUpperBoundOfRow(), heurExec(), initComponent(), initConshdlrData(), initEventhandlerData(), initLP(), initMatrix(), isUpperBoundImplied(), isValue(), LOPseparate(), maximalslack(), mod2MatrixTransformContRows(), newsolCliqueAddRow(), nodepairqueueCreate(), nodepartitionIsConnected(), parseType(), performStrongbranchWithPropagation(), polishSolution(), preprocessConstraintPairs(), presolveAddKKTKnapsackConss(), presolveAddKKTLinearCons(), presolveAddKKTLogicorConss(), presolveAddKKTSetppcConss(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveCreateOuterApprox(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveRemoveFixedVariables(), presolveTryAddLinearReform(), prettifyConss(), pricing(), printAndCons(), propagateBounds(), propagateBoundsBilinearTerm(), propagateBoundsCons(), propagateBoundsGetQuadActivity(), propagateBoundsQuadVar(), propagateBoundsTightenVar(), propagateCons(), propagateVarbounds(), propdataInit(), propIndicator(), readBounds(), readCnf(), readCols(), readColsMop(), readConstraints(), readIndicators(), readLIBSVM(), readNonlinearExprs(), readObjective(), readOPBFile(), readQMatrix(), readQuadraticCoefs(), readRows(), readRowsMop(), readSol(), readSolFile(), readVariables(), readXmlSolFile(), reformMonomial(), registerBranchingCandidatesGap(), relaxVar(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resetSubproblemObjectiveValue(), runBenders(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DISPINITSOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_EXPRGRAPHVARADDED(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NODESELSELECT(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_TABLEOUTPUT(), SCIPaddCoefLinear(), SCIPaddConflict(), SCIPaddToNlpiProblemSOC(), SCIPaggrRowCancelVarWithBound(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPbendersComputeSubproblemLowerbound(), SCIPbendersSolveSubproblem(), SCIPchgLhsQuadratic(), SCIPchgRhsQuadratic(), SCIPcomputeConvexEnvelopeFacet(), SCIPconsGetLhs(), SCIPconsGetRhs(), SCIPcopyConss(), SCIPcreateConsIndicator(), SCIPcreateConsLinear(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateNlpiProb(), SCIPcreateSchedulingProblem(), SCIPcutGenerationHeuristicCMIR(), SCIPevalExprtreeGlobalBounds(), SCIPevalExprtreeLocalBounds(), SCIPgetConcurrentGap(), SCIPgetFeasibilityQuadratic(), SCIPgetFirstLPLowerboundRoot(), SCIPgetLowerbound(), SCIPgetRowprepRowCons(), SCIPgetRowprepRowSepa(), SCIPgetUpperbound(), SCIPgetVarLbAtIndex(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarUbAtIndex(), SCIPincludeBenderscutInt(), SCIPincludeBranchrulePscost(), SCIPincludeConshdlrAbspower(), SCIPincludeConshdlrBivariate(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrQuadratic(), SCIPincludeConshdlrSOC(), SCIPincludeHeurDualval(), SCIPincludeHeurIndicator(), SCIPincludeHeurMpec(), SCIPincludeHeurMultistart(), SCIPincludeHeurProximity(), SCIPincludeHeurSubNlp(), SCIPincludePropNlobbt(), SCIPincludeSepaEccuts(), SCIPmatrixCreate(), SCIPparseReal(), SCIPperformGenericDivingAlgorithm(), SCIPprobdataAddNewSol(), SCIPreadOpb(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateCoversOrbisack(), SCIPsolveProbingRelax(), SCIPStpDualAscent(), SCIPStpDualAscentPcMw(), SCIPStpReaderIncludeParams(), SCIPsyncstoreGetLastLowerbound(), SCIPsyncstoreGetLastUpperbound(), SCIPsyncstoreStartSync(), SCIPupdateNlpiProb(), SCIPverifyCircularPatternNLP(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), selectVarRecursive(), sep_flow(), sepaImplBoundCutsSOS1(), separateCons(), separateCoverCutsCons(), separateCuts(), separateIndicators(), separatePerspective(), separatePoint(), separateSCIs(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), sepaSubtour(), setupAndSolve(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupProblem(), setupSubScip(), solveBendersSubproblems(), solveComponent(), solvePricingMINLP(), sortVariables(), splitOffLinearPart(), storeSolution(), switchNext(), tightenVarsBoundsSOS1(), transformColumn(), transformVariable(), tryUpgradingLogicor(), tryUpgradingSetppc(), updateActivities(), updateBestCandidate(), updateBounds(), updateRowActivities(), updateTransformation(), upgradeLinearSuperindicator(), writeFzn(), and writeOpbConstraints().

◆ SCIPgetHugeValue()

SCIP_EXPORT SCIP_Real SCIPgetHugeValue ( SCIP scip)

returns the minimum value that is regarded as huge and should be handled separately (e.g., in activity computation)

Parameters
scipSCIP data structure

Definition at line 538 of file scip_numerics.c.

References NULL, SCIPsetGetHugeValue(), and Scip::set.

Referenced by computeRelaxedLowerbound(), computeRelaxedUpperbound(), and resolvePropagation().

◆ SCIPisEQ()

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

References NULL, SCIPsetIsEQ(), and Scip::set.

Referenced by addAltLPColumn(), addAltLPConstraint(), addAltLPRow(), addCoefTerm(), addConcaveEstimatorBivariate(), addConcaveEstimatorUnivariate(), addConflictBounds(), addConflictReasonVars(), addIntervalGradientEstimator(), addLinearCoef(), addLinearization(), addLocalBranchingConstraint(), addOneRow(), addPathCuts(), addQuadVarTerm(), addSplitcons(), addSubtourCuts(), addTourCuts(), addVarbound(), adjustCutoffbound(), aggregateConstraints(), aggregateNextRow(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), applyDomainChanges(), applyFixings(), assignVars(), bottleneckRuleOut(), branchOnBin(), buildMod2Matrix(), buildsolgraph(), calcPscostQuot(), calculateAlternatives(), cancelRow(), catchEvent(), catchVarEvents(), central_terminal(), checkCons(), checkConsnames(), checkFixedVariables(), checkIISlocal(), checkSolution(), checkSymmetriesAreSymmetries(), checkSystemGF2(), chgLhs(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), collectCoefficients(), compareNodes(), componentSetupWorkingSol(), computeBilinEnvelope2(), computeCut(), computeImpliedEst(), computeImpliedLct(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeSymmetryGroup(), computeTransVoronoi(), computeViolation(), polyscip::doubledescription::DoubleDescriptionMethod::computeVRep_Var1(), consdataCreate(), consdataFree(), consdataPrint(), constructCompression(), constructValidSolution(), convertBoundToInt(), correctLocksAndCaptures(), createAltLPColumn(), createAndAddLinearCons(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createSubproblem(), createSubscip(), detectDominatingVlbs(), detectDominatingVubs(), detectParallelCols(), determineBoundForSNF(), displayRelevantStats(), dropEvent(), dualBoundStrengthening(), dualPresolve(), extractCapacityRows(), extractCycle(), extractFlowRows(), fillGraphByColoredCoefficients(), findAggregation(), findDaRoots(), findDominancePairs(), findFixings(), fixAlmostFixedX(), fixAndPropagate(), fixMatchingSolutionValues(), forbidFixation(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generateConvexConcaveUnderestimator(), generateCut(), generateCutNonConvex(), generateEstimatingHyperplane(), generateLinearizationCut(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), getActivities(), getBinVarsRepresentatives(), getGenVBoundsMinActivityConflict(), getlecloseterms(), getLinVarsAndAndRess(), getRandomVariable(), getReward(), getScore(), getScoreLikeCoefdiving(), getVariablePscostScore(), globalfixing(), graph_edge_add(), graph_pc_chgPrize(), graph_pc_contractEdge(), graph_pc_subtractPrize(), graph_voronoiWithDist(), impliesVlbPrecedenceCondition(), improvePoint(), isCandidate(), isConvexLocal(), isPartition(), lifting(), markPcMwRoots(), nodeGetUctScore(), parseConstantArrayAssignment(), parseValue(), performBranching(), preprocessConstraintPairs(), presolRoundIndicator(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesSolveEquations(), presolveFindDuplicatesUpgradeCons(), presolveSolve(), presolveTryAddLinearReform(), prettifyConss(), printActiveVariables(), printBoundSection(), printLinearCons(), printNonlinearCons(), printNonLinearCons(), printPseudobooleanCons(), printQuadraticCons(), printRangeSection(), printRowType(), printSignpowerCons(), propagateBoundsCons(), propagateCons(), propagateOrbitalFixing(), propagateRedcostVar(), propagateVbounds(), propIndicator(), readConstraints(), readIndicators(), readRanges(), reduce_daPcMw(), reduce_daSlackPrune(), reduce_daSlackPruneMw(), reduce_sd(), reduce_simple_pc(), reduceCheckEdge(), reduceSap(), reduceSPG(), reformMonomial(), registerBranchingCandidatesCentrality(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), removeFixedVariables(), replaceByLinearConstraints(), replaceQuadVarTermPos(), replaceViolatedByLinearConstraints(), resolveGenVBoundPropagation(), resolvePropagation(), rowprepCleanupIntegralCoefs(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPaddConstantQuadratic(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPbendersSetupSubproblem(), SCIPchgVarObjProbing(), SCIPcomputeBilinEnvelope2(), SCIPcomputeConvexEnvelopeFacet(), SCIPcreateConsAbspower(), SCIPcreateConsOrbitope(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPmatrixGetParallelCols(), SCIPmatrixGetParallelRows(), SCIPprobdataAddNewSol(), SCIPpropagateProbing(), SCIPresolveSolHeurSubNlp(), SCIPStpDualAscentPcMw(), SCIPStpHeurRecRun(), SCIPvalidateSolve(), SCIPwriteGms(), SCIPwriteMps(), SCIPwriteStp(), sddeltable(), selectBranchVar(), selectdiffsols(), selectShifting(), selectVarRecursive(), separateCuts(), setupAggregationData(), setupAndSolveSubscipRapidlearning(), shortenSubtree(), solveComponent(), solveDerivativeEquation(), strengthenVarbounds(), tightenBounds(), tightenCoefs(), tightenVariables(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), tryUpgradingLogicor(), tryUpgradingXor(), updateBestCandidate(), updateFirstRow(), updateLogRegression(), updateObjUpperbound(), updateVariableRounding(), upgradeConss(), and writeFzn().

◆ SCIPisLT()

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

References NULL, SCIPsetIsLT(), and Scip::set.

Referenced by addBilinearTermToCut(), addCoef(), addConflictBounds(), addLinearizationCuts(), addNodesInformation(), addScenarioVarsAndConsToProb(), analyzeConflictUpperbound(), assignNextBin(), bottleneckRuleOut(), branch(), buildMod2Matrix(), calcPscostQuot(), central_terminal(), checkLeavesBelowIncumbent(), chgLhs(), chgProbingBound(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), compareNodes(), compEdges(), compensateVarLock(), componentSetupWorkingSol(), computeDaSolPcMw(), computeDegConsTree(), computeSCTable(), computeSteinerTree(), constructValidSolution(), createSubscip(), detectDominatingVlbs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), evaluateLiftingFunction(), execRelpscost(), findBestUb(), findComponents(), findDominancePairs(), fixNonNeighborhoodVariables(), generateAndApplyBendersIntegerCuts(), generateCut(), generateCutLTIcomputeCoefs(), generateZerohalfCut(), getAlphaAndBeta(), getcloseterms(), getcloseterms2term(), getlecloseterms(), getPartitionCovervars(), getRSD(), getScore(), globalfixing(), graph_pc_2mw(), graph_pc_2rmw(), graph_pc_getSapShift(), graph_voronoiWithDist(), graph_voronoiWithRadius(), graph_voronoiWithRadiusMw(), impliesVlbPrecedenceCondition(), maxCircles(), mod2matrixPreprocessRows(), performDualfix(), performRandRounding(), performStrongbranchWithPropagation(), polishSolution(), predBndStr(), presolveDual(), prettifyConss(), processBinvarFixings(), propagateBoundsCons(), propagateCons(), propagateCutoffboundVar(), proposeBranchingPoint(), readBounds(), reduce_ans(), reduce_bd34(), reduce_bound(), reduce_boundHop(), reduce_boundHopR(), reduce_boundHopRc(), reduce_boundMw(), reduce_boundPrune(), reduce_da(), reduce_daSlackPrune(), reduce_getSd(), reduce_nts(), reduce_nvAdv(), reduce_sd(), reduce_sdPc(), reduce_sdsp(), reduce_simple(), reduce_simple_hc(), reduce_simple_pc(), reduce_simple_sap(), reduce_sl(), reducePcMwTryBest(), reduceWithEdgeFixingBounds(), reduceWithNodeFixingBounds(), reduceWithNodeReplaceBounds(), registerBranchingCandidates(), registerBranchingCandidatesGap(), releaseNodeFromDepthInfo(), resolveGenVBoundPropagation(), rowprepCleanupImproveCoefrange(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SEPAEXECLP(), SCIPaddRow(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPlinkcuttreeFindMinChain(), SCIPmakeSOS1sFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPStpDualAscent(), SCIPStpDualAscentPcMw(), SCIPStpHeurLocalExtendPcMw(), SCIPStpHeurLocalRun(), SCIPStpHeurRecExclude(), SCIPStpHeurRecRun(), SCIPStpHeurSlackPruneRunPcMw(), SCIPStpHeurTMRun(), SCIPStpHeurTMRunLP(), SCIPupdateDistributionScore(), selectBranchingVertexByLp(), separateCons(), setupProblem(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), tightenBounds(), tightenCoefs(), tightenVariables(), tightenVarUb(), transformNonIntegralRow(), truncateSubtree(), updateBestCandidate(), updateNodeReplaceBounds(), updateObjUpperbound(), and utdist().

◆ SCIPisLE()

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

References NULL, SCIPsetIsLE(), and Scip::set.

Referenced by addBilinearTermToCut(), addConcaveEstimatorUnivariate(), addConstraint(), addNewLocks(), addSplitcons(), aggregateConstraints(), analyzeGenVBoundConflict(), ansProcessCandidate(), applyProbingVar(), assignVars(), bottleneckRuleOut(), checkFixedVariables(), checkOrigPbCons(), checkSystemGF2(), chgLhs(), chgProbingBound(), chgRhs(), chooseDoubleVar(), compensateVarLock(), computeDaSolPcMw(), computeDegConsTree(), computeInteriorPoint(), computePertubedSol(), consdataPrint(), correctLocksAndCaptures(), createConsFromMonomial(), createConsFromQuadTerm(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), detectDominatingVubs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualPresolve(), edgecostmultiplier(), enumeratePatterns(), evaluateGauge(), evaluateLiftingFunction(), filterCands(), filterPoints(), findBestUb(), findFixings(), findUplockAggregations(), fixNonNeighborhoodVariables(), generateConvexConcaveUnderestimator(), generateCutLTIcomputeCoefs(), generateEstimatingHyperplane(), generateSecantCut(), generateSecantCutNoCheck(), getAlphaAndBeta(), getFixingValue(), getGMIFromRow(), getlecloseterms(), getLinVarsAndAndRess(), getNCircles(), graph_path_PcMwSd(), graph_pc_2mw(), heurExec(), impliesVlbPrecedenceCondition(), initsepaBoundInequalityFromCardinality(), isOverlapping(), lockRoundingAndCons(), performDualfix(), performStrongbranchWithPropagation(), predBndStr(), presolveDual(), projectVbd(), propagateBounds(), propagateBoundsTightenVarLb(), propagateCons(), proposeBranchingPoint(), reduce_ansAdv(), reduce_ansAdv2(), reduce_bd34(), reduce_boundMw(), reduce_cnsAdv(), reduce_da(), reduce_daSlackPrune(), reduce_daSlackPruneMw(), reduce_getSd(), reduce_npv(), reduce_nv(), reduce_nvAdv(), reduce_simple(), reduce_simple_mw(), reduce_simple_pc(), reduce_sl(), reduceMw(), reducePc(), reduceStp(), reformulate(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), removeOldLocks(), resolveGenVBoundPropagation(), sampleRandomPoints(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddBilinMcCormick(), SCIPaddSquareSecant(), SCIPanalyzeDeductionsProbing(), SCIPapplyProbingVar(), SCIPchgLhsQuadratic(), SCIPchgRhsQuadratic(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcreateConsSOC(), SCIPcutsTightenCoefficients(), SCIPprintSolutionStatistics(), SCIPseparateRelaxedKnapsack(), SCIPStpDualAscentPcMw(), SCIPStpHeurLocalRun(), SCIPStpHeurPruneUpdateSols(), SCIPStpHeurSlackPruneRun(), SCIPStpHeurTMRun(), searchEcAggrWithMIP(), selectNextDiving(), separateCuts(), separatePoint(), setupAndSolveSubscipRapidlearning(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveSubNLP(), transformVariable(), traverseChain(), trydg1edgepc(), tryUpgradingSetppc(), unlockRoundingAndCons(), updateBestCandidate(), updateNodeReplaceBounds(), updateTransformation(), upgradeConss(), and upgradeLinearSuperindicator().

◆ SCIPisGT()

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

References NULL, SCIPsetIsGT(), and Scip::set.

Referenced by addBilinearTermToCut(), addBranchingComplementaritiesSOS1(), addCoef(), addConflictBounds(), addGenVBound(), addLinearizationCuts(), addPathCuts(), addRelaxation(), addSubtourCuts(), addTourCuts(), adjust0term(), aggregateNextRow(), analyzeConflictLowerbound(), ansProcessCandidate(), applyNlobbt(), applyProbingVar(), assignNextBin(), calcPscostQuot(), checkDivingCandidates(), checkPackingPartitioningOrbitopeSolution(), checkVarbound(), chgProbingBound(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), compareNodes(), compensateVarLock(), computeDegConsTree(), computeLiftingData(), computeNextAdjacency(), computePosRingCircle(), computeSteinerTreeVnoi(), computeViolation(), computeViolations(), consdataCreate(), correct(), correctX(), createSubscip(), cutoffEdge(), cutsTransformMIR(), cutTightenCoefs(), cutTightenCoefsQuad(), detectDominatingVubs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualcostVarfixing(), dualPresolve(), enfopsPackingPartitioningOrbitopeSolution(), enforceConstraint(), enforceViolatedFixedNonlinear(), enumeratePatterns(), evaluateLiftingFunction(), execRelpscost(), extractCycle(), findBestLb(), findDaRoots(), fixAlmostFixedX(), fixNonNeighborhoodVariables(), generateCut(), generateCutLTIcomputeCoefs(), generateCutSol(), generateLiftedFlowCoverCut(), generateSparseCut(), generateZerohalfCut(), getAlphaAndBeta(), getcloseterms2term(), getlecloseterms(), getNCircles(), getObjectiveFactor(), getOptimalShiftingValue(), getRSD(), getScore(), getScoreLikeCoefdiving(), getVarRank(), graph_edge_redirect(), graph_get2next(), graph_get3next(), graph_get4next(), graph_load(), graph_pack(), graph_path_execX(), graph_path_invroot(), graph_path_PcMwSd(), graph_path_st_pcmw(), graph_path_st_pcmw_extend(), graph_path_st_pcmw_full(), graph_path_st_rmw(), graph_path_st_rpc(), graph_pc_2mw(), graph_pc_2rmw(), graph_pc_getSapShift(), graph_sdPaths(), graph_voronoi(), graph_voronoiMw(), graph_voronoiRepair(), graph_voronoiRepairMult(), graph_voronoiTerms(), graph_voronoiWithDist(), graph_voronoiWithRadius(), graph_voronoiWithRadiusMw(), impliesVlbPrecedenceCondition(), improvePoint(), performRandRounding(), performStrongbranchWithPropagation(), polishSolution(), presolveDual(), presolveFindDuplicates(), printRangeSection(), printRowType(), processCut(), propagateBounds(), propagateBoundsCons(), propagateCons(), proposeBranchingPoint(), proposeFeasibleSolution(), readBounds(), reduce_ansAdv(), reduce_ansAdv2(), reduce_bound(), reduce_boundHop(), reduce_boundHopR(), reduce_boundHopRc(), reduce_boundMw(), reduce_boundPrune(), reduce_check3Tree(), reduce_cnsAdv(), reduce_daPcMw(), reduce_daSlackPrune(), reduce_daSlackPruneMw(), reduce_getSd(), reduce_getSdPcMw(), reduce_ledge(), reduce_npv(), reduce_nts(), reduce_rpt(), reduce_sd(), reduce_sdPc(), reduce_sdsp(), reduce_sdspSap(), reduce_simple_sap(), reduceCheckEdge(), reducePcMw(), reducePcMwTryBest(), reduceSPG(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), releaseNodeFromDepthInfo(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), reset(), resetX(), resolveGenVBoundPropagation(), rowprepCleanupImproveCoefrange(), ruleOutSubtree(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_RELAXEXEC(), SCIPaddBilinearIneqQuadratic(), SCIPaddRow(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPcopyConsLinear(), SCIPcutsTightenCoefficients(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPprobdataAddNewSol(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPStpHeurLocalRun(), SCIPStpHeurRecAddToPool(), SCIPStpHeurRecRun(), SCIPStpHeurTMRun(), SCIPStpHeurTMRunLP(), SCIPupdateDistributionScore(), separateCons(), separatePerspective(), separatePoint(), separateSymresackCovers(), setMinMaxElims(), singletonColumnStuffing(), solveAndEvalSubscip(), solvePricingHeuristic(), storeAggrFromMIP(), tightenBounds(), tightenCoefs(), tightenVariables(), tightenVarLb(), transformNonIntegralRow(), trydg1edgepc(), updateBestCandidate(), and writeOpbConstraints().

◆ SCIPisGE()

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

References NULL, SCIPsetIsGE(), and Scip::set.

Referenced by addBilinearTermToCut(), addNodesInformation(), addSplitcons(), analyzeGenVBoundConflict(), applyProbingVar(), applyTightening(), assignVars(), checkFixedVariables(), checkSystemGF2(), checkVarbound(), chgProbingBound(), compEdges(), computeCut(), computeDegConsTree(), computeInteriorPoint(), polyscip::Polyscip::computeNondomPoints(), computePertubedSol(), computePosCircleCircle(), computePosRingCircle(), computeStandardFeasibilityCut(), computeSteinerTreeVnoi(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), cutsTransformMIR(), cutTightenCoefsQuad(), detectDominatingVlbs(), dualcostVarfixing(), dualPresolve(), dualPresolving(), edgecostmultiplier(), evaluateGauge(), execRelpscost(), executeBranchingRecursive(), findBestLb(), findDominancePairs(), findDownlockAggregations(), findFixings(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateConvexConcaveUnderestimator(), generateCutLTIcomputeCoefs(), generateCutNonConvex(), generateEstimatingHyperplane(), generateLiftedFlowCoverCut(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getFixingValue(), getlecloseterms(), getPartitionCovervars(), graph_edge_add(), graph_path_st_pcmw_extend(), graph_path_st_pcmw_reduce(), graph_path_st_rmw(), graph_path_st_rpc(), graph_pc_2mw(), graph_pc_2pc(), graph_pc_2rmw(), graph_pc_2rpc(), graph_pc_chgPrize(), graph_pc_getSapShift(), graph_pc_mw2rmw(), graph_pc_subtractPrize(), graph_voronoiWithRadius(), graph_voronoiWithRadiusMw(), identifySourcesTargets(), impliesVlbPrecedenceCondition(), isNlobbtApplicable(), isVlb(), isVub(), nodeGetUctScore(), performLPRandRounding(), performLPSimpleRounding(), performStrongbranchWithPropagation(), presolRoundIndicator(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDual(), prettifyConss(), propagateBoundsTightenVarUb(), propagateCons(), propagateCutoffboundGlobally(), proposeBranchingPoint(), reduce_ansAdv2(), reduce_bd34(), reduce_bound(), reduce_boundHop(), reduce_boundMw(), reduce_boundPrune(), reduce_chain2(), reduce_check3Tree(), reduce_cnsAdv(), reduce_da(), reduce_daSlackPruneMw(), reduce_ledge(), reduce_npv(), reduce_nts(), reduce_nv(), reduce_nvAdv(), reduce_sd(), reduce_sdsp(), reduce_sdspSap(), reduce_simple_hc(), reduce_simple_mw(), reduce_sl(), reduceCheckEdge(), reducePcMw(), reducePcMwTryBest(), reformulate(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), resolveGenVBoundPropagation(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_TABLEOUTPUT(), SCIPaddBilinMcCormick(), SCIPaddSquareSecant(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyProbingVar(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcreateConsSOC(), SCIPgetVarStrongbranchWithPropagation(), SCIPlinkcuttreeFindMax(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsolveDiveLP(), SCIPsolveKnapsackExactly(), SCIPStpDualAscent(), SCIPStpDualAscentPcMw(), SCIPStpHeurTMRun(), SCIPStpHeurTMRunLP(), SCIPtryStrongbranchLPSol(), SCIPupdateNodeLowerbound(), SCIPverifyCircularPatternHeuristic(), selectNextDiving(), selectVarMultAggrBranching(), selectVarRecursive(), separateCuts(), shortenSubtree(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveProbingLP(), traverseChain(), trydg1edgepc(), updateBestCandidate(), updateDualBounds(), updateNodeReplaceBounds(), and upgradeLinearSuperindicator().

◆ SCIPisInfinity()

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

References NULL, SCIPsetIsInfinity(), and Scip::set.

Referenced by addAltLPColumn(), addAltLPConstraint(), addAltLPRow(), addBilinearTermToCut(), addBranchingComplementaritiesSOS1(), addCoef(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConstraint(), addCut(), addFacetToCut(), addGenVBound(), addIntervalGradientEstimator(), addLinearization(), addLinearizationCuts(), addLinearTermToCut(), addNewLocks(), addObjcut(), addOneRow(), addRow(), addVarbound(), aggregateConstraints(), aggregateNextRow(), aggregateVariables(), analyzeGenVBoundConflict(), applyBoundHeur(), applyDomainChanges(), applyFixings(), applyGenVBound(), applyHeur(), applyOptcumulative(), applyRepair(), applyTightening(), applyVboundsFixings(), buildMod2Matrix(), calcActivityBounds(), calcBranchScore(), calcColActivity(), calcColActResidual(), calcShiftVal(), calculateAlternatives(), calculateBounds(), calculateMinvalAndMaxval(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelRow(), catchLinearVarEvents(), catchVarEvents(), checkArraySizesGLS(), checkArraySizesHeur(), checkCands(), checkCons(), checkConsQuadraticProblem(), checkCurvature(), checkCurvatureEasy(), checkFixedVariables(), checkLogCriterion(), checkOptimalSolution(), checkOrigPbCons(), checkRedundancySide(), chgCoeffWithBound(), chgLhs(), chgQuadCoeffWithBound(), chgRhs(), choosePscostVar(), collectCoefficients(), compareNodes(), compensateVarLock(), computeBoundsX(), computeBoundsZ(), computeCut(), computeED(), computeGauge(), computeInteriorPoint(), computeLiftingData(), computeMaxViolation(), computeReferencePointGauge(), computeReferencePointProjection(), computeStandardFeasibilityCut(), computeStandardIntegerOptCut(), computeStandardOptimalityCut(), computeViolation(), consdataCheckNonbinvar(), consdataComputePseudoActivity(), consdataCreate(), consdataFindUnlockedLinearVar(), consdataFree(), consdataGetActivity(), consdataGetActivityResiduals(), consdataGetGlbActivityResiduals(), consdataIsResidualIntegral(), consdataPrint(), consdataRecomputeGlbMinactivity(), consdataRecomputeMaxactivity(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMinactivity(), consdataUpdateLinearActivity(), consdataUpdateLinearActivityLbChange(), consdataUpdateLinearActivityUbChange(), constructSNFRelaxation(), correctLocksAndCaptures(), createAltLPColumn(), createAndAddLinearCons(), createCoveringProblem(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createLinking(), createNewSol(), createNLP(), createNormalizedKnapsack(), createRows(), createSubproblem(), createSubscip(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutsTransformMIR(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), determineBestBounds(), determineBound(), determineBoundForSNF(), determineLimits(), determineVariableFixings(), displayRelevantStats(), doSeachEcAggr(), doSolveSubMIP(), dropLinearVarEvents(), dropVarEvents(), dualBoundStrengthening(), dualPresolve(), enforceConstraint(), enforceViolatedFixedNonlinear(), evalLhs(), evaluateCutNumerics(), evaluateGauge(), evaluateLiftingFunction(), extractCapacityRows(), extractFlowRows(), extractLinearValues(), filterCands(), filterExistingLP(), findAndStoreEcAggregations(), findDownlockAggregations(), findFixings(), findPointPosition(), findUplockAggregations(), fixAlmostFixedX(), fixNonNeighborhoodVariables(), fixVariable(), fixVariables(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateAndApplyBendersIntegerCuts(), generateAverageNBRay(), generateAverageRay(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateConvexConcaveEstimator(), generateConvexConcaveUnderestimator(), generateCut(), generateCutFactorable(), generateCutFactorableDo(), generateCutLTI(), generateCutLTIcomputeCoefs(), generateCutLTIfindIntersection(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateDisjCutSOS1(), generateEstimatingHyperplane(), generateLiftedFlowCoverCut(), generateLinearizationCut(), generateLinearizationCutProject(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateOverestimatingHyperplaneCut(), generateRowCardinality(), generateRowSOS2(), generateSecantCut(), generateSecantCutNoCheck(), generateSparseCut(), generateUnderestimatorParallelYFacets(), generateZerohalfCut(), getActivities(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getBoundConsFromVertices(), getBranchingPrioritiesSOS1(), getClosestVlb(), getClosestVub(), getCopyMemlimit(), getCopyTimelimit(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getGenVBoundsBound(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getGMIFromRow(), getLinearCoeffs(), getLinVarsAndAndRess(), getMaxActivity(), getMaxActivitySingleRowWithoutCol(), getMaxResActivity(), getMinActivity(), getMinActivitySingleRowWithoutCol(), getMinColActWithoutRow(), getMinMaxActivityResiduals(), getObjectiveFactor(), getOptimalShiftingValue(), getPotential(), getPotentialContributed(), getRelDistance(), getReward(), getTimeLeft(), getVariableRedcostScore(), getVarUpperBoundOfRow(), handleNewVariableCardinality(), handleNewVariableSOS1(), hasQuadvarHpProperty(), improvePoint(), infCntUpdate(), initMatrix(), initsepaBoundInequalityFromCardinality(), initSepaData(), invertCommodity(), isCandidate(), isConvexLocal(), isNlobbtApplicable(), isPossibleToComputeCut(), isRangedRow(), isUpperBoundImplied(), isZero(), lifting(), lockLinearVariable(), lockRounding(), lockRoundingAndCons(), mod2MatrixTransformContRows(), modifyAndPackCut(), nodeGetSolvalBinaryBigMSOS1(), nodeGetUctScore(), nodepairqueueCreate(), performDualfix(), performStrongbranchWithPropagation(), polishSolution(), predBndStr(), preprocessConstraintPairs(), presolve(), presolveAddKKTLinearCons(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveTryAddLinearReform(), prettifyConss(), printBounds(), printBoundSection(), printDualSol(), printIndicatorCons(), printLinearCons(), printLongStatistics(), printNonlinearCons(), printNonLinearCons(), printPseudobooleanCons(), printQuadraticCons(), printRangeSection(), printRhsSection(), printRowType(), printShortStatistics(), printSignpowerCons(), propagateBounds(), propagateBoundsBilinearTerm(), propagateBoundsCons(), propagateBoundsGetQuadActivity(), propagateBoundsQuadVar(), propagateBoundsTightenVar(), propagateBoundsTightenVarLb(), propagateBoundsTightenVarUb(), propagateCons(), propagateConstraintSides(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLowerboundBinvar(), propagateLowerboundVar(), propagateVarbounds(), propIndicator(), proposeBranchingPoint(), proposeFeasibleSolution(), readBinaries(), readBounds(), readCols(), readConstraints(), readIndicators(), readRanges(), readRhs(), redcostAvailable(), reformulate(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), relaxVar(), removeFixedLinearVariables(), removeFixedVariables(), removeOldLocks(), removeZeros(), removeZerosQuad(), replaceByLinearConstraints(), replaceQuadVarTermPos(), replaceViolatedByLinearConstraints(), resolvePropagation(), retransformVariable(), rowCalculateGauss(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), runBenders(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddBilinLinearization(), SCIPaddBilinMcCormick(), SCIPaddBilinTermQuadratic(), SCIPaddCoefLinear(), SCIPaddConstantQuadratic(), SCIPaddLinearVarNonlinear(), SCIPaddLinearVarQuadratic(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddQuadVarQuadratic(), SCIPaddRow(), SCIPaddSquareCoefQuadratic(), SCIPaddSquareLinearization(), SCIPaddSquareSecant(), SCIPaddVarImplication(), SCIPaggrRowAddCustomCons(), SCIPaggrRowAddRow(), SCIPaggrRowCancelVarWithBound(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgBilinCoefQuadratic(), SCIPchgLhsQuadratic(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarLbNode(), SCIPchgVarLbProbing(), SCIPchgVarObj(), SCIPchgVarObjProbing(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPchgVarUbNode(), SCIPchgVarUbProbing(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcomputeHyperplaneThreePoints(), SCIPcopyConsLinear(), SCIPcreateConsAbspower(), SCIPcreateConsBivariate(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsSOC(), SCIPcreateFiniteSolCopy(), SCIPcreateNlpiProb(), SCIPcreateVar(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPgetFeasibilityQuadratic(), SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPmakeIndicatorFeasible(), SCIPprintSolutionStatistics(), SCIPprintStage(), SCIProwCalcProbability(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximatelyLT(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtransformProb(), SCIPvalidateSolve(), SCIPvarCalcDistributionParameters(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectBranchVar(), selectShifting(), sepaImplBoundCutsSOS1(), separateCons(), separateCuts(), separatePerspective(), separatePoint(), setSubscipLimits(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipMutation(), setupAndSolveSubscipRapidlearning(), setupSubScip(), singletonColumnStuffing(), solveClassification(), solveComponent(), solveCumulative(), solveIndependentCons(), solveMinIISC(), solveNlp(), solveSubproblem(), solveSubscip(), splitOffLinearPart(), storeAllBilinearTerms(), storeNonlinearConvexNlrows(), termIsConvex(), tightenBounds(), tightenCoefs(), tightenVariables(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), transformValue(), transformVariable(), tryFixVar(), unlockLinearVariable(), unlockRounding(), unlockRoundingAndCons(), updateActivities(), updateBestCandidate(), updateDualBounds(), updateImplicationGraphSOS1(), updateObjUpperbound(), updateRowActivities(), updateSlacks(), updateSubproblemLowerbound(), updateTransformation(), updateViolations(), updateWeightsTCliquegraph(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varProcessBoundChanges(), wrapperDins(), wrapperRins(), and writeFzn().

◆ SCIPisHugeValue()

SCIP_EXPORT SCIP_Bool SCIPisHugeValue ( SCIP scip,
SCIP_Real  val 
)

◆ SCIPisZero()

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

References NULL, SCIPsetIsZero(), and Scip::set.

Referenced by addAltLPColumn(), addAltLPConstraint(), addBilinearTerm(), addBilinearTermToCut(), addCoefTerm(), addConcaveEstimatorBivariate(), addConflictBounds(), addFacetToCut(), addFlowrowToCommodity(), addGenVBound(), addIntervalGradientEstimator(), addLinearCoef(), addLinearization(), addLinearTermToCut(), addObjcut(), addRow(), addVarbound(), adjust0term(), adjustCutoffbound(), aggregateConstraints(), applyFixings(), applyRepair(), polyscip::WeightSpacePolyhedron::areAdjacent(), branchOnBin(), buildConvexCombination(), buildMod2Matrix(), calcActivityBounds(), calcEfficacyNormQuad(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelRow(), catchObjEvent(), checkDivingCandidates(), checkFactorable(), checkFixedVariables(), checkSolution(), checkSymmetriesAreSymmetries(), chgLinearCoefPos(), collectMaxactVar(), collectMinactImplicVar(), collectMinactImplicVars(), collectMinactVar(), collectNonBinaryVBoundData(), componentSetupWorkingSol(), computeCut(), computePosRingCircle(), computeStandardFeasibilityCut(), computeStandardOptimalityCut(), computeSymmetryGroup(), polyscip::doubledescription::DoubleDescriptionMethod::computeVRep_Var1(), consdataCreate(), consdataFree(), correctLocksAndCaptures(), createAndAddAnds(), createAndAddLinearCons(), createConsFromMonomial(), createExprtreeFromMonomial(), createNewSol(), createNlRow(), createObjRow(), createProbSimplified(), createSubproblems(), createSubscip(), createTcliqueGraph(), createVariables(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), determineBestBounds(), disaggregate(), dropObjEvent(), dualCostIsValid(), ecaggrAddBilinTerm(), enforceConflictgraph(), enforceViolatedFixedNonlinear(), enumeratePatterns(), evaluateGauge(), fillGlobalStartingData(), filterExistingLP(), fixIntegerVariable(), fixVariableZero(), generateBoundInequalityFromSOS1Nodes(), generateCloseCutPoint(), generateClusterCuts(), generateCutFactorable(), generateCutFactorableDo(), generateCutLTIcomputeCoefs(), generateCutLTIfindIntersection(), generateCutLTIgenMulCoeff(), generateCutPoint(), generateCutProjectedPoint(), generateCutUnboundedLP(), generateEstimatingHyperplane(), generateRowCardinality(), getActiveVar(), getBinVarsRepresentatives(), getBoundConsFromVertices(), getGenVBound(), getGMIFromRow(), getMaxactImplicObjchg(), getMinactImplicObjchg(), getObjectiveFactor(), getPotential(), getPotentialContributed(), getScore(), getScoreLikeCoefdiving(), graph_pc_mw2rmw(), handleNewVariableCardinality(), handleNewVariableSOS1(), polyscip::doubledescription::V_RepT::hasNonUnitAndNonZeroWeight(), hasQuadvarHpProperty(), improvePoint(), isPartition(), lockRounding(), mergeAndCleanBilinearTerms(), mergeAndCleanLinearVars(), mergeAndCleanQuadVarTerms(), mod2MatrixAddOrigRow(), mod2MatrixAddTransRow(), mod2matrixPreprocessColumns(), mod2matrixRemoveRow(), mod2rowAddRow(), modifyAndPackCut(), nodepairqueueCreate(), polyscip::Polyscip::numberofUnboundedResults(), objimplicsCreate(), optimize(), performDualfix(), performStrongbranchSOS1(), permuteStartSolution(), polishSolution(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundSOS2(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveCreateOuterApprox(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveRemoveFixedVariables(), presolveSolve(), presolveTryAddLinearReform(), presolveUpgrade(), printActiveVariables(), printBoundSection(), printDualSol(), printLinearRow(), printNLRow(), printNonlinearRow(), printPBRow(), printQuadraticRow(), printRow(), printRowNl(), printSignpowerRow(), printSOCCons(), propagateCons(), propagateCutoffboundBinvar(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLowerboundVar(), propagateVarbounds(), propIndicator(), proposeFeasibleSolution(), readBounds(), readCoefficients(), readCols(), readColsMop(), readOPBFile(), readRhs(), reduce_contractZeroEdges(), reduce_da(), reduce_extendedEdge(), reduce_simple_mw(), reduce_simple_pc(), reducePcMw(), reduceSPG(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resolvePropagation(), rowprepCleanupSide(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERREAD(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddRow(), SCIPaddSquareCoefQuadratic(), SCIPaddVarVlb(), SCIPaddVarVub(), SCIPaggrRowAddObjectiveFunction(), SCIPanalyzeDeductionsProbing(), SCIPapplyProximity(), SCIPchgBilinCoefQuadratic(), SCIPchgCoefLinear(), SCIPchgLinearCoefQuadratic(), SCIPchgReoptObjective(), SCIPchgSquareCoefQuadratic(), SCIPcomputeBilinEnvelope1(), SCIPcreateConsAbspower(), SCIPcreateConsIndicator(), SCIPcreateConsNonlinear(), SCIPcreateConsNonlinear2(), SCIPcreateConsOrbitope(), SCIPcreateConsQuadratic(), SCIPcreateNlpiProb(), SCIPgetVectorEfficacyNorm(), SCIPisObjIntegral(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPprobdataAddNewSol(), SCIPprobdataPrintGraph(), SCIPprobdataWriteSolution(), SCIPreduceMatrixSize(), SCIPStpDualAscent(), SCIPStpDualAscentPcMw(), SCIPStpHeurAscendPruneRun(), SCIPStpHeurTMRunLP(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectShifting(), setupAggregationData(), setupSubproblem(), solCutIsViolated(), solveClassification(), solveDerivativeEquation(), solveMinIISC(), solveSubNLP(), storeCutInArrays(), switchNext(), termIsConstant(), tightenCoefs(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), tryUpgradingXor(), updateBilinearRelaxation(), updateSlacks(), upgradeConss(), writeFzn(), and writeOpbObjective().

◆ SCIPisPositive()

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

References NULL, SCIPsetIsPositive(), and Scip::set.

Referenced by addBilinearTermToCut(), addCoefTerm(), addConflictBinvar(), addLinearizationCuts(), addPathCuts(), aggregateConstraints(), applyAlternativeBoundsBranching(), polyscip::WeightSpacePolyhedron::areAdjacent(), checkCurvature(), checkCurvatureEasy(), checkFactorable(), checkRedundancySide(), chgLhs(), chgRhs(), collectMaxactVar(), computeNextAdjacency(), computeStandardFeasibilityCut(), computeStandardOptimalityCut(), polyscip::doubledescription::DoubleDescriptionMethod::computeVRep_Var1(), createAndAddLinearCons(), createCGCutDirect(), createMIP(), createNlRow(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), determineBound(), dfs(), doSeparation(), dualPresolve(), evaluateGauge(), extractCapacityRows(), extractFlowRows(), findDaRoots(), findFixings(), fixIntegerVariable(), fixVariableZero(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateConvexConcaveEstimator(), generateCut(), generateCutProjectedPoint(), generateCutSol(), generateCutUnboundedLP(), generateRowCardinality(), generateSecantCut(), generateSecantCutNoCheck(), generateSparseCut(), getBranchingDecisionStrongbranchSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), initData(), isCandidate(), lockRoundingAndCons(), markPcMwRoots(), nodepairqueueCreate(), performDualfix(), permuteStartSolution(), pertubateEdgeCosts(), predBndStr(), preprocessConstraintPairs(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveCreateOuterApprox(), presolveTryAddLinearReform(), printSignpowerRow(), propagateCons(), propagateLowerboundBinvar(), propIndicator(), proposeFeasibleSolution(), reduce_getSdPcMw(), reduce_sdsp(), resolveGenVBoundPropagation(), resolvePropagation(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERREAD(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPapplyLockFixings(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPchgReoptObjective(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPlinkcuttreeFindMinChain(), SCIPStpHeurLocalRun(), SCIPupdateStartpointHeurSubNlp(), SCIPwritePip(), searchEcAggrWithCliques(), selectBranchingVertexByLp(), selectBranchingVertexByLp2Flow(), selectInitialVariable(), selectShifting(), separateCuts(), separatePerspective(), separatePoint(), setupAndSolveSubscipRapidlearning(), setUpEvents(), solveAndEvalSubscip(), sortGenVBounds(), storeAllBilinearTerms(), unlockRoundingAndCons(), upgradeLinearSuperindicator(), polyscip::doubledescription::V_RepT::V_RepT(), varMayRoundDown(), and varMayRoundUp().

◆ SCIPisNegative()

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

References NULL, SCIPsetIsNegative(), and Scip::set.

Referenced by addConcaveEstimatorBivariate(), addConflictBinvar(), adjustCutoffbound(), applyAlternativeBoundsBranching(), polyscip::WeightSpacePolyhedron::areAdjacent(), calcBranchScore(), checkCurvature(), checkCurvatureEasy(), checkFactorable(), checkLogCriterion(), collectMinactVar(), computeCut(), computeStandardFeasibilityCut(), computeStandardOptimalityCut(), polyscip::doubledescription::DoubleDescriptionMethod::computeVRep_Var1(), copySofttimelimit(), createMIP(), createNlRow(), createVarUbs(), cutTightenCoefs(), cutTightenCoefsQuad(), determineBestBounds(), determineBound(), dualPresolve(), dualPresolving(), evaluateGauge(), extractCapacityRows(), extractNodes(), fillGlobalStartingData(), findFixings(), fixIntegerVariable(), fixVariableZero(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateCut(), generateCutProjectedPoint(), generateCutUnboundedLP(), generateDisjCutSOS1(), generateEstimatingHyperplane(), generateRowCardinality(), polyscip::doubledescription::V_RepT::hasNonUnitAndNonZeroWeight(), isCandidate(), isRangedRow(), nlrowaggrCreate(), nodepairqueueCreate(), objimplicsCreate(), performDualfix(), predBndStr(), preprocessConstraintPairs(), presolveCreateOuterApprox(), presolveRemoveFixedVariables(), presolveTryAddLinearReform(), ObjPricerVRP::pricing(), pricing(), printSignpowerRow(), propagateCons(), propagateCutoffboundBinvar(), proposeFeasibleSolution(), reduce_getSdPcMw(), reduce_sdsp(), registerBranchingCandidatesGap(), removeDoubleAndSingletonsAndPerformDualpresolve(), SCIP_DECL_CONSINITLP(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HEUREXEC(), SCIP_DECL_QUADCONSUPGD(), SCIPcalcCumulativeDistribution(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPgetReadingTime(), SCIPStpHeurLocalRun(), SCIPvarCalcDistributionParameters(), SCIPwritePip(), searchEcAggrWithCliques(), selectShifting(), separatePerspective(), separatePoint(), setupAndSolveSubscipRapidlearning(), solveAndEvalSubscip(), sortGenVBounds(), storeAllBilinearTerms(), transformColumn(), updateBestCandidate(), updateNodeReplaceBounds(), upgradeLinearSuperindicator(), polyscip::doubledescription::V_RepT::V_RepT(), varMayRoundDown(), and varMayRoundUp().

◆ SCIPisIntegral()

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

References NULL, SCIPsetIsIntegral(), and Scip::set.

Referenced by addCoefTerm(), aggregateConstraints(), aggregateVariables(), applyFixings(), assignVars(), buildFlowCover(), calcBranchScore(), cancelRow(), checkCons(), computeCut(), consdataCheckSuperindicator(), convertBoundToInt(), createAndAddLinearCons(), createNlRow(), createVariables(), enfopsPackingPartitioningOrbitopeSolution(), fixAndPropagate(), flattenFloat(), getFlowCover(), isPartition(), isRangedRow(), parseRange(), presolveTryAddLinearReform(), presolveUpgrade(), prettifyConss(), printLinearCons(), printNLRow(), printPBRow(), printRow(), printSignpowerRow(), printValue(), propIndicator(), readCoefficients(), readExpression(), readIndicators(), readOPBFile(), readPolynomial(), reformMonomial(), reformulate(), runBenders(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPaddCoefPseudoboolean(), SCIPaddSquareLinearization(), SCIPaddVarIndicator(), SCIPcreateConsIndicator(), SCIPisObjIntegral(), SCIPsolveKnapsackExactly(), SCIPwritePip(), tightenBounds(), tightenCoefs(), tightenVariables(), updateBestCandidate(), updateVariableRounding(), writeExpandedSolutions(), writeFzn(), and writeOpbObjective().

◆ SCIPisScalingIntegral()

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

References NULL, SCIPsetIsScalingIntegral(), and Scip::set.

◆ SCIPisFracIntegral()

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

References NULL, SCIPsetIsFracIntegral(), and Scip::set.

◆ SCIPfloor()

◆ SCIPceil()

◆ SCIPround()

◆ SCIPfrac()

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

References NULL, SCIPsetFrac(), and Scip::set.

Referenced by changeSubvariableObjective(), computeCut(), createCGCutCMIR(), createCGCutStrongCG(), cutsTransformMIR(), generateClusterCuts(), getGMIFromRow(), and SCIP_DECL_BRANCHEXECLP().

◆ SCIPisSumEQ()

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

References NULL, SCIPsetIsSumEQ(), and Scip::set.

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

◆ SCIPisSumLT()

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

References NULL, SCIPsetIsSumLT(), and Scip::set.

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

◆ SCIPisSumLE()

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

References NULL, SCIPsetIsSumLE(), and Scip::set.

Referenced by getAlphaAndBeta().

◆ SCIPisSumGT()

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

References NULL, SCIPsetIsSumGT(), and Scip::set.

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

◆ SCIPisSumGE()

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

References NULL, SCIPsetIsSumGE(), and Scip::set.

Referenced by execRelpscost().

◆ SCIPisSumZero()

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

References NULL, SCIPsetIsSumZero(), and Scip::set.

Referenced by computeCut().

◆ SCIPisSumPositive()

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

References NULL, SCIPsetIsSumPositive(), and Scip::set.

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

◆ SCIPisSumNegative()

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

References NULL, SCIPsetIsSumNegative(), and Scip::set.

Referenced by SCIP_DECL_BRANCHEXECLP().

◆ SCIPisFeasEQ()

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

References NULL, SCIPsetIsFeasEQ(), and Scip::set.

Referenced by addFacetToCut(), addLinearTermToCut(), addLocalBranchingConstraint(), applyFixings(), applyNlobbt(), applyRepair(), branchUnbalancedCardinality(), calculateAlternatives(), checkAndConss(), checkCons(), checkConsQuadraticProblem(), checkFixedVariables(), checkRikun(), chooseDoubleVar(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeNogoodCut(), computeRanks(), computeStandardIntegerOptCut(), consdataCheckNonbinvar(), consdataCheckSuperindicator(), constructCompression(), createAndAddAndCons(), createCGCutDirect(), createConflict(), createCoveringProblem(), createIndicatorConstraint(), createRows(), createSelectedSortedEventpointsSol(), createSubSCIP(), createSubscip(), createSwitchSolution(), CUTOFF_CONSTRAINT(), deleteVarCardinality(), determineBound(), determineFixings(), determineVariableFixings(), doSolveSubMIP(), enforceCardinality(), enforceConstraint(), filterExistingLP(), findPointPosition(), fixAndPropagate(), fixVariables(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generateAndApplyBendersCuts(), generateAverageNBRay(), generateBoundInequalityFromSOS1Nodes(), generateConvexConcaveUnderestimator(), generateCutProjectedPoint(), generateEstimatingHyperplane(), generateNeighborFacets(), generateRowCardinality(), generateZerohalfCut(), getCover(), getNActiveConsScore(), getPartitionNoncovervars(), getSolutionValues(), GUBsetCalcCliquePartition(), handleNewVariableCardinality(), heurExec(), initProblem(), isPossibleToComputeCut(), LOPseparate(), optimize(), performDualfix(), performRandRounding(), phi(), presolRoundCardinality(), presolveAddKKTAggregatedVars(), presolveAddKKTLinearCons(), presolveAddKKTLinearConss(), presolveAddKKTVarboundConss(), presolveFindDuplicatesSolveEquations(), printBoundSection(), processBinvarFixings(), processFixings(), processWatchedVars(), propagateCons(), propagateCutoffboundVar(), propagateRedcostBinvar(), propagateRedcostVar(), propCardinality(), readBinaries(), readBounds(), reboundIntegerVariables(), registerBranchingCandidates(), resolvePropagationCoretimes(), restrictToBinaryBounds(), rowFindSlackVar(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIPaddBilinearIneqQuadratic(), SCIPaddVarImplication(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPconvertRealToInt(), SCIPconvertRealToLongint(), SCIPdummyDebugMethodForSun(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPwriteGms(), SCIPwriteLp(), sep_flow(), separateCons(), separateCuts(), separateIISRounding(), sequentialUpAndDownLifting(), sequentialUpAndDownLiftingGUB(), setAltLPObj(), setObjective(), setRedcosts(), solveAndEvalSubscip(), solveBilinearLP(), solveDerivativeEquation(), switchNext(), termIsConstant(), transformValue(), updateSlacks(), varIsFixed(), and varProcessBoundChanges().

◆ SCIPisFeasLT()

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

References NULL, SCIPsetIsFeasLT(), and Scip::set.

Referenced by analyzeGenVBoundConflict(), applyFixings(), applyRepair(), branchBalancedCardinality(), calcBranchScore(), calculateBounds(), checkCons(), checkFixedVariables(), checkKnapsack(), checkOrigPbCons(), checkRowViolation(), checkViolations(), collectNonBinaryVBoundData(), computeCut(), computeVarsCoverSOS1(), countSparseSol(), createCGCutCMIR(), createCGCutStrongCG(), createSubscip(), determineBound(), enforceViolatedFixedNonlinear(), execGenVBounds(), filterPoints(), findPointPosition(), getBoundConsFromVertices(), getCover(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getMaxactImplicObjchg(), getOptimalShiftingValue(), handleNewVariableSOS2(), improvePoint(), optimize(), performImplicationGraphAnalysis(), performStrongbranchSOS1(), preprocessConstraintPairs(), propagateCons(), propagateCutoffboundBinvar(), propagateLowerboundBinvar(), propagateLowerboundVar(), propagateRedcostVar(), proposeFeasibleSolution(), propVariableNonzero(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPperformGenericDivingAlgorithm(), SCIPprobdataUpdateDualbound(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximatelyLT(), sep_2cut(), sepaImplBoundCutsSOS1(), separateIISRounding(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscipRapidlearning(), setupProblem(), solvePricingHeuristic(), tightenCoefs(), tightenVarsBoundsSOS1(), tryFixVar(), updateArcData(), updateImplicationGraphSOS1(), updateViolations(), and upgradeCons().

◆ SCIPisFeasLE()

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

References NULL, SCIPsetIsFeasLE(), and Scip::set.

Referenced by addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConflictBounds(), applyRepair(), branchruledataUpdateCurrentBounds(), buildFlowCover(), calcShiftVal(), checkBounddisjunction(), checkCons(), checkConsQuadraticProblem(), checkConstraintMatching(), checkRowViolation(), checkViolations(), collectNonBinaryImplicationData(), computeReferencePointGauge(), computeViolation(), constructSNFRelaxation(), createSubscip(), cutTightenCoefs(), cutTightenCoefsQuad(), determineBound(), evaluateLiftingFunction(), filterCands(), filterExistingLP(), findDominancePairs(), generateConvexConcaveUnderestimator(), generateCut(), generateCutFactorableDo(), generateCutLTIcomputeCoefs(), generateDisjCutSOS1(), generateEstimatingHyperplane(), generateNeighborFacets(), generateOrthogonal_lx_ly_Underestimator(), generateUnderestimatorParallelYFacets(), getFeasibleSet(), getFlowCover(), getOptimalShiftingValue(), heurdataUpdateCurrentBounds(), heurExec(), isUpperBoundImplied(), optimize(), performRandRounding(), presolveDual(), presolveRemoveFixedVariables(), propagateCons(), propagateRootRedcostVar(), registerBranchingCandidates(), replaceViolatedByLinearConstraints(), rowCalculateGauss(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIPaddBilinearIneqQuadratic(), SCIPapplyHeurDualval(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPcalcCumulativeDistribution(), SCIPcheckPattern(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPupdateDistributionScore(), separateCuts(), setObjective(), setupAndSolveSubscipRapidlearning(), shiftValues(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), transformVariable(), tryToInsert(), updateBestCandidate(), updateBilinearRelaxation(), updateSlacks(), and updateVariableRounding().

◆ SCIPisFeasGT()

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

References NULL, SCIPsetIsFeasGT(), and Scip::set.

Referenced by addGenVBound(), analyzeGenVBoundConflict(), applyFixings(), applyRepair(), buildFlowCover(), checkFixedVariables(), checkOrigPbCons(), checkRowViolation(), checkViolations(), collectNonBinaryVBoundData(), computeCut(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createSubscip(), determineBound(), enforceCardinality(), enforceViolatedFixedNonlinear(), findPointPosition(), generateClusterCuts(), generateNeighborFacets(), getCover(), getFlowCover(), getMaxactImplicObjchg(), getOptimalShiftingValue(), getPartitionCovervars(), getPartitionNoncovervars(), handleNewVariableSOS2(), initMatrix(), makeSOS1constraintsFeasible(), optimize(), performImplicationGraphAnalysis(), performStrongbranchSOS1(), propagateCons(), propagateLowerboundVar(), proposeFeasibleSolution(), propVariableNonzero(), relaxVar(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyLockFixings(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPperformGenericDivingAlgorithm(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximately(), sep_flow(), sepaImplBoundCutsSOS1(), separateCons(), separateSupLiftedMinimalCoverInequality(), sequentialUpAndDownLifting(), setupAndSolveFiniteSolSubscip(), shiftValues(), tightenCoefs(), tightenVarsBoundsSOS1(), tryFixVar(), tryToInsert(), updateArcData(), updateImplicationGraphSOS1(), updateViolations(), and upgradeCons().

◆ SCIPisFeasGE()

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

References NULL, SCIPsetIsFeasGE(), and Scip::set.

Referenced by addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConflictBounds(), buildFlowCover(), calcShiftVal(), checkBounddisjunction(), checkCons(), checkConsQuadraticProblem(), checkRowViolation(), checkViolations(), collectNonBinaryImplicationData(), computeViolation(), constructSNFRelaxation(), cut_add(), determineBound(), dfs(), extractVariablesMINLP(), filterCands(), filterExistingLP(), filterPoints(), findDominancePairs(), forbidCover(), generateConvexConcaveUnderestimator(), generateCut(), generateCutLTIcomputeCoefs(), generateNeighborFacets(), generateOrthogonal_lx_ly_Underestimator(), generateUnderestimatorParallelYFacets(), getFeasibleSet(), getFlowCover(), improvePoint(), optimize(), performRandRounding(), presolveDual(), propagateCons(), propagateRootRedcostVar(), propIndicator(), registerBranchingCandidates(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERREDCOST(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPcheckPattern(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPsolveKnapsackApproximatelyLT(), SCIPupdateDistributionScore(), sep_2cut(), separateCuts(), separateSupLiftedMinimalCoverInequality(), setObjective(), shiftValues(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), tryToInsert(), updateBestCandidate(), updateBilinearRelaxation(), updateSlacks(), and varProcessBoundChanges().

◆ SCIPisFeasZero()

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

References NULL, SCIPsetIsFeasZero(), and Scip::set.

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

◆ SCIPisFeasPositive()

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

References NULL, SCIPsetIsFeasPositive(), and Scip::set.

Referenced by addBranchingComplementaritiesSOS1(), branchBalancedCardinality(), branchUnbalancedCardinality(), checkCons(), checkConsQuadraticProblem(), computeBranchingPriorities(), computeCut(), consdataCreate(), createCGCutCMIR(), createCGCutStrongCG(), detectVarboundSOS1(), enforceCardinality(), extractCycle(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateClusterCuts(), generateCutFactorable(), generateCutLTI(), generateDisjCutSOS1(), generateLinearizationCutProject(), generateNeighborFacets(), generateSecantCut(), getBoundConsFromVertices(), getCover(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getNActiveConsScore(), getNCircles(), getScore(), getScoreLikeCoefdiving(), getSOS1Implications(), getVariableRedcostScore(), getVectorOfWeights(), handleNewVariableSOS1(), handleNewVariableSOS2(), inferVariableZero(), initMatrix(), lockVariableCardinality(), lockVariableSOS2(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), nodeGetSolvalBinaryBigMSOS1(), nodepartitionIsConnected(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), propCardinality(), propConsSOS1(), propIndicator(), proposeBranchingPoint(), propSOS2(), propVariableNonzero(), relaxVar(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPisViolatedIndicator(), SCIPmakeIndicatorFeasible(), tightenVarsBoundsSOS1(), unlockVariableCardinality(), unlockVariableSOS2(), updateImplicationGraphSOS1(), and updateWeightsTCliquegraph().

◆ SCIPisFeasNegative()

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

References NULL, SCIPsetIsFeasNegative(), and Scip::set.

Referenced by addBranchingComplementaritiesSOS1(), branchBalancedCardinality(), branchUnbalancedCardinality(), checkConsQuadraticProblem(), computeCut(), computeInteriorPoint(), createCGCutCMIR(), createCGCutStrongCG(), detectVarboundSOS1(), enforceCardinality(), enforceIndicators(), extendToCover(), extractCycle(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateCutFactorable(), generateCutLTI(), generateLinearizationCut(), generateLinearizationCutProject(), getBoundConsFromVertices(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getNActiveConsScore(), getNCircles(), getScore(), getScoreLikeCoefdiving(), getSOS1Implications(), getVariableRedcostScore(), handleNewVariableSOS1(), handleNewVariableSOS2(), inferVariableZero(), initMatrix(), lockVariableCardinality(), lockVariableSOS2(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), nodeGetSolvalBinaryBigMSOS1(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundSOS2(), propCardinality(), propConsSOS1(), proposeBranchingPoint(), propSOS2(), propVariableNonzero(), registerBranchingCandidatesGap(), relaxVar(), rowCalculateGauss(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPmakeIndicatorFeasible(), sep_flow(), sepaImplBoundCutsSOS1(), separateCons(), separateConsBinaryRepresentation(), separateCoverCutsCons(), separateIndicators(), solvePricingHeuristic(), tightenVarsBoundsSOS1(), unlockVariableCardinality(), unlockVariableSOS2(), updateImplicationGraphSOS1(), and updateWeightsTCliquegraph().

◆ SCIPisFeasIntegral()

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

References NULL, SCIPsetIsFeasIntegral(), and Scip::set.

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

◆ SCIPisFeasFracIntegral()

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

References NULL, SCIPsetIsFeasFracIntegral(), and Scip::set.

◆ SCIPfeasFloor()

◆ SCIPfeasCeil()

◆ SCIPfeasRound()

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

References NULL, SCIPsetFeasRound(), and Scip::set.

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

◆ SCIPfeasFrac()

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

References NULL, SCIPsetFeasFrac(), and Scip::set.

Referenced by createSubproblem(), getGMIFromRow(), handleCycle(), roundFixingValue(), SCIP_DECL_SEPAEXECLP(), and separateCuts().

◆ SCIPisDualfeasEQ()

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

References NULL, SCIPsetIsDualfeasEQ(), and Scip::set.

◆ SCIPisDualfeasLT()

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

References NULL, SCIPsetIsDualfeasLT(), and Scip::set.

◆ SCIPisDualfeasLE()

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

References NULL, SCIPsetIsDualfeasLE(), and Scip::set.

Referenced by propagateLowerboundBinvar().

◆ SCIPisDualfeasGT()

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

References NULL, SCIPsetIsDualfeasGT(), and Scip::set.

◆ SCIPisDualfeasGE()

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

References NULL, SCIPsetIsDualfeasGE(), and Scip::set.

◆ SCIPisDualfeasZero()

SCIP_EXPORT SCIP_Bool SCIPisDualfeasZero ( SCIP scip,
SCIP_Real  val 
)

checks, if value is in range dual feasibility tolerance of 0.0

Parameters
scipSCIP data structure
valvalue to process

Definition at line 1009 of file scip_numerics.c.

References NULL, SCIPsetIsDualfeasZero(), and Scip::set.

Referenced by computeStandardFeasibilityCut(), countNonZeroRootRedcostVars(), createRows(), fixVariables(), getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), propdataInit(), SCIP_DECL_HEUREXEC(), and setRedcosts().

◆ SCIPisDualfeasPositive()

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

References NULL, SCIPsetIsDualfeasPositive(), and Scip::set.

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

◆ SCIPisDualfeasNegative()

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

References NULL, SCIPsetIsDualfeasNegative(), and Scip::set.

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

◆ SCIPisDualfeasIntegral()

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

References NULL, SCIPsetIsDualfeasIntegral(), and Scip::set.

◆ SCIPisDualfeasFracIntegral()

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

References NULL, SCIPsetIsDualfeasFracIntegral(), and Scip::set.

◆ SCIPdualfeasFloor()

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

References NULL, SCIPsetDualfeasFloor(), and Scip::set.

◆ SCIPdualfeasCeil()

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

References NULL, SCIPsetDualfeasCeil(), and Scip::set.

◆ SCIPdualfeasRound()

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

References NULL, SCIPsetDualfeasRound(), and Scip::set.

◆ SCIPdualfeasFrac()

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

References NULL, SCIPsetDualfeasFrac(), and Scip::set.

◆ SCIPisLbBetter()

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

References NULL, SCIPsetIsLbBetter(), and Scip::set.

Referenced by performFixing(), propagateCons(), and SCIPanalyzeDeductionsProbing().

◆ SCIPisUbBetter()

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

References NULL, SCIPsetIsUbBetter(), and Scip::set.

Referenced by performFixing(), propagateCons(), and SCIPanalyzeDeductionsProbing().

◆ SCIPisRelEQ()

◆ SCIPisRelLT()

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

References NULL, SCIPsetIsRelLT(), and Scip::set.

Referenced by updateBilinearRelaxation().

◆ SCIPisRelLE()

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

References NULL, SCIPsetIsRelLE(), and Scip::set.

Referenced by addConcaveEstimatorBivariate(), addLinearConstraints(), and generateCutNonConvex().

◆ SCIPisRelGT()

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

References NULL, SCIPsetIsRelGT(), and Scip::set.

Referenced by SCIPupdateStartpointHeurSubNlp(), and updateBilinearRelaxation().

◆ SCIPisRelGE()

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

References NULL, SCIPsetIsRelGE(), and Scip::set.

Referenced by generateCutNonConvex().

◆ SCIPisSumRelEQ()

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

References NULL, SCIPsetIsSumRelEQ(), and Scip::set.

◆ SCIPisSumRelLT()

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

References NULL, SCIPsetIsSumRelLT(), and Scip::set.

◆ SCIPisSumRelLE()

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

References NULL, SCIPsetIsSumRelLE(), and Scip::set.

◆ SCIPisSumRelGT()

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

References NULL, SCIPsetIsSumRelGT(), and Scip::set.

◆ SCIPisSumRelGE()

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

References NULL, SCIPsetIsSumRelGE(), and Scip::set.

◆ SCIPconvertRealToInt()

SCIP_EXPORT int SCIPconvertRealToInt ( SCIP scip,
SCIP_Real  real 
)

◆ SCIPconvertRealToLongint()

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

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

Referenced by collectSolution(), and printValue().

◆ SCIPisUpdateUnreliable()

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

References FALSE, NULL, SCIP_CALL_ABORT, SCIPcheckStage(), SCIPsetIsUpdateUnreliable(), Scip::set, and TRUE.

◆ SCIPprintReal()

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

References Scip::messagehdlr, NULL, SCIP_MAXSTRLEN, SCIPmessageFPrintInfo(), SCIPsetIsInfinity(), SCIPsnprintf(), and Scip::set.

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

◆ SCIPparseReal()

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

References NULL, SCIPinfinity(), SCIPstrToRealValue(), and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPprocessShellArguments().