mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-14 09:56:15 +00:00
Code Activity

add set method to iterator, #2068, a set method to the vector template was also added

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-01-06 18:55:00 -08:00
parent a87f7a14d3
commit ea48d0a95a
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/api/c++/z3++.h
View file

@ -1750,6 +1750,9 @@ namespace z3 {
++m_index; ++m_index;
return *this; return *this;
} }
void set(T& arg) {
Z3_ast_vector_set(m_vector->ctx(), *m_vector, m_index, arg);
}
iterator operator++(int) { iterator tmp = *this; ++m_index; return tmp; } iterator operator++(int) { iterator tmp = *this; ++m_index; return tmp; }
T * operator->() const { return &(operator*()); } T * operator->() const { return &(operator*()); }
T operator*() const { return (*m_vector)[m_index]; } T operator*() const { return (*m_vector)[m_index]; }