PPL
1.2
|
Go to the source code of this file.
Classes | |
class | Parma_Polyhedra_Library::Determinate< PSET > |
A wrapper for PPL pointsets, providing them with a determinate constraint system interface, as defined in [Bag98]. More... | |
Namespaces | |
Parma_Polyhedra_Library | |
The entire library is confined to this namespace. | |