diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-02-10 21:05:16 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-02-25 15:02:34 -0500 |
commit | f5f7ecf3ddd9ed23e5e44f2eefd41c1b11f2a70a (patch) | |
tree | ebf5304156cbc6242cf10329e658d95d810d3360 /src/util/language.h | |
parent | 1b916866274cc238c708f25fbb8c17add33d3376 (diff) |
New translation work, support Z3-str-style string constraints.
Diffstat (limited to 'src/util/language.h')
-rw-r--r-- | src/util/language.h | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/util/language.h b/src/util/language.h index b83b3d093..c79c4d9aa 100644 --- a/src/util/language.h +++ b/src/util/language.h @@ -23,6 +23,7 @@ #include <string> #include "util/exception.h" +#include "options/option_exception.h" namespace CVC4 { namespace language { @@ -50,6 +51,8 @@ enum CVC4_PUBLIC Language { LANG_TPTP, /** The CVC4 input language */ LANG_CVC4, + /** The Z3-str input language */ + LANG_Z3STR, // START INPUT-ONLY LANGUAGES AT ENUM VALUE 10 // THESE ARE IN PRINCIPLE NOT POSSIBLE OUTPUT LANGUAGES @@ -76,6 +79,9 @@ inline std::ostream& operator<<(std::ostream& out, Language lang) { case LANG_CVC4: out << "LANG_CVC4"; break; + case LANG_Z3STR: + out << "LANG_Z3STR"; + break; default: out << "undefined_input_language"; } @@ -107,6 +113,8 @@ enum CVC4_PUBLIC Language { LANG_TPTP = input::LANG_TPTP, /** The CVC4 output language */ LANG_CVC4 = input::LANG_CVC4, + /** The Z3-str output language */ + LANG_Z3STR = input::LANG_Z3STR, // START OUTPUT-ONLY LANGUAGES AT ENUM VALUE 10 // THESE ARE IN PRINCIPLE NOT POSSIBLE INPUT LANGUAGES @@ -133,6 +141,9 @@ inline std::ostream& operator<<(std::ostream& out, Language lang) { case LANG_CVC4: out << "LANG_CVC4"; break; + case LANG_Z3STR: + out << "LANG_Z3STR"; + break; case LANG_AST: out << "LANG_AST"; break; @@ -153,6 +164,8 @@ namespace language { InputLanguage toInputLanguage(OutputLanguage language) CVC4_PUBLIC; OutputLanguage toOutputLanguage(InputLanguage language) CVC4_PUBLIC; +InputLanguage toInputLanguage(std::string language) CVC4_PUBLIC; +OutputLanguage toOutputLanguage(std::string language) CVC4_PUBLIC; }/* CVC4::language namespace */ }/* CVC4 namespace */ |