INTERVAL_VECTOR Class Reference
[Bias/Profil]
This page only reports the modifications brought to the INTERVAL_VECTOR class.
More...
#include <IntervalVector.h>
Public Member Functions | |
| void | set_empty () |
| bool | empty () const |
| bool | contains (const VECTOR &x) const |
| bool | unbounded () const |
| bool | flat () const |
| bool | included (const INTERVAL_VECTOR &outer) const |
| bool | interior (const INTERVAL_VECTOR &outer) const |
| REAL | max_diameter () const |
| REAL | volume () const |
| REAL | perimeter () const |
| REAL | maxdelta (const INTERVAL_VECTOR &x) const |
| REAL | maxratiodelta (const INTERVAL_VECTOR &x) const |
| bool | operator &= (const INTERVAL_VECTOR &x) |
| void | operator|= (const INTERVAL_VECTOR &x) |
| void | diameter_sort (int indices[]) const |
Friends | |
| INTERVAL_VECTOR | operator & (CONST INTERVAL_VECTOR &, CONST INTERVAL_VECTOR &) |
Detailed Description
This page only reports the modifications brought to the INTERVAL_VECTOR class.This class has been augmented with some frequently used features.
- Attention:
- This page only report the modifications brought to the INTERVAL_VECTOR class. See the Bias/Profil documentation for a full description of the INTERVAL_VECTOR class.
Member Function Documentation
| void INTERVAL_VECTOR::set_empty | ( | ) | [inline] |
Set this interval vector to the empty set.
- Note:
- As a convention used for Ibex, an empty interval vector has its first component 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 vectors set to empty.
- See also:
- INTERVAL::set_empty()
| bool INTERVAL_VECTOR::empty | ( | ) | const [inline] |
Return true iff the interval vector is empty.
- See also:
- INTERVAL::empty() const.
| bool INTERVAL_VECTOR::contains | ( | const VECTOR & | x | ) | const [inline] |
Return true iff this interval vector contains x.
- Precondition:
- Dimension of x must be equal to the dimension of this vector.
- See also:
- INTERVAL::contains(const REAL&) const.
| bool INTERVAL_VECTOR::unbounded | ( | ) | const [inline] |
Return true iff this interval vector contains an infinite bound.
- Note:
- An empty interval vector is always bounded.
| bool INTERVAL_VECTOR::flat | ( | ) | const [inline] |
Return true iff one component is degenerated (i.e., if one component has null diameter).
- Note:
- An empty interval vector is considered as flat.
| bool INTERVAL_VECTOR::included | ( | const INTERVAL_VECTOR & | outer | ) | const [inline] |
Return true iff this interval vector is included in outer.
- Precondition:
- Dimension of outer must be equal to the dimension of this vector.
- Note:
- Always return true if this interval vector is empty.
| bool INTERVAL_VECTOR::interior | ( | const INTERVAL_VECTOR & | outer | ) | const [inline] |
Return true iff this interval vector is included in the interior of outer.
- Precondition:
- Dimension of outer must be equal to the dimension of this vector.
- Note:
- return true if this interval vector is empty and outer not.
| REAL INTERVAL_VECTOR::max_diameter | ( | ) | const |
Return the largest component diameter of this interval vector.
- Note:
- Return
BiasPosInfif unbounded.
| REAL INTERVAL_VECTOR::volume | ( | ) | const |
Return the volume of this interval vector.
- Note:
- Return
BiasPosInfif the vector is unbounded and not flat.Return 0 if the vector is flat and not unbounded.
- Warning:
- If the interval vector is both flat and unbounded, the result is undefined.
- See also:
- flat()
| REAL INTERVAL_VECTOR::perimeter | ( | ) | const |
Return the perimeter of this interval vector.
- Note:
- Return
BiasPosInfif unbounded.
| REAL INTERVAL_VECTOR::maxdelta | ( | const INTERVAL_VECTOR & | x | ) | const |
Compute the maximum of the delta operator componentwise.
- Returns:
![$\displaystyle \max_{i=1..n} diam([this]_i \backslash x_i)$](form_16.png)
- Precondition:
- Dimension of x must be equal to the dimension of this vector.
| REAL INTERVAL_VECTOR::maxratiodelta | ( | const INTERVAL_VECTOR & | x | ) | const |
Compute the maximum of the ratiodelta operator componentwise.
- Returns:
![$\displaystyle \max_{i=1..n} diam([this]_i \backslash x_i)/diam([this]_i)$](form_12.png)
| bool INTERVAL_VECTOR::operator &= | ( | const INTERVAL_VECTOR & | x | ) |
Set this interval vector to the intersection of itself with another interval vector x.
- Parameters:
-
x - the interval vector to compute the intersection with.
- Returns:
trueif the intersection is non empty.
- Precondition:
- Dimension of x must be equal to the dimension of this vector.
| void INTERVAL_VECTOR::operator|= | ( | const INTERVAL_VECTOR & | x | ) |
Set this interval vector to the hull of itself with another interval vector x.
- Parameters:
-
x - the interval vector to compute the hull with.
- Precondition:
- Dimension of x must be equal to the dimension of this vector.
- Remarks:
- this vector may be empty before calling this function.
| void INTERVAL_VECTOR::diameter_sort | ( | int | indices[] | ) | const |
Sort the components of this interval vector by increasing diameter.
- Parameters:
-
indices - a preallocated array of integer.
- Precondition:
- Dimension of indices must be equal to the dimension of this vector.
Friends And Related Function Documentation
| INTERVAL_VECTOR operator & | ( | CONST INTERVAL_VECTOR & | , | |
| CONST INTERVAL_VECTOR & | ||||
| ) | [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/IntervalVector.h
