diff options
Diffstat (limited to 'src/smt/smt_engine.h')
-rw-r--r-- | src/smt/smt_engine.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index e906863ad..fb456a4a4 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -318,6 +318,11 @@ public: void setLogic(const LogicInfo& logic) throw(ModalException); /** + * Get the logic information currently set + */ + LogicInfo getLogicInfo() const; + + /** * Set information about the script executing. */ void setInfo(const std::string& key, const CVC4::SExpr& value) |