From 4930de53415ffbf614d6965af59b1f44e405451c Mon Sep 17 00:00:00 2001 From: Tim King Date: Mon, 27 Mar 2017 10:24:13 -0700 Subject: Making ppNotifyAssertions take a const vector. --- src/theory/theory_engine.h | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) (limited to 'src/theory/theory_engine.h') diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index f623748cf..dd2b4f14d 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -604,18 +604,11 @@ public: */ Node preprocess(TNode node); + /** Notify (preprocessed) assertions. */ + void notifyPreprocessedAssertions(const std::vector& assertions); - /** - * Notify (preprocessed) assertions - */ - void notifyPreprocessedAssertions( std::vector< Node >& assertions ); - - /** - * Return whether or not we are incomplete (in the current context). - */ - inline bool isIncomplete() const { - return d_incomplete; - } + /** Return whether or not we are incomplete (in the current context). */ + inline bool isIncomplete() const { return d_incomplete; } /** * Returns true if we need another round of checking. If this -- cgit v1.2.3