X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?a=blobdiff_plain;f=ginac%2Frelational.cpp;h=d345943c26cc2bbea2157efbe0ff9894d220d0ad;hb=b9dc3d71083fe1a2f90a34db24b57b06ad51ebde;hp=d2b3880524c04ad56ae4d4abc33ab7ffb81478fd;hpb=da64e515abf7243bc4c84ca3631470931c4e6691;p=ginac.git diff --git a/ginac/relational.cpp b/ginac/relational.cpp index d2b38805..d345943c 100644 --- a/ginac/relational.cpp +++ b/ginac/relational.cpp @@ -3,7 +3,7 @@ * Implementation of relations between expressions */ /* - * GiNaC Copyright (C) 1999-2005 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2008 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 @@ -40,7 +40,7 @@ GINAC_IMPLEMENT_REGISTERED_CLASS_OPT(relational, basic, // default constructor ////////// -relational::relational() : basic(TINFO_relational) {} +relational::relational() { } ////////// // other constructors @@ -48,14 +48,16 @@ relational::relational() : basic(TINFO_relational) {} // public -relational::relational(const ex & lhs, const ex & rhs, operators oper) : basic(TINFO_relational), lh(lhs), rh(rhs), o(oper) {} +relational::relational(const ex & lhs, const ex & rhs, operators oper) : + lh(lhs), rh(rhs), o(oper) { } ////////// // archiving ////////// -relational::relational(const archive_node &n, lst &sym_lst) : inherited(n, sym_lst) +void relational::read_archive(const archive_node& n, lst& sym_lst) { + inherited::read_archive(n, sym_lst); unsigned int opi; if (!(n.find_unsigned("op", opi))) throw (std::runtime_error("unknown relational operator in archive")); @@ -63,6 +65,7 @@ relational::relational(const archive_node &n, lst &sym_lst) : inherited(n, sym_l n.find_ex("lh", lh, sym_lst); n.find_ex("rh", rh, sym_lst); } +GINAC_BIND_UNARCHIVER(relational); void relational::archive(archive_node &n) const { @@ -72,8 +75,6 @@ void relational::archive(archive_node &n) const n.add_unsigned("op", o); } -DEFAULT_UNARCHIVE(relational) - ////////// // functions overriding virtual functions from base classes ////////// @@ -250,7 +251,7 @@ unsigned relational::return_type() const return lh.return_type(); } -unsigned relational::return_type_tinfo() const +return_type_t relational::return_type_tinfo() const { GINAC_ASSERT(lh.return_type_tinfo()==rh.return_type_tinfo()); return lh.return_type_tinfo(); @@ -258,7 +259,8 @@ unsigned relational::return_type_tinfo() const unsigned relational::calchash() const { - unsigned v = golden_ratio_hash(tinfo()); + const void* this_tinfo = (const void*)typeid(*this).name(); + unsigned v = golden_ratio_hash((p_int)this_tinfo); unsigned lhash = lh.gethash(); unsigned rhash = rh.gethash(); @@ -338,13 +340,13 @@ relational::operator relational::safe_bool() const case not_equal: return make_safe_bool(!ex_to(df).is_zero()); case less: - return make_safe_bool(ex_to(df)<_num0); + return make_safe_bool(ex_to(df)<(*_num0_p)); case less_or_equal: - return make_safe_bool(ex_to(df)<=_num0); + return make_safe_bool(ex_to(df)<=(*_num0_p)); case greater: - return make_safe_bool(ex_to(df)>_num0); + return make_safe_bool(ex_to(df)>(*_num0_p)); case greater_or_equal: - return make_safe_bool(ex_to(df)>=_num0); + return make_safe_bool(ex_to(df)>=(*_num0_p)); default: throw(std::logic_error("invalid relational operator")); }