diff options
Diffstat (limited to 'src/parser/smt2/smt2.h')
-rw-r--r-- | src/parser/smt2/smt2.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h index 969892c5f..55a06a8e3 100644 --- a/src/parser/smt2/smt2.h +++ b/src/parser/smt2/smt2.h @@ -40,6 +40,7 @@ public: THEORY_ARRAYS, THEORY_BITVECTORS, THEORY_CORE, + THEORY_DATATYPES, THEORY_INTS, THEORY_REALS, THEORY_REALS_INTS, @@ -83,6 +84,11 @@ public: */ void setLogic(const std::string& name); + /** + * Get the logic. + */ + const LogicInfo& getLogic() const { return d_logic; } + void setInfo(const std::string& flag, const SExpr& sexpr); void setOption(const std::string& flag, const SExpr& sexpr); |