diff options
Diffstat (limited to 'src/options/language.cpp')
| -rw-r--r-- | src/options/language.cpp | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/src/options/language.cpp b/src/options/language.cpp index 52263567b..885549b43 100644 --- a/src/options/language.cpp +++ b/src/options/language.cpp @@ -70,12 +70,12 @@ bool isOutputLang_smt2_6(OutputLanguage lang, bool exact) bool isInputLangSygus(InputLanguage lang) { - return lang == input::LANG_SYGUS || lang == input::LANG_SYGUS_V2; + return lang == input::LANG_SYGUS_V1 || lang == input::LANG_SYGUS_V2; } bool isOutputLangSygus(OutputLanguage lang) { - return lang == output::LANG_SYGUS || lang == output::LANG_SYGUS_V2; + return lang == output::LANG_SYGUS_V1 || lang == output::LANG_SYGUS_V2; } InputLanguage toInputLanguage(OutputLanguage language) { @@ -86,7 +86,7 @@ InputLanguage toInputLanguage(OutputLanguage language) { case output::LANG_TPTP: case output::LANG_CVC4: case output::LANG_Z3STR: - case output::LANG_SYGUS: + case output::LANG_SYGUS_V1: case output::LANG_SYGUS_V2: // these entries directly correspond (by design) return InputLanguage(int(language)); @@ -108,7 +108,7 @@ OutputLanguage toOutputLanguage(InputLanguage language) { case input::LANG_TPTP: case input::LANG_CVC4: case input::LANG_Z3STR: - case input::LANG_SYGUS: + case input::LANG_SYGUS_V1: case input::LANG_SYGUS_V2: // these entries directly correspond (by design) return OutputLanguage(int(language)); @@ -155,10 +155,13 @@ OutputLanguage toOutputLanguage(std::string language) { } else if(language == "z3str" || language == "z3-str" || language == "LANG_Z3STR") { return output::LANG_Z3STR; - } else if(language == "sygus" || language == "LANG_SYGUS") { - return output::LANG_SYGUS; } - else if (language == "sygus2" || language == "LANG_SYGUS_V2") + else if (language == "sygus1" || language == "LANG_SYGUS_V1") + { + return output::LANG_SYGUS_V1; + } + else if (language == "sygus" || language == "LANG_SYGUS" + || language == "sygus2" || language == "LANG_SYGUS_V2") { return output::LANG_SYGUS_V2; } @@ -195,8 +198,10 @@ InputLanguage toInputLanguage(std::string language) { } else if(language == "z3str" || language == "z3-str" || language == "LANG_Z3STR") { return input::LANG_Z3STR; - } else if(language == "sygus" || language == "LANG_SYGUS") { - return input::LANG_SYGUS; + } + else if (language == "sygus1" || language == "LANG_SYGUS_V1") + { + return input::LANG_SYGUS_V1; } else if (language == "sygus2" || language == "LANG_SYGUS_V2") { |