|
PPL
1.2
|


Go to the source code of this file.
Classes | |
| struct | Parma_Polyhedra_Library::Rational_Interval_Info_Policy |
Namespaces | |
| Parma_Polyhedra_Library | |
| The entire library is confined to this namespace. | |
Typedefs | |
| typedef Interval_Info_Bitset< unsigned int, Rational_Interval_Info_Policy > | Parma_Polyhedra_Library::Rational_Interval_Info |
| typedef Interval< mpq_class, Rational_Interval_Info > | Parma_Polyhedra_Library::Rational_Interval |
| An interval with rational, possibly open boundaries. More... | |