diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-01-03 14:48:18 -0800 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2019-01-03 14:48:18 -0800 |
| commit | d96815ffdd4ee0bf9422b7f0194a23a0a42462c3 (patch) | |
| tree | 09c70dd1eae3c2a9ff51a9eadcd462677ba13808 /src/parser/parser.cpp | |
| parent | 99278c017e5b198b416d4a82b0ea63f99d02e739 (diff) | |
API/Smt2 parser: refactor termAtomic (#2674)
Diffstat (limited to 'src/parser/parser.cpp')
| -rw-r--r-- | src/parser/parser.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index 8ddefb2f4..71d226c98 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -81,6 +81,8 @@ ExprManager* Parser::getExprManager() const return d_solver->getExprManager(); } +api::Solver* Parser::getSolver() const { return d_solver; } + Expr Parser::getSymbol(const std::string& name, SymbolType type) { checkDeclaration(name, CHECK_DECLARED, type); assert(isDeclared(name, type)); |