27ostream& operator<<(ostream& out,
Stack& _s) {
28 for (
size_t i = 0; i < _s.
capacity; i++) {
If you implement the stacks used by the prover as a vector<StackItem> then every time you move down t...
size_t capacity
Keep track of how much space we have. If we need more then extend as needed.