19 #ifndef __CVC4__LANGUAGE_H
20 #define __CVC4__LANGUAGE_H
71 out <<
"LANG_SMTLIB_V1";
74 out <<
"LANG_SMTLIB_V2";
86 out <<
"undefined_input_language";
135 out <<
"LANG_SMTLIB_V1";
138 out <<
"LANG_SMTLIB_V2";
156 out <<
"undefined_output_language";
language::output::Language OutputLanguage
The SMTLIB v1 output language.
The SMTLIB v2 output language.
The TPTP output language.
The Z3-str output language.
Options-related exceptions.
LANG_MAX is > any valid OutputLanguage id.
language::input::Language InputLanguage
InputLanguage toInputLanguage(OutputLanguage language)
CVC4's exception base class and some associated utilities.
Match the output language to the input language.
The CVC4 output language.
Macros that should be defined everywhere during the building of the libraries and driver binary...
OutputLanguage toOutputLanguage(InputLanguage language)
std::ostream & operator<<(std::ostream &out, Language lang)
The CVC3-compatibility output language.
struct CVC4::options::out__option_t out