ppl_c_implementation_common_defs.hh File Reference

#include "ppl.hh"
#include "ppl_c.h"
#include <stdexcept>
#include "ppl_c_implementation_common_inlines.hh"

Include dependency graph for ppl_c_implementation_common_defs.hh:

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

Go to the source code of this file.

Classes
class	Parma_Polyhedra_Library::Interfaces::C::Array_Partial_Function_Wrapper
	A class to wrap an array of fixed length into a partial function interface suitable for the map_space_dimension() methods. More...
class	Parma_Polyhedra_Library::Interfaces::C::timeout_exception
class	Parma_Polyhedra_Library::Interfaces::C::deterministic_timeout_exception

Namespaces
	Parma_Polyhedra_Library
	Parma_Polyhedra_Library::Interfaces
	Parma_Polyhedra_Library::Interfaces::C

Macros
#define	PPL_NO_AUTOMATIC_INITIALIZATION
#define	CATCH_STD_EXCEPTION(exception, code)
#define	CATCH_ALL
#define	DECLARE_CONVERSIONS(Type, CPP_Type)
#define	DEFINE_PRINT_FUNCTIONS(Type)
#define	DEFINE_ASCII_DUMP_FUNCTIONS(Type)
#define	DEFINE_ASCII_LOAD_FUNCTIONS(Type)
#define	DEFINE_ASCII_DUMP_LOAD_FUNCTIONS(Type)
#define	DEFINE_OUTPUT_FUNCTIONS(Type)

Typedefs
typedef void(*	Parma_Polyhedra_Library::Interfaces::C::error_handler_type) (enum ppl_enum_error_code code, const char *description)

Functions
void	Parma_Polyhedra_Library::Interfaces::C::notify_error (enum ppl_enum_error_code code, const char *description)
Relation_Symbol	Parma_Polyhedra_Library::Interfaces::C::relation_symbol (enum ppl_enum_Constraint_Type t)
Bounded_Integer_Type_Width	Parma_Polyhedra_Library::Interfaces::C::bounded_integer_type_width (enum ppl_enum_Bounded_Integer_Type_Width w)
Bounded_Integer_Type_Representation	Parma_Polyhedra_Library::Interfaces::C::bounded_integer_type_representation (enum ppl_enum_Bounded_Integer_Type_Representation r)
void	Parma_Polyhedra_Library::Interfaces::C::reset_timeout ()
void	Parma_Polyhedra_Library::Interfaces::C::reset_deterministic_timeout ()

Macro Definition Documentation

#define CATCH_ALL

Definition at line 141 of file ppl_c_implementation_common_defs.hh.

#define CATCH_STD_EXCEPTION	(		exception,
			code
	)

Value:

catch (const std::exception& e) {            \
  notify_error(code, e.what()); \
  return code; \
}

Definition at line 135 of file ppl_c_implementation_common_defs.hh.

#define DECLARE_CONVERSIONS	(		Type,
			CPP_Type
	)

Definition at line 166 of file ppl_c_implementation_common_defs.hh.

#define DEFINE_ASCII_DUMP_FUNCTIONS

(

Type

)

Definition at line 226 of file ppl_c_implementation_common_defs.hh.

#define DEFINE_ASCII_DUMP_LOAD_FUNCTIONS

(

Type

)

Value:

DEFINE_ASCII_DUMP_FUNCTIONS(Type)             \
  DEFINE_ASCII_LOAD_FUNCTIONS(Type)

Definition at line 249 of file ppl_c_implementation_common_defs.hh.

#define DEFINE_ASCII_LOAD_FUNCTIONS

(

Type

)

Definition at line 238 of file ppl_c_implementation_common_defs.hh.

#define DEFINE_OUTPUT_FUNCTIONS

(

Type

)

Value:

DEFINE_PRINT_FUNCTIONS(Type)                  \
  DEFINE_ASCII_DUMP_LOAD_FUNCTIONS(Type)

Definition at line 253 of file ppl_c_implementation_common_defs.hh.

#define DEFINE_PRINT_FUNCTIONS

(

Type

)

Definition at line 187 of file ppl_c_implementation_common_defs.hh.

#define PPL_NO_AUTOMATIC_INITIALIZATION

Definition at line 27 of file ppl_c_implementation_common_defs.hh.