diff options
Diffstat (limited to 'src/parser/smt2/smt2.cpp')
-rw-r--r-- | src/parser/smt2/smt2.cpp | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index e704d027d..308f45ed0 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -98,7 +98,8 @@ bool Smt2::logicIsSet() { } /** - * Sets the logic for the current benchmark. Declares any logic and theory symbols. + * Sets the logic for the current benchmark. Declares any logic and + * theory symbols. * * @param parser the CVC4 Parser object * @param name the name of the logic (e.g., QF_UF, AUFLIA) @@ -124,7 +125,7 @@ void Smt2::setLogic(const std::string& name) { case Smt::QF_NIA: addTheory(THEORY_INTS); break; - + case Smt::QF_LRA: case Smt::QF_RDL: addTheory(THEORY_REALS); @@ -162,5 +163,9 @@ void Smt2::setInfo(const std::string& flag, const SExpr& sexpr) { // TODO: ??? } +void Smt2::setOption(const std::string& flag, const SExpr& sexpr) { + // TODO: ??? +} + }/* CVC4::parser namespace */ }/* CVC4 namespace */ |