* GiNaC's class registrar (for class basic and all classes derived from it). */
/*
- * GiNaC Copyright (C) 1999-2006 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2008 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
class ex;
class archive_node;
-template <template <class> class> class container;
+template <template <class T, class = std::allocator<T> > class> class container;
typedef container<std::list> lst;
+/** To distinguish between different kinds of non-commutative objects */
+struct return_type_t
+{
+ /// to distinguish between non-commutative objects of different type.
+ std::type_info const* tinfo;
+ /// to distinguish between non-commutative objects of the same type.
+ /// Think of gamma matrices with different represenation labels.
+ unsigned rl;
+
+ /// Strict weak ordering (so one can put return_type_t's into
+ /// a STL container).
+ inline bool operator<(const return_type_t& other) const
+ {
+ if (tinfo->before(*other.tinfo))
+ return true;
+ return rl < other.rl;
+ }
+ inline bool operator==(const return_type_t& other) const
+ {
+ if (*tinfo != *(other.tinfo))
+ return false;
+ return rl == other.rl;
+ }
+ inline bool operator!=(const return_type_t& other) const
+ {
+ return ! (operator==(other));
+ }
+};
+
+template<typename T> inline return_type_t make_return_type_t(const unsigned rl = 0)
+{
+ return_type_t ret;
+ ret.rl = rl;
+ ret.tinfo = &typeid(T);
+ return ret;
+}
+
/** Definitions for the tinfo mechanism. */
typedef const void * tinfo_t;
struct tinfo_static_t {};
#define GINAC_DECLARE_REGISTERED_CLASS_NO_CTORS(classname, supername) \
public: \
typedef supername inherited; \
- static const tinfo_static_t tinfo_static; \
+ static const GiNaC::tinfo_static_t tinfo_static; \
private: \
static GiNaC::registered_class_info reg_info; \
public: \
/** Macro for inclusion in the implementation of each registered class. */
#define GINAC_IMPLEMENT_REGISTERED_CLASS(classname, supername) \
GiNaC::registered_class_info classname::reg_info = GiNaC::registered_class_info(GiNaC::registered_class_options(#classname, #supername, &classname::tinfo_static, &classname::unarchive)); \
- const tinfo_static_t classname::tinfo_static = {};
+ const GiNaC::tinfo_static_t classname::tinfo_static = {};
/** Macro for inclusion in the implementation of each registered class.
* Additional options can be specified. */
#define GINAC_IMPLEMENT_REGISTERED_CLASS_OPT(classname, supername, options) \
GiNaC::registered_class_info classname::reg_info = GiNaC::registered_class_info(GiNaC::registered_class_options(#classname, #supername, &classname::tinfo_static, &classname::unarchive).options); \
- const tinfo_static_t classname::tinfo_static = {};
+ const GiNaC::tinfo_static_t classname::tinfo_static = {};
/** Macro for inclusion in the implementation of each registered class.
* Additional options can be specified. */
#define GINAC_IMPLEMENT_REGISTERED_CLASS_OPT_T(classname, supername, options) \
GiNaC::registered_class_info classname::reg_info = GiNaC::registered_class_info(GiNaC::registered_class_options(#classname, #supername, &classname::tinfo_static, &classname::unarchive).options); \
- template<> const tinfo_static_t classname::tinfo_static = {};
+ template<> const GiNaC::tinfo_static_t classname::tinfo_static = {};
/** Find type information key by class name. */