From 45a138c326da72890bf889a3670aad503ef4aa1e Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 1 Mar 2012 14:48:04 +0000 Subject: Partial merge from kind-backend branch, including Minisat and CNF work to support incrementality. Some clean-up work will likely follow, but the CNF/Minisat stuff should be left pretty much untouched. Expected performance change negligible; slightly better on memory: http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=3705&reference_id=3697&mode=&category=&p=5 Note that there are crashes, but that these are exhibited in the nightly regression run too! --- src/parser/input.h | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/parser/input.h') diff --git a/src/parser/input.h b/src/parser/input.h index 25023e1a8..8fa51a095 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -110,7 +110,7 @@ public: */ static Input* newFileInput(InputLanguage lang, const std::string& filename, - bool useMmap=false) + bool useMmap = false) throw (InputStreamException, AssertionException); /** Create an input for the given stream. @@ -121,7 +121,8 @@ public: */ static Input* newStreamInput(InputLanguage lang, std::istream& input, - const std::string& name) + const std::string& name, + bool lineBuffered = false) throw (InputStreamException, AssertionException); /** Create an input for the given string @@ -182,6 +183,7 @@ protected: /** Set the Parser object for this input. */ virtual void setParser(Parser& parser) = 0; + };/* class Input */ }/* CVC4::parser namespace */ -- cgit v1.2.3