INTERVAL_MATRIX Class Reference
[Bias/Profil]

This page only reports the modifications brought to the INTERVAL_MATRIX class. More...

#include <IntervalMatrix.h>

List of all members.

Public Member Functions
bool	operator &= (const INTERVAL_MATRIX &x)
void	operator|= (const INTERVAL_MATRIX &x)
void	set_empty ()
bool	empty () const
bool	contains (const MATRIX &x) const
bool	included (const INTERVAL_MATRIX &outer) const
Friends
INTERVAL_MATRIX	operator & (CONST INTERVAL_MATRIX &x, CONST INTERVAL_MATRIX &y)

---

Detailed Description

This page only reports the modifications brought to the INTERVAL_MATRIX class.

This class has been augmented with some frequently used features.

Attention:

This page only report the modifications brought to the INTERVAL_MATRIX class. See the Bias/Profil documentation for a full description of the INTERVAL_MATRIX class.

---

Member Function Documentation

bool INTERVAL_MATRIX::operator &=

(

const INTERVAL_MATRIX &

x

)

Set this interval matrix to the intersection of itself with another interval matrix x.

Parameters:

x

- the interval matrix to compute the intersection with.

Returns:

true if the intersection is non empty.

Precondition:

Row/Col dimensions of x must match dimensions of this vector.

void INTERVAL_MATRIX::operator|=

(

const INTERVAL_MATRIX &

x

)

Set this interval matrix to the hull of itself with another interval matrix x.

Parameters:

x

- the interval matrix to compute the hull with.

Precondition:

Row/Col dimensions of x must match dimensions of this vector.

void INTERVAL_MATRIX::set_empty

(

)

[inline]

Set this interval vector to the empty set.

Note:

As a convention used for Ibex, an empty interval matrix has its first entry set to an empty interval (the others components are left unchanged by this method). Users need not be aware of this implementation detail, but this info may help while displaying some interval matrices set to empty.

See also:

INTERVAL::set_empty()

bool INTERVAL_MATRIX::empty

(

)

const [inline]

Return true iff the interval matrix is empty.

See also:

INTERVAL::empty() const.

bool INTERVAL_MATRIX::contains

(

const MATRIX &

x

)

const [inline]

Return true iff this interval matrix contains x.

Precondition:

Dimensions of x must match the dimensions of this ùatrix.

See also:

INTERVAL::contains(const REAL&) const.

bool INTERVAL_MATRIX::included

(

const INTERVAL_MATRIX &

outer

)

const [inline]

Return true iff this interval matrix is included in outer.

Precondition:

Dimensions of outer must match the dimensions of this matrix.

Note:

Always return true if this interval matrix is empty.

See also:

INTERVAL::included(const INTERVAL&) const

---

Friends And Related Function Documentation

INTERVAL_MATRIX operator &	(	CONST INTERVAL_MATRIX &	x,
		CONST INTERVAL_MATRIX &	y
	)			[friend]

Return the intersection of x and y.

If the intersection is empty, INTERVAL_VECTOR:empty() will return true.

---

The documentation for this class was generated from the following file:

• BiasProfil/include/IntervalMatrix.h