Interval.inlines.hh File Reference

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

Go to the source code of this file.

Namespaces

namespace  Parma_Polyhedra_Library
namespace  Parma_Polyhedra_Library::Interval_NS
namespace  std

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< 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 >

Defines

#define PPL_Interval_inlines_hh   1

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 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, Ternary >::type 
Parma_Polyhedra_Library::Interval_NS::f_is_empty_lazy (const T &x)
bool Parma_Polyhedra_Library::is_integer (const char *)
bool Parma_Polyhedra_Library::is_not_a_number (const char *)
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 T1, typename T2>
bool Parma_Polyhedra_Library::same_object (const T1 &, const T2 &)
template<typename T>
bool Parma_Polyhedra_Library::same_object (const T &x, const T &y)
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 Boundary, typename Info>
I_Result Parma_Polyhedra_Library::check_empty_result (const Interval< Boundary, Info > &x, I_Result r)
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


Define Documentation

#define PPL_Interval_inlines_hh   1

Definition at line 24 of file Interval.inlines.hh.


Generated on Sat Oct 11 10:40:19 2008 for PPL by  doxygen 1.5.6