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:

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

namespace  Parma_Polyhedra_Library
namespace  Parma_Polyhedra_Library::Interfaces
namespace  Parma_Polyhedra_Library::Interfaces::C

Defines

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

Define Documentation

#define CATCH_ALL

Definition at line 144 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 138 of file ppl_c_implementation_common.defs.hh.

#define DECLARE_CONVERSIONS ( Type,
CPP_Type   ) 

Definition at line 169 of file ppl_c_implementation_common.defs.hh.

#define DEFINE_ASCII_DUMP_FUNCTIONS ( Type   ) 

Definition at line 229 of file ppl_c_implementation_common.defs.hh.

#define DEFINE_ASCII_DUMP_LOAD_FUNCTIONS ( Type   ) 
#define DEFINE_ASCII_LOAD_FUNCTIONS ( Type   ) 

Definition at line 241 of file ppl_c_implementation_common.defs.hh.

#define DEFINE_OUTPUT_FUNCTIONS ( Type   ) 
#define DEFINE_PRINT_FUNCTIONS ( Type   ) 

Definition at line 190 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.

Generated on Sun Feb 27 16:22:49 2011 for PPL C Language Interface by  doxygen 1.6.3