| 294 | bool empty() const { return m_stack_size == 0; } |
| 295 | bool all_true() const { return m_first_false_pos == NO_FALSE; } |
| 296 | void push_back(bool f) |
| 297 | { |
| 298 | if (m_first_false_pos == NO_FALSE && !f) { |
| 299 | // The stack consists of all true values, and a false is added. |
| 300 | // The first false value will appear at the current size. |
| 301 | m_first_false_pos = m_stack_size; |
| 302 | } |
| 303 | ++m_stack_size; |
| 304 | } |
| 305 | void pop_back() |
| 306 | { |
| 307 | assert(m_stack_size > 0); |
no outgoing calls
no test coverage detected