Detailed Description
interval given by infimum and supremum
Definition at line 53 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 55 of file intervalarith.h.
Referenced by catchVarEvents(), computeCutsAbs(), computeMaxForBilinearProp(), computeRangeForBilinearProp(), computeRevPropIntervalSin(), createAuxVar(), DECL_CURVCHECK(), detectSocQuadraticComplex(), detectSocQuadraticSimple(), estimateBivariateQuotient(), estimateUnivariateQuotient(), estimateVertexPolyhedralProduct(), forwardPropExpr(), getFeasiblePointsBilinear(), intEvalQuotient(), isIntervalBetter(), presolveRedundantConss(), propagateBoundsLinExpr(), propagateBoundsQuadExpr(), 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(), SCIPcomputeGap(), SCIPexprcurvMonomial(), SCIPexprcurvMonomialInv(), SCIPexprcurvPower(), SCIPexprcurvPowerInv(), SCIPintervalAbs(), 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(), SCIPintervalSign(), SCIPintervalSignPowerScalar(), SCIPintervalSin(), SCIPintervalSolveBivariateQuadExpressionAllScalar(), SCIPintervalSolveUnivariateQuadExpression(), SCIPintervalSolveUnivariateQuadExpressionNegative(), SCIPintervalSolveUnivariateQuadExpressionPositive(), SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar(), SCIPintervalSquare(), SCIPintervalSquareRoot(), SCIPintervalSub(), SCIPintervalUnify(), SCIProwGetLPActivity(), SCIProwGetNLPFeasibility(), SCIProwGetPseudoActivity(), SCIProwGetRelaxFeasibility(), SCIProwGetSolActivity(), SCIPtightenExprIntervalNonlinear(), separateMcCormickImplicit(), tightenAuxVarBounds(), and tryFillNlhdlrExprDataQuad().
◆ sup
SCIP_Real SCIP_Interval::sup |
supremum (upper bound) of interval
Definition at line 56 of file intervalarith.h.
Referenced by catchVarEvents(), computeCutsAbs(), computeMaxForBilinearProp(), computeRangeForBilinearProp(), computeRevPropIntervalSin(), createAuxVar(), DECL_CURVCHECK(), detectSocQuadraticComplex(), detectSocQuadraticSimple(), estimateBivariateQuotient(), estimateUnivariateQuotient(), estimateVertexPolyhedralProduct(), forwardPropExpr(), getFeasiblePointsBilinear(), intEvalQuotient(), isIntervalBetter(), presolveRedundantConss(), propagateBoundsLinExpr(), propagateBoundsQuadExpr(), 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(), 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(), SCIPintervalSign(), SCIPintervalSignPowerScalar(), SCIPintervalSin(), SCIPintervalSolveBivariateQuadExpressionAllScalar(), SCIPintervalSolveUnivariateQuadExpression(), SCIPintervalSolveUnivariateQuadExpressionNegative(), SCIPintervalSolveUnivariateQuadExpressionPositive(), SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar(), SCIPintervalSquare(), SCIPintervalSquareRoot(), SCIPintervalSub(), SCIPintervalUnify(), SCIPtightenExprIntervalNonlinear(), separateMcCormickImplicit(), tightenAuxVarBounds(), and tryFillNlhdlrExprDataQuad().