capd::TypeTraits< capd::filib::Interval< T, R, M > > Class Template Reference

Specialization for intervals. More...

#include <capd/filib/Interval.h>

Public Types
typedef T	Real
typedef ::capd::filib::Interval< T, R, M >	IntervalType

Static Public Member Functions
static const IntervalType &	zero ()
static const IntervalType &	one ()
static int	numberOfDigits ()
static T	epsilon () throw ()
	Machine epsilon (the difference between 1 and the least value greater than 1 that is representable). More...
template<typename S >
static IntervalType	convert (const S &obj)
static IntervalType	convert (const T &obj)
static IntervalType	abs (const IntervalType &A_inter)
	an absolute value More...
static IntervalType	max (const IntervalType &A_iv1, const IntervalType &A_iv2)
	maximum More...
static IntervalType	min (const IntervalType &A_iv1, const IntervalType &A_iv2)
	minimum More...
static bool	isSingular (const IntervalType &x)

Static Public Attributes
static const bool	isInterval = true

Detailed Description

template<typename T, filib::RoundingStrategy R, filib::IntervalMode M>
class capd::TypeTraits< capd::filib::Interval< T, R, M > >

Specialization for intervals.

Member Typedef Documentation

IntervalType

template<typename T , filib::RoundingStrategy R, filib::IntervalMode M>

typedef ::capd::filib::Interval<T, R, M> capd::TypeTraits< capd::filib::Interval< T, R, M > >::IntervalType

Real

template<typename T , filib::RoundingStrategy R, filib::IntervalMode M>

typedef T capd::TypeTraits< capd::filib::Interval< T, R, M > >::Real

Member Function Documentation

abs()

template<typename T , filib::RoundingStrategy R, filib::IntervalMode M>

static IntervalType capd::TypeTraits< capd::filib::Interval< T, R, M > >::abs ( const IntervalType &  A_inter )

inlinestatic

an absolute value

convert() [1/2]

template<typename T , filib::RoundingStrategy R, filib::IntervalMode M>

template<typename S >

static IntervalType capd::TypeTraits< capd::filib::Interval< T, R, M > >::convert ( const S &  obj )

inlinestatic

convert() [2/2]

template<typename T , filib::RoundingStrategy R, filib::IntervalMode M>

static IntervalType capd::TypeTraits< capd::filib::Interval< T, R, M > >::convert ( const T &  obj )

inlinestatic

epsilon()

template<typename T , filib::RoundingStrategy R, filib::IntervalMode M>

static T capd::TypeTraits< capd::filib::Interval< T, R, M > >::epsilon ( ) throw ( )

inlinestatic

Machine epsilon (the difference between 1 and the least value greater than 1 that is representable).

isSingular()

template<typename T , filib::RoundingStrategy R, filib::IntervalMode M>

static bool capd::TypeTraits< capd::filib::Interval< T, R, M > >::isSingular ( const IntervalType &  x )

inlinestatic

max()

template<typename T , filib::RoundingStrategy R, filib::IntervalMode M>

static IntervalType capd::TypeTraits< capd::filib::Interval< T, R, M > >::max ( const IntervalType &  A_iv1, const IntervalType &  A_iv2  )

inlinestatic

maximum

min()

template<typename T , filib::RoundingStrategy R, filib::IntervalMode M>

static IntervalType capd::TypeTraits< capd::filib::Interval< T, R, M > >::min ( const IntervalType &  A_iv1, const IntervalType &  A_iv2  )

inlinestatic

minimum

numberOfDigits()

template<typename T , filib::RoundingStrategy R, filib::IntervalMode M>

static int capd::TypeTraits< capd::filib::Interval< T, R, M > >::numberOfDigits ( )

inlinestatic

one()

template<typename T , filib::RoundingStrategy R, filib::IntervalMode M>

static const IntervalType& capd::TypeTraits< capd::filib::Interval< T, R, M > >::one ( )

inlinestatic

zero()

template<typename T , filib::RoundingStrategy R, filib::IntervalMode M>

static const IntervalType& capd::TypeTraits< capd::filib::Interval< T, R, M > >::zero ( )

inlinestatic

Member Data Documentation

isInterval

template<typename T , filib::RoundingStrategy R, filib::IntervalMode M>

const bool capd::TypeTraits< capd::filib::Interval< T, R, M > >::isInterval = true

static