* Supplement some (now deprecated) macros by inlined template functions:

[ginac.git] / ginac / symbol.h

diff --git a/ginac/symbol.h b/ginac/symbol.h
index aec27aee7d99af180a23fec62757341b6f7f00bb..df6a9fd4c2e0de3ee4b4613f08ecc9ac668e4312 100644 (file)
--- a/ginac/symbol.h
+++ b/ginac/symbol.h
@@ -115,11 +115,19 @@ private:
 
 
 // utility functions
+
+/** Return the symbol object handled by an ex.
+ *  This is unsafe: you need to check the type first. */
 inline const symbol &ex_to_symbol(const ex &e)
 {
        return static_cast<const symbol &>(*e.bp);
 }
 
+/** Specialization of is_exactly_a<symbol>(obj) for symbol objects. */
+template<> inline bool is_exactly_a<symbol>(const basic & obj)
+{
+       return obj.tinfo()==TINFO_symbol;
+}
 
 // wrapper functions around member functions
 inline void unassign(symbol & symarg)