};
// utility functions
+
+/** Return the expairseq object handled by an ex.
+ * This is unsafe: you need to check the type first. */
inline const expairseq &ex_to_expairseq(const ex &e)
{
return static_cast<const expairseq &>(*e.bp);
}
+/** Specialization of is_exactly_a<expairseq>(obj) for expairseq objects. */
+template<> inline bool is_exactly_a<expairseq>(const basic & obj)
+{
+ return obj.tinfo()==TINFO_expairseq;
+}
+
} // namespace GiNaC
#endif // ndef __GINAC_EXPAIRSEQ_H__