documentation update

[ginac.git] / ginac / expairseq.h

diff --git a/ginac/expairseq.h b/ginac/expairseq.h
index be5e014cb536d0f8feebdc1e756ad8a8c436e124..23534978401c240f2fa4e3096282ce529ba1ee91 100644 (file)
--- a/ginac/expairseq.h
+++ b/ginac/expairseq.h
@@ -3,7 +3,7 @@
  *  Interface to sequences of expression pairs. */
 
 /*
- *  GiNaC Copyright (C) 1999-2001 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2002 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
@@ -44,7 +44,6 @@ namespace GiNaC {
 #define EXPAIRSEQ_USE_HASHTAB 0
 
 typedef std::vector<expair> epvector;       ///< expair-vector
-typedef epvector::iterator epviter;         ///< expair-vector iterator
 typedef epvector::iterator epp;             ///< expair-vector pointer
 typedef std::list<epp> epplist;             ///< list of expair-vector pointers
 typedef std::vector<epplist> epplistvector; ///< vector of epplist
@@ -64,7 +63,7 @@ class expairseq : public basic
 
 // member functions
 
-       // default ctor, dtor, copy ctor assignment operator and helpers
+       // default ctor, dtor, copy ctor, assignment operator and helpers
 public:
        expairseq() : basic(TINFO_expairseq)
 #if EXPAIRSEQ_USE_HASHTAB
@@ -84,7 +83,7 @@ public:
        expairseq(const epvector & v, const ex & oc);
        expairseq(epvector * vp, const ex & oc); // vp will be deleted
        
-       // functions overriding virtual functions from bases classes
+       // functions overriding virtual functions from base classes
 public:
        basic * duplicate() const;
        void print(const print_context & c, unsigned level = 0) const;
@@ -93,15 +92,12 @@ public:
        unsigned nops() const;
        ex op(int i) const;
        ex & let_op(int i);
-       ex map(map_func f) const;
+       ex map(map_function & f) 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 to_rational(lst &repl_lst) const;
        bool match(const ex & pattern, lst & repl_lst) const;
        ex subs(const lst & ls, const lst & lr, bool no_pattern = false) const;
 protected:
-       ex derivative(const symbol & s) const;
        int compare_same_type(const basic & other) const;
        bool is_equal_same_type(const basic & other) const;
        unsigned return_type(void) const;
@@ -151,7 +147,7 @@ protected:
        void remove_hashtab_entry(epvector::const_iterator element);
        void move_hashtab_entry(epvector::const_iterator oldpos,
                                epvector::iterator newpos);
-       void sorted_insert(epplist & eppl, epp elem);
+       void sorted_insert(epplist & eppl, epvector::const_iterator elem);
        void build_hashtab_and_combine(epvector::iterator & first_numeric,
                                       epvector::iterator & last_non_zero,
                                       vector<bool> & touched,
@@ -167,9 +163,6 @@ protected:
        bool is_canonical() const;
        epvector * expandchildren(unsigned options) const;
        epvector * evalchildren(int level) const;
-       epvector evalfchildren(int level) const;
-       epvector normalchildren(int level) const;
-       epvector diffchildren(const symbol & s) const;
        epvector * subschildren(const lst & ls, const lst & lr, bool no_pattern = false) const;
        
 // member variables
@@ -188,9 +181,11 @@ protected:
 };
 
 // utility functions
-inline const expairseq &ex_to_expairseq(const ex &e)
+
+/** Specialization of is_exactly_a<expairseq>(obj) for expairseq objects. */
+template<> inline bool is_exactly_a<expairseq>(const basic & obj)
 {
-       return static_cast<const expairseq &>(*e.bp);
+       return obj.tinfo()==TINFO_expairseq;
 }
 
 } // namespace GiNaC