globals.defs.hh File Reference

#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"

Include dependency graph for globals.defs.hh:

This graph shows which files directly or indirectly include this file:

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 Documentation

#define FOK (  )     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

Definition at line 152 of file globals.defs.hh.

#define PPL_XSTR (  )     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().


Generated on Sat Oct 11 10:40:08 2008 for PPL by  doxygen 1.5.6