From ea48d0a95a32401f74cb20eece3422a7b3030346 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 6 Jan 2019 18:55:00 -0800 Subject: [PATCH] add set method to iterator, #2068, a set method to the vector template was also added Signed-off-by: Nikolaj Bjorner --- src/api/c++/z3++.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index 49d545894..e541080c9 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -1750,6 +1750,9 @@ namespace z3 { ++m_index; 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; } T * operator->() const { return &(operator*()); } T operator*() const { return (*m_vector)[m_index]; }