PPL  1.2
globals.cc File Reference
#include "ppl-config.h"
#include "globals_defs.hh"
#include "Constraint_defs.hh"
#include "Generator_defs.hh"
Include dependency graph for globals.cc:

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...