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