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 >
struct  Parma_Polyhedra_Library::Select_Temp_Boundary_Type< float >
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

namespace  Parma_Polyhedra_Library
 

The entire library is confined to this namespace.


namespace  Parma_Polyhedra_Library::Interval_NS
namespace  std
 

The standard C++ namespace.


Typedefs

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

Functions

template<typename From >
Enable_If< Is_Interval< From >
::value, I_Result >::type 
Parma_Polyhedra_Library::neg_assign (From &x)
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::is_infinity (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
Generated on Sun Feb 27 16:19:02 2011 for PPL by  doxygen 1.6.3