12 #ifndef CPROVER_UTIL_DSTRING_H 13 #define CPROVER_UTIL_DSTRING_H 44 constexpr
operator int()
const {
return no; }
122 {
no=b.
no;
return *
this; }
175 return a.operator<<(out);
178 #endif // CPROVER_UTIL_DSTRING_H bool operator!=(const char *b) const
bool operator>(const std::string &b) const
bool operator==(const dstringt &b) const
bool operator<=(const std::string &b) const
bool operator<(const std::string &b) const
dstringt & operator=(const dstringt &b)
const std::string & as_string(const dstringt &s)
bool operator!=(const std::string &b) const
bool operator>=(const std::string &b) const
bool operator<(const dstringt &b) const
dstringt(const std::string &s)
char operator[](size_t i) const
string_containert string_container
std::ostream & operator<<(std::ostream &out, const dstringt &a)
bool operator==(const std::string &b) const
bool operator!=(const dstringt &b) const
size_t hash_string(const dstringt &s)
std::ostream & operator<<(std::ostream &out) const
int compare(const dstringt &b) const
const std::string & as_string() const
static dstringt make_from_table_index(unsigned no)
const char * c_str() const
bool operator==(const char *b) const
size_t operator()(const dstringt &s) const
const std::string & get_string(size_t no) const