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 |
SCIP_Real SCIP_Interval::inf |
infimum (lower bound) of interval
Definition at line 55 of file intervalarith.h.
Referenced by catchVarEvents(), computeCutsAbs(), computeRangeForBilinearProp(), createAuxVar(), estimateVertexPolyhedralProduct(), forwardPropExpr(), presolveRedundantConss(), propagateBoundsLinExpr(), propagateBoundsQuadExpr(), reversePropBilinear(), reversePropQueue(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRREVERSEPROP(), SCIP_DECL_EXPRREVERSEPROP(), SCIP_DECL_NLHDLRREVERSEPROP(), SCIPexprcurvMonomial(), SCIPexprcurvMonomialInv(), SCIPintervalPowerScalarInverse(), SCIPintervalPropagateWeightedSum(), SCIPintervalSolveBivariateQuadExpressionAllScalar(), SCIPintervalSolveUnivariateQuadExpression(), SCIPintervalSolveUnivariateQuadExpressionPositive(), tightenAuxVarBounds(), and tryFillNlhdlrExprDataQuad().
SCIP_Real SCIP_Interval::sup |
supremum (upper bound) of interval
Definition at line 56 of file intervalarith.h.
Referenced by catchVarEvents(), computeCutsAbs(), computeRangeForBilinearProp(), createAuxVar(), estimateVertexPolyhedralProduct(), forwardPropExpr(), presolveRedundantConss(), propagateBoundsLinExpr(), propagateBoundsQuadExpr(), reversePropBilinear(), reversePropQueue(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRREVERSEPROP(), SCIP_DECL_EXPRREVERSEPROP(), SCIP_DECL_NLHDLRREVERSEPROP(), SCIPexprcurvMonomial(), SCIPexprcurvMonomialInv(), SCIPintervalPowerScalarInverse(), SCIPintervalPropagateWeightedSum(), SCIPintervalSolveBivariateQuadExpressionAllScalar(), SCIPintervalSolveUnivariateQuadExpression(), SCIPintervalSolveUnivariateQuadExpressionPositive(), tightenAuxVarBounds(), and tryFillNlhdlrExprDataQuad().