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