PPL
1.2
|
Go to the source code of this file.
Classes | |
struct | Parma_Polyhedra_Library::Integer_Interval_Info_Policy |
Namespaces | |
Parma_Polyhedra_Library | |
The entire library is confined to this namespace. | |
Typedefs | |
typedef Interval_Info_Bitset< unsigned int, Integer_Interval_Info_Policy > | Parma_Polyhedra_Library::Integer_Interval_Info |
typedef Interval< mpz_class, Integer_Interval_Info > | Parma_Polyhedra_Library::Integer_Interval |
An interval with integral, necessarily closed boundaries. More... | |