Scippy

SCIP

Solving Constraint Integer Programs

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(), 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(), 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().