ex thisexpairseq(const epvector & v, const ex & oc, bool do_index_renaming = false) const;
ex thisexpairseq(std::auto_ptr<epvector> vp, const ex & oc, bool do_index_renaming = false) const;
expair split_ex_to_pair(const ex & e) const;
ex thisexpairseq(const epvector & v, const ex & oc, bool do_index_renaming = false) const;
ex thisexpairseq(std::auto_ptr<epvector> vp, const ex & oc, bool do_index_renaming = false) const;
expair split_ex_to_pair(const ex & e) const;