Public interface review items:

* Internal uses of CheckArgument changed to AssertArgument/AlwaysAssertArgument()
* Make util/Assert.h cvc4_private instead of public, so AssertionException and friends are now internal-only
* CheckArgument() throws non-AssertionException
* things outside the core library (parsers, driver) use regular C-style assert,
  or a public exception type.
* auto-generated documentation for Smt options and internal options

Also, a small fix to SMT-LIBv1 QF_ABV and QF_AUFBV definitions, which were nonstandard.

1 files changed, 3 insertions, 4 deletions

diff --git a/src/parser/input.cpp b/src/parser/input.cpp
index 76aa47812..12c674a61 100644
--- a/src/parser/input.cpp
+++ b/src/parser/input.cpp
@@ -24,7 +24,6 @@
 #include "expr/type.h"
 #include "parser/antlr_input.h"
 #include "util/output.h"
-#include "util/Assert.h"
 
 using namespace std;
 using namespace CVC4;
@@ -57,7 +56,7 @@ InputStream *Input::getInputStream() {
 Input* Input::newFileInput(InputLanguage lang,
                            const std::string& filename,
                            bool useMmap)
-  throw (InputStreamException, AssertionException) {
+  throw (InputStreamException) {
   AntlrInputStream *inputStream = 
     AntlrInputStream::newFileInputStream(filename, useMmap);
   return AntlrInput::newInput(lang, *inputStream);
@@ -67,7 +66,7 @@ Input* Input::newStreamInput(InputLanguage lang,
                              std::istream& input, 
                              const std::string& name,
                              bool lineBuffered)
-  throw (InputStreamException, AssertionException) {
+  throw (InputStreamException) {
   AntlrInputStream *inputStream = 
     AntlrInputStream::newStreamInputStream(input, name, lineBuffered);
   return AntlrInput::newInput(lang, *inputStream);
@@ -76,7 +75,7 @@ Input* Input::newStreamInput(InputLanguage lang,
 Input* Input::newStringInput(InputLanguage lang,
                              const std::string& str,
                              const std::string& name)
-  throw (InputStreamException, AssertionException) {
+  throw (InputStreamException) {
   AntlrInputStream *inputStream = AntlrInputStream::newStringInputStream(str, name);
   return AntlrInput::newInput(lang, *inputStream);
 }