X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fbasic.h;h=12109bf01dd9835783cf273267d26f523fee3b5f;hp=a5af32366c6c8a063d0f939ec170357f17a88058;hb=757406e244f4f257aafaa0f355d5376122cea10e;hpb=201fc92bfd5806596a5a75a5ae0586d7302c0897;ds=sidebyside diff --git a/ginac/basic.h b/ginac/basic.h index a5af3236..12109bf0 100644 --- a/ginac/basic.h +++ b/ginac/basic.h @@ -242,35 +242,6 @@ inline bool is_exactly_a(const class basic &obj) return obj.tinfo() == T::reg_info.tinfo_key; } -/** Check if ex is a handle to a T, including base classes. */ -template -inline bool is_a(const ex &obj) -{ - return is_a(*obj.bp); -} - -/** Check if ex is a handle to a T, not including base classes. */ -template -inline bool is_exactly_a(const ex &obj) -{ - return is_exactly_a(*obj.bp); -} - -/** Return a reference to the basic-derived class T object embedded in an - * expression. This is fast but unsafe: the result is undefined if the - * expression does not contain a T object at its top level. Hence, you - * should generally check the type of e first. - * - * @param e expression - * @return reference to pseries object - * @see is_exactly_a() */ -template -inline const T &ex_to(const ex &e) -{ - GINAC_ASSERT(is_a(e)); - return static_cast(*e.bp); -} - } // namespace GiNaC #endif // ndef __GINAC_BASIC_H__