|
PPL
1.2
|
#include "ppl-config.h"#include "Init_defs.hh"#include "Variable_defs.hh"#include "fpu_defs.hh"#include "Rounding_Dir_defs.hh"#include "checked_defs.hh"#include "Coefficient_defs.hh"#include "Linear_Expression_defs.hh"#include "Constraint_defs.hh"#include "Generator_defs.hh"#include "Congruence_defs.hh"#include "Grid_Generator_defs.hh"#include "Constraint_System_defs.hh"#include "Generator_System_defs.hh"#include "Congruence_System_defs.hh"#include "Grid_Generator_System_defs.hh"#include "Polyhedron_defs.hh"#include "Watchdog_defs.hh"#include <stdexcept>
Go to the source code of this file.
Namespaces | |
| Parma_Polyhedra_Library | |
| The entire library is confined to this namespace. | |
| Parma_Polyhedra_Library::Implementation | |
| Implementation related data and functions. | |
Functions | |
| void | ppl_set_GMP_memory_allocation_functions (void) |
| void | Parma_Polyhedra_Library::Implementation::initialize_aux () |
| void | Parma_Polyhedra_Library::Implementation::finalize_aux () |
| void ppl_set_GMP_memory_allocation_functions | ( | void | ) |
Definition at line 30 of file set_GMP_memory_alloc_funcs.cc.
Referenced by Parma_Polyhedra_Library::Init::Init().