Detailed Description
interval given by infimum and supremum
Definition at line 54 of file intervalarith.h.
#include <intervalarith.h>
Data Fields | |
| SCIP_Real | inf |
| SCIP_Real | sup |
Field Documentation
◆ inf
| SCIP_Real SCIP_Interval::inf |
infimum (lower bound) of interval
Definition at line 56 of file intervalarith.h.
Referenced by calcMIRSafely(), catchVarEvents(), computeCutsAbs(), computeMaxForBilinearProp(), computeRangeForBilinearProp(), computeRevPropIntervalSin(), consdataGetActivityResiduals(), consdataUpdateActivities(), consdataUpdateAddCoef(), createAuxVar(), cutsRoundMIRSafely(), cutsSubstituteMIRSafely(), DECL_CURVCHECK(), detectSocQuadraticComplex(), detectSocQuadraticSimple(), estimateBivariateQuotient(), estimateUnivariateQuotient(), estimateVertexPolyhedralProduct(), forwardPropExpr(), getFeasiblePointsBilinear(), intEvalQuotient(), isIntervalBetter(), presolveRedundantConss(), presolveSingleLockedVars(), propagateBoundsLinExpr(), propagateBoundsQuadExpr(), recomputeSafeLooseObjectiveValue(), recomputeSafePseudoObjectiveValue(), reversePropBilinear(), reversePropQueue(), reversepropQuotient(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRCURVATURE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINTEVAL(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_EXPRREVERSEPROP(), SCIP_DECL_NLHDLRINTEVAL(), SCIP_DECL_NLHDLRREVERSEPROP(), SCIPexprcurvMonomial(), SCIPexprcurvMonomialInv(), SCIPexprcurvPower(), SCIPexprcurvPowerInv(), SCIPintervalAbs(), SCIPintervalAbsMax(), SCIPintervalAddInf(), SCIPintervalAddScalar(), SCIPintervalAreDisjoint(), SCIPintervalAreDisjointEps(), SCIPintervalCos(), SCIPintervalDiv(), SCIPintervalDivScalar(), SCIPintervalEntropy(), SCIPintervalExp(), SCIPintervalGetInf(), SCIPintervalIntersect(), SCIPintervalIntersectEps(), SCIPintervalIsEmpty(), SCIPintervalIsEntire(), SCIPintervalIsNegativeInfinity(), SCIPintervalIsPositiveInfinity(), SCIPintervalIsSubsetEQ(), SCIPintervalLog(), SCIPintervalMax(), SCIPintervalMin(), SCIPintervalMulInf(), SCIPintervalMulScalar(), SCIPintervalMulScalarInf(), SCIPintervalMulScalarSup(), SCIPintervalMulSup(), SCIPintervalPower(), SCIPintervalPowerScalar(), SCIPintervalPowerScalarInteger(), SCIPintervalPowerScalarInverse(), SCIPintervalPowerScalarScalar(), SCIPintervalPropagateWeightedSum(), SCIPintervalQuad(), SCIPintervalQuadBivar(), SCIPintervalQuadUpperBound(), SCIPintervalReciprocal(), SCIPintervalScalprod(), SCIPintervalScalprodScalars(), SCIPintervalScalprodScalarsInf(), SCIPintervalScalprodScalarsSup(), SCIPintervalSet(), SCIPintervalSetBounds(), SCIPintervalSetEmpty(), SCIPintervalSetEntire(), SCIPintervalSetRational(), SCIPintervalSign(), SCIPintervalSignPowerScalar(), SCIPintervalSin(), SCIPintervalSolveBivariateQuadExpressionAllScalar(), SCIPintervalSolveUnivariateQuadExpression(), SCIPintervalSolveUnivariateQuadExpressionNegative(), SCIPintervalSolveUnivariateQuadExpressionPositive(), SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar(), SCIPintervalSquare(), SCIPintervalSquareRoot(), SCIPintervalSub(), SCIPintervalUnify(), SCIProwExactGenerateFpRows(), SCIPtightenExprIntervalNonlinear(), separateMcCormickImplicit(), tightenAuxVarBounds(), tightenVarBounds(), tryFillNlhdlrExprDataQuad(), varProcessChgLbLocal(), varProcessChgUbLocal(), and varVecAddScaledRowCoefsSafely().
◆ sup
| SCIP_Real SCIP_Interval::sup |
supremum (upper bound) of interval
Definition at line 57 of file intervalarith.h.
Referenced by calcMIRSafely(), catchVarEvents(), computeCutsAbs(), computeMaxForBilinearProp(), computeRangeForBilinearProp(), computeRevPropIntervalSin(), consdataGetActivityResiduals(), consdataUpdateActivities(), consdataUpdateAddCoef(), createAuxVar(), cutsRoundMIRSafely(), cutsSubstituteMIRSafely(), DECL_CURVCHECK(), detectSocQuadraticComplex(), detectSocQuadraticSimple(), estimateBivariateQuotient(), estimateUnivariateQuotient(), estimateVertexPolyhedralProduct(), forwardPropExpr(), getFeasiblePointsBilinear(), intEvalQuotient(), isIntervalBetter(), presolveRedundantConss(), presolveSingleLockedVars(), propagateBoundsLinExpr(), propagateBoundsQuadExpr(), recomputeSafeLooseObjectiveValue(), recomputeSafePseudoObjectiveValue(), reversePropBilinear(), reversePropQueue(), reversepropQuotient(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRCURVATURE(), SCIP_DECL_EXPRESTIMATE(), SCIP_DECL_EXPRINITESTIMATES(), SCIP_DECL_EXPRINTEVAL(), SCIP_DECL_EXPRMONOTONICITY(), SCIP_DECL_EXPRREVERSEPROP(), SCIP_DECL_NLHDLRINTEVAL(), SCIP_DECL_NLHDLRREVERSEPROP(), SCIPexprcurvMonomial(), SCIPexprcurvMonomialInv(), SCIPexprcurvPower(), SCIPexprcurvPowerInv(), SCIPintervalAbs(), SCIPintervalAbsMax(), SCIPintervalAddScalar(), SCIPintervalAddSup(), SCIPintervalAreDisjoint(), SCIPintervalAreDisjointEps(), SCIPintervalCos(), SCIPintervalDiv(), SCIPintervalDivScalar(), SCIPintervalEntropy(), SCIPintervalExp(), SCIPintervalGetSup(), SCIPintervalIntersect(), SCIPintervalIntersectEps(), SCIPintervalIsEmpty(), SCIPintervalIsEntire(), SCIPintervalIsNegativeInfinity(), SCIPintervalIsPositiveInfinity(), SCIPintervalIsSubsetEQ(), SCIPintervalLog(), SCIPintervalMax(), SCIPintervalMin(), SCIPintervalMulInf(), SCIPintervalMulScalar(), SCIPintervalMulScalarInf(), SCIPintervalMulScalarSup(), SCIPintervalMulSup(), SCIPintervalPower(), SCIPintervalPowerScalar(), SCIPintervalPowerScalarInteger(), SCIPintervalPowerScalarInverse(), SCIPintervalPowerScalarScalar(), SCIPintervalPropagateWeightedSum(), SCIPintervalQuad(), SCIPintervalQuadBivar(), SCIPintervalQuadUpperBound(), SCIPintervalReciprocal(), SCIPintervalScalprod(), SCIPintervalScalprodScalars(), SCIPintervalScalprodScalarsInf(), SCIPintervalScalprodScalarsSup(), SCIPintervalSet(), SCIPintervalSetBounds(), SCIPintervalSetEmpty(), SCIPintervalSetEntire(), SCIPintervalSetRational(), SCIPintervalSign(), SCIPintervalSignPowerScalar(), SCIPintervalSin(), SCIPintervalSolveBivariateQuadExpressionAllScalar(), SCIPintervalSolveUnivariateQuadExpression(), SCIPintervalSolveUnivariateQuadExpressionNegative(), SCIPintervalSolveUnivariateQuadExpressionPositive(), SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar(), SCIPintervalSquare(), SCIPintervalSquareRoot(), SCIPintervalSub(), SCIPintervalUnify(), SCIProwExactGenerateFpRows(), SCIPtightenExprIntervalNonlinear(), separateMcCormickImplicit(), tightenAuxVarBounds(), tightenVarBounds(), tryFillNlhdlrExprDataQuad(), varProcessChgLbLocal(), varProcessChgUbLocal(), and varVecAddScaledRowCoefsSafely().