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

Classes
struct	Parma_Polyhedra_Library::Weightwatch_Traits
	Traits class for the deterministic timeout mechanism. More...
class	Parma_Polyhedra_Library::Throwable
	User objects the PPL can throw. 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 >
Namespaces
namespace	Parma_Polyhedra_Library
	The entire library is confined to this namespace.
namespace	Parma_Polyhedra_Library::Implementation
	Implementation related data and functions.
Macros
#define	PPL_DIRTY_TEMP_COEFFICIENT(id) PPL_DIRTY_TEMP(Parma_Polyhedra_Library::Coefficient, id)
	Declare a local variable named `id`, of type Coefficient, and containing an unknown initial value.
#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; }
#define	PPL_USE_SPARSE_MATRIX 1
#define	PPL_PROFILE_ADD_WEIGHT 0
#define	WEIGHT_BEGIN()
#define	WEIGHT_ADD(delta)
#define	WEIGHT_ADD_MUL(delta, factor)
Functions
dimension_type	Parma_Polyhedra_Library::not_a_dimension ()
	Returns a value that does not designate a valid dimension.
int32_t	Parma_Polyhedra_Library::hash_code_from_dimension (dimension_type dim)
	Returns the hash code for space dimension `dim`.
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.
bool	Parma_Polyhedra_Library::is_space (char c)
	Returns `true` if `c` is any kind of space character.
template<typename T >
Enable_If< Has_OK< T >::value, bool >::type	Parma_Polyhedra_Library::f_OK (const T &to)
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)
template<typename RA_Container >
RA_Container::iterator	Parma_Polyhedra_Library::nth_iter (RA_Container &cont, dimension_type n)
template<typename RA_Container >
RA_Container::const_iterator	Parma_Polyhedra_Library::nth_iter (const RA_Container &cont, dimension_type n)
dimension_type	Parma_Polyhedra_Library::least_significant_one_mask (dimension_type i)
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`.

Macro Definition Documentation

#define FOK ( T ) inline bool f_OK(const T&) { return true; }

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

#define PPL_DIRTY_TEMP_COEFFICIENT ( id ) PPL_DIRTY_TEMP(Parma_Polyhedra_Library::Coefficient, id)

Declare a local variable named id, of type Coefficient, and containing an unknown initial value.

Use of this macro to declare temporaries of type Coefficient results in decreased memory allocation overhead and in better locality.

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

#define PPL_OUTPUT_2_PARAM_TEMPLATE_DEFINITIONS	(	type_symbol1,
		type_symbol2,
		class_prefix
	)

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

#define PPL_OUTPUT_3_PARAM_TEMPLATE_DEFINITIONS	(	type_symbol1,
		type_symbol2,
		type_symbol3,
		class_prefix
	)

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

#define PPL_OUTPUT_DECLARATIONS

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

#define PPL_OUTPUT_DEFINITIONS ( class_name )

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

#define PPL_OUTPUT_DEFINITIONS_ASCII_ONLY ( class_name )

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

#define PPL_OUTPUT_TEMPLATE_DEFINITIONS	(	type_symbol,
		class_prefix
	)

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

#define PPL_OUTPUT_TEMPLATE_DEFINITIONS_ASCII_ONLY	(	type_symbol,
		class_prefix
	)

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

#define PPL_PROFILE_ADD_WEIGHT 0

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

#define PPL_STR ( s ) #s

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

#define PPL_USE_SPARSE_MATRIX 1

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

#define PPL_XSTR ( s ) PPL_STR(s)

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

#define WEIGHT_ADD ( delta )

Value:

do {                                          \
    if (Implementation::in_assert == 0)         \
      Weightwatch_Traits::weight += delta;      \
  } while (false)

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

#define WEIGHT_ADD_MUL	(	delta,
		factor
	)

Value:

do {                                                  \
    if (Implementation::in_assert == 0)                 \
      Weightwatch_Traits::weight += delta * factor;     \
  } while (false)

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

Referenced by Parma_Polyhedra_Library::Polyhedron::conversion(), Parma_Polyhedra_Library::MIP_Problem::linear_combine(), Parma_Polyhedra_Library::Box< ITV >::propagate_constraints_no_check(), Parma_Polyhedra_Library::MIP_Problem::steepest_edge_exact_entering_index(), and Parma_Polyhedra_Library::MIP_Problem::steepest_edge_float_entering_index().

#define WEIGHT_BEGIN ( )

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

Classes

Namespaces

Macros

Functions

Macro Definition Documentation