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

#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 393 of file intervalarithext.h.

Function Documentation

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

inline

addition of two intervals

Parameters

x	first operand
y	second operand

Definition at line 181 of file intervalarithext.h.

References SCIPintervalAdd().

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

inline

substraction for two intervals

Parameters

x	first operand
y	second operand

Definition at line 195 of file intervalarithext.h.

References SCIPintervalSub().

SCIPInterval operator- ( const SCIPInterval &  y )

inline

negation of an interval

Parameters

y

operand

Definition at line 209 of file intervalarithext.h.

References SCIPintervalSetBounds().

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

inline

multiplication of two intervals

Parameters

x	first operand
y	second operand

Definition at line 222 of file intervalarithext.h.

References SCIPintervalMul().

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

inline

division for two intervals

Parameters

x	first operand
y	second operand

Definition at line 236 of file intervalarithext.h.

References SCIPintervalDiv().

SCIPInterval cos ( const SCIPInterval &  x )

inline

cosine of an interval

Parameters

x

operand

Definition at line 250 of file intervalarithext.h.

References SCIPerrorMessage.

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

SCIPInterval exp ( const SCIPInterval &  x )

inline

exponential of an interval

Parameters

x

operand

Definition at line 262 of file intervalarithext.h.

References SCIPintervalExp().

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

SCIPInterval log ( const SCIPInterval &  x )

inline

natural logarithm of an interval

Parameters

x

operand

Definition at line 275 of file intervalarithext.h.

References SCIPintervalLog().

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

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

inline

power of an interval to another interval

Parameters

x	first operand
y	second operand

Definition at line 288 of file intervalarithext.h.

References SCIPintervalPower().

Referenced by atomic_posintpower< Type >::atomic_posintpower(), atomic_signpower< Type >::atomic_signpower(), checkFixedVariables(), computeBoundsX(), enforceConflictgraph(), eval(), evalSignPower(), exprgraphNodeSimplify(), exprsimplifyFlattenPolynomials(), 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(), and SCIPtreeBranchVarNary().

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

inline

power of an interval to a scalar

Parameters

x	first operand
y	exponent

Definition at line 302 of file intervalarithext.h.

References SCIPintervalPowerScalar().

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

inline

signpower of an interval to a scalar

Parameters

x	first operand
p	exponent

Definition at line 316 of file intervalarithext.h.

References SCIPintervalSignPowerScalar().

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

SCIPInterval sin ( const SCIPInterval &  x )

inline

sine of an interval

Parameters

x

operand

Definition at line 330 of file intervalarithext.h.

References SCIPerrorMessage.

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

SCIPInterval square ( const SCIPInterval &  x )

inline

square an interval

Parameters

x

operand

Definition at line 342 of file intervalarithext.h.

References SCIPintervalSquare().

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

SCIPInterval sqrt ( const SCIPInterval &  x )

inline

square root of an interval

Parameters

x

operand

Definition at line 355 of file intervalarithext.h.

References SCIPintervalSquareRoot().

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

SCIPInterval abs ( const SCIPInterval &  x )

inline

absolute value of an interval

Parameters

x

operand

Definition at line 368 of file intervalarithext.h.

References SCIPintervalAbs().

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

SCIPInterval sign ( const SCIPInterval &  x )

inline

sign of an interval

Parameters

x

operand

Definition at line 381 of file intervalarithext.h.

References SCIPintervalSign().

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