diff options
Diffstat (limited to 'src/theory/theory_engine.h')
-rw-r--r-- | src/theory/theory_engine.h | 15 |
1 files changed, 4 insertions, 11 deletions
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<Node>& 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 |