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