michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(util/buffer): expose capacity method

Browse source
This commit is contained in:
Leonardo de Moura 2014-10-17 14:05:36 -07:00
parent 10b880ce3b
commit c21c8c582f
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/util/buffer.h
View file

@ -102,6 +102,7 @@ public:
iterator end() { return m_buffer + size(); }
const_iterator begin() const { return m_buffer; }
const_iterator end() const { return m_buffer + size(); }
unsigned capacity() const { return m_capacity; }
void push_back(T const & elem) {
if (m_pos >= m_capacity)