diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-10-03 18:24:57 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-10-03 18:24:57 +0000 |
| commit | 40253236078988fecc3becd2619dd5ccad5e3077 (patch) | |
| tree | 76193586ff6093a68d158e869ff332d99f32e5b2 /src/compat/cvc3_compat.h | |
| parent | 69e31c19cc566b6a536914e3a0360b54f6bd748a (diff) | |
Importing Chris's recent changes to CVC3's ValidityChecker into the compatibility layer
Diffstat (limited to 'src/compat/cvc3_compat.h')
| -rw-r--r-- | src/compat/cvc3_compat.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/compat/cvc3_compat.h b/src/compat/cvc3_compat.h index 63df75a68..2798c5b3c 100644 --- a/src/compat/cvc3_compat.h +++ b/src/compat/cvc3_compat.h @@ -747,7 +747,11 @@ public: InputLanguage lang = PRESENTATION_LANG); //! Parse an expression from a presentation language string - virtual Expr exprFromString(const std::string& e); + /*! Only PRESENTATION_LANG and SMTLIB_V2_LANG are supported. Any other + * value for lang will raise an exception. + */ + virtual Expr exprFromString(const std::string& e, + InputLanguage lang = PRESENTATION_LANG); /*@}*/ // End of General Expr Methods |