-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);