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);
91 bool parse(
const std::string &s, std::string::size_type &ptr);
enum lispexprt::@241113047332130242052373076371317162003003255220 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)
std::ostream & operator<<(std::ostream &out, const lispexprt &expr)
bool operator==(const char *a, const lispsymbolt &b)