CAPD::DynSys Library  6.0.0
Functions
Interval_Friend.h File Reference

Interval Arithmetics - functions template declarations. More...

Functions

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > left (const Interval< T_Bound, T_Rnd > &A_iv)
 returns interval containing left end More...
 
template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > right (const Interval< T_Bound, T_Rnd > &A_iv)
 returns interval containing right end More...
 
template<typename T_Bound , typename T_Rnd >
T_Bound leftBound (const Interval< T_Bound, T_Rnd > &A_iv)
 returns left end More...
 
template<typename T_Bound , typename T_Rnd >
T_Bound rightBound (const Interval< T_Bound, T_Rnd > &A_iv)
 returns right end More...
 
template<typename T_Bound , typename T_Rnd >
bool operator== (const Interval< T_Bound, T_Rnd > &A_iv1, const Interval< T_Bound, T_Rnd > &A_iv2)
 the relation == More...
 
template<typename T_Bound , typename T_Rnd >
bool operator<= (const Interval< T_Bound, T_Rnd > &A_iv1, const Interval< T_Bound, T_Rnd > &A_iv2)
 weak inequality relation <= More...
 
template<typename T_Bound , typename T_Rnd >
bool operator>= (const Interval< T_Bound, T_Rnd > &A_iv1, const Interval< T_Bound, T_Rnd > &A_iv2)
 weak inequality relation >= More...
 
template<typename T_Bound , typename T_Rnd >
bool operator< (const Interval< T_Bound, T_Rnd > &A_iv1, const Interval< T_Bound, T_Rnd > &A_iv2)
 strong inequality < More...
 
template<typename T_Bound , typename T_Rnd >
bool operator> (const Interval< T_Bound, T_Rnd > &A_iv1, const Interval< T_Bound, T_Rnd > &A_iv2)
 strong inequality relation > More...
 
template<typename T_Bound , typename T_Rnd >
bool operator!= (const Interval< T_Bound, T_Rnd > &A_iv1, const Interval< T_Bound, T_Rnd > &A_iv2)
 the relation != ( as a negation of ==) More...
 
template<typename T_Bound , typename T_Rnd >
std::ostream & operator<< (std::ostream &s, const Interval< T_Bound, T_Rnd > &A_iv)
 sending an Interval to a stream More...
 
template<typename T_Bound , typename T_Rnd >
std::istream & operator>> (std::istream &s, Interval< T_Bound, T_Rnd > &A_iv)
 reading an Interval from a stream More...
 
template<typename T_Bound , typename T_Rnd >
std::ostream & bitWrite (std::ostream &out, const Interval< T_Bound, T_Rnd > &iv)
 
template<typename T_Bound , typename T_Rnd >
std::istream & bitRead (std::istream &in, Interval< T_Bound, T_Rnd > &iv)
 
template<typename T_Bound , typename T_Rnd >
std::ostream & hexWrite (std::ostream &out, const Interval< T_Bound, T_Rnd > &iv)
 
template<typename T_Bound , typename T_Rnd >
std::istream & hexRead (std::istream &in, Interval< T_Bound, T_Rnd > &iv)
 
template<typename T_Bound , typename T_Rnd >
std::ostream & binWrite (std::ostream &out, const Interval< T_Bound, T_Rnd > &iv)
 
template<typename T_Bound , typename T_Rnd >
std::istream & binRead (std::istream &in, Interval< T_Bound, T_Rnd > &iv)
 
template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > operator- (const Interval< T_Bound, T_Rnd > &A_iv)
 unary operator - More...
 
template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > operator+ (const Interval< T_Bound, T_Rnd > &A_iv1, const Interval< T_Bound, T_Rnd > &A_iv2)
 
template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > operator- (const Interval< T_Bound, T_Rnd > &A_iv1, const Interval< T_Bound, T_Rnd > &A_iv2)
 
template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > operator* (const Interval< T_Bound, T_Rnd > &A_iv1, const Interval< T_Bound, T_Rnd > &A_iv2)
 
template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > operator/ (const Interval< T_Bound, T_Rnd > &A_iv1, const Interval< T_Bound, T_Rnd > &A_iv2)
 
template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > operator^ (const Interval< T_Bound, T_Rnd > &A_iv1, int i)
 
template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > add (const Interval< T_Bound, T_Rnd > &A_iv, const T_Bound &A_x)
 Interval + BoundType. More...
 
template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > substract (const Interval< T_Bound, T_Rnd > &A_iv, const T_Bound &A_x)
 Interval - BoundType. More...
 
template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > substract (const T_Bound &A_x, const Interval< T_Bound, T_Rnd > &A_iv)
 BoundType - Interval. More...
 
template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > multiply (const Interval< T_Bound, T_Rnd > &A_iv, const T_Bound &A_x)
 Interval * BoundType. More...
 
template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > divide (const Interval< T_Bound, T_Rnd > &A_iv, const T_Bound &A_x)
 Interval / BoundType. More...
 
template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > divide (const T_Bound &A_x, const Interval< T_Bound, T_Rnd > &A_iv)
 BoundType / Interval. More...
 

Detailed Description

Interval Arithmetics - functions template declarations.

Author
Tomasz Kapela
Date
11-01-2006

Function Documentation

◆ add()

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd> add ( const Interval< T_Bound, T_Rnd > &  A_iv,
const T_Bound &  A_x 
)

Interval + BoundType.

◆ binRead()

template<typename T_Bound , typename T_Rnd >
std::istream& binRead ( std::istream &  in,
Interval< T_Bound, T_Rnd > &  iv 
)

◆ binWrite()

template<typename T_Bound , typename T_Rnd >
std::ostream& binWrite ( std::ostream &  out,
const Interval< T_Bound, T_Rnd > &  iv 
)

◆ bitRead()

template<typename T_Bound , typename T_Rnd >
std::istream& bitRead ( std::istream &  in,
Interval< T_Bound, T_Rnd > &  iv 
)

◆ bitWrite()

template<typename T_Bound , typename T_Rnd >
std::ostream& bitWrite ( std::ostream &  out,
const Interval< T_Bound, T_Rnd > &  iv 
)

◆ divide() [1/2]

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd> divide ( const Interval< T_Bound, T_Rnd > &  A_iv,
const T_Bound &  A_x 
)

Interval / BoundType.

◆ divide() [2/2]

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd> divide ( const T_Bound &  A_x,
const Interval< T_Bound, T_Rnd > &  A_iv 
)

BoundType / Interval.

◆ hexRead()

template<typename T_Bound , typename T_Rnd >
std::istream& hexRead ( std::istream &  in,
Interval< T_Bound, T_Rnd > &  iv 
)

◆ hexWrite()

template<typename T_Bound , typename T_Rnd >
std::ostream& hexWrite ( std::ostream &  out,
const Interval< T_Bound, T_Rnd > &  iv 
)

◆ left()

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > left ( const Interval< T_Bound, T_Rnd > &  A_iv)
inline

returns interval containing left end

◆ leftBound()

template<typename T_Bound , typename T_Rnd >
T_Bound leftBound ( const Interval< T_Bound, T_Rnd > &  A_iv)
inline

returns left end

◆ multiply()

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd> multiply ( const Interval< T_Bound, T_Rnd > &  A_iv,
const T_Bound &  A_x 
)

Interval * BoundType.

◆ operator!=()

template<typename T_Bound , typename T_Rnd >
bool operator!= ( const Interval< T_Bound, T_Rnd > &  A_iv1,
const Interval< T_Bound, T_Rnd > &  A_iv2 
)
inline

the relation != ( as a negation of ==)

◆ operator*()

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd> operator* ( const Interval< T_Bound, T_Rnd > &  A_iv1,
const Interval< T_Bound, T_Rnd > &  A_iv2 
)

◆ operator+()

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd> operator+ ( const Interval< T_Bound, T_Rnd > &  A_iv1,
const Interval< T_Bound, T_Rnd > &  A_iv2 
)

◆ operator-() [1/2]

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd> operator- ( const Interval< T_Bound, T_Rnd > &  A_iv)
inline

unary operator -

◆ operator-() [2/2]

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd> operator- ( const Interval< T_Bound, T_Rnd > &  A_iv1,
const Interval< T_Bound, T_Rnd > &  A_iv2 
)

◆ operator/()

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd> operator/ ( const Interval< T_Bound, T_Rnd > &  A_iv1,
const Interval< T_Bound, T_Rnd > &  A_iv2 
)

◆ operator<()

template<typename T_Bound , typename T_Rnd >
bool operator< ( const Interval< T_Bound, T_Rnd > &  A_iv1,
const Interval< T_Bound, T_Rnd > &  A_iv2 
)
inline

strong inequality <

◆ operator<<()

template<typename T_Bound , typename T_Rnd >
std::ostream& operator<< ( std::ostream &  s,
const Interval< T_Bound, T_Rnd > &  A_iv 
)

sending an Interval to a stream

◆ operator<=()

template<typename T_Bound , typename T_Rnd >
bool operator<= ( const Interval< T_Bound, T_Rnd > &  A_iv1,
const Interval< T_Bound, T_Rnd > &  A_iv2 
)
inline

weak inequality relation <=

◆ operator==()

template<typename T_Bound , typename T_Rnd >
bool operator== ( const Interval< T_Bound, T_Rnd > &  A_iv1,
const Interval< T_Bound, T_Rnd > &  A_iv2 
)
inline

the relation ==

◆ operator>()

template<typename T_Bound , typename T_Rnd >
bool operator> ( const Interval< T_Bound, T_Rnd > &  A_iv1,
const Interval< T_Bound, T_Rnd > &  A_iv2 
)
inline

strong inequality relation >

◆ operator>=()

template<typename T_Bound , typename T_Rnd >
bool operator>= ( const Interval< T_Bound, T_Rnd > &  A_iv1,
const Interval< T_Bound, T_Rnd > &  A_iv2 
)
inline

weak inequality relation >=

◆ operator>>()

template<typename T_Bound , typename T_Rnd >
std::istream& operator>> ( std::istream &  s,
Interval< T_Bound, T_Rnd > &  A_iv 
)

reading an Interval from a stream

◆ operator^()

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd> operator^ ( const Interval< T_Bound, T_Rnd > &  A_iv1,
int  i 
)
inline

◆ right()

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd > right ( const Interval< T_Bound, T_Rnd > &  A_iv)
inline

returns interval containing right end

◆ rightBound()

template<typename T_Bound , typename T_Rnd >
T_Bound rightBound ( const Interval< T_Bound, T_Rnd > &  A_iv)
inline

returns right end

◆ substract() [1/2]

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd> substract ( const Interval< T_Bound, T_Rnd > &  A_iv,
const T_Bound &  A_x 
)

Interval - BoundType.

◆ substract() [2/2]

template<typename T_Bound , typename T_Rnd >
Interval< T_Bound, T_Rnd> substract ( const T_Bound &  A_x,
const Interval< T_Bound, T_Rnd > &  A_iv 
)

BoundType - Interval.