/** @file exprseq.h
 *
 *  Definition of GiNaC's exprseq. */

/*
 *  This file was generated automatically by container.pl.
 *  Please do not modify it directly, edit the perl script instead!
 *  container.pl options: $CONTAINER=exprseq
 *                        $STLHEADER=vector
 *                        $reserve=1
 *                        $prepend=0
 *                        $let_op=0
 *                        $open_bracket=(
 *                        $close_bracket=)
 *
 *  GiNaC Copyright (C) 1999 Johannes Gutenberg University Mainz, Germany
 *
 *  This program is free software; you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation; either version 2 of the License, or
 *  (at your option) any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program; if not, write to the Free Software
 *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 */

#ifndef __GINAC_EXPRSEQ_H__
#define __GINAC_EXPRSEQ_H__

#include <vector>
#include <ginac/basic.h>
#include <ginac/ex.h>

namespace GiNaC {

typedef vector<ex> exvector;

class exprseq : public basic
{

public:
    exprseq();
    ~exprseq();
    exprseq(exprseq const & other);
    exprseq const & operator=(exprseq const & other);
protected:
    void copy(exprseq const & other);
    void destroy(bool call_parent);

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

extern const exprseq some_exprseq;
extern type_info const & typeid_exprseq;

// utility functions
inline const exprseq &ex_to_exprseq(const ex &e)
{
    return static_cast<const exprseq &>(*e.bp);
}

} // namespace GiNaC

#endif // ndef __GINAC_EXPRSEQ_H__