X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fwildcard.h;h=615255d6e61714ec52484dfea076635a626b3106;hp=68fe2b99654c31fa1097cfdd91d9d88faad37737;hb=e75c7a32a0ea156635aeec535b9cdf7d4bf3f9b9;hpb=da64e515abf7243bc4c84ca3631470931c4e6691 diff --git a/ginac/wildcard.h b/ginac/wildcard.h index 68fe2b99..615255d6 100644 --- a/ginac/wildcard.h +++ b/ginac/wildcard.h @@ -3,7 +3,7 @@ * Interface to GiNaC's wildcard objects. */ /* - * GiNaC Copyright (C) 1999-2005 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2010 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 @@ -20,14 +20,14 @@ * 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