mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-05-08 00:05:46 +00:00
Code Activity

add boolean operators to zstring and fix ostream

Browse source
This commit is contained in:
Murphy Berzish 2017-03-04 15:20:57 -05:00
parent 4792229c2b
commit ad0766898c
2 changed files with 53 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/ast/seq_decl_plugin.h
View file

@ -114,7 +114,11 @@ public:
int indexof(zstring const& other, int offset) const;
zstring extract(int lo, int hi) const;
zstring operator+(zstring const& other) const;
std::ostream& operator<<(std::ostream& out) const;
bool operator==(const zstring& other) const;
bool operator!=(const zstring& other) const;
friend std::ostream& operator<<(std::ostream &os, const zstring &str);
friend bool operator<(const zstring& lhs, const zstring& rhs);
};
class seq_decl_plugin : public decl_plugin {