Solving Constraint Integer Programs
interval given by infimum and supremum
Definition at line 36 of file intervalarith.h.
#include <intervalarith.h>
infimum (lower bound) of interval
Definition at line 38 of file intervalarith.h.
Referenced by checkFixedVariables(), computeBoundsX(), computeBoundsZ(), exprgraphNodePropagateBounds(), exprgraphNodeUpdateBounds(), exprgraphPrintNodeDot(), exprgraphPrintNodeExpression(), exprgraphUpdateVarNodeBounds(), getImpliedBounds(), operator<<(), presolveDisaggregate(), presolveTryAddLinearReform(), propagateBounds(), propagateBoundsCons(), propagateBoundsGetQuadActivity(), propagateConstraintSides(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), SCIPexprcurvPower(), SCIPexprgraphSetVarNodeLb(), SCIPexprgraphTightenNodeBounds(), SCIPexprgraphUpdateNodeBoundsCurvature(), SCIPintervalAbs(), SCIPintervalAddInf(), SCIPintervalAddScalar(), SCIPintervalAreDisjoint(), SCIPintervalDiv(), SCIPintervalDivScalar(), SCIPintervalExp(), SCIPintervalGetInf(), SCIPintervalIntersect(), SCIPintervalIsEmpty(), SCIPintervalIsEntire(), SCIPintervalIsNegativeInfinity(), SCIPintervalIsPositiveInfinity(), SCIPintervalIsSubsetEQ(), SCIPintervalLog(), SCIPintervalMax(), SCIPintervalMin(), SCIPintervalMulInf(), SCIPintervalMulScalarInf(), SCIPintervalMulScalarSup(), SCIPintervalMulSup(), SCIPintervalPower(), SCIPintervalPowerScalar(), SCIPintervalPowerScalarInteger(), SCIPintervalPowerScalarInverse(), SCIPintervalPowerScalarScalar(), SCIPintervalQuad(), SCIPintervalQuadBivar(), SCIPintervalQuadUpperBound(), SCIPintervalReciprocal(), SCIPintervalScalprod(), SCIPintervalScalprodScalars(), SCIPintervalScalprodScalarsInf(), SCIPintervalScalprodScalarsSup(), SCIPintervalSet(), SCIPintervalSetBounds(), SCIPintervalSetEmpty(), SCIPintervalSetEntire(), SCIPintervalSign(), SCIPintervalSignPowerScalar(), SCIPintervalSolveBivariateQuadExpressionAllScalar(), SCIPintervalSolveUnivariateQuadExpression(), SCIPintervalSolveUnivariateQuadExpressionPositive(), SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar(), SCIPintervalSquare(), SCIPintervalSquareRoot(), SCIPintervalSub(), SCIPintervalUnify(), and tightenBounds().
supremum (upper bound) of interval
Definition at line 39 of file intervalarith.h.
Referenced by checkFixedVariables(), computeBoundsX(), computeBoundsZ(), exprgraphNodePropagateBounds(), exprgraphNodeUpdateBounds(), exprgraphPrintNodeDot(), exprgraphPrintNodeExpression(), exprgraphUpdateVarNodeBounds(), getImpliedBounds(), operator<<(), presolveDisaggregate(), presolveTryAddLinearReform(), propagateBounds(), propagateBoundsCons(), propagateBoundsGetQuadActivity(), propagateConstraintSides(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), SCIPexprcurvPower(), SCIPexprgraphSetVarNodeUb(), SCIPexprgraphTightenNodeBounds(), SCIPexprgraphUpdateNodeBoundsCurvature(), SCIPintervalAbs(), SCIPintervalAddScalar(), SCIPintervalAddSup(), SCIPintervalAreDisjoint(), SCIPintervalDiv(), SCIPintervalDivScalar(), SCIPintervalExp(), SCIPintervalGetSup(), SCIPintervalIntersect(), SCIPintervalIsEmpty(), SCIPintervalIsEntire(), SCIPintervalIsNegativeInfinity(), SCIPintervalIsPositiveInfinity(), SCIPintervalIsSubsetEQ(), SCIPintervalLog(), SCIPintervalMax(), SCIPintervalMin(), SCIPintervalMulInf(), SCIPintervalMulScalarInf(), SCIPintervalMulScalarSup(), SCIPintervalMulSup(), SCIPintervalPower(), SCIPintervalPowerScalar(), SCIPintervalPowerScalarInteger(), SCIPintervalPowerScalarInverse(), SCIPintervalPowerScalarScalar(), SCIPintervalQuad(), SCIPintervalQuadBivar(), SCIPintervalQuadUpperBound(), SCIPintervalReciprocal(), SCIPintervalScalprod(), SCIPintervalScalprodScalars(), SCIPintervalScalprodScalarsInf(), SCIPintervalScalprodScalarsSup(), SCIPintervalSet(), SCIPintervalSetBounds(), SCIPintervalSetEmpty(), SCIPintervalSetEntire(), SCIPintervalSign(), SCIPintervalSignPowerScalar(), SCIPintervalSolveBivariateQuadExpressionAllScalar(), SCIPintervalSolveUnivariateQuadExpression(), SCIPintervalSolveUnivariateQuadExpressionPositive(), SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar(), SCIPintervalSquare(), SCIPintervalSquareRoot(), SCIPintervalSub(), SCIPintervalUnify(), and tightenBounds().