diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-18 22:02:11 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-18 22:02:11 +0000 |
commit | 394791604a62e19763a8a45328bc5177d91fabf9 (patch) | |
tree | 29027c84c0285da33bac6c5d1366635b9e4db1bc /src/main/main.h | |
parent | 477e97cd81afe4b86eea47e9abe6311fc22299fc (diff) |
work on exprs, driver, util
Diffstat (limited to 'src/main/main.h')
-rw-r--r-- | src/main/main.h | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/main/main.h b/src/main/main.h new file mode 100644 index 000000000..4101f4fe4 --- /dev/null +++ b/src/main/main.h @@ -0,0 +1,26 @@ +#include <iostream> +#include <exception> +#include <string> + +#include "config.h" +#include "util/exception.h" +#include "util/options.h" + +#ifndef __CVC4_MAIN_H +#define __CVC4_MAIN_H + +namespace CVC4 { +namespace Main { + +class OptionException : public CVC4::Exception { +public: + OptionException(const std::string& s) throw() : CVC4::Exception("Error in option parsing: " + s) {} +};/* class OptionException */ + +int parseOptions(int argc, char** argv, CVC4::Options*) throw(CVC4::Exception*); +void cvc4_init() throw(); + +}/* CVC4::Main namespace */ +}/* CVC4 namespace */ + +#endif /* __CVC4_MAIN_H */ |