|
PPL
1.2
|

Go to the source code of this file.
Classes | |
| class | Parma_Polyhedra_Library::OR_Matrix< T > |
| A matrix representing octagonal constraints. More... | |
Namespaces | |
| Parma_Polyhedra_Library | |
| The entire library is confined to this namespace. | |