exvector get_free_indices(void) const;
protected:
+ ex derivative(const symbol & s) const;
ex thisexprseq(const exvector & v) const;
ex thisexprseq(exvector * vp) const;
unsigned return_type(void) const { return return_types::commutative; }
// utility functions
+
+/** Return the indexed object handled by an ex. Deprecated: use ex_to<indexed>().
+ * This is unsafe: you need to check the type first. */
inline const indexed &ex_to_indexed(const ex &e)
{
return static_cast<const indexed &>(*e.bp);
}
+/** Specialization of is_exactly_a<indexed>(obj) for indexed objects. */
+template<> inline bool is_exactly_a<indexed>(const basic & obj)
+{
+ return obj.tinfo()==TINFO_indexed;
+}
+
} // namespace GiNaC
#endif // ndef __GINAC_INDEXED_H__