-public:
- exprseq(exvector const & s, bool discardable=0);
- exprseq(exvector * vp); // vp will be deleted
- explicit exprseq(ex const & e1);
- explicit exprseq(ex const & e1, ex const & e2);
- explicit exprseq(ex const & e1, ex const & e2, ex const & e3);
- explicit exprseq(ex const & e1, ex const & e2, ex const & e3,
- ex const & e4);
- explicit exprseq(ex const & e1, ex const & e2, ex const & e3,
- ex const & e4, ex const & e5);
- explicit exprseq(ex const & e1, ex const & e2, ex const & e3,
- ex const & e4, ex const & e5, ex const & e6);
- explicit exprseq(ex const & e1, ex const & e2, ex const & e3,
- ex const & e4, ex const & e5, ex const & e6,
- ex const & e7);
- explicit exprseq(ex const & e1, ex const & e2, ex const & e3,
- ex const & e4, ex const & e5, ex const & e6,
- ex const & e7, ex const & e8);
- explicit exprseq(ex const & e1, ex const & e2, ex const & e3,
- ex const & e4, ex const & e5, ex const & e6,
- ex const & e7, ex const & e8, ex const & e9);
- explicit exprseq(ex const & e1, ex const & e2, ex const & e3,
- ex const & e4, ex const & e5, ex const & e6,
- ex const & e7, ex const & e8, ex const & e9,
- ex const &e10);
-
-public:
- basic * duplicate() const;
- void printraw(ostream & os) const;
- void print(ostream & os, unsigned upper_precedence=0) const;
- void printtree(ostream & os, unsigned indent) const;
- bool info(unsigned inf) const;
- int nops() const;
- ex & let_op(int const i);
- ex expand(unsigned options=0) const;
- bool has(ex const & other) const;
- ex eval(int level=0) const;
- ex evalf(int level=0) const;
- ex normal(lst &sym_lst, lst &repl_lst, int level=0) const;
- ex diff(symbol const & s) const;
- ex subs(lst const & ls, lst const & lr) const;
-protected:
- int compare_same_type(basic const & other) const;
- bool is_equal_same_type(basic const & other) const;
- unsigned return_type(void) const;
-
- // new virtual functions which can be overridden by derived classes
-public:
- virtual exprseq & append(ex const & b);
- // no prepend possible for exprseq
-protected:
- virtual void printseq(ostream & os, char openbracket, char delim,
- char closebracket, unsigned this_precedence,
- unsigned upper_precedence=0) const;
- virtual ex thisexprseq(exvector const & v) const;
- virtual ex thisexprseq(exvector * vp) const;
-
-protected:
- bool is_canonical() const;
- exvector evalchildren(int level) const;
- exvector evalfchildren(int level) const;
- exvector normalchildren(int level) const;
- exvector diffchildren(symbol const & s) const;
- exvector * subschildren(lst const & ls, lst const & lr) const;
-
-protected:
- exvector seq;
- static unsigned precedence;
-};
-
-// global constants