diff options
Diffstat (limited to 'src/options/language.cpp')
| -rw-r--r-- | src/options/language.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/options/language.cpp b/src/options/language.cpp index 0f2c513b6..8c6f8421f 100644 --- a/src/options/language.cpp +++ b/src/options/language.cpp @@ -68,6 +68,16 @@ bool isOutputLang_smt2_6(OutputLanguage lang, bool exact) && lang <= output::LANG_SMTLIB_V2_END); } +bool isInputLangSygus(InputLanguage lang) +{ + return lang == input::LANG_SYGUS || lang == input::LANG_SYGUS_V2; +} + +bool isOutputLangSygus(OutputLanguage lang) +{ + return lang == output::LANG_SYGUS || lang == output::LANG_SYGUS_V2; +} + InputLanguage toInputLanguage(OutputLanguage language) { switch(language) { case output::LANG_SMTLIB_V2_0: |