#include "globals.types.hh"
#include "C_Integer.hh"
#include "meta_programming.hh"
#include "Slow_Copy.hh"
#include "Temp.defs.hh"
#include <exception>
#include <gmpxx.h>
#include "globals.inlines.hh"
Go to the source code of this file.
Namespaces | |
namespace | Parma_Polyhedra_Library |
Classes | |
class | Parma_Polyhedra_Library::Throwable |
User objects the PPL can throw. More... | |
struct | Parma_Polyhedra_Library::From_Covering_Box |
A tag class. More... | |
struct | Parma_Polyhedra_Library::Recycle_Input |
A tag class. More... | |
struct | Parma_Polyhedra_Library::Fit< T, v, Enable > |
struct | Parma_Polyhedra_Library::Fit< T, v, typename Enable_If< C_Integer< T >::value >::type > |
struct | Parma_Polyhedra_Library::TConstant< T, v > |
struct | Parma_Polyhedra_Library::Constant_< T, v, prefer_signed, Enable > |
struct | Parma_Polyhedra_Library::Constant_< T, v, prefer_signed, typename Enable_If<(Fit< typename C_Integer< T >::smaller_signed_type, v >::value &&(prefer_signed||!Fit< typename C_Integer< T >::smaller_unsigned_type, v >::value))>::type > |
struct | Parma_Polyhedra_Library::Constant_< T, v, prefer_signed, typename Enable_If<(Fit< typename C_Integer< T >::smaller_unsigned_type, v >::value &&(!prefer_signed||!Fit< typename C_Integer< T >::smaller_signed_type, v >::value))>::type > |
struct | Parma_Polyhedra_Library::Constant< v, prefer_signed > |
struct | Parma_Polyhedra_Library::Has_OK< T, Enable > |
struct | Parma_Polyhedra_Library::Has_OK< T, typename Enable_If_Is< bool(T::*)() const,&T::OK >::type > |
Defines | |
#define | PPL_globals_defs_hh 1 |
#define | TEMP_INTEGER(id) DIRTY_TEMP0(Coefficient, 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_2_PARAM_TEMPLATE_DEFINITIONS(type_symbol1,type_symbol2,class_prefix) |
#define | PPL_OUTPUT_3_PARAM_TEMPLATE_DEFINITIONS(type_symbol1,type_symbol2,type_symbol3,class_prefix) |
#define | PPL_OUTPUT_TEMPLATE_DEFINITIONS_ASCII_ONLY(type_symbol, class_prefix) |
#define | FOK(T) inline bool f_OK(const T&) { return true; } |
Functions | |
dimension_type | Parma_Polyhedra_Library::not_a_dimension () |
Returns a value that does not designate a valid dimension. | |
template<typename T> | |
Enable_If< Slow_Copy< T > ::value, void >::type | Parma_Polyhedra_Library::swap (T &, T &) |
Make sure swap() is specialized when needed. | |
dimension_type | Parma_Polyhedra_Library::compute_capacity (dimension_type requested_size, dimension_type maximum_size) |
Speculative allocation function. | |
dimension_type | Parma_Polyhedra_Library::compute_capacity (dimension_type requested_size) |
template<typename T> | |
Enable_If< Has_OK< T >::value, bool >::type | Parma_Polyhedra_Library::f_OK (const T &to) |
Memory Size Inspection Functions | |
template<typename T> | |
Enable_If< Is_Native< T > ::value, memory_size_type > ::type | Parma_Polyhedra_Library::total_memory_in_bytes (const T &) |
For native types, returns the total size in bytes of the memory occupied by the type of the (unused) parameter, i.e., 0. | |
template<typename T> | |
Enable_If< Is_Native< T > ::value, memory_size_type > ::type | Parma_Polyhedra_Library::external_memory_in_bytes (const T &) |
For native types, returns the size in bytes of the memory managed by the type of the (unused) parameter, i.e., 0. | |
memory_size_type | Parma_Polyhedra_Library::total_memory_in_bytes (const mpz_class &x) |
Returns the total size in bytes of the memory occupied by x . | |
memory_size_type | Parma_Polyhedra_Library::external_memory_in_bytes (const mpz_class &x) |
Returns the size in bytes of the memory managed by x . | |
memory_size_type | Parma_Polyhedra_Library::total_memory_in_bytes (const mpq_class &x) |
Returns the total size in bytes of the memory occupied by x . | |
memory_size_type | Parma_Polyhedra_Library::external_memory_in_bytes (const mpq_class &x) |
Returns the size in bytes of the memory managed by x . | |
Variables | |
const Throwable *volatile | Parma_Polyhedra_Library::abandon_expensive_computations = 0 |
A pointer to an exception object. |
#define FOK | ( | T | ) | inline bool f_OK(const T&) { return true; } |
Definition at line 375 of file globals.defs.hh.
#define PPL_globals_defs_hh 1 |
Definition at line 24 of file globals.defs.hh.
#define PPL_OUTPUT_2_PARAM_TEMPLATE_DEFINITIONS | ( | type_symbol1, | |||
type_symbol2, | |||||
class_prefix | ) |
Definition at line 215 of file globals.defs.hh.
#define PPL_OUTPUT_3_PARAM_TEMPLATE_DEFINITIONS | ( | type_symbol1, | |||
type_symbol2, | |||||
type_symbol3, | |||||
class_prefix | ) |
Definition at line 233 of file globals.defs.hh.
#define PPL_OUTPUT_DECLARATIONS |
Definition at line 157 of file globals.defs.hh.
#define PPL_OUTPUT_DEFINITIONS | ( | class_name | ) |
Definition at line 171 of file globals.defs.hh.
#define PPL_OUTPUT_DEFINITIONS_ASCII_ONLY | ( | class_name | ) |
Definition at line 183 of file globals.defs.hh.
#define PPL_OUTPUT_TEMPLATE_DEFINITIONS | ( | type_symbol, | |||
class_prefix | ) |
Definition at line 195 of file globals.defs.hh.
#define PPL_OUTPUT_TEMPLATE_DEFINITIONS_ASCII_ONLY | ( | type_symbol, | |||
class_prefix | ) |
Definition at line 251 of file globals.defs.hh.
#define PPL_STR | ( | s | ) | #s |
Definition at line 152 of file globals.defs.hh.
#define PPL_XSTR | ( | s | ) | PPL_STR(s) |
Definition at line 154 of file globals.defs.hh.
#define TEMP_INTEGER | ( | id | ) | DIRTY_TEMP0(Coefficient, id) |
Definition at line 55 of file globals.defs.hh.
Referenced by Parma_Polyhedra_Library::Octagonal_Shape< T >::add_constraint(), Parma_Polyhedra_Library::BD_Shape< T >::add_constraint(), Parma_Polyhedra_Library::Octagonal_Shape< T >::affine_image(), 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::Octagonal_Shape< T >::affine_preimage(), Parma_Polyhedra_Library::Pointset_Powerset< PS >::approximate_partition_aux(), Parma_Polyhedra_Library::BD_Shape< T >::BD_Shape(), Parma_Polyhedra_Library::Polyhedron::BHRZ03_evolving_rays(), Parma_Polyhedra_Library::Octagonal_Shape< T >::bounded_affine_image(), Parma_Polyhedra_Library::BD_Shape< T >::bounded_affine_image(), Parma_Polyhedra_Library::Octagonal_Shape< T >::bounded_affine_preimage(), Parma_Polyhedra_Library::Box< ITV >::bounded_affine_preimage(), Parma_Polyhedra_Library::BD_Shape< T >::bounded_affine_preimage(), Parma_Polyhedra_Library::Octagonal_Shape< T >::bounds(), Parma_Polyhedra_Library::BD_Shape< T >::bounds(), Parma_Polyhedra_Library::MIP_Problem::choose_branching_variable(), Parma_Polyhedra_Library::MIP_Problem::compute_generator(), Parma_Polyhedra_Library::MIP_Problem::compute_simplex_using_steepest_edge_float(), Parma_Polyhedra_Library::Octagonal_Shape< T >::constraints(), Parma_Polyhedra_Library::BD_Shape< T >::constraints(), Parma_Polyhedra_Library::Polyhedron::contains_integer_point(), Parma_Polyhedra_Library::Grid::conversion(), Parma_Polyhedra_Library::Polyhedron::conversion(), Parma_Polyhedra_Library::Octagonal_Shape< T >::deduce_minus_v_pm_u_bounds(), Parma_Polyhedra_Library::Octagonal_Shape< T >::deduce_v_pm_u_bounds(), Parma_Polyhedra_Library::Octagonal_Shape< T >::generalized_affine_image(), Parma_Polyhedra_Library::Grid::generalized_affine_image(), Parma_Polyhedra_Library::BD_Shape< T >::generalized_affine_image(), Parma_Polyhedra_Library::Polyhedron::generalized_affine_preimage(), Parma_Polyhedra_Library::Octagonal_Shape< T >::generalized_affine_preimage(), Parma_Polyhedra_Library::Grid::generalized_affine_preimage(), Parma_Polyhedra_Library::Box< ITV >::generalized_affine_preimage(), Parma_Polyhedra_Library::BD_Shape< T >::generalized_affine_preimage(), Parma_Polyhedra_Library::Grid::get_covering_box(), Parma_Polyhedra_Library::MIP_Problem::get_exiting_base_index(), Parma_Polyhedra_Library::Octagonal_Shape< T >::get_limiting_octagon(), 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::MIP_Problem::is_mip_satisfiable(), Parma_Polyhedra_Library::MIP_Problem::linear_combine(), Parma_Polyhedra_Library::Linear_Row::linear_combine(), Parma_Polyhedra_Library::Polyhedron::max_min(), Parma_Polyhedra_Library::Octagonal_Shape< T >::max_min(), Parma_Polyhedra_Library::Grid::max_min(), Parma_Polyhedra_Library::BD_Shape< T >::max_min(), Parma_Polyhedra_Library::Pointset_Powerset< PS >::maximize(), Parma_Polyhedra_Library::Pointset_Powerset< PS >::minimize(), Parma_Polyhedra_Library::Octagonal_Shape< T >::minimized_congruences(), Parma_Polyhedra_Library::BD_Shape< T >::minimized_congruences(), 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::Octagonal_Shape< T >::Octagonal_Shape(), Parma_Polyhedra_Library::MIP_Problem::OK(), Parma_Polyhedra_Library::Grid_Generator::operator<<(), Parma_Polyhedra_Library::Constraint::operator<<(), Parma_Polyhedra_Library::Congruence::operator<<(), Parma_Polyhedra_Library::Matrix::permute_columns(), Parma_Polyhedra_Library::Polyhedron::Polyhedron(), 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::Scalar_Products::reduced_sign(), Parma_Polyhedra_Library::Octagonal_Shape< T >::refine(), Parma_Polyhedra_Library::BD_Shape< T >::refine(), Parma_Polyhedra_Library::Octagonal_Shape< T >::refine_no_check(), Parma_Polyhedra_Library::BD_Shape< T >::refine_no_check(), Parma_Polyhedra_Library::Polyhedron::relation_with(), Parma_Polyhedra_Library::Octagonal_Shape< T >::relation_with(), Parma_Polyhedra_Library::Grid::relation_with(), Parma_Polyhedra_Library::Box< ITV >::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::Scalar_Products::sign(), Parma_Polyhedra_Library::MIP_Problem::solve_mip(), and Parma_Polyhedra_Library::MIP_Problem::steepest_edge_exact_entering_index().