PPL
1.2
|
Go to the source code of this file.
Namespaces | |
Parma_Polyhedra_Library | |
The entire library is confined to this namespace. | |
Typedefs | |
typedef Box< Rational_Interval > | Parma_Polyhedra_Library::Rational_Box |
A box with rational, possibly open boundaries. More... | |