diff options
Diffstat (limited to 'src/options/language.h')
-rw-r--r-- | src/options/language.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/options/language.h b/src/options/language.h index b7eb16f91..3a9ebf9d5 100644 --- a/src/options/language.h +++ b/src/options/language.h @@ -220,6 +220,10 @@ bool isOutputLang_smt2_5(OutputLanguage lang, bool exact = false) CVC4_PUBLIC; bool isInputLang_smt2_6(InputLanguage lang, bool exact = false) CVC4_PUBLIC; bool isOutputLang_smt2_6(OutputLanguage lang, bool exact = false) CVC4_PUBLIC; +/** Is the language a variant of the SyGuS input language? */ +bool isInputLangSygus(InputLanguage lang) CVC4_PUBLIC; +bool isOutputLangSygus(OutputLanguage lang) CVC4_PUBLIC; + InputLanguage toInputLanguage(OutputLanguage language) CVC4_PUBLIC; OutputLanguage toOutputLanguage(InputLanguage language) CVC4_PUBLIC; InputLanguage toInputLanguage(std::string language) CVC4_PUBLIC; |