11 #ifndef CPROVER_UTIL_LISPEXPR_H
12 #define CPROVER_UTIL_LISPEXPR_H
14 #if defined(_WIN32) && !defined(__MINGW32__)
16 #define strcasecmp _strcmpi
43 {
return strcasecmp(c_str(), b.c_str())==0; }
46 {
return strcasecmp(c_str(), b.c_str())!=0; }
49 {
return strcasecmp(c_str(), b)==0; }
52 {
return strcasecmp(c_str(), b)!=0; }
56 {
return strcasecmp(a, b.c_str())==0; }
59 {
return strcasecmp(a, b.c_str())!=0; }
62 {
return strcasecmp(a.c_str(), b.c_str())==0; }
65 {
return strcasecmp(a.c_str(), b.c_str())!=0; }
68 {
return strcasecmp(a.c_str(), b.c_str())==0; }
71 {
return strcasecmp(a.c_str(), b.c_str())!=0; }
79 bool parse(
const std::string &s);
unsignedbv_typet size_type()
std::string expr2string() const
bool parse(const std::string &s)
bool operator!=(const lispsymbolt &b) const
bool operator==(const lispsymbolt &b) const
lispsymbolt(const char *a)
lispsymbolt(const std::string &a)
bool operator!=(const char *a, const lispsymbolt &b)
bool operator==(const char *a, const lispsymbolt &b)
std::ostream & operator<<(std::ostream &out, const lispexprt &expr)