registered_class_info: use typeid() instead of tinfo_static.
authorAlexei Sheplyakov <varg@theor.jinr.ru>
Wed, 15 Oct 2008 11:32:11 +0000 (15:32 +0400)
committerAlexei Sheplyakov <varg@theor.jinr.ru>
Sun, 19 Oct 2008 17:29:11 +0000 (21:29 +0400)
commit09988aee53a2bfef87fc887a434b4c78d6326c47
treeb8ee1564a789b510df9c677ea0e6004d88935c9e
parent12fefbca9b424cb8e9ae05d83883b96e17c7b96e
registered_class_info: use typeid() instead of tinfo_static.

(Custom RTTI considered harmful, part 5).

Since custom RTTI is going to be removed, registered_class_info needs to be
re-organazied. Now tinfo_key is a (const) pointer to std::type_info.
check/exam_archive.cpp
ginac/registrar.cpp
ginac/registrar.h
ginac/structure.h