C++ extensions to interval arithmetics for provable bounds.
Definition in file intervalarithext.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) |
#define SCIP_INTERVALARITH_UNDEFFUNC | ( | function | ) |
macro for easy definition of not implemented interval functions
Definition at line 395 of file intervalarithext.h.
|
inline |
addition of two intervals
x | first operand |
y | second operand |
Definition at line 181 of file intervalarithext.h.
References infinity, and SCIPintervalAdd().
|
inline |
substraction for two intervals
x | first operand |
y | second operand |
Definition at line 195 of file intervalarithext.h.
References infinity, and SCIPintervalSub().
|
inline |
negation of an interval
y | operand |
Definition at line 209 of file intervalarithext.h.
References SCIPintervalSetBounds().
|
inline |
multiplication of two intervals
x | first operand |
y | second operand |
Definition at line 222 of file intervalarithext.h.
References infinity, and SCIPintervalMul().
|
inline |
division for two intervals
x | first operand |
y | second operand |
Definition at line 236 of file intervalarithext.h.
References infinity, and SCIPintervalDiv().
|
inline |
cosine of an interval
x | operand |
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().
|
inline |
exponential of an interval
x | operand |
Definition at line 263 of file intervalarithext.h.
References infinity, and SCIPintervalExp().
Referenced by eval(), SCIP_DECL_BANDITUPDATE(), SCIP_DECL_EXPREVAL(), SCIPerf(), SCIPintervalExp(), and SCIPrealHashCode().
|
inline |
natural logarithm of an interval
x | operand |
Definition at line 276 of file intervalarithext.h.
References infinity, and SCIPintervalLog().
Referenced by enforceConflictgraph(), eval(), getX(), readExpression(), SCIP_DECL_EXPREVAL(), SCIPhashmapCreate(), SCIPhashsetCreate(), and SCIPintervalLog().
|
inline |
power of an interval to another interval
x | first operand |
y | second 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(), 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().
|
inline |
power of an interval to a scalar
x | first operand |
y | exponent |
Definition at line 303 of file intervalarithext.h.
References infinity, and SCIPintervalPowerScalar().
|
inline |
signpower of an interval to a scalar
x | first operand |
p | exponent |
Definition at line 317 of file intervalarithext.h.
References infinity, and SCIPintervalSignPowerScalar().
Referenced by atomic_signpower< Type >::atomic_signpower().
|
inline |
sine of an interval
x | operand |
Definition at line 331 of file intervalarithext.h.
References infinity, and SCIPintervalSin().
Referenced by eval(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), SCIP_DECL_EXPREVAL(), and SCIPintervalSin().
|
inline |
square an interval
x | operand |
Definition at line 344 of file intervalarithext.h.
References infinity, and SCIPintervalSquare().
Referenced by atomic_signpower< Type >::atomic_signpower(), and SCIPcreateConsAbspower().
|
inline |
square root of an interval
x | operand |
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(), presolveCreateOuterApprox(), presolveFindDuplicates(), presolveFindDuplicatesSolveEquations(), presolveRemoveFixedVariables(), propagateBoundsGetQuadActivity(), propagateCons(), registerBranchingCandidatesGap(), regressionRecompute(), SCIP_DECL_BANDITSELECT(), SCIP_DECL_EXPREVAL(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERREAD(), SCIPcalcCumulativeDistribution(), SCIPgetConfidenceBoundUcb(), SCIPintervalSignPowerScalar(), SCIPintervalSolveBivariateQuadExpressionAllScalar(), SCIPintervalSolveUnivariateQuadExpressionPositiveAllScalar(), SCIPintervalSquareRoot(), SCIPnormalCDF(), SCIProwGetNorm(), SCIProwGetParallelism(), SCIPvarCalcPscostConfidenceBound(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), and separateSupLiftedMinimalCoverInequality().
|
inline |
absolute value of an interval
x | operand |
Definition at line 370 of file intervalarithext.h.
References infinity, and SCIPintervalAbs().
Referenced by atomic_signpower< Type >::atomic_signpower(), and evalAbs().
|
inline |
sign of an interval
x | operand |
Definition at line 383 of file intervalarithext.h.
References infinity, and SCIPintervalSign().
Referenced by addAltLPColumn(), addOrigRow(), atomic_signpower< Type >::atomic_signpower(), createNlRow(), eval(), readBounds(), readIndicators(), readSos(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIPerf(), SCIPexprcurvPower(), termIsConvex(), and transformNonIntegralRow().