diff options
Diffstat (limited to 'src/preprocessing/assertion_pipeline.h')
-rw-r--r-- | src/preprocessing/assertion_pipeline.h | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/src/preprocessing/assertion_pipeline.h b/src/preprocessing/assertion_pipeline.h index 6ca430ac4..5c50903c5 100644 --- a/src/preprocessing/assertion_pipeline.h +++ b/src/preprocessing/assertion_pipeline.h @@ -49,9 +49,6 @@ class AssertionPipeline */ void clear(); - /** TODO (projects #75): remove this */ - Node& operator[](size_t i) { return d_nodes[i]; } - /** Get the assertion at index i */ const Node& operator[](size_t i) const { return d_nodes[i]; } /** @@ -72,9 +69,6 @@ class AssertionPipeline /** Same as above, with TrustNode */ void pushBackTrusted(theory::TrustNode trn); - /** TODO (projects #75): remove this */ - std::vector<Node>& ref() { return d_nodes; } - /** * Get the constant reference to the underlying assertions. It is only * possible to modify these via the replace methods below. @@ -134,7 +128,7 @@ class AssertionPipeline * @param n The substitution node * @param pg The proof generator that can provide a proof of n. */ - void addSubstitutionNode(Node n, ProofGenerator* pgen = nullptr); + void addSubstitutionNode(Node n, ProofGenerator* pg = nullptr); /** * Conjoin n to the assertion vector at position i. This replaces |