diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-10-03 07:05:28 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-03 07:05:28 -0500 |
commit | 252860a96565f3c73fff7132eb06059c90582bdd (patch) | |
tree | ca53076f5c619fddd7f1d8f7cbe2e598af316ffa /src/parser/smt2/smt2.h | |
parent | df058b7fb79abaa4e6488449f2307ee29f47efdd (diff) |
Op overload parser (#1162)
* Update parser for operator overloading.
* Improvements
* Updates
* Add assert
Diffstat (limited to 'src/parser/smt2/smt2.h')
-rw-r--r-- | src/parser/smt2/smt2.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h index e470c8111..46f1c631b 100644 --- a/src/parser/smt2/smt2.h +++ b/src/parser/smt2/smt2.h @@ -87,6 +87,11 @@ public: bool isTheoryEnabled(Theory theory) const; bool logicIsSet(); + + /** + * Returns the expression that name should be interpreted as. + */ + virtual Expr getExpressionForNameAndType(const std::string& name, Type t); void reset(); |