#include "globals.types.hh"
#include "Coefficient.defs.hh"
#include <exception>
#include "globals.inlines.hh"
Go to the source code of this file.
Namespaces | |
namespace | Parma_Polyhedra_Library |
Classes | |
class | Parma_Polyhedra_Library::Coefficient_free_list_element |
A node of the list of available coefficients. More... | |
class | Parma_Polyhedra_Library::Temp_Coefficient_Holder |
class | Parma_Polyhedra_Library::Throwable |
User objects the PPL can throw. More... | |
struct | Parma_Polyhedra_Library::From_Bounding_Box |
A tag class. More... | |
struct | Parma_Polyhedra_Library::From_Covering_Box |
A tag class. More... | |
Defines | |
#define | PPL_globals_defs_hh 1 |
#define | TEMP_INTEGER(id) |
#define | PPL_STR(s) #s |
#define | PPL_XSTR(s) PPL_STR(s) |
#define | PPL_OUTPUT_DECLARATIONS |
#define | PPL_OUTPUT_DEFINITIONS(class_name) |
#define | PPL_OUTPUT_DEFINITIONS_ASCII_ONLY(class_name) |
#define | PPL_OUTPUT_TEMPLATE_DEFINITIONS(type_symbol, class_prefix) |
#define | PPL_OUTPUT_TEMPLATE_DEFINITIONS_ASCII_ONLY(type_symbol, class_prefix) |
Functions | |
dimension_type | Parma_Polyhedra_Library::not_a_dimension () |
Returns a value that does not designate a valid dimension. | |
Coefficient & | Parma_Polyhedra_Library::get_tmp_Coefficient () |
void | Parma_Polyhedra_Library::release_tmp_Coefficient (Coefficient &i) |
dimension_type | Parma_Polyhedra_Library::compute_capacity (dimension_type requested_size, dimension_type maximum_size) |
Speculative allocation function. | |
void | Parma_Polyhedra_Library::normalize2 (Coefficient_traits::const_reference x, Coefficient_traits::const_reference y, Coefficient &nx, Coefficient &ny) |
If ![]() x and y , the values of x and y divided by ![]() nx and ny , respectively. | |
template<typename T> | |
T | Parma_Polyhedra_Library::low_bits_mask (unsigned n) |
Returns a mask for the lowest n bits,. | |
Variables | |
Coefficient_free_list_element * | Parma_Polyhedra_Library::Coefficient_free_list_first = 0 |
const Throwable *volatile | Parma_Polyhedra_Library::abandon_expensive_computations = 0 |
A pointer to an exception object. |
#define PPL_globals_defs_hh 1 |
Definition at line 24 of file globals.defs.hh.
#define PPL_OUTPUT_DECLARATIONS |
Definition at line 220 of file globals.defs.hh.
#define PPL_OUTPUT_DEFINITIONS | ( | class_name | ) |
Definition at line 234 of file globals.defs.hh.
#define PPL_OUTPUT_DEFINITIONS_ASCII_ONLY | ( | class_name | ) |
Definition at line 246 of file globals.defs.hh.
#define PPL_OUTPUT_TEMPLATE_DEFINITIONS | ( | type_symbol, | |||
class_prefix | ) |
Definition at line 258 of file globals.defs.hh.
#define PPL_OUTPUT_TEMPLATE_DEFINITIONS_ASCII_ONLY | ( | type_symbol, | |||
class_prefix | ) |
Definition at line 272 of file globals.defs.hh.
#define PPL_STR | ( | s | ) | #s |
Definition at line 215 of file globals.defs.hh.
#define PPL_XSTR | ( | s | ) | PPL_STR(s) |
Definition at line 217 of file globals.defs.hh.
#define TEMP_INTEGER | ( | id | ) |
Value:
Coefficient& id = get_tmp_Coefficient(); \ Temp_Coefficient_Holder temp_Coefficient_holder_ ## id = (id)
Definition at line 96 of file globals.defs.hh.
Referenced by Parma_Polyhedra_Library::BD_Shape< T >::add_constraint(), Parma_Polyhedra_Library::Grid_Generator_System::affine_image(), Parma_Polyhedra_Library::Generator_System::affine_image(), Parma_Polyhedra_Library::BD_Shape< T >::affine_image(), Parma_Polyhedra_Library::BD_Shape< T >::BD_Shape(), Parma_Polyhedra_Library::Polyhedron::BHRZ03_evolving_rays(), Parma_Polyhedra_Library::LP_Problem::compute_generator(), Parma_Polyhedra_Library::BD_Shape< T >::constraints(), Parma_Polyhedra_Library::Grid::conversion(), Parma_Polyhedra_Library::Polyhedron::conversion(), Parma_Polyhedra_Library::Grid::generalized_affine_image(), Parma_Polyhedra_Library::BD_Shape< T >::generalized_affine_image(), Parma_Polyhedra_Library::Grid::generalized_affine_preimage(), Parma_Polyhedra_Library::BD_Shape< T >::generalized_affine_preimage(), Parma_Polyhedra_Library::Grid::get_covering_box(), Parma_Polyhedra_Library::LP_Problem::get_exiting_base_index(), Parma_Polyhedra_Library::BD_Shape< T >::get_limiting_shape(), Parma_Polyhedra_Library::Grid::Grid(), Parma_Polyhedra_Library::Scalar_Products::homogeneous_sign(), Parma_Polyhedra_Library::Generator::is_matching_closure_point(), Parma_Polyhedra_Library::LP_Problem::linear_combine(), Parma_Polyhedra_Library::Linear_Row::linear_combine(), Parma_Polyhedra_Library::Polyhedron::max_min(), Parma_Polyhedra_Library::Grid::max_min(), Parma_Polyhedra_Library::BD_Shape< T >::minimized_constraints(), Parma_Polyhedra_Library::Row::normalize(), Parma_Polyhedra_Library::normalize2(), Parma_Polyhedra_Library::Grid::normalize_divisors(), Parma_Polyhedra_Library::Congruence_System::normalize_moduli(), Parma_Polyhedra_Library::Matrix::permute_columns(), Parma_Polyhedra_Library::Grid::reduce_congruence_with_equality(), Parma_Polyhedra_Library::Grid::reduce_equality_with_equality(), Parma_Polyhedra_Library::Grid::reduce_line_with_line(), Parma_Polyhedra_Library::Grid::reduce_parameter_with_line(), Parma_Polyhedra_Library::Grid::reduce_pc_with_pc(), Parma_Polyhedra_Library::Grid::reduce_reduced(), Parma_Polyhedra_Library::Scalar_Products::reduced_sign(), Parma_Polyhedra_Library::Grid::relation_with(), Parma_Polyhedra_Library::BD_Shape< T >::relation_with(), Parma_Polyhedra_Library::Congruence_System::satisfies_all_congruences(), Parma_Polyhedra_Library::Grid_Generator::scale_to_divisor(), Parma_Polyhedra_Library::Polyhedron::shrink_bounding_box(), Parma_Polyhedra_Library::Grid::shrink_bounding_box(), Parma_Polyhedra_Library::Scalar_Products::sign(), Parma_Polyhedra_Library::LP_Problem::steepest_edge(), and Parma_Polyhedra_Library::Grid::time_elapse_assign().