This function is much slower than the optimized construct_from_2_ex()
member function, which explains why it wasn't used.
// non-virtual functions in this class
//////////
-void expairseq::construct_from_2_ex_via_exvector(const ex &lh, const ex &rh)
-{
- const exvector v = {lh, rh};
- construct_from_exvector(std::move(v));
-}
-
void expairseq::construct_from_2_ex(const ex &lh, const ex &rh)
{
if (typeid(ex_to<basic>(lh)) == typeid(*this)) {
protected:
void do_print(const print_context & c, unsigned level) const;
void do_print_tree(const print_tree & c, unsigned level) const;
- void construct_from_2_ex_via_exvector(const ex & lh, const ex & rh);
void construct_from_2_ex(const ex & lh, const ex & rh);
void construct_from_2_expairseq(const expairseq & s1,
const expairseq & s2);