diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-09-30 23:01:58 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-09-30 23:01:58 +0000 |
| commit | 33e3657c15d6c760206aeaca10b5690af4a78223 (patch) | |
| tree | a75475200584ab5e11981827182d979d84f6e1ff /src/include | |
| parent | 192c5592424e5db0afc72e7316c4698949a2f7e5 (diff) | |
interfaces fixes and cleanups...and examples of each interface!
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/cvc4.h | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/src/include/cvc4.h b/src/include/cvc4.h new file mode 100644 index 000000000..cfe11fb82 --- /dev/null +++ b/src/include/cvc4.h @@ -0,0 +1,39 @@ +/********************* */ +/*! \file cvc4.h + ** \verbatim + ** Original author: mdeters + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) + ** Courant Institute of Mathematical Sciences + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information.\endverbatim + ** + ** \brief Main header file for CVC4 library functionality + ** + ** Main header file for CVC4 library functionality. Includes the + ** most-commonly used CVC4 public-facing class interfaces. + **/ + +#ifndef __CVC4__CVC4_H +#define __CVC4__CVC4_H + +#include <cvc4/smt/smt_engine.h> + +#include <cvc4/expr/expr_manager.h> +#include <cvc4/expr/expr.h> +#include <cvc4/expr/command.h> + +#include <cvc4/util/datatype.h> +#include <cvc4/util/integer.h> +#include <cvc4/util/rational.h> +#include <cvc4/util/exception.h> +#include <cvc4/util/options.h> +#include <cvc4/util/configuration.h> + +#include <cvc4/parser/parser.h> +#include <cvc4/parser/parser_builder.h> + +#endif /* __CVC4__CVC4_H */ |