Scippy

SCIP

Solving Constraint Integer Programs

Macros | Functions
intervalarithext.h File Reference

Detailed Description

C++ extensions to interval arithmetics for provable bounds.

Author
Stefan Vigerske

Definition in file intervalarithext.h.

#include "scip/intervalarith.h"
#include "scip/pub_message.h"

Go to the source code of this file.

Macros

#define SCIP_INTERVALARITH_UNDEFFUNC(function)
 

Functions

SCIPInterval operator+ (const SCIPInterval &x, const SCIPInterval &y)
 
SCIPInterval operator- (const SCIPInterval &x, const SCIPInterval &y)
 
SCIPInterval operator- (const SCIPInterval &y)
 
SCIPInterval operator* (const SCIPInterval &x, const SCIPInterval &y)
 
SCIPInterval operator/ (const SCIPInterval &x, const SCIPInterval &y)
 
SCIPInterval cos (const SCIPInterval &x)
 
SCIPInterval exp (const SCIPInterval &x)
 
SCIPInterval log (const SCIPInterval &x)
 
SCIPInterval pow (const SCIPInterval &x, const SCIPInterval &y)
 
SCIPInterval pow (const SCIPInterval &x, const SCIP_Real &y)
 
SCIPInterval signpow (const SCIPInterval &x, const SCIP_Real p)
 
SCIPInterval sin (const SCIPInterval &x)
 
SCIPInterval square (const SCIPInterval &x)
 
SCIPInterval sqrt (const SCIPInterval &x)
 
SCIPInterval abs (const SCIPInterval &x)
 
SCIPInterval sign (const SCIPInterval &x)
 

Macro Definition Documentation

◆ SCIP_INTERVALARITH_UNDEFFUNC

#define SCIP_INTERVALARITH_UNDEFFUNC (   function)
Value:
inline \
SCIPInterval function( \
const SCIPInterval& x /**< operand */ \
) \
{ \
SCIPerrorMessage("Error: " #function " not implemented for intervals.\n"); \
return SCIPInterval(); \
}

macro for easy definition of not implemented interval functions

Definition at line 395 of file intervalarithext.h.

Function Documentation

◆ operator+()

SCIPInterval operator+ ( const SCIPInterval &  x,
const SCIPInterval &  y 
)
inline

addition of two intervals

Parameters
xfirst operand
ysecond operand

Definition at line 181 of file intervalarithext.h.

References infinity, and SCIPintervalAdd().

◆ operator-() [1/2]

SCIPInterval operator- ( const SCIPInterval &  x,
const SCIPInterval &  y 
)
inline

substraction for two intervals

Parameters
xfirst operand
ysecond operand

Definition at line 195 of file intervalarithext.h.

References infinity, and SCIPintervalSub().

◆ operator-() [2/2]

SCIPInterval operator- ( const SCIPInterval &  y)
inline

negation of an interval

Parameters
yoperand

Definition at line 209 of file intervalarithext.h.

References SCIPintervalSetBounds().

◆ operator*()

SCIPInterval operator* ( const SCIPInterval &  x,
const SCIPInterval &  y 
)
inline

multiplication of two intervals

Parameters
xfirst operand
ysecond operand

Definition at line 222 of file intervalarithext.h.

References infinity, and SCIPintervalMul().

◆ operator/()

SCIPInterval operator/ ( const SCIPInterval &  x,
const SCIPInterval &  y 
)
inline

division for two intervals

Parameters
xfirst operand
ysecond operand

Definition at line 236 of file intervalarithext.h.

References infinity, and SCIPintervalDiv().

◆ cos()

SCIPInterval cos ( const SCIPInterval &  x)
inline

cosine of an interval

Parameters
xoperand

Definition at line 250 of file intervalarithext.h.

References infinity, and SCIPintervalCos().

Referenced by eval(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), SCIP_DECL_EXPREVAL(), SCIP_DECL_READERREAD(), and SCIPintervalCos().

◆ exp()

SCIPInterval exp ( const SCIPInterval &  x)
inline

exponential of an interval

Parameters
xoperand

Definition at line 263 of file intervalarithext.h.

References infinity, and SCIPintervalExp().

Referenced by eval(), SCIP_DECL_EXPREVAL(), SCIPerf(), and SCIPintervalExp().

◆ log()

SCIPInterval log ( const SCIPInterval &  x)
inline

natural logarithm of an interval

Parameters
xoperand

Definition at line 276 of file intervalarithext.h.

References infinity, and SCIPintervalLog().

Referenced by enforceConflictgraph(), eval(), getX(), readExpression(), SCIP_DECL_EXPREVAL(), SCIPhashmapCreate(), SCIPhashtableCreate(), and SCIPintervalLog().

◆ pow() [1/2]

SCIPInterval pow ( const SCIPInterval &  x,
const SCIPInterval &  y 
)
inline

power of an interval to another interval

Parameters
xfirst operand
ysecond operand

Definition at line 289 of file intervalarithext.h.

References infinity, and SCIPintervalPower().

Referenced by atomic_posintpower< Type >::atomic_posintpower(), atomic_signpower< Type >::atomic_signpower(), checkFixedVariables(), computeBoundsX(), enforceConflictgraph(), eval(), evalSignPower(), exprgraphNodeSimplify(), exprsimplifyFlattenPolynomials(), filterPoints(), generateLinearizationCut(), generateLinearizationCutProject(), getGradientMaxElement(), polynomialdataExpandMonomialFactor(), polynomialdataPower(), posintpower(), presolveCreateBenTalNemirovskiApproxDim3(), presolveFindDuplicates(), propagateCons(), propagateVarbounds(), proposeBranchingPoint(), reformMonomial(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_EXPREVAL(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_NONLINCONSUPGD(), SCIPcreateConsAbspower(), SCIPexprMonomialPower(), SCIPgetNCountedSolsstr(), SCIPgetViolationAbspower(), SCIPintervalPowerScalar(), SCIPintervalPowerScalarScalar(), SCIPintervalSignPowerScalar(), SCIPtreeBranchVarNary(), and setupProblem().

◆ pow() [2/2]

SCIPInterval pow ( const SCIPInterval &  x,
const SCIP_Real &  y 
)
inline

power of an interval to a scalar

Parameters
xfirst operand
yexponent

Definition at line 303 of file intervalarithext.h.

References infinity, and SCIPintervalPowerScalar().

◆ signpow()

SCIPInterval signpow ( const SCIPInterval &  x,
const SCIP_Real  p 
)
inline

signpower of an interval to a scalar

Parameters
xfirst operand
pexponent

Definition at line 317 of file intervalarithext.h.

References infinity, and SCIPintervalSignPowerScalar().

Referenced by atomic_signpower< Type >::atomic_signpower().

◆ sin()

SCIPInterval sin ( const SCIPInterval &  x)
inline

sine of an interval

Parameters
xoperand

Definition at line 331 of file intervalarithext.h.

References infinity, and SCIPintervalSin().

Referenced by eval(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), SCIP_DECL_EXPREVAL(), and SCIPintervalSin().

◆ square()

SCIPInterval square ( const SCIPInterval &  x)
inline

square an interval

Parameters
xoperand

Definition at line 344 of file intervalarithext.h.

References infinity, and SCIPintervalSquare().

Referenced by atomic_signpower< Type >::atomic_signpower(), and SCIPcreateConsAbspower().

◆ sqrt()

SCIPInterval sqrt ( const SCIPInterval &  x)
inline

square root of an interval

Parameters
xoperand

Definition at line 357 of file intervalarithext.h.

References infinity, and SCIPintervalSquareRoot().

Referenced by calcPscostQuot(), checkFactorable(), checkFixedVariables(), computeBoundsX(), createSubSCIP(), evalAbs(), evalLhs(), evalSqrt(), evaluateGauge(), extendToCover(), generateCutLTIfindIntersection(), generateCutPoint(), getGradientNorm(), presolveCreateOuterApprox(), presolveFindDuplicates(), presolveFindDuplicatesSolveEquations(), presolveRemoveFixedVariables(), propagateBoundsGetQuadActivity(), propagateCons(), registerBranchingCandidatesGap(), regressionRecompute(), SCIP_DECL_EXPREVAL(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERREAD(), SCIPcalcCumulativeDistribution(), SCIPintervalSignPowerScalar(), SCIPintervalSolveBivariateQuadExpressionAllScalar(), SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar(), SCIPintervalSquareRoot(), SCIPnormalCDF(), SCIProwGetNorm(), SCIProwGetParallelism(), SCIPvarCalcPscostConfidenceBound(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), and separateSupLiftedMinimalCoverInequality().

◆ abs()

SCIPInterval abs ( const SCIPInterval &  x)
inline

absolute value of an interval

Parameters
xoperand

Definition at line 370 of file intervalarithext.h.

References infinity, and SCIPintervalAbs().

Referenced by atomic_signpower< Type >::atomic_signpower(), and evalAbs().

◆ sign()

SCIPInterval sign ( const SCIPInterval &  x)
inline

sign of an interval

Parameters
xoperand

Definition at line 383 of file intervalarithext.h.

References infinity, and SCIPintervalSign().

Referenced by addAltLPColumn(), atomic_signpower< Type >::atomic_signpower(), createNlRow(), eval(), handle1Cycle(), handleCycle(), readBounds(), readIndicators(), readSos(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIPerf(), SCIPexprcurvPower(), and termIsConvex().