1 /********************* -*- C++ -*- */
3 ** Original author: mdeters
4 ** Major contributors: none
5 ** Minor contributors (to current version): dejan, barrett
6 ** This file is part of the CVC4 prototype.
7 ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
8 ** Courant Institute of Mathematical Sciences
10 ** See the file COPYING in the top-level source directory for licensing
13 ** Header for main CVC4 driver.
20 #include "util/exception.h"
22 #ifndef __CVC4__MAIN__MAIN_H
23 #define __CVC4__MAIN__MAIN_H
31 class OptionException
: public CVC4::Exception
{
33 OptionException(const std::string
& s
) throw() : CVC4::Exception("Error in option parsing: " + s
) {}
34 };/* class OptionException */
36 int parseOptions(int argc
, char** argv
, CVC4::Options
*) throw(OptionException
);
37 void cvc4_init() throw();
39 }/* CVC4::main namespace */
42 #endif /* __CVC4__MAIN__MAIN_H */