12 #ifndef CPROVER_UTIL_LISPEXPR_H
13 #define CPROVER_UTIL_LISPEXPR_H
15 #if defined(_WIN32) && !defined(__MINGW32__)
17 #define strcasecmp _strcmpi
44 {
return strcasecmp(c_str(), b.c_str())==0; }
47 {
return strcasecmp(c_str(), b.c_str())!=0; }
50 {
return strcasecmp(c_str(), b)==0; }
53 {
return strcasecmp(c_str(), b)!=0; }
57 {
return strcasecmp(a, b.c_str())==0; }
60 {
return strcasecmp(a, b.c_str())!=0; }
63 {
return strcasecmp(a.c_str(), b.c_str())==0; }
66 {
return strcasecmp(a.c_str(), b.c_str())!=0; }
69 {
return strcasecmp(a.c_str(), b.c_str())==0; }
72 {
return strcasecmp(a.c_str(), b.c_str())!=0; }
80 bool parse(
const std::string &s);
104 #endif // CPROVER_UTIL_LISPEXPR_H