Scippy

SCIP

Solving Constraint Integer Programs

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 to easy definition of so far unimplemented interval functions

Definition at line 390 of file intervalarithext.h.

Function Documentation

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

addition of two intervals

Parameters
xfirst operand
ysecond operand

Definition at line 178 of file intervalarithext.h.

References SCIPInterval::infinity.

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

substraction for two intervals

Parameters
xfirst operand
ysecond operand

Definition at line 192 of file intervalarithext.h.

References SCIPInterval::infinity.

SCIPInterval operator- ( const SCIPInterval y)
inline

negation of an interval

Parameters
yoperand

Definition at line 206 of file intervalarithext.h.

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

multiplication of two intervals

Parameters
xfirst operand
ysecond operand

Definition at line 219 of file intervalarithext.h.

References SCIPInterval::infinity.

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

division for two intervals

Parameters
xfirst operand
ysecond operand

Definition at line 233 of file intervalarithext.h.

References SCIPInterval::infinity.

SCIPInterval cos ( const SCIPInterval x)
inline

cosinus of an interval

Parameters
xoperand

Definition at line 247 of file intervalarithext.h.

References SCIPerrorMessage.

SCIPInterval exp ( const SCIPInterval x)
inline

exponential of an interval

Parameters
xoperand

Definition at line 259 of file intervalarithext.h.

References SCIPInterval::infinity.

SCIPInterval log ( const SCIPInterval x)
inline

natural logarithm of an interval

Parameters
xoperand

Definition at line 272 of file intervalarithext.h.

References SCIPInterval::infinity.

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

power of an interval to another interval

Parameters
xfirst operand
ysecond operand

Definition at line 285 of file intervalarithext.h.

References SCIPInterval::infinity.

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

power of an interval to a scalar

Parameters
xfirst operand
yexponent

Definition at line 299 of file intervalarithext.h.

References SCIPInterval::infinity.

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

signpower of an interval to a scalar

Parameters
xfirst operand
pexponent

Definition at line 313 of file intervalarithext.h.

References SCIPInterval::infinity.

SCIPInterval sin ( const SCIPInterval x)
inline

sinus of an interval

Parameters
xoperand

Definition at line 327 of file intervalarithext.h.

References SCIPerrorMessage.

SCIPInterval square ( const SCIPInterval x)
inline

square an interval

Parameters
xoperand

Definition at line 339 of file intervalarithext.h.

References SCIPInterval::infinity.

SCIPInterval sqrt ( const SCIPInterval x)
inline

square root of an interval

Parameters
xoperand

Definition at line 352 of file intervalarithext.h.

References SCIPInterval::infinity.

Referenced by evalAbs(), and evalSqrt().

SCIPInterval abs ( const SCIPInterval x)
inline

absolute value of an interval

Parameters
xoperand

Definition at line 365 of file intervalarithext.h.

SCIPInterval sign ( const SCIPInterval x)
inline

sign of an interval

Parameters
xoperand

Definition at line 378 of file intervalarithext.h.