methods used by the majority of operations involving floating-point computations in SCIP
returns value treated as zero
scip | SCIP data structure |
Definition at line 46409 of file scip.c.
References SCIPsetEpsilon(), and Scip::set.
Referenced by addCut(), checkRedundancySide(), computeFixingOrder(), computeMIREfficacy(), createCGCutCMIR(), createCGCutStrongCG(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutsTransformStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), evaluateCutNumerics(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), getInteriority(), prettifyConss(), propagateBounds(), propagateBoundsCons(), removeZeros(), removeZerosQuad(), rowprepCleanupSide(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PRESOLEXEC(), SCIPanalyzeDeductionsProbing(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPgetConcurrentGap(), SCIPseparateRelaxedKnapsack(), solveSubNLP(), and transformNonIntegralRow().
returns value treated as zero for sums of floating point values
scip | SCIP data structure |
Definition at line 46423 of file scip.c.
References SCIPsetSumepsilon(), and Scip::set.
Referenced by addCut(), chooseVeclenVar(), createCGCutCMIR(), createCGCutStrongCG(), createNLP(), createSubproblem(), cutsTransformMIR(), cutTightenCoefs(), cutTightenCoefsQuad(), doSolveSubMIP(), evaluateCutNumerics(), generateDisjCutSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getVectorOfWeights(), postprocessCut(), postprocessCutQuad(), SCIP_DECL_HEUREXEC(), SCIPaggrRowRemoveZeros(), SCIPapplyHeurSubNlp(), SCIPcalcFlowCover(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPcutGenerationHeuristicCMIR(), SCIPincludeHeurMutation(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipMutation(), setupSubScip(), solveCoveringProblem(), transformNonIntegralRow(), wrapperDins(), and wrapperRins().
returns feasibility tolerance for constraints
scip | SCIP data structure |
Definition at line 46437 of file scip.c.
References SCIPsetFeastol(), and Scip::set.
Referenced by addLinearization(), adjustCutoffbound(), analyzeConflict(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), analyzeGenVBoundConflict(), applyNlobbt(), calcScore(), checkCons(), computeInteriorPoint(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeViolation(), computeViolations(), cutTightenCoefs(), cutTightenCoefsQuad(), displayRelevantStats(), enforceConflictgraph(), enforceConstraint(), enforceViolatedFixedNonlinear(), fixAlmostFixedX(), generateCut(), getBranchingDecisionStrongbranchSOS1(), getNLPFracVars(), heurExec(), performStrongbranchSOS1(), postprocessCut(), postprocessCutQuad(), presolveTryAddLinearReform(), prettifyConss(), propagateBounds(), propagateBoundsCons(), propagateConstraintSides(), proposeBranchingPoint(), proposeFeasibleSolution(), 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().
returns primal feasibility tolerance of LP solver
scip | SCIP data structure |
Definition at line 46451 of file scip.c.
References SCIPsetLpfeastol(), and Scip::set.
Referenced by enforceConstraint(), and separatePoint().
returns feasibility tolerance for reduced costs
scip | SCIP data structure |
Definition at line 46465 of file scip.c.
References SCIPsetDualfeastol(), and Scip::set.
Referenced by computeInteriorPoint(), heurExec(), and separateCuts().
returns convergence tolerance used in barrier algorithm
scip | SCIP data structure |
Definition at line 46479 of file scip.c.
References SCIPsetBarrierconvtol(), and Scip::set.
return the cutoff bound delta
scip | SCIP data structure |
Definition at line 46493 of file scip.c.
References SCIPsetCutoffbounddelta(), and Scip::set.
Referenced by updateObjUpperbound().
return the relaxation primal feasibility tolerance
scip | SCIP data structure |
Definition at line 46508 of file scip.c.
References SCIPsetRelaxfeastol(), and Scip::set.
SCIP_RETCODE SCIPchgFeastol | ( | SCIP * | scip, |
SCIP_Real | feastol | ||
) |
sets the feasibility tolerance for constraints
scip | SCIP data structure |
feastol | new feasibility tolerance for constraints |
Definition at line 46523 of file scip.c.
References SCIP_CALL, SCIP_OKAY, SCIPsetSetFeastol(), and Scip::set.
Referenced by displayRelevantStats(), SCIP_DECL_DIALOGEXEC(), and SCIPvalidateSolve().
SCIP_RETCODE SCIPchgLpfeastol | ( | SCIP * | scip, |
SCIP_Real | lpfeastol, | ||
SCIP_Bool | printnewvalue | ||
) |
sets the primal feasibility tolerance of LP solver
scip | SCIP data structure |
lpfeastol | new primal feasibility tolerance of LP solver |
printnewvalue | should "numerics/lpfeastol = ..." be printed? |
Definition at line 46541 of file scip.c.
References FALSE, Scip::lp, SCIP_Lp::lpsolstat, SCIP_CALL, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_OKAY, SCIPsetLpfeastol(), SCIPsetSetLpfeastol(), Scip::set, and SCIP_Lp::solved.
Referenced by SCIPsetExitsolPlugins().
SCIP_RETCODE SCIPchgDualfeastol | ( | SCIP * | scip, |
SCIP_Real | dualfeastol | ||
) |
sets the feasibility tolerance for reduced costs
scip | SCIP data structure |
dualfeastol | new feasibility tolerance for reduced costs |
Definition at line 46567 of file scip.c.
References FALSE, Scip::lp, SCIP_Lp::lpsolstat, SCIP_CALL, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_OKAY, SCIPsetDualfeastol(), SCIPsetSetDualfeastol(), Scip::set, and SCIP_Lp::solved.
SCIP_RETCODE SCIPchgBarrierconvtol | ( | SCIP * | scip, |
SCIP_Real | barrierconvtol | ||
) |
sets the convergence tolerance used in barrier algorithm
scip | SCIP data structure |
barrierconvtol | new convergence tolerance used in barrier algorithm |
Definition at line 46592 of file scip.c.
References FALSE, SCIP_Lp::lastlpalgo, Scip::lp, SCIP_CALL, SCIP_LPALGO_BARRIER, SCIP_LPALGO_BARRIERCROSSOVER, SCIP_OKAY, SCIPsetBarrierconvtol(), SCIPsetSetBarrierconvtol(), Scip::set, and SCIP_Lp::solved.
sets the primal feasibility tolerance of relaxations
This tolerance value is used by the SCIP core and plugins to tighten then feasibility tolerance on relaxations (especially the LP relaxation) during a solve. It is set to SCIP_INVALID initially, which means that only the feasibility tolerance of the particular relaxation is taken into account. If set to a valid value, however, then this value should be used to reduce the primal feasibility tolerance of a relaxation (thus, use the minimum of relaxfeastol and the relaxations primal feastol).
scip | SCIP data structure |
relaxfeastol | new primal feasibility tolerance of relaxations |
Definition at line 46625 of file scip.c.
References checkStage(), FALSE, SCIP_CALL_ABORT, SCIPsetSetRelaxfeastol(), Scip::set, and TRUE.
void SCIPmarkLimitChanged | ( | SCIP * | scip | ) |
marks that some limit parameter was changed
scip | SCIP data structure |
Definition at line 46639 of file scip.c.
References SCIPsetSetLimitChanged(), and Scip::set.
returns value treated as infinity
scip | SCIP data structure |
Definition at line 47022 of file scip.c.
References SCIPsetInfinity(), and Scip::set.
Referenced by addAltLPConstraint(), addBranchingComplementaritiesSOS1(), addBranchingDecisionConss(), addCut(), addExtendedAsymmetricFormulation(), addIntervalGradientEstimator(), addKnapsackConstraints(), addLinearizationCuts(), addLocalBranchingConstraint(), addLogicOrConstraints(), addOrbisackCover(), addOrbisackInequality(), addRegularScholtes(), addRelaxation(), addRow(), addSetppcConstraints(), addSymresackInequality(), addUserEstimator(), aggregation(), applyCliqueFixings(), applyFixings(), applyHeur(), buildMod2Matrix(), calcActivityBounds(), calcColActivity(), calcColActResidual(), calcNewSidesAfterAggregation(), calculateBounds(), calcVarBoundsDominated(), calcVarBoundsDominating(), checkCurvature(), checkCurvatureEasy(), checkFixedVariables(), chgLhs(), chgRhs(), chooseFracVar(), chooseGuidedVar(), computeBoundsX(), computeBoundsZ(), computeCut(), computeFixingOrder(), computeInteriorPoint(), computeLiftingData(), computeSymmetryGroup(), computeVarsCoverSOS1(), computeViolation(), consdataCheckNonbinvar(), consdataComputePseudoActivity(), consdataCreate(), consdataCreateEmpty(), consdataGetActivity(), consdataRecomputeMaxActivityDelta(), constructCompression(), CREATE_CONSTRAINT(), createAndAddLinearCons(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createConstraints(), createCoverCutsTimepoint(), createCoveringProblem(), createDepthinfo(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createNAryBranch(), createNLP(), createNlRow(), createObjRow(), createPrecedenceCons(), createRelaxation(), createRow(), createSubproblem(), createSubSCIP(), createSubscip(), createVarUbs(), determineBoundForSNF(), disaggregate(), displayRelevantStats(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), enforceCardinality(), enforceConflictgraph(), enforceViolatedFixedNonlinear(), evalLhs(), execRelpscost(), extendToCover(), extractLinearValues(), findDominancePairs(), fixVariable(), forbidCover(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateBoundInequalityFromSOS1Nodes(), generateConvexConcaveEstimator(), generateConvexConcaveUnderestimator(), generateCut(), generateCutFactorable(), generateCutLTI(), generateCutUnboundedLP(), generateDisjCutSOS1(), generateLinearizationCut(), generateOddCycleCut(), generateOverestimatingHyperplaneCut(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivities(), getActivityResiduals(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBoundConsFromVertices(), getBranchingDecisionStrongbranchSOS1(), getBranchingPrioritiesSOS1(), getClosestVlb(), getClosestVub(), getCurrentRegressionTangentAxisIntercept(), getDualbound(), getGenVBoundsBound(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getLinearConsSides(), getLowerbound(), getMaxActivity(), getMinActivity(), getMinFeas(), getMinMaxActivityResiduals(), getObjectiveFactor(), getOptimalShiftingValue(), getPotentialContributed(), getTimeLeft(), getUpperbound(), getVarBoundsOfRow(), getVariable(), getVariableRedcostScore(), getVarUpperBoundOfRow(), heurExec(), initComponent(), initConshdlrData(), initLP(), initMatrix(), isUpperBoundImplied(), isValue(), isVarImpliedFree(), LOPseparate(), maximalslack(), mod2MatrixTransformContRows(), newsolCliqueAddRow(), nodepairqueueCreate(), nodepartitionIsConnected(), numericalStable(), parseType(), performStrongbranchWithPropagation(), polishSolution(), preprocessConstraintPairs(), presolveAddKKTKnapsackConss(), presolveAddKKTLinearCons(), presolveAddKKTLogicorConss(), presolveAddKKTSetppcConss(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveCreateOuterApprox(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveRemoveFixedVariables(), presolveTryAddLinearReform(), prettifyConss(), printAndCons(), propagateBounds(), propagateBoundsBilinearTerm(), propagateBoundsCons(), propagateBoundsGetQuadActivity(), propagateBoundsTightenVar(), propagateCons(), propagateVarbounds(), propdataInit(), propIndicator(), readBounds(), readCnf(), readCols(), readConstraints(), readIndicators(), readNonlinearExprs(), readObjective(), readOPBFile(), readQMatrix(), readQuadraticCoefs(), readRows(), readSol(), readSolFile(), readVariables(), readXmlSolFile(), reformMonomial(), registerBranchingCandidatesGap(), relaxVar(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), 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_QUADCONSUPGD(), SCIP_DECL_READERWRITE(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefLinear(), SCIPaddConflict(), SCIPaddToNlpiProblemSOC(), SCIPaggrRowCancelVarWithBound(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPchgLhsQuadratic(), SCIPchgRhsQuadratic(), SCIPcomputeConvexEnvelopeFacet(), SCIPcopyConss(), SCIPcreateConsIndicator(), SCIPcreateConsLinear(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateNlpiProb(), SCIPcutGenerationHeuristicCMIR(), SCIPevalExprtreeGlobalBounds(), SCIPevalExprtreeLocalBounds(), SCIPgetConcurrentGap(), SCIPgetFeasibilityQuadratic(), SCIPgetFirstLPLowerboundRoot(), SCIPgetRowprepRowCons(), SCIPgetRowprepRowSepa(), SCIPgetVarLbAtIndex(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarUbAtIndex(), SCIPincludeBranchrulePscost(), SCIPincludeConshdlrAbspower(), SCIPincludeConshdlrBivariate(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrQuadratic(), SCIPincludeConshdlrSOC(), SCIPincludeHeurDualval(), SCIPincludeHeurIndicator(), SCIPincludeHeurMpec(), SCIPincludeHeurMultistart(), SCIPincludeHeurProximity(), SCIPincludeHeurSubNlp(), SCIPincludePropNlobbt(), SCIPincludeSepaEccuts(), SCIPmatrixCreate(), SCIPparseReal(), SCIPperformGenericDivingAlgorithm(), SCIPreadOpb(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateCoversOrbisack(), SCIPsolveProbingRelax(), SCIPsyncstoreGetLastLowerbound(), SCIPsyncstoreGetLastUpperbound(), SCIPsyncstoreStartSync(), SCIPupdateNlpiProb(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), sepaImplBoundCutsSOS1(), separateCons(), separateCoverCutsCons(), separateCuts(), separateIndicators(), separatePerspective(), separatePoint(), separateSCIs(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), sepaSubtour(), setupAndSolve(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupProblem(), setupSubScip(), solveComponent(), sortVariables(), splitOffLinearPart(), storeSolution(), tightenVarsBoundsSOS1(), transformColumn(), transformVariable(), tryUpgradingLogicor(), tryUpgradingSetppc(), updateActivities(), updateBestCandidate(), updateBounds(), updateRowActivities(), updateTransformation(), upgradeLinearSuperindicator(), writeFzn(), and writeOpbConstraints().
returns the minimum value that is regarded as huge and should be handled separately (e.g., in activity computation)
scip | SCIP data structure |
Definition at line 47059 of file scip.c.
References SCIPsetGetHugeValue(), and Scip::set.
Referenced by computeRelaxedLowerbound(), computeRelaxedUpperbound(), and resolvePropagation().
checks, if values are in range of epsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 46957 of file scip.c.
References SCIPsetIsEQ(), and Scip::set.
Referenced by addAltLPColumn(), addAltLPConstraint(), addAltLPRow(), addCoefTerm(), addConcaveEstimatorBivariate(), addConcaveEstimatorUnivariate(), addConflictBounds(), addConflictReasonVars(), addIntervalGradientEstimator(), addLinearCoef(), addLinearization(), addLocalBranchingConstraint(), addOneRow(), addQuadVarTerm(), addSplitcons(), addVarbound(), adjustCutoffbound(), aggregateNextRow(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), applyDomainChanges(), applyFixings(), buildMod2Matrix(), calcPscostQuot(), calculateAlternatives(), cancelRow(), catchEvent(), catchVarEvents(), checkCons(), checkConsnames(), checkFixedVariables(), checkIISlocal(), checkSolution(), checkSymmetriesAreSymmetries(), checkSystemGF2(), chgLhs(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), collectCoefficients(), compareNodes(), componentSetupWorkingSol(), computeBilinEnvelope2(), computeCut(), computeImpliedEst(), computeImpliedLct(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeSymmetryGroup(), computeViolation(), consdataCreate(), consdataFree(), consdataPrint(), constructCompression(), correctLocksAndCaptures(), createAndAddLinearCons(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createSubproblem(), createSubscip(), detectDominatingVlbs(), detectDominatingVubs(), detectParallelCols(), determineBoundForSNF(), displayRelevantStats(), dropEvent(), dualBoundStrengthening(), dualPresolve(), extractCapacityRows(), extractCycle(), extractFlowRows(), fillGraphByColoredCoefficients(), findAggregation(), findDominancePairs(), findFixings(), fixAlmostFixedX(), fixAndPropagate(), fixMatchingSolutionValues(), forbidFixation(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generateConvexConcaveUnderestimator(), generateCut(), generateCutNonConvex(), generateEstimatingHyperplane(), generateLinearizationCut(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), getActivities(), getBinVarsRepresentatives(), getGenVBoundsMinActivityConflict(), getLinVarsAndAndRess(), getMultiaggVars(), getRandomVariable(), getReward(), getVariablePscostScore(), impliesVlbPrecedenceCondition(), improvePoint(), isCandidate(), isConvexLocal(), lifting(), 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(), readRanges(), 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(), SCIP_DECL_SORTINDCOMP(), SCIPaddCoefPseudoboolean(), SCIPaddConstantQuadratic(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPchgVarObjProbing(), SCIPcomputeBilinEnvelope2(), SCIPcomputeConvexEnvelopeFacet(), SCIPcreateConsAbspower(), SCIPcreateConsOrbitope(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPmatrixGetParallelCols(), SCIPmatrixGetParallelRows(), SCIPpropagateProbing(), SCIPresolveSolHeurSubNlp(), SCIPvalidateSolve(), SCIPwriteGms(), selectBranchVar(), selectShifting(), separateCuts(), setupAggregationData(), setupAndSolveSubscipRapidlearning(), solveComponent(), solveDerivativeEquation(), strengthenVarbounds(), tightenBounds(), tightenCoefs(), tightenVariables(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), tryUpgradingLogicor(), tryUpgradingXor(), updateBestCandidate(), updateFirstRow(), updateLogRegression(), updateObjUpperbound(), updateVariableRounding(), upgradeConss(), and writeFzn().
checks, if val1 is (more than epsilon) lower than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 46970 of file scip.c.
References SCIPsetIsLT(), and Scip::set.
Referenced by addBilinearTermToCut(), addCoef(), addConflictBounds(), addLinearizationCuts(), addNodesInformation(), analyzeConflictUpperbound(), branch(), buildMod2Matrix(), calcPscostQuot(), checkLeavesBelowIncumbent(), chgLhs(), chgProbingBound(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), compareNodes(), compensateVarLock(), componentSetupWorkingSol(), computeSCTable(), createSubscip(), detectDominatingVlbs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), evaluateLiftingFunction(), execRelpscost(), findBestUb(), findComponents(), findDominancePairs(), fixNonNeighborhoodVariables(), generateCut(), generateCutLTIcomputeCoefs(), generateZerohalfCut(), getAlphaAndBeta(), getPartitionCovervars(), impliesVlbPrecedenceCondition(), mod2matrixPreprocessRows(), performDualfix(), performRandRounding(), performStrongbranchWithPropagation(), polishSolution(), predBndStr(), presolveDual(), prettifyConss(), processBinvarFixings(), propagateBoundsCons(), propagateCons(), propagateCutoffboundVar(), proposeBranchingPoint(), readBounds(), registerBranchingCandidates(), registerBranchingCandidatesGap(), releaseNodeFromDepthInfo(), resolveGenVBoundPropagation(), rowprepCleanupImproveCoefrange(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SORTINDCOMP(), SCIPaddRow(), SCIPapplyProbingVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPmakeSOS1sFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPupdateDistributionScore(), separateCons(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), tightenBounds(), tightenCoefs(), tightenVariables(), tightenVarUb(), transformNonIntegralRow(), updateBestCandidate(), and updateObjUpperbound().
checks, if val1 is not (more than epsilon) greater than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 46983 of file scip.c.
References SCIPsetIsLE(), and Scip::set.
Referenced by addBilinearTermToCut(), addConcaveEstimatorUnivariate(), addConstraint(), addNewLocks(), addSplitcons(), analyzeGenVBoundConflict(), applyProbingVar(), calcNewSidesAfterAggregation(), checkFixedVariables(), checkOrigPbCons(), checkSystemGF2(), chgLhs(), chgProbingBound(), chgRhs(), chooseDoubleVar(), compensateVarLock(), computeInteriorPoint(), consdataPrint(), correctLocksAndCaptures(), createConsFromMonomial(), createConsFromQuadTerm(), cutsRoundMIR(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), detectDominatingVubs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualPresolve(), evaluateGauge(), evaluateLiftingFunction(), filterCands(), filterPoints(), findBestUb(), findFixings(), findUplockAggregations(), fixNonNeighborhoodVariables(), generateConvexConcaveUnderestimator(), generateCutLTIcomputeCoefs(), generateEstimatingHyperplane(), generateSecantCut(), generateSecantCutNoCheck(), getAlphaAndBeta(), getFixingValue(), getGMIFromRow(), getLinVarsAndAndRess(), heurExec(), impliesVlbPrecedenceCondition(), initsepaBoundInequalityFromCardinality(), isOverlapping(), lockRoundingAndCons(), performDualfix(), performStrongbranchWithPropagation(), predBndStr(), presolveDual(), projectVbd(), propagateBounds(), propagateBoundsTightenVarLb(), propagateCons(), proposeBranchingPoint(), 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(), searchEcAggrWithMIP(), selectNextDiving(), separateCuts(), separatePoint(), setupAndSolveSubscipRapidlearning(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveSubNLP(), tryUpgradingSetppc(), unlockRoundingAndCons(), updateBestCandidate(), upgradeConss(), and upgradeLinearSuperindicator().
checks, if val1 is (more than epsilon) greater than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 46996 of file scip.c.
References SCIPsetIsGT(), and Scip::set.
Referenced by addBilinearTermToCut(), addBranchingComplementaritiesSOS1(), addCoef(), addConflictBounds(), addGenVBound(), addLinearizationCuts(), addRelaxation(), aggregateNextRow(), analyzeConflictLowerbound(), applyNlobbt(), applyProbingVar(), calcPscostQuot(), checkPackingPartitioningOrbitopeSolution(), checkVarbound(), chgProbingBound(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), compareNodes(), compensateVarLock(), computeLiftingData(), computeViolation(), computeViolations(), consdataCreate(), createSubscip(), cutsTransformMIR(), cutTightenCoefs(), cutTightenCoefsQuad(), detectDominatingVubs(), determineBestBounds(), determineBoundForSNF(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), enfopsPackingPartitioningOrbitopeSolution(), enforceConstraint(), enforceViolatedFixedNonlinear(), evaluateLiftingFunction(), execRelpscost(), extractCycle(), findBestLb(), fixAlmostFixedX(), fixNonNeighborhoodVariables(), generateCut(), generateCutLTIcomputeCoefs(), generateCutSol(), generateLiftedFlowCoverCut(), generateSparseCut(), generateZerohalfCut(), getAlphaAndBeta(), getObjectiveFactor(), getOptimalShiftingValue(), getVarRank(), impliesVlbPrecedenceCondition(), improvePoint(), performRandRounding(), performStrongbranchWithPropagation(), polishSolution(), presolveDual(), presolveFindDuplicates(), printRangeSection(), printRowType(), processCut(), propagateBounds(), propagateBoundsCons(), propagateCons(), proposeBranchingPoint(), proposeFeasibleSolution(), readBounds(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), releaseNodeFromDepthInfo(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resolveGenVBoundPropagation(), rowprepCleanupImproveCoefrange(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SORTINDCOMP(), SCIPaddBilinearIneqQuadratic(), SCIPaddRow(), SCIPapplyProbingVar(), SCIPcopyConsLinear(), SCIPcutsTightenCoefficients(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPupdateDistributionScore(), separateCons(), separatePerspective(), separatePoint(), separateSymresackCovers(), singletonColumnStuffing(), solveAndEvalSubscip(), storeAggrFromMIP(), tightenBounds(), tightenCoefs(), tightenVariables(), tightenVarLb(), transformNonIntegralRow(), updateBestCandidate(), and writeOpbConstraints().
checks, if val1 is not (more than epsilon) lower than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47009 of file scip.c.
References SCIPsetIsGE(), and Scip::set.
Referenced by addBilinearTermToCut(), addNodesInformation(), addSplitcons(), analyzeGenVBoundConflict(), applyProbingVar(), applyTightening(), checkFixedVariables(), checkSystemGF2(), checkVarbound(), chgProbingBound(), computeCut(), computeInteriorPoint(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), cutsTransformMIR(), cutTightenCoefsQuad(), detectDominatingVlbs(), dualPresolve(), dualPresolving(), evaluateGauge(), execRelpscost(), findBestLb(), findDominancePairs(), findDownlockAggregations(), findFixings(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateConvexConcaveUnderestimator(), generateCutLTIcomputeCoefs(), generateCutNonConvex(), generateEstimatingHyperplane(), generateLiftedFlowCoverCut(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getFixingValue(), getPartitionCovervars(), identifySourcesTargets(), impliesVlbPrecedenceCondition(), isNlobbtApplicable(), isVlb(), isVub(), nodeGetUctScore(), performLPRandRounding(), performLPSimpleRounding(), performStrongbranchWithPropagation(), presolRoundIndicator(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDual(), prettifyConss(), propagateBoundsTightenVarUb(), propagateCons(), propagateCutoffboundGlobally(), proposeBranchingPoint(), 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(), SCIPaddBilinMcCormick(), SCIPaddSquareSecant(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyProbingVar(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcreateConsSOC(), SCIPgetVarStrongbranchWithPropagation(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsolveDiveLP(), SCIPupdateNodeLowerbound(), selectNextDiving(), selectVarMultAggrBranching(), separateCuts(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveProbingLP(), updateBestCandidate(), updateDualBounds(), and upgradeLinearSuperindicator().
checks, if value is (positive) infinite
scip | SCIP data structure |
val | value to be compared against infinity |
Definition at line 47033 of file scip.c.
References 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(), aggregateNextRow(), aggregateVariables(), analyzeGenVBoundConflict(), applyBoundHeur(), applyDomainChanges(), applyFixings(), applyGenVBound(), applyHeur(), applyRepair(), applyTightening(), applyVboundsFixings(), buildMod2Matrix(), calcActivityBounds(), calcBranchScore(), calcColActivity(), calcColActResidual(), calcNewSidesAfterAggregation(), 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(), computeViolation(), consdataCheckNonbinvar(), consdataComputePseudoActivity(), consdataCreate(), consdataFindUnlockedLinearVar(), consdataFree(), consdataGetActivity(), consdataGetActivityResiduals(), consdataGetGlbActivityResiduals(), consdataIsResidualIntegral(), consdataPrint(), consdataRecomputeGlbMinactivity(), consdataRecomputeMaxactivity(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMinactivity(), consdataUpdateLinearActivity(), consdataUpdateLinearActivityLbChange(), consdataUpdateLinearActivityUbChange(), constructSNFRelaxation(), correctLocksAndCaptures(), 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(), 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(), getActivityRelax(), getActivityResiduals(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getBoundConsFromVertices(), getBranchingPrioritiesSOS1(), getClosestVlb(), getClosestVub(), getCopyMemlimit(), getCopyTimelimit(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getGenVBoundsBound(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getGMIFromRow(), getLinearCoeffs(), getLinVarsAndAndRess(), getMaxActivity(), getMaxActivitySingleRowWithoutCol(), getMaxActSingleRowWithoutCol(), getMaxResActivity(), getMinActivity(), getMinActivitySingleRowWithoutCol(), getMinActSingleRowWithoutCol(), getMinColActWithoutRow(), getMinMaxActivityResiduals(), getNumHugeActivities(), getObjectiveFactor(), getOptimalShiftingValue(), getPotential(), getPotentialContributed(), getRelDistance(), getReward(), getTimeLeft(), getVarBoundsOfRow(), getVariableRedcostScore(), getVarUpperBoundOfRow(), handleNewVariableCardinality(), handleNewVariableSOS1(), hasQuadvarHpProperty(), improvePoint(), infCntUpdate(), initMatrix(), initsepaBoundInequalityFromCardinality(), initSepaData(), invertCommodity(), isCandidate(), isConvexLocal(), isNlobbtApplicable(), isPossibleToComputeCut(), isRangedRow(), isUpperBoundImplied(), isVarImpliedFree(), isZero(), lifting(), lockLinearVariable(), lockRounding(), lockRoundingAndCons(), mod2MatrixTransformContRows(), modifyAndPackCut(), nodeGetSolvalBinaryBigMSOS1(), nodeGetUctScore(), nodepairqueueCreate(), numericalStable(), performDualfix(), performStrongbranchWithPropagation(), polishSolution(), predBndStr(), preprocessConstraintPairs(), presolve(), presolveAddKKTLinearCons(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolveFindDuplicatesUpgradeCons(), presolveTryAddLinearReform(), prettifyConss(), printBounds(), printBoundSection(), printDualSol(), printIndicatorCons(), printLinearCons(), printNonlinearCons(), printNonLinearCons(), printPseudobooleanCons(), printQuadraticCons(), printRangeSection(), printRhsSection(), printRowType(), printSignpowerCons(), propagateBounds(), propagateBoundsBilinearTerm(), propagateBoundsCons(), propagateBoundsGetQuadActivity(), propagateBoundsQuadVar(), propagateBoundsTightenVar(), propagateBoundsTightenVarLb(), propagateBoundsTightenVarUb(), propagateCons(), propagateConstraintSides(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLowerboundBinvar(), propagateLowerboundVar(), propagateVarbounds(), propIndicator(), proposeBranchingPoint(), proposeFeasibleSolution(), readBinaries(), readBounds(), readConstraints(), readIndicators(), readRanges(), readRhs(), reformulate(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), relaxVar(), removeFixedLinearVariables(), removeFixedVariables(), removeOldLocks(), removeZeros(), removeZerosQuad(), replaceByLinearConstraints(), replaceQuadVarTermPos(), replaceViolatedByLinearConstraints(), resolvePropagation(), retransformVariable(), rowCalculateGauss(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECEXT(), 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_READERWRITE(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddBilinLinearization(), SCIPaddBilinMcCormick(), SCIPaddBilinTermQuadratic(), SCIPaddCoefLinear(), SCIPaddConstantQuadratic(), SCIPaddLinearVarNonlinear(), SCIPaddLinearVarQuadratic(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddQuadVarQuadratic(), SCIPaddRow(), SCIPaddSquareCoefQuadratic(), SCIPaddSquareLinearization(), SCIPaddSquareSecant(), SCIPaddVarImplication(), SCIPaggrRowAddCustomCons(), SCIPaggrRowAddRow(), SCIPaggrRowCancelVarWithBound(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgBilinCoefQuadratic(), SCIPchgLhsQuadratic(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarLbNode(), SCIPchgVarLbProbing(), SCIPchgVarObj(), SCIPchgVarObjProbing(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPchgVarUbNode(), SCIPchgVarUbProbing(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcopyConsLinear(), SCIPcreateConsAbspower(), SCIPcreateConsBivariate(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsSOC(), SCIPcreateFiniteSolCopy(), SCIPcreateNlpiProb(), SCIPcreateVar(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPgetFeasibilityQuadratic(), SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPmakeIndicatorFeasible(), SCIPprintSolutionStatistics(), SCIPprintStage(), SCIProwCalcProbability(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximatelyLT(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtransformProb(), SCIPvalidateSolve(), SCIPvarCalcDistributionParameters(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), selectBranchVar(), selectShifting(), sepaImplBoundCutsSOS1(), separateCons(), separateCuts(), separatePerspective(), separatePoint(), setSubscipLimits(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipMutation(), setupAndSolveSubscipRapidlearning(), setupSubScip(), singletonColumnStuffing(), solveComponent(), solveIndependentCons(), solveNlp(), solveSubproblem(), solveSubscip(), splitOffLinearPart(), storeAllBilinearTerms(), storeNonlinearConvexNlrows(), termIsConvex(), tightenBounds(), tightenCoefs(), tightenSides(), tightenVariables(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), transformValue(), transformVariable(), tryFixVar(), unlockLinearVariable(), unlockRounding(), unlockRoundingAndCons(), updateActivities(), updateBestCandidate(), updateDualBounds(), updateImplicationGraphSOS1(), updateObjUpperbound(), updateRowActivities(), updateSlacks(), updateTransformation(), updateWeightsTCliquegraph(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varProcessBoundChanges(), wrapperDins(), wrapperRins(), and writeFzn().
checks, if value is huge and should be handled separately (e.g., in activity computation)
scip | SCIP data structure |
val | value to be checked whether it is huge |
Definition at line 47045 of file scip.c.
References SCIPsetIsHugeValue(), and Scip::set.
Referenced by checkCons(), consdataComputePseudoActivity(), consdataGetActivityResiduals(), consdataGetGlbActivityResiduals(), consdataRecomputeMinactivity(), getActivityRelax(), getNumHugeActivities(), improvePoint(), propagateBoundsTightenVarLb(), propagateBoundsTightenVarUb(), selectShifting(), separateCuts(), simplifyInequalities(), solveBilinearLP(), and updateBestCandidate().
checks, if value is in range epsilon of 0.0
scip | SCIP data structure |
val | value to process |
Definition at line 47070 of file scip.c.
References SCIPsetIsZero(), and Scip::set.
Referenced by addAltLPColumn(), addAltLPConstraint(), addBilinearTerm(), addBilinearTermToCut(), addCoefTerm(), addConcaveEstimatorBivariate(), addConflictBounds(), addFacetToCut(), addFlowrowToCommodity(), addGenVBound(), addIntervalGradientEstimator(), addLinearCoef(), addLinearization(), addLinearTermToCut(), addObjcut(), addRow(), addVarbound(), adjustCutoffbound(), applyFixings(), applyRepair(), buildConvexCombination(), buildMod2Matrix(), calcActivityBounds(), calcEfficacyNormQuad(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelRow(), catchObjEvent(), checkFactorable(), checkFixedVariables(), checkSolution(), checkSymmetriesAreSymmetries(), chgLinearCoefPos(), collectMaxactVar(), collectMinactImplicVar(), collectMinactImplicVars(), collectMinactVar(), collectNonBinaryVBoundData(), componentSetupWorkingSol(), computeCut(), consdataCreate(), consdataFree(), correctLocksAndCaptures(), createAndAddAnds(), createAndAddLinearCons(), createConsFromMonomial(), createExprtreeFromMonomial(), createNewSol(), createNlRow(), createObjRow(), createSubscip(), createTcliqueGraph(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), determineBestBounds(), disaggregate(), dropObjEvent(), ecaggrAddBilinTerm(), enforceConflictgraph(), enforceViolatedFixedNonlinear(), evaluateGauge(), fillGlobalStartingData(), filterExistingLP(), fixVariableZero(), generateBoundInequalityFromSOS1Nodes(), generateCloseCutPoint(), generateClusterCuts(), generateCutFactorable(), generateCutFactorableDo(), generateCutLTIcomputeCoefs(), generateCutLTIfindIntersection(), generateCutLTIgenMulCoeff(), generateCutPoint(), generateCutProjectedPoint(), generateCutUnboundedLP(), generateEstimatingHyperplane(), generateRowCardinality(), getActiveVar(), getBinVarsRepresentatives(), getBoundConsFromVertices(), getGenVBound(), getGMIFromRow(), getMaxactImplicObjchg(), getMinactImplicObjchg(), getObjectiveFactor(), getPotential(), getPotentialContributed(), handleNewVariableCardinality(), handleNewVariableSOS1(), hasQuadvarHpProperty(), improvePoint(), lockRounding(), mergeAndCleanBilinearTerms(), mergeAndCleanLinearVars(), mergeAndCleanQuadVarTerms(), mod2MatrixAddOrigRow(), mod2MatrixAddTransRow(), mod2matrixPreprocessColumns(), mod2matrixRemoveRow(), mod2rowAddRow(), modifyAndPackCut(), nodepairqueueCreate(), objimplicsCreate(), optimize(), performDualfix(), performStrongbranchSOS1(), 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(), readOPBFile(), readRhs(), 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(), 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(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), selectShifting(), setupAggregationData(), setupSubproblem(), solCutIsViolated(), solveDerivativeEquation(), solveSubNLP(), storeCutInArrays(), termIsConstant(), tightenCoefs(), tightenVarsBoundsSOS1(), transformColumn(), transformNonIntegralRow(), tryUpgradingXor(), updateBilinearRelaxation(), upgradeConss(), writeFzn(), and writeOpbObjective().
checks, if value is greater than epsilon
scip | SCIP data structure |
val | value to process |
Definition at line 47082 of file scip.c.
References SCIPsetIsPositive(), and Scip::set.
Referenced by addBilinearTermToCut(), addCoefTerm(), addConflictBinvar(), addLinearizationCuts(), applyAlternativeBoundsBranching(), checkCurvature(), checkCurvatureEasy(), checkFactorable(), checkRedundancySide(), chgLhs(), chgRhs(), collectMaxactVar(), createAndAddLinearCons(), createCGCutDirect(), createMIP(), createNlRow(), cutsSubstituteStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), determineBound(), dfs(), dualPresolve(), evaluateGauge(), extractCapacityRows(), extractFlowRows(), findFixings(), fixVariableZero(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateConvexConcaveEstimator(), generateCut(), generateCutProjectedPoint(), generateCutSol(), generateCutUnboundedLP(), generateRowCardinality(), generateSecantCut(), generateSecantCutNoCheck(), generateSparseCut(), getBranchingDecisionStrongbranchSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), initData(), isCandidate(), lockRoundingAndCons(), nodepairqueueCreate(), performDualfix(), predBndStr(), preprocessConstraintPairs(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveCreateOuterApprox(), presolveTryAddLinearReform(), printSignpowerRow(), propagateCons(), propagateLowerboundBinvar(), propIndicator(), proposeFeasibleSolution(), resolveGenVBoundPropagation(), resolvePropagation(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPapplyLockFixings(), SCIPcalcMIR(), SCIPcalcStrongCG(), SCIPchgReoptObjective(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPupdateStartpointHeurSubNlp(), SCIPwritePip(), searchEcAggrWithCliques(), selectInitialVariable(), selectShifting(), separateCuts(), separatePerspective(), separatePoint(), setupAndSolveSubscipRapidlearning(), setUpEvents(), solveAndEvalSubscip(), sortGenVBounds(), storeAllBilinearTerms(), unlockRoundingAndCons(), upgradeLinearSuperindicator(), varMayRoundDown(), and varMayRoundUp().
checks, if value is lower than -epsilon
scip | SCIP data structure |
val | value to process |
Definition at line 47094 of file scip.c.
References SCIPsetIsNegative(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), addConflictBinvar(), adjustCutoffbound(), applyAlternativeBoundsBranching(), calcBranchScore(), checkCurvature(), checkCurvatureEasy(), checkFactorable(), checkLogCriterion(), collectMinactVar(), computeCut(), copySofttimelimit(), createMIP(), createNlRow(), createVarUbs(), cutTightenCoefs(), cutTightenCoefsQuad(), determineBestBounds(), determineBound(), dualPresolve(), dualPresolving(), evaluateGauge(), extractCapacityRows(), extractNodes(), fillGlobalStartingData(), findFixings(), fixVariableZero(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateCut(), generateCutProjectedPoint(), generateCutUnboundedLP(), generateDisjCutSOS1(), generateEstimatingHyperplane(), generateRowCardinality(), isCandidate(), isRangedRow(), nlrowaggrCreate(), nodepairqueueCreate(), objimplicsCreate(), performDualfix(), predBndStr(), preprocessConstraintPairs(), presolveCreateOuterApprox(), presolveRemoveFixedVariables(), presolveTryAddLinearReform(), printSignpowerRow(), propagateCons(), propagateCutoffboundBinvar(), proposeFeasibleSolution(), registerBranchingCandidatesGap(), removeDoubleAndSingletonsAndPerformDualpresolve(), SCIP_DECL_CONSINITLP(), SCIP_DECL_EVENTINIT(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HEUREXEC(), SCIP_DECL_QUADCONSUPGD(), SCIPcalcCumulativeDistribution(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPgenVBoundAdd(), SCIPgetReadingTime(), SCIPvarCalcDistributionParameters(), SCIPwritePip(), searchEcAggrWithCliques(), selectShifting(), separatePerspective(), separatePoint(), setupAndSolveSubscipRapidlearning(), solveAndEvalSubscip(), sortGenVBounds(), storeAllBilinearTerms(), transformColumn(), updateBestCandidate(), upgradeLinearSuperindicator(), varMayRoundDown(), and varMayRoundUp().
checks, if value is integral within epsilon
scip | SCIP data structure |
val | value to process |
Definition at line 47106 of file scip.c.
References SCIPsetIsIntegral(), and Scip::set.
Referenced by addCoefTerm(), aggregateVariables(), applyFixings(), buildFlowCover(), calcBranchScore(), cancelRow(), checkCons(), computeCut(), consdataCheckSuperindicator(), createAndAddLinearCons(), createNlRow(), enfopsPackingPartitioningOrbitopeSolution(), fixAndPropagate(), flattenFloat(), getFlowCover(), isRangedRow(), parseRange(), presolveTryAddLinearReform(), presolveUpgrade(), prettifyConss(), printLinearCons(), printNLRow(), printPBRow(), printRow(), printSignpowerRow(), printValue(), propIndicator(), readCoefficients(), readExpression(), readIndicators(), readOPBFile(), readPolynomial(), reformMonomial(), reformulate(), 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(), SCIPwritePip(), tightenBounds(), tightenCoefs(), tightenSides(), tightenVariables(), updateBestCandidate(), updateVariableRounding(), writeExpandedSolutions(), writeFzn(), and writeOpbObjective().
checks whether the product val * scalar is integral in epsilon scaled by scalar
scip | SCIP data structure |
val | unscaled value to check for scaled integrality |
scalar | value to scale val with for checking for integrality |
Definition at line 47118 of file scip.c.
References SCIPsetIsScalingIntegral(), and Scip::set.
checks, if given fractional part is smaller than epsilon
scip | SCIP data structure |
val | value to process |
Definition at line 47131 of file scip.c.
References SCIPsetIsFracIntegral(), and Scip::set.
rounds value + epsilon down to the next integer
scip | SCIP data structure |
val | value to process |
Definition at line 47143 of file scip.c.
References SCIPsetFloor(), and Scip::set.
Referenced by addOneRow(), branchBalancedCardinality(), calcColorValue(), checkCands(), computeFixingrate(), computeMIREfficacy(), createSubSCIP(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), DECL_CHANGESUBSCIP(), enforceConflictgraph(), enforceConssSOS1(), fixDiscreteVars(), fixVariable(), generateClusterCuts(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), getCoef(), handleCycle(), performDualfix(), polishSolution(), predBndStr(), printSignpowerRow(), proposeFeasibleSolution(), readOPBFile(), readVariables(), restrictToBinaryBounds(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIPaddSquareLinearization(), SCIPaggrRowAddRow(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurSubNlp(), SCIPseparateRelaxedKnapsack(), SCIPwriteGms(), selectNextDiving(), setupSubScip(), tightenVariables(), tightenVarsBoundsSOS1(), tryAdd2variableBuffer(), and updateArcData().
rounds value - epsilon up to the next integer
scip | SCIP data structure |
val | value to process |
Definition at line 47155 of file scip.c.
References SCIPsetCeil(), and Scip::set.
Referenced by addOneRow(), checkCands(), createObjRow(), cutsRoundStrongCG(), cutsSubstituteMIR(), cutsSubstituteStrongCG(), findUncapacitatedArcs(), fixVariable(), generateDisjCutSOS1(), generateLiftedFlowCoverCut(), handleCycle(), performDualfix(), polishSolution(), predBndStr(), proposeFeasibleSolution(), readVariables(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaggrRowAddRow(), SCIPanalyzeDeductionsProbing(), SCIPcreateConsIndicator(), SCIPperformGenericDivingAlgorithm(), SCIPwriteGms(), selectNextDiving(), separateCuts(), separateGLS(), separateHeur(), tightenVariables(), tightenVarsBoundsSOS1(), and updateArcData().
rounds value to the nearest integer with epsilon tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 47167 of file scip.c.
References SCIPsetRound(), and Scip::set.
Referenced by applyFixings(), createNlRow(), cutTightenCoefs(), cutTightenCoefsQuad(), flattenFloat(), mod2(), presolveTryAddLinearReform(), printExpr(), printNLRow(), printPBRow(), printRow(), readExpression(), reformMonomial(), reformulate(), rowprepCleanupIntegralCoefs(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), SCIPcalcStrongCG(), SCIPresolveSolHeurSubNlp(), SCIPwritePip(), solveNLP(), and writeOpbObjective().
returns fractional part of value, i.e. x - floor(x) in epsilon tolerance
scip | SCIP data structure |
val | value to return fractional part for |
Definition at line 47179 of file scip.c.
References SCIPsetFrac(), and Scip::set.
Referenced by changeSubvariableObjective(), computeCut(), createCGCutCMIR(), createCGCutStrongCG(), cutsTransformMIR(), generateClusterCuts(), getGMIFromRow(), and SCIP_DECL_BRANCHEXECLP().
checks, if values are in range of sumepsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47191 of file scip.c.
References SCIPsetIsSumEQ(), and Scip::set.
Referenced by SCIP_DECL_BRANCHEXECLP(), separateSCIs(), transformNonIntegralRow(), and updateBestCandidate().
checks, if val1 is (more than sumepsilon) lower than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47204 of file scip.c.
References SCIPsetIsSumLT(), and Scip::set.
Referenced by proposeFeasibleSolution(), solveComponent(), and transformNonIntegralRow().
checks, if val1 is not (more than sumepsilon) greater than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47217 of file scip.c.
References SCIPsetIsSumLE(), and Scip::set.
Referenced by getAlphaAndBeta().
checks, if val1 is (more than sumepsilon) greater than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47230 of file scip.c.
References SCIPsetIsSumGT(), and Scip::set.
Referenced by constructCompression(), execRelpscost(), SCIP_DECL_BRANCHEXECLP(), transformNonIntegralRow(), and updateBestCandidate().
checks, if val1 is not (more than sumepsilon) lower than val2
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47243 of file scip.c.
References SCIPsetIsSumGE(), and Scip::set.
Referenced by execRelpscost().
checks, if value is in range sumepsilon of 0.0
scip | SCIP data structure |
val | value to process |
Definition at line 47256 of file scip.c.
References SCIPsetIsSumZero(), and Scip::set.
Referenced by computeCut().
checks, if value is greater than sumepsilon
scip | SCIP data structure |
val | value to process |
Definition at line 47268 of file scip.c.
References SCIPsetIsSumPositive(), and Scip::set.
Referenced by calcBranchScore(), computeCut(), and createCGCutCMIR().
checks, if value is lower than -sumepsilon
scip | SCIP data structure |
val | value to process |
Definition at line 47280 of file scip.c.
References SCIPsetIsSumNegative(), and Scip::set.
checks, if relative difference of values is in range of feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47292 of file scip.c.
References SCIPsetIsFeasEQ(), and Scip::set.
Referenced by addFacetToCut(), addLinearTermToCut(), addLocalBranchingConstraint(), applyFixings(), applyNlobbt(), applyRepair(), branchUnbalancedCardinality(), calculateAlternatives(), checkAndConss(), checkCons(), checkConsQuadraticProblem(), checkFixedVariables(), checkRikun(), chooseDoubleVar(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeRanks(), consdataCheckNonbinvar(), consdataCheckSuperindicator(), constructCompression(), createAndAddAndCons(), createCGCutDirect(), createConflict(), createCoveringProblem(), createIndicatorConstraint(), createRows(), createSelectedSortedEventpointsSol(), createSubSCIP(), createSubscip(), CUTOFF_CONSTRAINT(), deleteVarCardinality(), determineBound(), determineFixings(), determineVariableFixings(), doSolveSubMIP(), enforceCardinality(), enforceConstraint(), filterExistingLP(), findPointPosition(), fixAndPropagate(), fixVariables(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generateAverageNBRay(), generateBoundInequalityFromSOS1Nodes(), generateConvexConcaveUnderestimator(), generateCutProjectedPoint(), generateEstimatingHyperplane(), generateNeighborFacets(), generateRowCardinality(), generateZerohalfCut(), getCover(), getNActiveConsScore(), getPartitionNoncovervars(), 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(), separateCons(), separateCuts(), separateIISRounding(), sequentialUpAndDownLifting(), sequentialUpAndDownLiftingGUB(), setAltLPObj(), setObjective(), solveAndEvalSubscip(), solveBilinearLP(), solveDerivativeEquation(), termIsConstant(), transformValue(), updateSlacks(), varIsFixed(), and varProcessBoundChanges().
checks, if relative difference val1 and val2 is lower than feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47305 of file scip.c.
References 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(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximatelyLT(), sepaImplBoundCutsSOS1(), separateIISRounding(), setupAndSolveFiniteSolSubscip(), setupAndSolveSubscipRapidlearning(), tightenCoefs(), tightenVarsBoundsSOS1(), tryFixVar(), updateArcData(), updateImplicationGraphSOS1(), updateViolations(), and upgradeCons().
checks, if relative difference of val1 and val2 is not greater than feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47318 of file scip.c.
References SCIPsetIsFeasLE(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConflictBounds(), applyRepair(), branchruledataUpdateCurrentBounds(), buildFlowCover(), calcShiftVal(), checkBounddisjunction(), checkCons(), 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(), isConsRedundant(), isUpperBoundImplied(), isVarImpliedFree(), 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(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPcutsTightenCoefficients(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPupdateDistributionScore(), separateCuts(), setObjective(), setupAndSolveSubscipRapidlearning(), shiftValues(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), transformVariable(), tryToInsert(), updateBestCandidate(), updateBilinearRelaxation(), updateSlacks(), updateTransformation(), and updateVariableRounding().
checks, if relative difference of val1 and val2 is greater than feastol
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47331 of file scip.c.
References 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(), sepaImplBoundCutsSOS1(), separateCons(), separateSupLiftedMinimalCoverInequality(), sequentialUpAndDownLifting(), setupAndSolveFiniteSolSubscip(), shiftValues(), tightenCoefs(), tightenVarsBoundsSOS1(), tryFixVar(), tryToInsert(), updateArcData(), updateImplicationGraphSOS1(), updateViolations(), and upgradeCons().
checks, if relative difference of val1 and val2 is not lower than -feastol
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47344 of file scip.c.
References SCIPsetIsFeasGE(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConflictBounds(), buildFlowCover(), calcShiftVal(), checkBounddisjunction(), checkCons(), checkRowViolation(), checkViolations(), collectNonBinaryImplicationData(), computeViolation(), constructSNFRelaxation(), determineBound(), dfs(), 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(), SCIPcomputeBilinEnvelope1(), SCIPcomputeBilinEnvelope2(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPsolveKnapsackApproximatelyLT(), SCIPupdateDistributionScore(), separateCuts(), separateSupLiftedMinimalCoverInequality(), setObjective(), shiftValues(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), tryToInsert(), updateBestCandidate(), updateBilinearRelaxation(), updateSlacks(), and varProcessBoundChanges().
checks, if value is in range feasibility tolerance of 0.0
scip | SCIP data structure |
val | value to process |
Definition at line 47357 of file scip.c.
References SCIPsetIsFeasZero(), and Scip::set.
Referenced by addAltLPColumn(), addBranchingComplementaritiesSOS1(), addGenVBound(), addOneRow(), aggregateNextRow(), applyRepair(), branchBalancedCardinality(), branchUnbalancedCardinality(), buildFlowCover(), calculateAlternatives(), checkAndConss(), checkCons(), checkConsQuadraticProblem(), checkIISlocal(), checkLinearConssVarboundSOS1(), checkLPBoundsClean(), checkOrigPbCons(), checkPackingPartitioningOrbitopeSolution(), checkSwitchNonoverlappingSOS1Methods(), computeInteriorPoint(), computeMIREfficacy(), createAndAddAndCons(), createConflict(), createKKTComplementarityBounds(), detectVarboundSOS1(), determineBound(), enforceCardinality(), enforceConflictgraph(), enforceConssSOS1(), enforceCuts(), enforceIndicators(), enforceSOS2(), extendToCover(), fixVariableZeroNode(), generateAverageNBRay(), generateAverageRay(), generateClusterCuts(), generateDisjCutSOS1(), generateRowSOS2(), getBranchingPrioritiesSOS1(), getBranchingVerticesSOS1(), getDiveBdChgsSOS1constraints(), getFlowCover(), getGMIFromRow(), getSimplexCoefficients(), getVectorOfWeights(), initConflictgraph(), initMatrix(), 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_CONSRESPROP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_SEPAEXECLP(), SCIPaddBilinearIneqQuadratic(), SCIPaddVarImplication(), SCIPapplyProximity(), SCIPcalcCumulativeDistribution(), SCIPdummyDebugMethodForSun(), SCIPinitVarBranchStats(), SCIPinitVarValueBranchStats(), SCIPmakeIndicatorFeasible(), SCIPprintSolutionStatistics(), SCIPselectVarStrongBranching(), sepaImplBoundCutsSOS1(), separateCuts(), separateIISRounding(), setObjective(), setupAndSolveSubscip(), setupSubScip(), solveBilinearLP(), tightenVarsBoundsSOS1(), transformVariable(), tryFixVar(), updateImplicationGraphSOS1(), updateSlacks(), updateTransformation(), and updateWeightsTCliquegraph().
checks, if value is greater than feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 47369 of file scip.c.
References SCIPsetIsFeasPositive(), and Scip::set.
Referenced by addBranchingComplementaritiesSOS1(), branchBalancedCardinality(), branchUnbalancedCardinality(), checkCons(), checkConsQuadraticProblem(), computeCut(), consdataCreate(), createCGCutCMIR(), createCGCutStrongCG(), detectVarboundSOS1(), enforceCardinality(), extractCycle(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateClusterCuts(), generateCutFactorable(), generateCutLTI(), generateDisjCutSOS1(), generateLinearizationCutProject(), generateNeighborFacets(), generateSecantCut(), getBoundConsFromVertices(), getCover(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getNActiveConsScore(), 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_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().
checks, if value is lower than -feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 47381 of file scip.c.
References 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(), 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(), sepaImplBoundCutsSOS1(), separateCons(), separateConsBinaryRepresentation(), separateCoverCutsCons(), separateIndicators(), tightenVarsBoundsSOS1(), unlockVariableCardinality(), unlockVariableSOS2(), updateImplicationGraphSOS1(), updateSlacks(), and updateWeightsTCliquegraph().
checks, if value is integral within the LP feasibility bounds
scip | SCIP data structure |
val | value to process |
Definition at line 47393 of file scip.c.
References SCIPsetIsFeasIntegral(), and Scip::set.
Referenced by addGLSCliques(), addLocalBranchingConstraint(), addNextLevelCliques(), 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(), 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(), SCIPcheckSolutionOrbisack(), SCIPconvertRealToInt(), SCIPconvertRealToLongint(), SCIPresolveSolHeurSubNlp(), SCIPselectVarPseudoStrongBranching(), SCIPwriteCliqueGraph(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), separateCuts(), separateGLS(), separateHeur(), solveNLP(), tightenBounds(), tightenCoefs(), tryAdd2variableBuffer(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().
checks, if given fractional part is smaller than feastol
scip | SCIP data structure |
val | value to process |
Definition at line 47405 of file scip.c.
References SCIPsetIsFeasFracIntegral(), and Scip::set.
rounds value + feasibility tolerance down to the next integer
scip | SCIP data structure |
val | value to process |
Definition at line 47417 of file scip.c.
References SCIPsetFeasFloor(), and Scip::set.
Referenced by addOrigRow(), aggregateVariables(), buildMod2Matrix(), calcBranchScore(), calcPscostQuot(), calcShiftVal(), checkRedundancySide(), chooseDoubleVar(), computeCut(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), createAndAddLinearCons(), createNormalizedKnapsack(), createSubscip(), determineBound(), enforceSOS2(), execRelpscost(), generateZerohalfCut(), getOptimalShiftingValue(), getZiValue(), handle1Cycle(), performRandRounding(), performSimpleRounding(), restrictToBinaryBounds(), roundFixingValue(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPapplyProximity(), SCIPgetVarStrongbranchWithPropagation(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPwriteGms(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), tightenBounds(), tightenCoefs(), tightenSides(), transformNonIntegralRow(), and updateTcliquegraph().
rounds value - feasibility tolerance up to the next integer
scip | SCIP data structure |
val | value to process |
Definition at line 47429 of file scip.c.
References SCIPsetFeasCeil(), and Scip::set.
Referenced by addGLSCliques(), addNextLevelCliques(), addOrigRow(), branchruledataEnsureArraySize(), buildMod2Matrix(), calcBranchScore(), checkRedundancySide(), chooseDoubleVar(), computeCut(), computeEstOmegaset(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), createSubscip(), execRelpscost(), getOptimalShiftingValue(), getZiValue(), handle1Cycle(), heurdataEnsureArraySize(), insertSortedRootNeighbors(), performFixing(), performRandRounding(), performSimpleRounding(), resolveGenVBoundPropagation(), restrictToBinaryBounds(), roundFixingValue(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPgetVarStrongbranchWithPropagation(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), tightenBounds(), tightenCoefs(), tightenSides(), and updateObjUpperbound().
rounds value to the nearest integer in feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 47441 of file scip.c.
References SCIPsetFeasRound(), and Scip::set.
Referenced by generateZerohalfCut(), heurExec(), and sampleRandomPoints().
returns fractional part of value, i.e. x - floor(x)
returns fractional part of value, i.e. x - floor(x) in feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 47453 of file scip.c.
References SCIPsetFeasFrac(), and Scip::set.
Referenced by createSubproblem(), getGMIFromRow(), handleCycle(), roundFixingValue(), SCIP_DECL_SEPAEXECLP(), and separateCuts().
checks, if relative difference of values is in range of dual feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47465 of file scip.c.
References SCIPsetIsDualfeasEQ(), and Scip::set.
checks, if relative difference val1 and val2 is lower than dual feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47478 of file scip.c.
References SCIPsetIsDualfeasLT(), and Scip::set.
checks, if relative difference of val1 and val2 is not greater than dual feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47491 of file scip.c.
References SCIPsetIsDualfeasLE(), and Scip::set.
Referenced by propagateLowerboundBinvar().
checks, if relative difference of val1 and val2 is greater than dual feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47504 of file scip.c.
References SCIPsetIsDualfeasGT(), and Scip::set.
checks, if relative difference of val1 and val2 is not lower than -dual feasibility tolerance
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47517 of file scip.c.
References SCIPsetIsDualfeasGE(), and Scip::set.
checks, if value is in range dual feasibility tolerance of 0.0
scip | SCIP data structure |
val | value to process |
Definition at line 47530 of file scip.c.
References SCIPsetIsDualfeasZero(), and Scip::set.
Referenced by countNonZeroRootRedcostVars(), createRows(), fixVariables(), getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), and propdataInit().
checks, if value is greater than dual feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 47542 of file scip.c.
References SCIPsetIsDualfeasPositive(), and Scip::set.
Referenced by getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), and propagateRootRedcostVar().
checks, if value is lower than -dual feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 47554 of file scip.c.
References SCIPsetIsDualfeasNegative(), and Scip::set.
Referenced by getVariableRedcostScore(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), and propagateRootRedcostVar().
checks, if value is integral within the LP dual feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 47566 of file scip.c.
References SCIPsetIsDualfeasIntegral(), and Scip::set.
checks, if given fractional part is smaller than dual feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 47578 of file scip.c.
References SCIPsetIsDualfeasFracIntegral(), and Scip::set.
rounds value + dual feasibility tolerance down to the next integer
scip | SCIP data structure |
val | value to process |
Definition at line 47590 of file scip.c.
References SCIPsetDualfeasFloor(), and Scip::set.
rounds value - dual feasibility tolerance up to the next integer
scip | SCIP data structure |
val | value to process |
Definition at line 47602 of file scip.c.
References SCIPsetDualfeasCeil(), and Scip::set.
rounds value to the nearest integer in dual feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 47614 of file scip.c.
References SCIPsetDualfeasRound(), and Scip::set.
returns fractional part of value, i.e. x - floor(x) in dual feasibility tolerance
scip | SCIP data structure |
val | value to process |
Definition at line 47626 of file scip.c.
References SCIPsetDualfeasFrac(), and Scip::set.
checks, if the given new lower bound is tighter (w.r.t. bound strengthening epsilon) than the old one
checks, if the given new lower bound is at least min(oldub - oldlb, |oldlb|) times the bound strengthening epsilon better than the old one
scip | SCIP data structure |
newlb | new lower bound |
oldlb | old lower bound |
oldub | old upper bound |
Definition at line 47640 of file scip.c.
References SCIPsetIsLbBetter(), and Scip::set.
Referenced by performFixing(), propagateCons(), and SCIPanalyzeDeductionsProbing().
checks, if the given new upper bound is tighter (w.r.t. bound strengthening epsilon) than the old one
checks, if the given new upper bound is at least min(oldub - oldlb, |oldub|) times the bound strengthening epsilon better than the old one
scip | SCIP data structure |
newub | new upper bound |
oldlb | old lower bound |
oldub | old upper bound |
Definition at line 47655 of file scip.c.
References SCIPsetIsUbBetter(), and Scip::set.
Referenced by performFixing(), propagateCons(), and SCIPanalyzeDeductionsProbing().
checks, if relative difference of values is in range of epsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47668 of file scip.c.
References SCIPsetIsRelEQ(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), checkFactorable(), fixAlmostFixedX(), generateCutLTI(), generateCutLTIfindIntersection(), generateSecantCut(), generateSecantCutNoCheck(), presolveUpgrade(), propagateCons(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSINITLP(), SCIPaddBilinMcCormick(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPcomputeHyperplaneThreePoints(), SCIPisLinearLocalQuadratic(), and solveDerivativeEquation().
checks, if relative difference of val1 and val2 is lower than epsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47681 of file scip.c.
References SCIPsetIsRelLT(), and Scip::set.
Referenced by updateBilinearRelaxation().
checks, if relative difference of val1 and val2 is not greater than epsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47694 of file scip.c.
References SCIPsetIsRelLE(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), addLinearConstraints(), and generateCutNonConvex().
checks, if relative difference of val1 and val2 is greater than epsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47707 of file scip.c.
References SCIPsetIsRelGT(), and Scip::set.
Referenced by SCIPupdateStartpointHeurSubNlp(), and updateBilinearRelaxation().
checks, if relative difference of val1 and val2 is not lower than -epsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47720 of file scip.c.
References SCIPsetIsRelGE(), and Scip::set.
Referenced by generateCutNonConvex().
checks, if relative difference of values is in range of sumepsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47733 of file scip.c.
References SCIPsetIsSumRelEQ(), and Scip::set.
checks, if relative difference of val1 and val2 is lower than sumepsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47746 of file scip.c.
References SCIPsetIsSumRelLT(), and Scip::set.
checks, if relative difference of val1 and val2 is not greater than sumepsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47759 of file scip.c.
References SCIPsetIsSumRelLE(), and Scip::set.
checks, if relative difference of val1 and val2 is greater than sumepsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47772 of file scip.c.
References SCIPsetIsSumRelGT(), and Scip::set.
checks, if relative difference of val1 and val2 is not lower than -sumepsilon
scip | SCIP data structure |
val1 | first value to be compared |
val2 | second value to be compared |
Definition at line 47785 of file scip.c.
References SCIPsetIsSumRelGE(), and Scip::set.
converts the given real number representing an integer to an int; in optimized mode the function gets inlined for performance; in debug mode we check some additional conditions
scip | SCIP data structure |
real | double bound to convert |
Definition at line 47800 of file scip.c.
References SCIP_Real, SCIPisFeasEQ(), and SCIPisFeasIntegral().
Referenced by adjustOversizedJobBounds(), analyzeEnergyRequirement(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), checkCons(), checkCumulativeCondition(), checkOverloadViaThetaTree(), collectBinaryVars(), collectBranchingCands(), collectDataTTEF(), collectDemands(), collectIntVars(), computeAlternativeBounds(), computeImpliedEst(), computeImpliedLct(), computeMinDistance(), consCheckRedundancy(), consdataCreateBinvars(), constraintNonOverlappingGraph(), coretimesUpdateLb(), coretimesUpdateUb(), createCoreProfile(), createCoverCuts(), createCoverCutsTimepoint(), createSelectedSortedEventpointsSol(), createSortedEventpoints(), createSortedEventpointsSol(), getActiveVar(), getHighestCapacityUsage(), presolveConsEffectiveHorizon(), presolveConsEst(), presolveConsLct(), processIntegerBoundChg(), propagateLbTTEF(), propagateTimetable(), propagateTTEF(), propagateUbTTEF(), removeIrrelevantJobs(), resolvePropagationCoretimes(), respropCumulativeCondition(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSRESPROP(), SCIPcreateWorstCaseProfile(), strengthenVarbounds(), tightenCoefs(), tightenLbTTEF(), and tightenUbTTEF().
SCIP_Longint SCIPconvertRealToLongint | ( | SCIP * | scip, |
SCIP_Real | real | ||
) |
converts the given real number representing an integer to a long integer; in optimized mode the function gets inlined for performance; in debug mode we check some additional conditions
scip | SCIP data structure |
real | double bound to convert |
Definition at line 47816 of file scip.c.
References SCIP_Longint, SCIP_LONGINT_MAX, SCIP_LONGINT_MIN, SCIP_Real, SCIPisFeasEQ(), and SCIPisFeasIntegral().
Referenced by collectSolution(), and printValue().
Checks, if an iteratively updated value is reliable or should be recomputed from scratch. This is useful, if the value, e.g., the activity of a linear constraint or the pseudo objective value, gets a high absolute value during the optimization process which is later reduced significantly. In this case, the last digits were canceled out when increasing the value and are random after decreasing it. We do not consider the cancellations which can occur during increasing the absolute value because they just cannot be expressed using fixed precision floating point arithmetic, anymore. In order to get more reliable values, the idea is to always store the last reliable value, where increasing the absolute of the value is viewed as preserving reliability. Then, after each update, the new absolute value can be compared against the last reliable one with this method, checking whether it was decreased by a factor of at least "lp/recompfac" and should be recomputed.
scip | SCIP data structure |
newvalue | new value after update |
oldvalue | old value, i.e., last reliable value |
Definition at line 47840 of file scip.c.
References checkStage(), FALSE, SCIP_CALL_ABORT, SCIPsetIsUpdateUnreliable(), Scip::set, and TRUE.
outputs a real number, or "+infinity", or "-infinity" to a file
scip | SCIP data structure |
file | output file (or NULL for standard output) |
val | value to print |
width | width of the field |
precision | number of significant digits printed |
Definition at line 46650 of file scip.c.
References Scip::messagehdlr, SCIP_MAXSTRLEN, SCIPmessageFPrintInfo(), SCIPsetIsInfinity(), SCIPsnprintf(), and Scip::set.
Referenced by SCIPprintMIPStart(), SCIPprintSol(), and SCIPprintTransSol().
parse a real value that was written with SCIPprintReal()
scip | SCIP data structure |
str | string to search |
value | pointer to store the parsed value |
endptr | pointer to store the final string position if successfully parsed, otherwise str |
Definition at line 46677 of file scip.c.
References SCIPinfinity(), SCIPstrToRealValue(), and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPprocessShellArguments().