PPL
1.2
|
#include "ppl-config.h"
#include "globals_defs.hh"
#include "Constraint_defs.hh"
#include "Generator_defs.hh"
Go to the source code of this file.
Namespaces | |
Parma_Polyhedra_Library | |
The entire library is confined to this namespace. | |
Functions | |
dimension_type | Parma_Polyhedra_Library::check_space_dimension_overflow (const dimension_type dim, const dimension_type max, const char *domain, const char *method, const char *reason) |
Variables | |
const Throwable *volatile | Parma_Polyhedra_Library::abandon_expensive_computations = 0 |
A pointer to an exception object. More... | |