Scippy

SCIP

Solving Constraint Integer Programs

SCIP_Interval Struct Reference

Detailed Description

interval given by infimum and supremum

Definition at line 37 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 39 of file intervalarith.h.

Referenced by checkFixedVariables(), computeBoundsX(), computeBoundsZ(), exprgraphNodePropagateBounds(), exprgraphNodeUpdateBounds(), exprgraphPrintNodeDot(), exprgraphPrintNodeExpression(), exprgraphUpdateVarNodeBounds(), getImpliedBounds(), nlrowCalcActivityBounds(), operator<<(), presolveDisaggregate(), presolveDual(), presolveTryAddLinearReform(), propagateBounds(), propagateBoundsCons(), propagateBoundsGetQuadActivity(), propagateConstraintSides(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), SCIPcomputeGap(), SCIPexprcurvPower(), SCIPexprgraphSetVarNodeLb(), SCIPexprgraphSimplify(), SCIPexprgraphTightenNodeBounds(), SCIPexprgraphUpdateNodeBoundsCurvature(), SCIPintervalAbs(), SCIPintervalAddInf(), SCIPintervalAddScalar(), SCIPintervalAreDisjoint(), SCIPintervalCos(), SCIPintervalDiv(), SCIPintervalDivScalar(), SCIPintervalExp(), SCIPintervalGetInf(), SCIPintervalIntersect(), SCIPintervalIsEmpty(), SCIPintervalIsEntire(), SCIPintervalIsNegativeInfinity(), SCIPintervalIsPositiveInfinity(), SCIPintervalIsSubsetEQ(), SCIPintervalLog(), SCIPintervalMax(), SCIPintervalMin(), SCIPintervalMulInf(), SCIPintervalMulScalar(), SCIPintervalMulScalarInf(), SCIPintervalMulScalarSup(), SCIPintervalMulSup(), SCIPintervalPower(), SCIPintervalPowerScalar(), SCIPintervalPowerScalarInteger(), SCIPintervalPowerScalarInverse(), SCIPintervalPowerScalarScalar(), SCIPintervalQuad(), SCIPintervalQuadBivar(), SCIPintervalQuadUpperBound(), SCIPintervalReciprocal(), SCIPintervalScalprod(), SCIPintervalScalprodScalars(), SCIPintervalScalprodScalarsInf(), SCIPintervalScalprodScalarsSup(), SCIPintervalSet(), SCIPintervalSetBounds(), SCIPintervalSetEmpty(), SCIPintervalSetEntire(), SCIPintervalSign(), SCIPintervalSignPowerScalar(), SCIPintervalSin(), SCIPintervalSolveBivariateQuadExpressionAllScalar(), SCIPintervalSolveUnivariateQuadExpression(), SCIPintervalSolveUnivariateQuadExpressionNegative(), SCIPintervalSolveUnivariateQuadExpressionPositive(), SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar(), SCIPintervalSquare(), SCIPintervalSquareRoot(), SCIPintervalSub(), SCIPintervalUnify(), SCIPnlrowGetSolActivity(), SCIProwGetLPActivity(), SCIProwGetNLPFeasibility(), SCIProwGetPseudoActivity(), SCIProwGetRelaxFeasibility(), SCIProwGetSolActivity(), and tightenBounds().

◆ sup

SCIP_Real SCIP_Interval::sup

supremum (upper bound) of interval

Definition at line 40 of file intervalarith.h.

Referenced by checkFixedVariables(), computeBoundsX(), computeBoundsZ(), exprgraphNodePropagateBounds(), exprgraphNodeUpdateBounds(), exprgraphPrintNodeDot(), exprgraphPrintNodeExpression(), exprgraphUpdateVarNodeBounds(), getImpliedBounds(), operator<<(), presolveDisaggregate(), presolveDual(), presolveTryAddLinearReform(), propagateBounds(), propagateBoundsCons(), propagateBoundsGetQuadActivity(), propagateConstraintSides(), reformulate(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), SCIPexprcurvPower(), SCIPexprgraphSetVarNodeUb(), SCIPexprgraphSimplify(), SCIPexprgraphTightenNodeBounds(), SCIPexprgraphUpdateNodeBoundsCurvature(), SCIPintervalAbs(), SCIPintervalAddScalar(), SCIPintervalAddSup(), SCIPintervalAreDisjoint(), SCIPintervalCos(), SCIPintervalDiv(), SCIPintervalDivScalar(), SCIPintervalExp(), SCIPintervalGetSup(), SCIPintervalIntersect(), SCIPintervalIsEmpty(), SCIPintervalIsEntire(), SCIPintervalIsNegativeInfinity(), SCIPintervalIsPositiveInfinity(), SCIPintervalIsSubsetEQ(), SCIPintervalLog(), SCIPintervalMax(), SCIPintervalMin(), SCIPintervalMulInf(), SCIPintervalMulScalar(), SCIPintervalMulScalarInf(), SCIPintervalMulScalarSup(), SCIPintervalMulSup(), SCIPintervalPower(), SCIPintervalPowerScalar(), SCIPintervalPowerScalarInteger(), SCIPintervalPowerScalarInverse(), SCIPintervalPowerScalarScalar(), SCIPintervalQuad(), SCIPintervalQuadBivar(), SCIPintervalQuadUpperBound(), SCIPintervalReciprocal(), SCIPintervalScalprod(), SCIPintervalScalprodScalars(), SCIPintervalScalprodScalarsInf(), SCIPintervalScalprodScalarsSup(), SCIPintervalSet(), SCIPintervalSetBounds(), SCIPintervalSetEmpty(), SCIPintervalSetEntire(), SCIPintervalSign(), SCIPintervalSignPowerScalar(), SCIPintervalSin(), SCIPintervalSolveBivariateQuadExpressionAllScalar(), SCIPintervalSolveUnivariateQuadExpression(), SCIPintervalSolveUnivariateQuadExpressionNegative(), SCIPintervalSolveUnivariateQuadExpressionPositive(), SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar(), SCIPintervalSquare(), SCIPintervalSquareRoot(), SCIPintervalSub(), SCIPintervalUnify(), and tightenBounds().