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; }
79 std::string expr2string()
const;
80 bool parse(
const std::string &s);
82 {
return type==Symbol && value==
"nil"; }
102 std::string
escape(
const std::string &s);
106 #endif // CPROVER_UTIL_LISPEXPR_H
std::string escape(const std::string &s)
lispsymbolt(const char *a)
std::string expr2string() const
bool operator==(const lispsymbolt &b) const
List
of irep id names and values.
unsignedbv_typet size_type()
bool operator!=(const lispsymbolt &b) const
std::ostream & operator<<(std::ostream &out, const lispexprt &expr)
lispsymbolt(const std::string &a)