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
Options-related exceptions.
language::input::Language InputLanguage
InputLanguage toInputLanguage(OutputLanguage language)
CVC4's exception base class and some associated utilities.
Macros that should be defined everywhere during the building of the libraries and driver binary...
OutputLanguage toOutputLanguage(InputLanguage language)
The CVC3-compatibility output language.
struct CVC4::options::out__option_t out