22 #ifndef _cvc3__lang_h_
23 #define _cvc3__lang_h_
56 inline bool isPrefix(
const std::string& prefix,
57 const std::string& str) {
58 return str.rfind( prefix, 0 ) == 0;
62 if (lang.size() > 0) {
84 if (lang[ lang.length() - 1 ] ==
'2' &&
85 isPrefix(lang.substr(0,lang.length()-1),
"smtlib")) {
95 throw Exception(
"Bad input language specified");
for output in SPASS format
Description: Collection of debugging macros and functions.
InputLanguage
Different input languages.
for output in TPTP format
Lisp-like format for automatically generated specs.
bool isPrefix(const std::string &prefix, const std::string &str)
InputLanguage getLanguage(const std::string &lang)
for output into Simplify format
Nice SAL-like language for manually written specs.