diff options
Diffstat (limited to 'src/parser/smt2/smt2.h')
-rw-r--r-- | src/parser/smt2/smt2.h | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h index fe152a7f6..6398fa735 100644 --- a/src/parser/smt2/smt2.h +++ b/src/parser/smt2/smt2.h @@ -57,28 +57,28 @@ public: * @param parser the CVC4 Parser object * @param theory the theory to open (e.g., Core, Ints) */ - void - addTheory(Theory theory); + void addTheory(Theory theory); - bool - logicIsSet(); + bool 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) */ - void - setLogic(const std::string& name); + void setLogic(const std::string& name); - void - setInfo(const std::string& flag, const SExpr& sexpr); + void setInfo(const std::string& flag, const SExpr& sexpr); + + void setOption(const std::string& flag, const SExpr& sexpr); private: void addArithmeticOperators(); -}; +};/* class Smt2 */ + }/* CVC4::parser namespace */ }/* CVC4 namespace */ |