Expressions

Classes
class	ibex::Expr
	Arithmetical expression. More...
class	ibex::ExtendedSymbol
	Extended symbol. More...
class	ibex::SymbolWithIndex
	Indexed symbol. More...
class	ibex::Symbol
	Symbol. More...
class	ibex::Constant
	Constant expression. More...
class	ibex::UnaOpExpr
	Unary expression. More...
class	ibex::BinOpExpr
	Binary expression. More...
class	ibex::PowerExpr
	Power expression. More...
class	ibex::Apply
	Function application expression. More...
class	ibex::DomainOpExpr
	Domain operator expression. More...
class	ibex::Assign
	Assignment expression (y=f(x)). More...
class	ibex::Function
	Function declaration expression. More...
class	ibex::FunctionFactory
	Function factory. More...
Functions
const BinOpExpr &	ibex::operator+ (const Expr &left, const Expr &right)
const BinOpExpr &	ibex::operator- (const Expr &left, const Expr &right)
const BinOpExpr &	ibex::operator* (const Expr &left, const Expr &right)
const BinOpExpr &	ibex::operator/ (const Expr &left, const Expr &right)
const BinOpExpr &	ibex::max (const Expr &left, const Expr &right)
const BinOpExpr &	ibex::min (const Expr &left, const Expr &right)
const BinOpExpr &	ibex::operator+ (const Expr &left, const INTERVAL &value)
const BinOpExpr &	ibex::operator- (const Expr &left, const INTERVAL &value)
const BinOpExpr &	ibex::operator* (const Expr &left, const INTERVAL &value)
const BinOpExpr &	ibex::operator/ (const Expr &left, const INTERVAL &value)
const BinOpExpr &	ibex::max (const Expr &left, const INTERVAL &value)
const BinOpExpr &	ibex::min (const Expr &left, const INTERVAL &value)
const BinOpExpr &	ibex::operator+ (const INTERVAL &value, const Expr &right)
const BinOpExpr &	ibex::operator- (const INTERVAL &value, const Expr &right)
const BinOpExpr &	ibex::operator* (const INTERVAL &value, const Expr &right)
const BinOpExpr &	ibex::operator/ (const INTERVAL &value, const Expr &right)
const BinOpExpr &	ibex::max (const INTERVAL &value, const Expr &right)
const BinOpExpr &	ibex::min (const INTERVAL &value, const Expr &right)
const Expr &	ibex::pow (const Expr &left, int expon)
const UnaOpExpr &	ibex::operator- (const Expr &expr)
const UnaOpExpr &	ibex::sign (const Expr &expr)
const UnaOpExpr &	ibex::abs (const Expr &expr)
const UnaOpExpr &	ibex::pow (const Expr &left, const Expr &right)
const UnaOpExpr &	ibex::pow (const Expr &left, const INTERVAL &value)
const UnaOpExpr &	ibex::pow (const INTERVAL &value, const Expr &right)
const UnaOpExpr &	ibex::sqr (const Expr &exp)
const UnaOpExpr &	ibex::sqrt (const Expr &exp)
const UnaOpExpr &	ibex::exp (const Expr &exp)
const UnaOpExpr &	ibex::ln (const Expr &exp)
const UnaOpExpr &	ibex::cos (const Expr &exp)
const UnaOpExpr &	ibex::sin (const Expr &exp)
const UnaOpExpr &	ibex::tan (const Expr &exp)
const UnaOpExpr &	ibex::arccos (const Expr &exp)
const UnaOpExpr &	ibex::arcsin (const Expr &exp)
const UnaOpExpr &	ibex::arctan (const Expr &exp)
const BinOpExpr &	ibex::arctan2 (const Expr &exp1, const Expr &exp2)
const UnaOpExpr &	ibex::cosh (const Expr &exp)
const UnaOpExpr &	ibex::sinh (const Expr &exp)
const UnaOpExpr &	ibex::tanh (const Expr &exp)
const UnaOpExpr &	ibex::arccosh (const Expr &exp)
const UnaOpExpr &	ibex::arcsinh (const Expr &exp)
const UnaOpExpr &	ibex::arctanh (const Expr &exp)
const UnaOpExpr &	ibex::transpose (const Expr &exp)
const DomainOpExpr &	ibex::inf (const Expr &expr)
const DomainOpExpr &	ibex::mid (const Expr &expr)
const DomainOpExpr &	ibex::sup (const Expr &expr)

---

Function Documentation

const BinOpExpr& ibex::operator+	(	const Expr &	left,
		const Expr &	right
	)			[inline]

Addition

const BinOpExpr& ibex::operator-	(	const Expr &	left,
		const Expr &	right
	)			[inline]

Subtraction

const BinOpExpr& ibex::operator*	(	const Expr &	left,
		const Expr &	right
	)			[inline]

Multiplication

const BinOpExpr& ibex::operator/	(	const Expr &	left,
		const Expr &	right
	)			[inline]

Division

const BinOpExpr& ibex::max	(	const Expr &	left,
		const Expr &	right
	)			[inline]

Maximum

const BinOpExpr& ibex::min	(	const Expr &	left,
		const Expr &	right
	)			[inline]

Minimum

const BinOpExpr& ibex::operator+	(	const Expr &	left,
		const INTERVAL &	value
	)			[inline]

Addition of an expression to a constant

const BinOpExpr& ibex::operator-	(	const Expr &	left,
		const INTERVAL &	value
	)			[inline]

Subtraction of an expression from a constant

const BinOpExpr& ibex::operator*	(	const Expr &	left,
		const INTERVAL &	value
	)			[inline]

Multiplication of an expression by a constant

const BinOpExpr& ibex::operator/	(	const Expr &	left,
		const INTERVAL &	value
	)			[inline]

Division of an expression by a constant

const BinOpExpr& ibex::max	(	const Expr &	left,
		const INTERVAL &	value
	)			[inline]

Maximum of an expression and a constant

const BinOpExpr& ibex::min	(	const Expr &	left,
		const INTERVAL &	value
	)			[inline]

Minimum of an expression and a constant

const BinOpExpr& ibex::operator+	(	const INTERVAL &	value,
		const Expr &	right
	)			[inline]

Addition of a constant to an expression

const BinOpExpr& ibex::operator-	(	const INTERVAL &	value,
		const Expr &	right
	)			[inline]

Subtraction of a constant from an expression

const BinOpExpr& ibex::operator*	(	const INTERVAL &	value,
		const Expr &	right
	)			[inline]

Multiplication of a constant by an expression

const BinOpExpr& ibex::operator/	(	const INTERVAL &	value,
		const Expr &	right
	)			[inline]

Division of a constant by an expression

const BinOpExpr& ibex::max	(	const INTERVAL &	value,
		const Expr &	right
	)			[inline]

Maximum of a constant and an expression

const BinOpExpr& ibex::min	(	const INTERVAL &	value,
		const Expr &	right
	)			[inline]

Minimum of a constant and an expression

const Expr& ibex::pow	(	const Expr &	left,
		int	expon
	)			[inline]

Raises left to the power expnon.

Note:

operator ^ is not used because its associativity and priority defined in C++ does not match mathematical usage.

const UnaOpExpr& ibex::operator-

(

const Expr &

expr

)

[inline]

Minus sign

const UnaOpExpr& ibex::sign

(

const Expr &

expr

)

[inline]

Sign

const UnaOpExpr& ibex::abs

(

const Expr &

expr

)

[inline]

Absolute value

const UnaOpExpr& ibex::pow	(	const Expr &	left,
		const Expr &	right
	)			[inline]

Expression raised to the power of an integer

const UnaOpExpr& ibex::pow	(	const Expr &	left,
		const INTERVAL &	value
	)			[inline]

Expression raised to the power of a constant

const UnaOpExpr& ibex::pow	(	const INTERVAL &	value,
		const Expr &	right
	)			[inline]

Constant raised to the power of an expression

const UnaOpExpr& ibex::sqr

(

const Expr &

exp

)

[inline]

Square of an expresion

const UnaOpExpr& ibex::sqrt

(

const Expr &

exp

)

[inline]

Square root of an expresion

const UnaOpExpr& ibex::exp

(

const Expr &

exp

)

[inline]

Exponential of an expression

const UnaOpExpr& ibex::ln

(

const Expr &

exp

)

[inline]

Neperian logarithm of an expression

const UnaOpExpr& ibex::cos

(

const Expr &

exp

)

[inline]

Cosine of an expression

const UnaOpExpr& ibex::sin

(

const Expr &

exp

)

[inline]

Sine of an expression

const UnaOpExpr& ibex::tan

(

const Expr &

exp

)

[inline]

Tangent of an expression

const UnaOpExpr& ibex::arccos

(

const Expr &

exp

)

[inline]

Arccosine of an expression

const UnaOpExpr& ibex::arcsin

(

const Expr &

exp

)

[inline]

Arcsine of an expression

const UnaOpExpr& ibex::arctan

(

const Expr &

exp

)

[inline]

Arctangent of an expression

const BinOpExpr& ibex::arctan2	(	const Expr &	exp1,
		const Expr &	exp2
	)			[inline]

Arctangent2 of two expressions

const UnaOpExpr& ibex::cosh

(

const Expr &

exp

)

[inline]

Hyperbolic cosine of an expression

const UnaOpExpr& ibex::sinh

(

const Expr &

exp

)

[inline]

Hyperbolic sine of an expression

const UnaOpExpr& ibex::tanh

(

const Expr &

exp

)

[inline]

Hyperbolic tangent of an expression

const UnaOpExpr& ibex::arccosh

(

const Expr &

exp

)

[inline]

Inverse hyperbolic cosine of an expression

const UnaOpExpr& ibex::arcsinh

(

const Expr &

exp

)

[inline]

Inverse hyperbolic sine of an expression

const UnaOpExpr& ibex::arctanh

(

const Expr &

exp

)

[inline]

Inverse hyperbolic tangent of an expression

const UnaOpExpr& ibex::transpose

(

const Expr &

exp

)

[inline]

Transpose of a matrix expression

const DomainOpExpr& ibex::inf

(

const Expr &

expr

)

[inline]

Infimum

const DomainOpExpr& ibex::mid

(

const Expr &

expr

)

[inline]

Midpoint bound

const DomainOpExpr& ibex::sup

(

const Expr &

expr

)

[inline]

Supremum