Interval_inlines.hh File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Policy
struct	Parma_Polyhedra_Library::Select_Temp_Boundary_Type< Interval_Boundary_Type >
	Helper class to select the appropriate numerical type to perform boundary computations so as to reduce the chances of overflow without incurring too much overhead. More...
struct	Parma_Polyhedra_Library::Select_Temp_Boundary_Type< Interval_Boundary_Type >
	Helper class to select the appropriate numerical type to perform boundary computations so as to reduce the chances of overflow without incurring too much overhead. More...
struct	Parma_Polyhedra_Library::Select_Temp_Boundary_Type< char >
struct	Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed char >
struct	Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned char >
struct	Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed short >
struct	Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned short >
struct	Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed int >
struct	Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned int >
struct	Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed long >
struct	Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned long >
struct	Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned long long >

Namespaces
	Parma_Polyhedra_Library
	The entire library is confined to this namespace.
	Parma_Polyhedra_Library::Interval_NS

Typedefs
typedef Interval_Info_Null< Scalar_As_Interval_Policy >	Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Info
typedef Interval_Info_Null_Open< Scalar_As_Interval_Policy >	Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Info_Open

Functions
template<typename Boundary , typename Info >
bool	Parma_Polyhedra_Library::f_is_empty (const Interval< Boundary, Info > &x)
template<typename Boundary , typename Info >
bool	Parma_Polyhedra_Library::f_is_singleton (const Interval< Boundary, Info > &x)
template<typename Boundary , typename Info >
int	Parma_Polyhedra_Library::infinity_sign (const Interval< Boundary, Info > &x)
template<typename Boundary , typename Info >
const Boundary &	Parma_Polyhedra_Library::Interval_NS::f_lower (const Interval< Boundary, Info > &x)
template<typename Boundary , typename Info >
const Boundary &	Parma_Polyhedra_Library::Interval_NS::f_upper (const Interval< Boundary, Info > &x)
template<typename Boundary , typename Info >
const Info &	Parma_Polyhedra_Library::Interval_NS::f_info (const Interval< Boundary, Info > &x)
template<typename T >
Enable_If< Is_Singleton< T >::value, const T & >::type	Parma_Polyhedra_Library::Interval_NS::f_lower (const T &x)
template<typename T >
Enable_If< Is_Singleton< T >::value, const T & >::type	Parma_Polyhedra_Library::Interval_NS::f_upper (const T &x)
template<typename T >
Enable_If< Is_Singleton< T >::value, const Scalar_As_Interval_Info & >::type	Parma_Polyhedra_Library::Interval_NS::f_info (const T &)
template<typename T >
Enable_If< Is_Singleton< T >::value, Scalar_As_Interval_Info_Open >::type	Parma_Polyhedra_Library::Interval_NS::f_info (const T &, bool open)
template<typename T >
Enable_If< Is_Singleton< T >::value, bool >::type	Parma_Polyhedra_Library::Interval_NS::f_is_empty (const T &x)
template<typename T >
Enable_If< Is_Singleton< T >::value, bool >::type	Parma_Polyhedra_Library::Interval_NS::f_is_singleton (const T &x)
template<typename T >
Enable_If< Is_Singleton< T >::value||Is_Interval< T >::value, bool >::type	Parma_Polyhedra_Library::is_singleton_integer (const T &x)
template<typename T >
Enable_If< Is_Singleton< T >::value||Is_Interval< T >::value, bool >::type	Parma_Polyhedra_Library::check_empty_arg (const T &x)
template<typename T1 , typename T2 >
Enable_If<((Is_Singleton< T1 >::value||Is_Interval< T1 >::value)&&(Is_Singleton< T2 >::value||Is_Interval< T2 >::value)&&(Is_Interval< T1 >::value||Is_Interval< T2 >::value)), bool >::type	Parma_Polyhedra_Library::operator== (const T1 &x, const T2 &y)
template<typename T1 , typename T2 >
Enable_If<((Is_Singleton< T1 >::value||Is_Interval< T1 >::value)&&(Is_Singleton< T2 >::value||Is_Interval< T2 >::value)&&(Is_Interval< T1 >::value||Is_Interval< T2 >::value)), bool >::type	Parma_Polyhedra_Library::operator!= (const T1 &x, const T2 &y)
template<typename B , typename Info , typename T >
Enable_If< Is_Singleton< T >::value, Interval< B, Info > >::type	Parma_Polyhedra_Library::operator+ (const Interval< B, Info > &x, const T &y)
template<typename B , typename Info , typename T >
Enable_If< Is_Singleton< T >::value, Interval< B, Info > >::type	Parma_Polyhedra_Library::operator+ (const T &x, const Interval< B, Info > &y)
template<typename B , typename Info >
Interval< B, Info >	Parma_Polyhedra_Library::operator+ (const Interval< B, Info > &x, const Interval< B, Info > &y)
template<typename B , typename Info , typename T >
Enable_If< Is_Singleton< T >::value, Interval< B, Info > >::type	Parma_Polyhedra_Library::operator- (const Interval< B, Info > &x, const T &y)
template<typename B , typename Info , typename T >
Enable_If< Is_Singleton< T >::value, Interval< B, Info > >::type	Parma_Polyhedra_Library::operator- (const T &x, const Interval< B, Info > &y)
template<typename B , typename Info >
Interval< B, Info >	Parma_Polyhedra_Library::operator- (const Interval< B, Info > &x, const Interval< B, Info > &y)
template<typename B , typename Info , typename T >
Enable_If< Is_Singleton< T >::value, Interval< B, Info > >::type	Parma_Polyhedra_Library::operator* (const Interval< B, Info > &x, const T &y)
template<typename B , typename Info , typename T >
Enable_If< Is_Singleton< T >::value, Interval< B, Info > >::type	Parma_Polyhedra_Library::operator* (const T &x, const Interval< B, Info > &y)
template<typename B , typename Info >
Interval< B, Info >	Parma_Polyhedra_Library::operator* (const Interval< B, Info > &x, const Interval< B, Info > &y)
template<typename B , typename Info , typename T >
Enable_If< Is_Singleton< T >::value, Interval< B, Info > >::type	Parma_Polyhedra_Library::operator/ (const Interval< B, Info > &x, const T &y)
template<typename B , typename Info , typename T >
Enable_If< Is_Singleton< T >::value, Interval< B, Info > >::type	Parma_Polyhedra_Library::operator/ (const T &x, const Interval< B, Info > &y)
template<typename B , typename Info >
Interval< B, Info >	Parma_Polyhedra_Library::operator/ (const Interval< B, Info > &x, const Interval< B, Info > &y)
template<typename Boundary , typename Info >
std::ostream &	Parma_Polyhedra_Library::operator<< (std::ostream &os, const Interval< Boundary, Info > &x)

Variables
const Scalar_As_Interval_Info	Parma_Polyhedra_Library::Interval_NS::SCALAR_INFO