X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fwildcard.h;h=678afb810a0997e458a6eccad5dba05ea1e9571d;hp=e52c3fa58d925357fedd832ff60aab023145fe03;hb=b28ad5c0535bed79bf6549f25faf071be842ac21;hpb=c0ba2b239690e1b97aaecb860930b170a2bc1df2 diff --git a/ginac/wildcard.h b/ginac/wildcard.h index e52c3fa5..678afb81 100644 --- a/ginac/wildcard.h +++ b/ginac/wildcard.h @@ -3,7 +3,7 @@ * Interface to GiNaC's wildcard objects. */ /* - * GiNaC Copyright (C) 1999-2004 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2011 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 @@ -17,17 +17,17 @@ * * 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 + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA */ -#ifndef __GINAC_WILDCARD_H__ -#define __GINAC_WILDCARD_H__ +#ifndef GINAC_WILDCARD_H +#define GINAC_WILDCARD_H #include "ex.h" +#include "archive.h" namespace GiNaC { - /** This class acts as a wildcard for subs(), match(), has() and find(). An * integer label is used to identify different wildcards. */ class wildcard : public basic @@ -41,8 +41,12 @@ public: // functions overriding virtual functions from base classes public: - bool match(const ex & pattern, lst & repl_lst) const; + bool match(const ex & pattern, exmap& repl_lst) const; + /** Save (a.k.a. serialize) object into archive. */ + void archive(archive_node& n) const; + /** Read (a.k.a. deserialize) object from archive. */ + void read_archive(const archive_node& n, lst& syms); protected: unsigned calchash() const; @@ -59,16 +63,11 @@ protected: private: unsigned label; /**< Label used to distinguish different wildcards */ }; +GINAC_DECLARE_UNARCHIVER(wildcard); // utility functions -/** Specialization of is_exactly_a(obj) for wildcard objects. */ -template<> inline bool is_exactly_a(const basic & obj) -{ - return obj.tinfo()==TINFO_wildcard; -} - /** Create a wildcard object with the specified label. */ inline ex wild(unsigned label = 0) { @@ -80,4 +79,4 @@ bool haswild(const ex & x); } // namespace GiNaC -#endif // ndef __GINAC_WILDCARD_H__ +#endif // ndef GINAC_WILDCARD_H