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 PPL_Interval_inlines_hh 1 |
Definition at line 24 of file Interval.inlines.hh.