Scippy

SCIP

Solving Constraint Integer Programs

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	fabs (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 410 of file intervalarithext.h.

Function Documentation

◆ operator+()

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

inline

addition of two intervals

Parameters

x	first operand
y	second operand

Definition at line 183 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

x	first operand
y	second operand

Definition at line 197 of file intervalarithext.h.

References infinity, and SCIPintervalSub().

◆ operator-() [2/2]

SCIPInterval operator- ( const SCIPInterval & y )

inline

negation of an interval

Parameters

y operand

Definition at line 211 of file intervalarithext.h.

References SCIPintervalSetBounds().

◆ operator*()

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

inline

multiplication of two intervals

Parameters

x	first operand
y	second operand

Definition at line 224 of file intervalarithext.h.

References infinity, and SCIPintervalMul().

◆ operator/()

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

inline

division for two intervals

Parameters

x	first operand
y	second operand

Definition at line 238 of file intervalarithext.h.

References infinity, and SCIPintervalDiv().

◆ cos()

SCIPInterval cos ( const SCIPInterval & x )

inline

cosine of an interval

Parameters

x operand

Definition at line 252 of file intervalarithext.h.

References infinity, and SCIPintervalCos().

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

◆ exp()

SCIPInterval exp ( const SCIPInterval & x )

inline

exponential of an interval

Parameters

x operand

Definition at line 265 of file intervalarithext.h.

References infinity, and SCIPintervalExp().

Referenced by eval(), SCIP_DECL_BANDITUPDATE(), SCIP_DECL_EXPREVAL(), SCIPerf(), SCIPintervalExp(), and scipexamples::QueensSolver::~QueensSolver().

◆ log()

SCIPInterval log ( const SCIPInterval & x )

inline

natural logarithm of an interval

Parameters

x operand

Definition at line 278 of file intervalarithext.h.

References infinity, and SCIPintervalLog().

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

◆ pow() [1/2]

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

References infinity, and SCIPintervalPower().

Referenced by atomic_posintpower< Type >::atomic_posintpower(), atomic_signpower< Type >::atomic_signpower(), checkFixedVariables(), computeBoundsX(), computeSampleTreesize(), computeSVTS(), computeVarRatio(), enforceConflictgraph(), eval(), evalSignPower(), execRelpscost(), exprgraphNodeSimplify(), exprsimplifyFlattenPolynomials(), filterPoints(), generateLinearizationCut(), generateLinearizationCutProject(), get_arguments(), graph_grid_create(), graph_obstgrid_create(), polyscip::Polyscip::numberofUnboundedResults(), polynomialdataExpandMonomialFactor(), polynomialdataPower(), posintpower(), presolveCreateBenTalNemirovskiApproxDim3(), presolveFindDuplicates(), propagateCons(), propagateVarbounds(), proposeBranchingPoint(), reformMonomial(), scale_coords(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_EXPREVAL(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NONLINCONSUPGD(), SCIPcreateConsAbspower(), SCIPexprMonomialPower(), SCIPgetNCountedSolsstr(), SCIPgetViolationAbspower(), SCIPintervalPowerScalar(), SCIPintervalPowerScalarScalar(), SCIPintervalSignPowerScalar(), SCIPtreeBranchVarNary(), setupProblem(), and updateTreeData().

◆ pow() [2/2]

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 305 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

x	first operand
p	exponent

Definition at line 319 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

x operand

Definition at line 333 of file intervalarithext.h.

References infinity, and SCIPintervalSin().

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

◆ square()

SCIPInterval square ( const SCIPInterval & x )

inline

square an interval

Parameters

x operand

Definition at line 346 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

x operand

Definition at line 359 of file intervalarithext.h.

References infinity, and SCIPintervalSquareRoot().

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

◆ abs()

SCIPInterval abs ( const SCIPInterval & x )

inline

absolute value of an interval

Parameters

x operand

Definition at line 372 of file intervalarithext.h.

References infinity, and SCIPintervalAbs().

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

◆ fabs()

SCIPInterval fabs ( const SCIPInterval & x )

inline

absolute value of an interval

Parameters

x operand

Definition at line 385 of file intervalarithext.h.

References infinity, and SCIPintervalAbs().

Referenced by checkState1(), createCGMIPprimalsols(), polyscip::doubledescription::V_RepT::hasNonUnitAndNonZeroWeight(), polyscip::Polyscip::numberofUnboundedResults(), printLongStatistics(), printShortStatistics(), reformMonomial(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), SCIPlpiGetBInvRow(), SCIPlpiGetDualfarkas(), SCIPlpiGetSol(), SCIPlpiScaleRow(), SCIPStpHeurTMRun(), selectBranchingVertexByLp(), selectBranchingVertexByLp2Flow(), and SolveWSimplex().

◆ sign()

SCIPInterval sign ( const SCIPInterval & x )

inline

sign of an interval

Parameters

x operand

Definition at line 398 of file intervalarithext.h.

References infinity, and SCIPintervalSign().

Referenced by addAltLPColumn(), addOrigRow(), atomic_signpower< Type >::atomic_signpower(), combineCols(), createAltLPColumn(), createNlRow(), createProbOnlyEdge(), eval(), readBounds(), readIndicators(), readSos(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_SEPAEXECLP(), SCIPerf(), SCIPexprcurvPower(), setBinToCluster(), termIsConvex(), and transformNonIntegralRow().