Connect++ 0.6.1
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
Stack.cpp
1/*
2
3Copyright © 2023-25 Sean Holden. All rights reserved.
4
5*/
6/*
7
8This file is part of Connect++.
9
10Connect++ is free software: you can redistribute it and/or modify it
11under the terms of the GNU General Public License as published by the
12Free Software Foundation, either version 3 of the License, or (at your
13option) any later version.
14
15Connect++ is distributed in the hope that it will be useful, but WITHOUT
16ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
17FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
18more details.
19
20You should have received a copy of the GNU General Public License along
21with Connect++. If not, see <https://www.gnu.org/licenses/>.
22
23*/
24
25#include "Stack.hpp"
26
27ostream& operator<<(ostream& out, Stack& _s) {
28 for (size_t i = 0; i < _s.capacity; i++) {
29 out << _s[i] << endl;
30 }
31 return out;
32}
If you implement the stacks used by the prover as a vector<StackItem> then every time you move down t...
Definition Stack.hpp:40
size_t capacity
Keep track of how much space we have. If we need more then extend as needed.
Definition Stack.hpp:55