diff options
Diffstat (limited to 'src/smt/smt_engine.h')
-rw-r--r-- | src/smt/smt_engine.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index 599087cb0..08bb773d6 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -260,7 +260,7 @@ class CVC4_PUBLIC SmtEngine { Result d_status; /** - * The name of the input (if any). + * The input file name (if any) or the name set through setInfo (if any) */ std::string d_filename; @@ -494,6 +494,10 @@ class CVC4_PUBLIC SmtEngine { void setOption(const std::string& key, const CVC4::SExpr& value) /* throw(OptionException, ModalException) */; + /** sets the input name */ + void setFilename(std::string filename); + /** return the input name (if any) */ + std::string getFilename() const; /** * Get the model (only if immediately preceded by a SAT * or INVALID query). Only permitted if CVC4 was built with model |