mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

remove equality check on container

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-02-18 20:15:42 -08:00
parent ce69b54b5f
commit 674e1b8f98
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ast/ast.h
View file

@ -700,8 +700,6 @@ public:
expr_container(expr* const* pos, expr* const* end) :m_pos(pos), m_end(end) {} expr_container(expr* const* pos, expr* const* end) :m_pos(pos), m_end(end) {}
expr_container& operator++() { ++m_pos; return *this; } expr_container& operator++() { ++m_pos; return *this; }
expr_container operator++(int) { expr_container tmp = *this; ++(*this); return tmp; } expr_container operator++(int) { expr_container tmp = *this; ++(*this); return tmp; }
bool operator==(expr_container const& it) const { return m_pos == it.m_pos; }
bool operator!=(expr_container const& it) const { return m_pos != it.m_pos; }
expr* operator*() const { return *m_pos; } expr* operator*() const { return *m_pos; }
expr* const* begin() const { return m_pos; } expr* const* begin() const { return m_pos; }
expr* const* end() const { return m_end; } expr* const* end() const { return m_end; }