diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-07-06 09:53:21 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-06 09:53:21 -0700 |
commit | 5e63d43b485e98f3e122cf1b905bbacc416f0733 (patch) | |
tree | 6f712d0be2e8ca07e76cb092786810c3d37907e9 /src/api/cvc4cpp.h | |
parent | 1e331468c0bc5ad20f5b3e0e74e6482670c6227a (diff) |
New C++ API: Implementation of Solver class: Sort handling. (#2143)
Diffstat (limited to 'src/api/cvc4cpp.h')
-rw-r--r-- | src/api/cvc4cpp.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/api/cvc4cpp.h b/src/api/cvc4cpp.h index 643246b62..6007aadcc 100644 --- a/src/api/cvc4cpp.h +++ b/src/api/cvc4cpp.h @@ -2344,12 +2344,12 @@ class CVC4_PUBLIC Solver /* Helper to convert a vector of sorts to internal types. */ std::vector<Expr> termVectorToExprs(const std::vector<Term>& vector) const; + /* The options of this solver. */ + std::unique_ptr<Options> d_opts; /* The expression manager of this solver. */ std::unique_ptr<ExprManager> d_exprMgr; /* The SMT engine of this solver. */ std::unique_ptr<SmtEngine> d_smtEngine; - /* The options of this solver. */ - std::unique_ptr<Options> d_opts; /* The random number generator of this solver. */ std::unique_ptr<Random> d_rng; }; |