SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
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 45246 of file scip.c.
References NULL, SCIPsetEpsilon(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addCut(), addIntervalGradientEstimator(), addLinearization(), addUserEstimator(), checkRedundancySide(), computeFixingOrder(), createCGCutCMIR(), createCGCutStrongCG(), enforceConstraint(), evaluateCutNumerics(), generateCut(), generateDisjCutSOS1(), prettifyConss(), propagateBounds(), propagateBoundsCons(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPanalyzeDeductionsProbing(), SCIPcreateFiniteSolCopy(), SCIPgetConcurrentGap(), SCIPseparateRelaxedKnapsack(), separatePoint(), and solveSubNLP().
returns value treated as zero for sums of floating point values
| scip | SCIP data structure |
Definition at line 45260 of file scip.c.
References NULL, SCIPsetSumepsilon(), and Scip::set.
Referenced by addCut(), applyVbounds(), chooseVeclenVar(), createCGCutCMIR(), createCGCutStrongCG(), createSubproblem(), evaluateCutNumerics(), generateDisjCutSOS1(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getVectorOfWeights(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPapplyHeurSubNlp(), SCIPapplyRens(), SCIPapplyZeroobj(), SCIPincludeHeurMutation(), setupSubScip(), solveCoveringProblem(), and solveSubMIP().
returns feasibility tolerance for constraints
| scip | SCIP data structure |
Definition at line 45274 of file scip.c.
References NULL, SCIPsetFeastol(), and Scip::set.
Referenced by addConcaveEstimatorMultivariate(), addLinearization(), adjustCutoffbound(), analyzeConflict(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), analyzeGenVBoundConflict(), applyNlobbt(), calcScore(), checkCons(), computeInteriorPoint(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeViolation(), computeViolations(), displayRelevantStats(), enforceConflictgraph(), enforceConstraint(), enforceViolatedFixedNonlinear(), generateCut(), getBranchingDecisionStrongbranchSOS1(), getNLPFracVars(), performStrongbranchSOS1(), presolveTryAddLinearReform(), prettifyConss(), 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(), SCIPapplyZeroobj(), SCIPincludeConshdlrBivariate(), SCIPsolveKnapsackApproximatelyLT(), separateCuts(), separatePoint(), sepaSubtour(), and solveSubNLP().
returns primal feasibility tolerance of LP solver
| scip | SCIP data structure |
Definition at line 45288 of file scip.c.
References NULL, SCIPsetLpfeastol(), and Scip::set.
returns feasibility tolerance for reduced costs
| scip | SCIP data structure |
Definition at line 45302 of file scip.c.
References NULL, SCIPsetDualfeastol(), and Scip::set.
returns convergence tolerance used in barrier algorithm
| scip | SCIP data structure |
Definition at line 45316 of file scip.c.
References NULL, SCIPsetBarrierconvtol(), and Scip::set.
return the cutoff bound delta
| scip | SCIP data structure |
Definition at line 45330 of file scip.c.
References NULL, SCIPsetCutoffbounddelta(), and Scip::set.
Referenced by updateObjUpperbound().
| 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 45345 of file scip.c.
References NULL, SCIP_CALL, SCIP_OKAY, SCIPsetSetFeastol(), and Scip::set.
Referenced by displayRelevantStats(), and SCIP_DECL_DIALOGEXEC().
| 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 45363 of file scip.c.
References FALSE, Scip::lp, SCIP_Lp::lpsolstat, NULL, 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 45389 of file scip.c.
References FALSE, Scip::lp, SCIP_Lp::lpsolstat, NULL, SCIP_CALL, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_OKAY, SCIPsetDualfeastol(), SCIPsetSetDualfeastol(), Scip::set, and SCIP_Lp::solved.
Referenced by calcGrowSize().
| 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 45414 of file scip.c.
References FALSE, SCIP_Lp::lastlpalgo, Scip::lp, NULL, SCIP_CALL, SCIP_LPALGO_BARRIER, SCIP_LPALGO_BARRIERCROSSOVER, SCIP_OKAY, SCIPsetBarrierconvtol(), SCIPsetSetBarrierconvtol(), Scip::set, and SCIP_Lp::solved.
Referenced by calcGrowSize().
| void SCIPmarkLimitChanged | ( | SCIP * | scip | ) |
marks that some limit parameter was changed
| scip | SCIP data structure |
Definition at line 45433 of file scip.c.
References NULL, SCIPsetSetLimitChanged(), and Scip::set.
Referenced by calcGrowSize().
returns value treated as infinity
| scip | SCIP data structure |
Definition at line 45816 of file scip.c.
References NULL, SCIPsetInfinity(), and Scip::set.
Referenced by addAltLPConstraint(), addBranchingComplementaritiesSOS1(), addBranchingDecisionConss(), addCut(), addExtendedAsymmetricFormulation(), addIntervalGradientEstimator(), addKnapsackConstraints(), addLinearizationCuts(), addLogicOrConstraints(), addRelaxation(), addRow(), addSetppcConstraints(), addUserEstimator(), applyCompletesol(), applyFixings(), applyHeur(), applyOfins(), calcActivityBounds(), calcColActivity(), calcColActResidual(), calcNewSidesAfterAggregation(), calculateBounds(), calcVarBoundsDominated(), calcVarBoundsDominating(), checkCurvature(), checkFixedVariables(), chgLhs(), chgRhs(), chooseFracVar(), chooseGuidedVar(), computeBoundsX(), computeBoundsZ(), computeCut(), computeFixingOrder(), computeInteriorPoint(), computeVarsCoverSOS1(), computeViolation(), consdataCheckNonbinvar(), consdataComputePseudoActivity(), consdataCreate(), consdataCreateEmpty(), consdataGetActivity(), consdataRecomputeMaxActivityDelta(), constructCompression(), constructSNFRelaxation(), CREATE_CONSTRAINT(), createAndAddLinearCons(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createConstraints(), createCoverCutsTimepoint(), createCoveringProblem(), createDepthinfo(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createNAryBranch(), createNlRow(), createObjRow(), createPrecedenceCons(), createRelaxation(), createRow(), createSubproblem(), createSubSCIP(), createSubscip(), createVarUbs(), createZerohalfCutFromZerohalfWeightvector(), disaggregate(), displayRelevantStats(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), enforceCardinality(), enforceConflictgraph(), enforceViolatedFixedNonlinear(), evalLhs(), execRelpscost(), extendToCover(), extractLinearValues(), findDominancePairs(), fixVariable(), forbidCover(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateBoundInequalityFromSOS1Nodes(), generateConvexConcaveEstimator(), generateConvexConcaveUnderestimator(), generateCut(), generateCutConvex(), generateCutFactorable(), generateCutLTI(), generateCutNonConvex(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateCutUnboundedLP(), generateDisjCutSOS1(), generateLinearizationCut(), generateOddCycleCut(), generateOverestimatingHyperplaneCut(), generateRowCardinality(), generateRowSOS2(), generateSecantCut(), generateSecantCutNoCheck(), getActivities(), getActivityResiduals(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBoundConsFromVertices(), getBranchingDecisionStrongbranchSOS1(), getBranchingPrioritiesSOS1(), getClosestLb(), getClosestUb(), getClosestVlb(), getClosestVub(), getCurrentRegressionTangentAxisIntercept(), getDualbound(), getGenVBoundsBound(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getLinearConsSides(), getLowerbound(), getMaxActivity(), getMinActivity(), getMinFeas(), getMinMaxActivityResiduals(), getObjectiveFactor(), getOptimalShiftingValue(), getPotentialContributed(), getUpperbound(), getVarBoundsOfRow(), getVariable(), getVarUpperBoundOfRow(), initComponent(), initConshdlrData(), initMatrix(), isUpperBoundImplied(), isValue(), isVarImpliedFree(), LOPseparate(), maximalslack(), 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(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPapplyRens(), SCIPapplyZeroobj(), SCIPchgLhsQuadratic(), SCIPchgRhsQuadratic(), SCIPcomputeConvexEnvelopeFacet(), SCIPcopyConss(), SCIPcreateConsIndicator(), SCIPcreateConsLinear(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateFiniteSolCopy(), SCIPcreateNlpiProb(), SCIPevalExprtreeGlobalBounds(), SCIPevalExprtreeLocalBounds(), SCIPgetConcurrentGap(), SCIPgetFeasibilityQuadratic(), SCIPgetFirstLPLowerboundRoot(), SCIPgetVarLbAtIndex(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarUbAtIndex(), SCIPincludeBranchrulePscost(), SCIPincludeConshdlrAbspower(), SCIPincludeConshdlrBivariate(), SCIPincludeConshdlrNonlinear(), SCIPincludeConshdlrQuadratic(), SCIPincludeConshdlrSOC(), SCIPincludeHeurDualval(), SCIPincludeHeurMultistart(), SCIPincludeHeurProximity(), SCIPincludeHeurSubNlp(), SCIPincludePropNlobbt(), SCIPincludeSepaEccuts(), SCIPmatrixCreate(), SCIPparseReal(), SCIPperformGenericDivingAlgorithm(), SCIPreadOpb(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPsolveProbingRelax(), SCIPsyncstoreGetLastLowerbound(), SCIPsyncstoreGetLastUpperbound(), SCIPsyncstoreStartSync(), SCIPupdateNlpiProb(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), sepaImplBoundCutsSOS1(), separateCons(), separateCoverCutsCons(), separateCuts(), separateIndicators(), separatePerspective(), separateSCIs(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), sepaSubtour(), setupProblem(), solveComponent(), sortVariables(), 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 45853 of file scip.c.
References NULL, SCIPsetGetHugeValue(), and Scip::set.
Referenced by 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 45751 of file scip.c.
References NULL, SCIPsetIsEQ(), and Scip::set.
Referenced by addAltLPColumn(), addAltLPConstraint(), addAltLPRow(), addCoefTerm(), addConcaveEstimatorBivariate(), addConcaveEstimatorUnivariate(), addConflictBounds(), addConflictReasonVars(), addIntervalGradientEstimator(), addLinearCoef(), addLinearization(), addQuadVarTerm(), addSplitcons(), addVarbound(), adjustCutoffbound(), aggregation(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), applyDomainChanges(), applyFixings(), calcPscostQuot(), calculateAlternatives(), catchEvent(), catchVarEvents(), checkCons(), checkConsnames(), checkFixedVariables(), checkIISlocal(), checkSolution(), checkSystemGF2(), chgLhs(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), compareNodes(), componentSetupWorkingSol(), computeCut(), computeImpliedEst(), computeImpliedLct(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), computeViolation(), consdataCreate(), consdataFree(), consdataPrint(), constructCompression(), constructSNFRelaxation(), correctLocksAndCaptures(), createAndAddLinearCons(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createSubproblem(), createSubscip(), cutGenerationHeuristic(), detectDominatingVlbs(), detectDominatingVubs(), detectParallelCols(), displayRelevantStats(), dropEvent(), dualBoundStrengthening(), dualPresolve(), extractCapacityRows(), extractCycle(), extractFlowRows(), findAggregation(), findDominancePairs(), findFixings(), fixAndPropagate(), forbidFixation(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generateConvexConcaveUnderestimator(), generateCut(), generateEstimatingHyperplane(), generateLinearizationCut(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), getActivities(), getBinVarsRepresentatives(), getGenVBoundsMinActivityConflict(), getLinVarsAndAndRess(), getMultiaggVars(), getRandomVariable(), handle1Cycle(), handleCycle(), 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(), propagateRedcostVar(), propagateVbounds(), propIndicator(), readConstraints(), readRanges(), reformMonomial(), registerBranchingCandidatesCentrality(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), removeFixedVariables(), replaceQuadVarTermPos(), resolveGenVBoundPropagation(), resolvePropagation(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECEXT(), 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_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPaddConstantQuadratic(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPchgVarObjProbing(), SCIPcomputeConvexEnvelopeFacet(), SCIPcreateConsAbspower(), SCIPcreateConsOrbitope(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCmir(), SCIPmatrixGetParallelCols(), SCIPmatrixGetParallelRows(), SCIPpropagateProbing(), SCIPresolveSolHeurSubNlp(), SCIPwriteGms(), selectBranchVar(), selectShifting(), solveComponent(), solveDerivativeEquation(), strengthenVarbounds(), tightenBounds(), tightenCoefs(), tightenVariables(), tightenVarsBoundsSOS1(), transformColumn(), tryDelta(), tryUpgradingLogicor(), tryUpgradingXor(), updateBestCandidate(), updateFirstRow(), updateLogRegression(), updateObjUpperbound(), 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 45764 of file scip.c.
References NULL, SCIPsetIsLT(), and Scip::set.
Referenced by addBilinearTermToCut(), addConflictBounds(), addEdgeToAuxGraph(), addLinearizationCuts(), addNodesInformation(), analyzeConflictUpperbound(), branch(), calcPscostQuot(), checkLeavesBelowIncumbent(), chgLhs(), chgProbingBound(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), compareNodes(), compensateVarLock(), componentSetupWorkingSol(), computeSCTable(), constructSNFRelaxation(), createSubscip(), detectDominatingVlbs(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), execRelpscost(), findComponents(), findDominancePairs(), fixNonNeighborhoodVariables(), generateCut(), generateCutLTIcomputeCoefs(), getClosestUb(), getClosestVub(), getPartitionCovervars(), impliesVlbPrecedenceCondition(), performDualfix(), performRandRounding(), performStrongbranchWithPropagation(), polishSolution(), predBndStr(), preprocessRows(), presolveDual(), prettifyConss(), processBinvarFixings(), propagateCons(), propagateCutoffboundVar(), proposeBranchingPoint(), readBounds(), registerBranchingCandidates(), registerBranchingCandidatesGap(), releaseNodeFromDepthInfo(), resolveGenVBoundPropagation(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_NODESELCOMP(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIPaddCut(), SCIPapplyProbingVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPmakeSOS1sFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPupdateDistributionScore(), separateCons(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), tightenBounds(), tightenVariables(), tightenVarUb(), updateBestCandidate(), updateNActiveConts(), 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 45777 of file scip.c.
References NULL, SCIPsetIsLE(), and Scip::set.
Referenced by addBilinearTermToCut(), addConcaveEstimatorUnivariate(), addConstraint(), addNewLocks(), addSplitcons(), analyzeGenVBoundConflict(), applyProbingVar(), calcNewSidesAfterAggregation(), checkFixedVariables(), checkOrigPbCons(), checkSystemGF2(), chgLhs(), chgProbingBound(), chgRhs(), chooseDoubleVar(), compensateVarLock(), computeInteriorPoint(), consdataPrint(), constructSNFRelaxation(), correctLocksAndCaptures(), createConsFromMonomial(), createConsFromQuadTerm(), detectDominatingVubs(), determineVariableFixings(), dualPresolve(), evaluateGauge(), filterCands(), filterPoints(), findFixings(), findUplockAggregations(), fixNonNeighborhoodVariables(), generateConvexConcaveUnderestimator(), generateCutLTIcomputeCoefs(), generateEstimatingHyperplane(), generateSecantCut(), generateSecantCutNoCheck(), getBounddist(), getFixingValue(), getGMIFromRow(), getLinVarsAndAndRess(), impliesVlbPrecedenceCondition(), initsepaBoundInequalityFromCardinality(), lockRoundingAndCons(), performDualfix(), performStrongbranchWithPropagation(), predBndStr(), preprocessTrivialZerohalfCuts(), presolveDual(), printSolutionStatistics(), projectVbd(), propagateBoundsTightenVarLb(), propagateLowerboundBinvar(), 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(), SCIPcreateConsSOC(), SCIPseparateRelaxedKnapsack(), searchEcAggrWithMIP(), selectNextDiving(), separateByAuxGraph(), separateByEnumerationHeuristics(), separateByGaussHeuristics(), separateCuts(), separatePoint(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveSubNLP(), tightenCoefs(), 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 45790 of file scip.c.
References NULL, SCIPsetIsGT(), and Scip::set.
Referenced by addBilinearTermToCut(), addBranchingComplementaritiesSOS1(), addConflictBounds(), addGenVBound(), addLinearizationCuts(), addRelaxation(), aggregation(), analyzeConflictLowerbound(), applyNlobbt(), applyProbingVar(), calcPscostQuot(), checkVarbound(), chgProbingBound(), chgRhs(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), compareNodes(), compensateVarLock(), computeViolation(), computeViolations(), consdataCreate(), constructSNFRelaxation(), createSubscip(), detectDominatingVubs(), determineVariableFixings(), dualBoundStrengthening(), dualPresolve(), enforceConstraint(), enforceViolatedFixedNonlinear(), execRelpscost(), extractCycle(), fixNonNeighborhoodVariables(), generateCut(), generateCutLTIcomputeCoefs(), generateCutSol(), generateSparseCut(), getClosestLb(), getClosestVlb(), getL1L2(), getObjectiveFactor(), getVarRank(), impliesVlbPrecedenceCondition(), improvePoint(), performRandRounding(), performStrongbranchWithPropagation(), polishSolution(), preprocessColumns(), preprocessRows(), presolveDual(), presolveFindDuplicates(), printRangeSection(), printRowType(), processCut(), propagateCons(), proposeBranchingPoint(), proposeFeasibleSolution(), readBounds(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), releaseNodeFromDepthInfo(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resolveGenVBoundPropagation(), SCIP_DECL_BRANCHEXECLP(), 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(), SCIPaddCut(), SCIPapplyProbingVar(), SCIPcopyConsLinear(), SCIPheurPassSolAddSol(), SCIPheurPassSolTrySol(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPupdateDistributionScore(), separateByEnumerationHeuristics(), separateByGaussHeuristics(), separateCons(), separatePerspective(), separatePoint(), singletonColumnStuffing(), solveAndEvalSubscip(), storeAggrFromMIP(), tightenBounds(), tightenVariables(), tightenVarLb(), 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 45803 of file scip.c.
References NULL, SCIPsetIsGE(), and Scip::set.
Referenced by addBilinearTermToCut(), addNodesInformation(), addSplitcons(), analyzeGenVBoundConflict(), applyProbingVar(), applyTightening(), checkFixedVariables(), checkSystemGF2(), checkVarbound(), chgProbingBound(), computeCut(), computeInteriorPoint(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), detectDominatingVlbs(), dualPresolve(), dualPresolving(), evaluateGauge(), execRelpscost(), findDominancePairs(), findDownlockAggregations(), findFixings(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateConvexConcaveUnderestimator(), generateCutLTIcomputeCoefs(), generateEstimatingHyperplane(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getBounddist(), getFixingValue(), getL1L2(), getPartitionCovervars(), identifySourcesTargets(), impliesVlbPrecedenceCondition(), isNlobbtApplicable(), isVlb(), isVub(), nodeGetUctScore(), performLPRandRounding(), performLPSimpleRounding(), performStrongbranchWithPropagation(), presolRoundIndicator(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDual(), prettifyConss(), propagateBoundsTightenVarUb(), propagateCutoffboundGlobally(), proposeBranchingPoint(), reformulate(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), resolveGenVBoundPropagation(), sampleRandomPoints(), 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(), SCIPcreateConsSOC(), SCIPgetVarStrongbranchWithPropagation(), SCIPperformGenericDivingAlgorithm(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsolveDiveLP(), SCIPupdateNodeLowerbound(), selectNextDiving(), selectVarMultAggrBranching(), separateCuts(), singletonColumnStuffing(), solveAndEvalSubscip(), solveComponent(), solveProbingLP(), tightenCoefs(), updateBestCandidate(), updateDualBounds(), and upgradeLinearSuperindicator().
checks, if value is (positive) infinite
| scip | SCIP data structure |
| val | value to be compared against infinity |
Definition at line 45827 of file scip.c.
References NULL, SCIPsetIsInfinity(), and Scip::set.
Referenced by addAltLPColumn(), addAltLPConstraint(), addAltLPRow(), addBilinearTermToCut(), addBranchingComplementaritiesSOS1(), addCoef(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConstraint(), addFacetToCut(), addGenVBound(), addIntervalGradientEstimator(), addLinearization(), addLinearizationCuts(), addLinearTermToCut(), addNewLocks(), addObjcut(), addRow(), addUserEstimator(), addVarbound(), aggregateVariables(), aggregation(), analyzeGenVBoundConflict(), applyBoundHeur(), applyDomainChanges(), applyFixings(), applyGenVBound(), applyHeur(), applyRepair(), applyTightening(), applyVbounds(), applyVboundsFixings(), calcActivityBounds(), calcBranchScore(), calcColActivity(), calcColActResidual(), calcNewSidesAfterAggregation(), calcShiftVal(), calculateAlternatives(), calculateBounds(), calculateMinvalAndMaxval(), calcVarBoundsDominated(), calcVarBoundsDominating(), catchLinearVarEvents(), catchVarEvents(), checkArraySizesGLS(), checkArraySizesHeur(), checkCons(), checkConsQuadraticProblem(), checkCurvature(), checkFixedVariables(), checkLogCriterion(), checkOptimalSolution(), checkOrigPbCons(), checkRedundancySide(), chgLhs(), chgRhs(), choosePscostVar(), compareNodes(), compensateVarLock(), computeBoundsX(), computeBoundsZ(), computeCut(), computeED(), computeGauge(), computeInteriorPoint(), 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(), createNormalizedKnapsack(), createRows(), createSubproblem(), createSubscip(), cutGenerationHeuristic(), determineBound(), determineLimits(), determineVariableFixings(), displayRelevantStats(), dropLinearVarEvents(), dropVarEvents(), dualBoundStrengthening(), dualPresolve(), enforceConstraint(), enforceViolatedFixedNonlinear(), evalLhs(), evaluateCutNumerics(), evaluateGauge(), extractCapacityRows(), extractFlowRows(), extractLinearValues(), filterCands(), filterExistingLP(), findAndStoreEcAggregations(), findDownlockAggregations(), findFixings(), findPointPosition(), findUplockAggregations(), fixNonNeighborhoodVariables(), fixVariable(), fixVariables(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateAverageNBRay(), generateAverageRay(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateConvexConcaveEstimator(), generateConvexConcaveUnderestimator(), generateCut(), generateCutFactorable(), generateCutFactorableDo(), generateCutLTI(), generateCutLTIcomputeCoefs(), generateCutLTIfindIntersection(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateDisjCutSOS1(), generateEstimatingHyperplane(), generateLinearizationCut(), generateLinearizationCutProject(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateOverestimatingHyperplaneCut(), generateRowCardinality(), generateRowSOS2(), generateSecantCut(), generateSecantCutNoCheck(), generateSparseCut(), generateUnderestimatorParallelYFacets(), getActivities(), getActivityRelax(), getActivityResiduals(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getBoundConsFromVertices(), getBoundsForSubstitution(), getBranchingPrioritiesSOS1(), getClosestVlb(), getClosestVub(), getCopyMemlimit(), getCopyTimelimit(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getGenVBoundsBound(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getGMIFromRow(), getGradientMaxElement(), getGradientNorm(), getLinearCoeffs(), getLinVarsAndAndRess(), getMaxActivity(), getMaxActivitySingleRowWithoutCol(), getMaxActSingleRowWithoutCol(), getMaxResActivity(), getMinActivity(), getMinActivitySingleRowWithoutCol(), getMinActSingleRowWithoutCol(), getMinColActWithoutRow(), getMinMaxActivityResiduals(), getNumHugeActivities(), getObjectiveFactor(), getOptimalShiftingValue(), getPotential(), getPotentialContributed(), getRelDistance(), getVarBoundsOfRow(), getVarUpperBoundOfRow(), handleNewVariableCardinality(), handleNewVariableSOS1(), hasQuadvarHpProperty(), improvePoint(), infCntUpdate(), initMatrix(), initsepaBoundInequalityFromCardinality(), initSepaData(), invertCommodity(), isCandidate(), isConvexLocal(), isNlobbtApplicable(), isPossibleToComputeCut(), isUpperBoundImplied(), isVarImpliedFree(), isZero(), lifting(), lockLinearVariable(), lockRounding(), lockRoundingAndCons(), 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(), printSolutionStatistics(), 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(), replaceByLinearConstraints(), replaceQuadVarTermPos(), replaceViolatedByLinearConstraints(), resolvePropagation(), retransformVariable(), rowCalculateGauss(), 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(), SCIPaddCut(), SCIPaddLinearVarNonlinear(), SCIPaddLinearVarQuadratic(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddQuadVarQuadratic(), SCIPaddSquareCoefQuadratic(), SCIPaddSquareLinearization(), SCIPaddSquareSecant(), SCIPaddVarImplication(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPapplyRens(), SCIPapplyZeroobj(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgBilinCoefQuadratic(), SCIPchgLhsQuadratic(), SCIPchgRhsQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarLbNode(), SCIPchgVarLbProbing(), SCIPchgVarObj(), SCIPchgVarObjProbing(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPchgVarUbNode(), SCIPchgVarUbProbing(), SCIPcopyConsLinear(), SCIPcreateConsAbspower(), SCIPcreateConsBivariate(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateConsPseudoboolean(), SCIPcreateConsPseudobooleanWithConss(), SCIPcreateConsSOC(), SCIPcreateFiniteSolCopy(), SCIPcreateNlpiProb(), SCIPcreateVar(), SCIPgenVBoundAdd(), SCIPgetFeasibilityQuadratic(), SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPmakeIndicatorFeasible(), SCIPprintStage(), SCIProwCalcProbability(), SCIPseparateRelaxedKnapsack(), SCIPsolveKnapsackApproximatelyLT(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtransformProb(), SCIPvarCalcDistributionParameters(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), searchEcAggr(), selectBranchVar(), selectShifting(), sepaImplBoundCutsSOS1(), separateCons(), separateCuts(), separatePerspective(), separatePoint(), setSubscipLimits(), setupSubScip(), singletonColumnStuffing(), solveComponent(), solveIndependentCons(), solveNlp(), solveSubMIP(), solveSubproblem(), solveSubscip(), splitOffLinearPart(), storeNonlinearConvexNlrows(), termIsConvex(), tightenBounds(), tightenCoefs(), tightenSides(), tightenVariables(), tightenVarsBoundsSOS1(), transformColumn(), transformValue(), transformVariable(), tryFixVar(), unlockLinearVariable(), unlockRounding(), unlockRoundingAndCons(), updateActivities(), updateBestCandidate(), updateDualBounds(), updateImplicationGraphSOS1(), updateNActiveConts(), updateObjUpperbound(), updateRowActivities(), updateSlacks(), updateTransformation(), updateWeightsTCliquegraph(), upgradeConss(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varProcessBoundChanges(), 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 45839 of file scip.c.
References NULL, SCIPsetIsHugeValue(), and Scip::set.
Referenced by checkCons(), consdataComputePseudoActivity(), consdataGetActivityResiduals(), consdataGetGlbActivityResiduals(), consdataRecomputeMinactivity(), getActivityRelax(), getNumHugeActivities(), improvePoint(), propagateBoundsTightenVarLb(), propagateBoundsTightenVarUb(), separateCuts(), simplifyInequalities(), and updateBestCandidate().
checks, if value is in range epsilon of 0.0
| scip | SCIP data structure |
| val | value to process |
Definition at line 45864 of file scip.c.
References NULL, SCIPsetIsZero(), and Scip::set.
Referenced by addAltLPColumn(), addAltLPConstraint(), addBilinearTerm(), addBilinearTermToCut(), addCoefTerm(), addConcaveEstimatorBivariate(), addConflictBounds(), addCut(), addFacetToCut(), addFlowrowToCommodity(), addGenVBound(), addIntervalGradientEstimator(), addLinearCoef(), addLinearization(), addLinearTermToCut(), addObjcut(), addRow(), addVarbound(), adjustCutoffbound(), aggregation(), applyFixings(), applyRepair(), buildConvexCombination(), calcActivityBounds(), calcVarBoundsDominated(), calcVarBoundsDominating(), catchObjEvent(), checkFactorable(), checkFixedVariables(), checkSolution(), chgLinearCoefPos(), collectMaxactVar(), collectMinactImplicVar(), collectMinactImplicVars(), collectMinactVar(), collectNonBinaryVBoundData(), componentSetupWorkingSol(), computeCut(), consdataCreate(), consdataFree(), constructSNFRelaxation(), correctLocksAndCaptures(), createAndAddAnds(), createAndAddLinearCons(), createConsFromMonomial(), createExprtreeFromMonomial(), createNewSol(), createNlRow(), createObjRow(), createSubscip(), createTcliqueGraph(), cutGenerationHeuristic(), 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(), getClosestVlb(), getClosestVub(), getGenVBound(), getGMIFromRow(), getMaxactImplicObjchg(), getMinactImplicObjchg(), getObjectiveFactor(), getPotential(), getPotentialContributed(), handleNewVariableCardinality(), handleNewVariableSOS1(), hasQuadvarHpProperty(), improvePoint(), lockRounding(), mergeAndCleanBilinearTerms(), mergeAndCleanLinearVars(), mergeAndCleanQuadVarTerms(), 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(), 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_PROPRESPROP(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERREAD(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefPseudoboolean(), SCIPaddCut(), SCIPaddQuadVarLinearCoefQuadratic(), SCIPaddSquareCoefQuadratic(), SCIPaddVarVlb(), SCIPaddVarVub(), SCIPanalyzeDeductionsProbing(), SCIPchgBilinCoefQuadratic(), SCIPchgCoefLinear(), SCIPchgLinearCoefQuadratic(), SCIPchgReoptObjective(), SCIPchgSquareCoefQuadratic(), SCIPcreateConsAbspower(), SCIPcreateConsIndicator(), SCIPcreateConsNonlinear(), SCIPcreateConsNonlinear2(), SCIPcreateConsOrbitope(), SCIPcreateConsQuadratic(), SCIPcreateNlpiProb(), SCIPgetVectorEfficacyNorm(), SCIPisObjIntegral(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), selectShifting(), setupSubproblem(), solCutIsViolated(), solveDerivativeEquation(), solveSubNLP(), storeCutInArrays(), termIsConstant(), tightenCoefs(), tightenVarsBoundsSOS1(), transformColumn(), tryUpgradingXor(), upgradeConss(), writeFzn(), and writeOpbObjective().
checks, if value is greater than epsilon
| scip | SCIP data structure |
| val | value to process |
Definition at line 45876 of file scip.c.
References NULL, SCIPsetIsPositive(), and Scip::set.
Referenced by addBilinearTermToCut(), addCoefTerm(), addConflictBinvar(), addCut(), addLinearizationCuts(), aggregation(), applyAlternativeBoundsBranching(), checkCurvature(), checkCurvatureEasy(), checkFactorable(), checkRedundancySide(), chgLhs(), chgRhs(), collectMaxactVar(), constructSNFRelaxation(), createAndAddLinearCons(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createMIP(), createNlRow(), createZerohalfCutFromZerohalfWeightvector(), determineBound(), dfs(), dualPresolve(), evaluateGauge(), extractCapacityRows(), extractFlowRows(), findFixings(), fixVariableZero(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateConvexConcaveEstimator(), generateCut(), generateCutProjectedPoint(), generateCutSol(), generateCutUnboundedLP(), generateRowCardinality(), generateSecantCut(), generateSecantCutNoCheck(), generateSparseCut(), getBranchingDecisionStrongbranchSOS1(), getClosestVlb(), getClosestVub(), 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(), SCIPchgReoptObjective(), SCIPgenVBoundAdd(), SCIPupdateStartpointHeurSubNlp(), SCIPwritePip(), searchEcAggrWithCliques(), selectInitialVariable(), selectShifting(), separateCuts(), separatePerspective(), separatePoint(), setUpEvents(), solveAndEvalSubscip(), sortGenVBounds(), unlockRoundingAndCons(), upgradeLinearSuperindicator(), varMayRoundDown(), and varMayRoundUp().
checks, if value is lower than -epsilon
| scip | SCIP data structure |
| val | value to process |
Definition at line 45888 of file scip.c.
References NULL, SCIPsetIsNegative(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), addConflictBinvar(), addEdgeToAuxGraph(), adjustCutoffbound(), applyAlternativeBoundsBranching(), calcBranchScore(), checkCurvature(), checkCurvatureEasy(), checkFactorable(), checkLogCriterion(), collectMinactVar(), computeCut(), constructSNFRelaxation(), createMIP(), createNlRow(), createVarUbs(), determineBound(), dualPresolve(), dualPresolving(), evaluateGauge(), extractCapacityRows(), extractNodes(), fillGlobalStartingData(), findClosestLb(), findClosestUb(), findFixings(), fixVariableZero(), generateBoundInequalityFromSOS1Nodes(), generateClusterCuts(), generateCut(), generateCutProjectedPoint(), generateCutUnboundedLP(), generateDisjCutSOS1(), generateEstimatingHyperplane(), generateRowCardinality(), getClosestVlb(), getClosestVub(), isCandidate(), 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(), SCIPgenVBoundAdd(), SCIPgetReadingTime(), SCIPvarCalcDistributionParameters(), SCIPwritePip(), searchEcAggrWithCliques(), selectShifting(), separatePerspective(), separatePoint(), solveAndEvalSubscip(), sortGenVBounds(), transformColumn(), updateBestCandidate(), upgradeLinearSuperindicator(), varMayRoundDown(), and varMayRoundUp().
checks, if value is integral within epsilon
| scip | SCIP data structure |
| val | value to process |
Definition at line 45900 of file scip.c.
References NULL, SCIPsetIsIntegral(), and Scip::set.
Referenced by addCoefTerm(), aggregateVariables(), applyFixings(), calcBranchScore(), checkCons(), computeCut(), consdataCheckSuperindicator(), createAndAddLinearCons(), createNlRow(), fixAndPropagate(), flattenFloat(), generateCut(), getFlowCover(), parseRange(), presolveTryAddLinearReform(), presolveUpgrade(), prettifyConss(), printLinearCons(), printNLRow(), printPBRow(), printRow(), printSignpowerRow(), printValue(), propIndicator(), readCoefficients(), readExpression(), readIndicators(), readOPBFile(), readPolynomial(), reformMonomial(), reformulate(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSENFOPS(), 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(), 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 45912 of file scip.c.
References NULL, SCIPsetIsScalingIntegral(), and Scip::set.
checks, if given fractional part is smaller than epsilon
| scip | SCIP data structure |
| val | value to process |
Definition at line 45925 of file scip.c.
References NULL, SCIPsetIsFracIntegral(), and Scip::set.
rounds value + epsilon down to the next integer
| scip | SCIP data structure |
| val | value to process |
Definition at line 45937 of file scip.c.
References NULL, SCIPsetFloor(), and Scip::set.
Referenced by branchBalancedCardinality(), calcColorValue(), checkCands(), computeFixingrate(), createObjRow(), createSubSCIP(), enforceConflictgraph(), enforceConssSOS1(), fixDiscreteVars(), fixVariable(), generateClusterCuts(), generateDisjCutSOS1(), getCoef(), getL1L2(), performDualfix(), polishSolution(), predBndStr(), printSignpowerRow(), proposeFeasibleSolution(), readOPBFile(), readVariables(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIPaddSquareLinearization(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurSubNlp(), SCIPseparateRelaxedKnapsack(), SCIPwriteGms(), selectNextDiving(), separateCuts(), tightenVariables(), tightenVarsBoundsSOS1(), and updateArcData().
rounds value - epsilon up to the next integer
| scip | SCIP data structure |
| val | value to process |
Definition at line 45949 of file scip.c.
References NULL, SCIPsetCeil(), and Scip::set.
Referenced by checkCands(), createObjRow(), findUncapacitatedArcs(), fixVariable(), generateDisjCutSOS1(), performDualfix(), polishSolution(), predBndStr(), proposeFeasibleSolution(), readVariables(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), 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 45961 of file scip.c.
References NULL, SCIPsetRound(), and Scip::set.
Referenced by applyFixings(), createNlRow(), flattenFloat(), generateCut(), presolveTryAddLinearReform(), printExpr(), printNLRow(), printPBRow(), printRow(), readExpression(), reformMonomial(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), 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 45973 of file scip.c.
References NULL, SCIPsetFrac(), and Scip::set.
Referenced by changeSubvariableObjective(), computeCut(), createCGCutCMIR(), createCGCutStrongCG(), 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 45985 of file scip.c.
References NULL, SCIPsetIsSumEQ(), and Scip::set.
Referenced by SCIP_DECL_BRANCHEXECLP(), separateSCIs(), 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 45998 of file scip.c.
References NULL, SCIPsetIsSumLT(), and Scip::set.
Referenced by proposeFeasibleSolution(), and solveComponent().
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 46024 of file scip.c.
References NULL, SCIPsetIsSumGT(), and Scip::set.
Referenced by constructCompression(), execRelpscost(), SCIP_DECL_BRANCHEXECLP(), 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 46037 of file scip.c.
References NULL, 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 46050 of file scip.c.
References NULL, 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 46062 of file scip.c.
References NULL, 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 46074 of file scip.c.
References NULL, 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 46086 of file scip.c.
References NULL, SCIPsetIsFeasEQ(), and Scip::set.
Referenced by addFacetToCut(), addLinearTermToCut(), addLocalBranchingConstraint(), applyFixings(), applyNlobbt(), applyRepair(), branchUnbalancedCardinality(), calculateAlternatives(), checkAndConss(), checkCons(), checkConsQuadraticProblem(), checkFixedVariables(), checkRikun(), chooseDoubleVar(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeIntegerVariableBounds(), computeRanks(), consdataCheckNonbinvar(), consdataCheckSuperindicator(), constructCompression(), createAndAddAndCons(), createCGCutDirect(), createConflict(), createIndicatorConstraint(), createRows(), createSelectedSortedEventpointsSol(), createSubSCIP(), createSubscip(), cutGenerationHeuristic(), CUTOFF_CONSTRAINT(), deleteVarCardinality(), determineBound(), determineFixings(), determineVariableFixings(), enforceCardinality(), enforceConstraint(), findPointPosition(), fixAndPropagate(), fixVariables(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generateAverageNBRay(), generateBoundInequalityFromSOS1Nodes(), generateConvexConcaveUnderestimator(), generateCutProjectedPoint(), generateEstimatingHyperplane(), generateNeighborFacets(), generateRowCardinality(), getCover(), getNActiveConsScore(), getPartitionNoncovervars(), GUBsetCalcCliquePartition(), handleNewVariableCardinality(), 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(), 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(), SCIPaddVarImplication(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPconvertRealToInt(), SCIPconvertRealToLongint(), SCIPdummyDebugMethodForSun(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPwriteGms(), SCIPwriteLp(), separateCons(), separateCuts(), separateIISRounding(), sequentialUpAndDownLifting(), sequentialUpAndDownLiftingGUB(), setAltLPObj(), setObjective(), solveAndEvalSubscip(), solveDerivativeEquation(), solveSubMIP(), 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 46099 of file scip.c.
References NULL, SCIPsetIsFeasLT(), and Scip::set.
Referenced by analyzeGenVBoundConflict(), applyFixings(), applyRepair(), branchBalancedCardinality(), calcBranchScore(), calculateBounds(), checkCons(), checkFixedVariables(), checkKnapsack(), checkOrigPbCons(), checkRowViolation(), checkViolations(), collectNonBinaryVBoundData(), computeCut(), computeVarsCoverSOS1(), countSparseSol(), createCGCutCMIR(), createCGCutStrongCG(), createSubscip(), determineBound(), enforceViolatedFixedNonlinear(), execGenVBounds(), filterPoints(), findPointPosition(), getBoundConsFromVertices(), getCover(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getMaxactImplicObjchg(), getOptimalShiftingValue(), handleNewVariableSOS2(), improvePoint(), optimize(), performImplicationGraphAnalysis(), performStrongbranchSOS1(), preprocessConstraintPairs(), propagateBoundsCons(), propagateCons(), propagateCutoffboundBinvar(), propagateLowerboundBinvar(), propagateLowerboundVar(), propagateRedcostVar(), proposeFeasibleSolution(), propVariableNonzero(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyProximity(), SCIPcreateFiniteSolCopy(), SCIPperformGenericDivingAlgorithm(), SCIPsolveKnapsackApproximatelyLT(), sepaImplBoundCutsSOS1(), separateIISRounding(), 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 46112 of file scip.c.
References NULL, SCIPsetIsFeasLE(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConflictBounds(), applyRepair(), branchruledataUpdateCurrentBounds(), calcShiftVal(), checkBounddisjunction(), checkCons(), checkConstraintMatching(), checkRowViolation(), checkViolations(), collectNonBinaryImplicationData(), computeReferencePointGauge(), computeViolation(), constructSNFRelaxation(), createSubscip(), cutGenerationHeuristic(), determineBound(), filterCands(), filterExistingLP(), findDominancePairs(), generateConvexConcaveUnderestimator(), generateCut(), generateCutFactorableDo(), generateCutLTIcomputeCoefs(), generateDisjCutSOS1(), generateEstimatingHyperplane(), generateNeighborFacets(), generateOrthogonal_lx_ly_Underestimator(), generateUnderestimatorParallelYFacets(), getClosestVlb(), getClosestVub(), getFeasibleSet(), getFlowCover(), getL1L2(), getOptimalShiftingValue(), heurdataUpdateCurrentBounds(), isConsRedundant(), isUpperBoundImplied(), isVarImpliedFree(), performRandRounding(), presolveDual(), presolveRemoveFixedVariables(), propagateCons(), propagateRootRedcostVar(), registerBranchingCandidates(), replaceViolatedByLinearConstraints(), rowCalculateGauss(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DISPOUTPUT(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPcalcCumulativeDistribution(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPupdateDistributionScore(), separateCuts(), setObjective(), shiftValues(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), transformVariable(), tryToInsert(), updateBestCandidate(), updateSlacks(), and updateTransformation().
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 46125 of file scip.c.
References NULL, SCIPsetIsFeasGT(), and Scip::set.
Referenced by addConcaveEstimatorMultivariate(), addGenVBound(), analyzeGenVBoundConflict(), applyFixings(), applyRepair(), checkCons(), checkFixedVariables(), checkOrigPbCons(), checkRowViolation(), checkViolations(), collectNonBinaryVBoundData(), computeCut(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createSubscip(), createZerohalfCutFromZerohalfWeightvector(), cutGenerationHeuristic(), determineBound(), enforceCardinality(), enforceViolatedFixedNonlinear(), findPointPosition(), generateClusterCuts(), generateNeighborFacets(), getCover(), getFlowCover(), getL1L2(), getMaxactImplicObjchg(), getOptimalShiftingValue(), getPartitionCovervars(), getPartitionNoncovervars(), handleNewVariableSOS2(), initMatrix(), makeSOS1constraintsFeasible(), optimize(), performImplicationGraphAnalysis(), performStrongbranchSOS1(), propagateBoundsCons(), 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(), SCIPcreateFiniteSolCopy(), SCIPperformGenericDivingAlgorithm(), SCIPsolveKnapsackApproximately(), sepaImplBoundCutsSOS1(), separateCons(), separateCuts(), separateSupLiftedMinimalCoverInequality(), sequentialUpAndDownLifting(), shiftValues(), tightenCoefs(), tightenVarsBoundsSOS1(), tryDelta(), 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 46138 of file scip.c.
References NULL, SCIPsetIsFeasGE(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConflictBounds(), calcShiftVal(), checkBounddisjunction(), checkCons(), checkRowViolation(), checkViolations(), collectNonBinaryImplicationData(), computeViolation(), constructSNFRelaxation(), determineBound(), dfs(), filterCands(), filterExistingLP(), filterPoints(), findDominancePairs(), forbidCover(), generateConvexConcaveUnderestimator(), generateCut(), generateCutLTIcomputeCoefs(), generateNeighborFacets(), generateOrthogonal_lx_ly_Underestimator(), generateUnderestimatorParallelYFacets(), getClosestVlb(), getClosestVub(), getFeasibleSet(), getFlowCover(), getL1L2(), improvePoint(), optimize(), performRandRounding(), presolveDual(), propagateCons(), propagateRootRedcostVar(), propIndicator(), registerBranchingCandidates(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERREDCOST(), SCIPmakeIndicatorFeasible(), SCIPperformGenericDivingAlgorithm(), SCIProwCalcProbability(), SCIPsolveKnapsackApproximatelyLT(), SCIPupdateDistributionScore(), separateCuts(), separateSupLiftedMinimalCoverInequality(), setObjective(), shiftValues(), solveAndEvalSubscip(), tightenBounds(), tightenCoefs(), tryToInsert(), updateBestCandidate(), 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 46151 of file scip.c.
References NULL, SCIPsetIsFeasZero(), and Scip::set.
Referenced by addAltLPColumn(), addBranchingComplementaritiesSOS1(), addGenVBound(), applyRepair(), branchBalancedCardinality(), branchUnbalancedCardinality(), calculateAlternatives(), checkAndConss(), checkCons(), checkConsQuadraticProblem(), checkIISlocal(), checkLinearConssVarboundSOS1(), checkLPBoundsClean(), checkOrigPbCons(), checkSwitchNonoverlappingSOS1Methods(), computeInteriorPoint(), 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(), printSolutionStatistics(), 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(), SCIPaddVarImplication(), SCIPapplyProximity(), SCIPapplyZeroobj(), SCIPcalcCumulativeDistribution(), SCIPcutGenerationHeuristicCmir(), SCIPdummyDebugMethodForSun(), SCIPinitVarBranchStats(), SCIPinitVarValueBranchStats(), SCIPmakeIndicatorFeasible(), SCIPselectVarStrongBranching(), sepaImplBoundCutsSOS1(), separateCuts(), separateIISRounding(), setObjective(), tightenVarsBoundsSOS1(), transformVariable(), tryDelta(), 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 46163 of file scip.c.
References NULL, SCIPsetIsFeasPositive(), and Scip::set.
Referenced by addBranchingComplementaritiesSOS1(), branchBalancedCardinality(), branchUnbalancedCardinality(), checkConsQuadraticProblem(), computeCut(), consdataCreate(), createCGCutCMIR(), createCGCutStrongCG(), detectVarboundSOS1(), enforceCardinality(), extractCycle(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateClusterCuts(), generateCut(), generateCutFactorable(), generateCutLTI(), generateDisjCutSOS1(), generateLinearizationCutProject(), generateNeighborFacets(), generateSecantCut(), getBoundConsFromVertices(), getCover(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getNActiveConsScore(), getSOS1Implications(), 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(), separatePoint(), 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 46175 of file scip.c.
References NULL, SCIPsetIsFeasNegative(), and Scip::set.
Referenced by addBranchingComplementaritiesSOS1(), branchBalancedCardinality(), branchUnbalancedCardinality(), checkConsQuadraticProblem(), computeCut(), computeInteriorPoint(), createCGCutCMIR(), createCGCutStrongCG(), detectVarboundSOS1(), enforceCardinality(), enforceIndicators(), extendToCover(), extractCycle(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateCut(), generateCutFactorable(), generateCutLTI(), generateLinearizationCut(), generateLinearizationCutProject(), getBoundConsFromVertices(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getNActiveConsScore(), getSOS1Implications(), 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 46187 of file scip.c.
References NULL, SCIPsetIsFeasIntegral(), and Scip::set.
Referenced by addGLSCliques(), addLocalBranchingConstraint(), addNextLevelCliques(), aggregation(), checkCands(), checkCons(), checkCumulativeCondition(), checkRedundancySide(), chooseDoubleVar(), computeFixingrate(), countSparseSol(), createAndAddLinearCons(), createCGCutDirect(), createCoreProfile(), createNormalizedKnapsack(), createSelectedSortedEventpointsSol(), createSubscip(), CUTOFF_CONSTRAINT(), determineBound(), enforceCuts(), execRelpscost(), fixAndPropagate(), fixVariable(), getFlowCover(), getHighestCapacityUsage(), getNLPFracVars(), insertSortedRootNeighbors(), 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(), SCIPconvertRealToInt(), SCIPconvertRealToLongint(), SCIPresolveSolHeurSubNlp(), SCIPselectVarPseudoStrongBranching(), SCIPwriteCliqueGraph(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), separateCuts(), separateGLS(), separateHeur(), solveNLP(), tightenBounds(), tightenCoefs(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().
checks, if given fractional part is smaller than feastol
| scip | SCIP data structure |
| val | value to process |
Definition at line 46199 of file scip.c.
References NULL, SCIPsetIsFeasFracIntegral(), and Scip::set.
rounds value + feasibility tolerance down to the next integer
| scip | SCIP data structure |
| val | value to process |
Definition at line 46211 of file scip.c.
References NULL, SCIPsetFeasFloor(), and Scip::set.
Referenced by aggregateVariables(), calcBranchScore(), calcPscostQuot(), calcShiftVal(), checkRedundancySide(), chooseDoubleVar(), computeCut(), computeIntegerVariableBounds(), createAndAddLinearCons(), createNormalizedKnapsack(), createSubscip(), determineBound(), enforceSOS2(), execRelpscost(), getOptimalShiftingValue(), getZiValue(), handle1Cycle(), handleCycle(), 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(), and updateTcliquegraph().
rounds value - feasibility tolerance up to the next integer
| scip | SCIP data structure |
| val | value to process |
Definition at line 46223 of file scip.c.
References NULL, SCIPsetFeasCeil(), and Scip::set.
Referenced by addGLSCliques(), addNextLevelCliques(), branchruledataEnsureArraySize(), calcBranchScore(), checkRedundancySide(), chooseDoubleVar(), computeCut(), computeEstOmegaset(), computeIntegerVariableBounds(), createSubscip(), execRelpscost(), getOptimalShiftingValue(), getZiValue(), handle1Cycle(), handleCycle(), 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 46235 of file scip.c.
References NULL, SCIPsetFeasRound(), and Scip::set.
Referenced by 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 46247 of file scip.c.
References NULL, SCIPsetFeasFrac(), and Scip::set.
Referenced by createSubproblem(), getGMIFromRow(), handle1Cycle(), handleCycle(), roundFixingValue(), and SCIP_DECL_SEPAEXECLP().
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 46259 of file scip.c.
References NULL, 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 46272 of file scip.c.
References NULL, 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 46285 of file scip.c.
References NULL, SCIPsetIsDualfeasLE(), and Scip::set.
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 46298 of file scip.c.
References NULL, 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 46311 of file scip.c.
References NULL, 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 46324 of file scip.c.
References NULL, SCIPsetIsDualfeasZero(), and Scip::set.
Referenced by countNonZeroRootRedcostVars(), createRows(), fixVariables(), 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 46336 of file scip.c.
References NULL, SCIPsetIsDualfeasPositive(), and Scip::set.
Referenced by 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 46348 of file scip.c.
References NULL, SCIPsetIsDualfeasNegative(), and Scip::set.
Referenced by 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 46360 of file scip.c.
References NULL, 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 46372 of file scip.c.
References NULL, 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 46384 of file scip.c.
References NULL, 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 46396 of file scip.c.
References NULL, 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 46408 of file scip.c.
References NULL, 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 46420 of file scip.c.
References NULL, 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 46434 of file scip.c.
References NULL, 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 46449 of file scip.c.
References NULL, 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 46462 of file scip.c.
References NULL, SCIPsetIsRelEQ(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), checkFactorable(), generateCutLTI(), generateCutLTIfindIntersection(), generateSecantCut(), generateSecantCutNoCheck(), presolveUpgrade(), propagateCons(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), replaceByLinearConstraints(), 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 46475 of file scip.c.
References NULL, SCIPsetIsRelLT(), and Scip::set.
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 46488 of file scip.c.
References NULL, SCIPsetIsRelLE(), and Scip::set.
Referenced by addConcaveEstimatorBivariate(), and addLinearConstraints().
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 46501 of file scip.c.
References NULL, SCIPsetIsRelGT(), and Scip::set.
Referenced by SCIPupdateStartpointHeurSubNlp().
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 46514 of file scip.c.
References NULL, SCIPsetIsRelGE(), and Scip::set.
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 46527 of file scip.c.
References NULL, 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 46540 of file scip.c.
References NULL, 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 46553 of file scip.c.
References NULL, 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 46566 of file scip.c.
References NULL, 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 46579 of file scip.c.
References NULL, 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 46594 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 46610 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 46634 of file scip.c.
References checkStage(), FALSE, NULL, 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 45444 of file scip.c.
References Scip::messagehdlr, NULL, 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 45471 of file scip.c.
References NULL, SCIPinfinity(), SCIPstrToRealValue(), and TRUE.