12 #ifndef CPROVER_UTIL_DSTRING_H 13 #define CPROVER_UTIL_DSTRING_H 58 constexpr
operator int()
const {
return no; }
136 {
no=b.
no;
return *
this; }
140 std::ostream &
operator<<(std::ostream &out)
const;
155 std::string::const_iterator
begin()
const 160 std::string::const_iterator
end()
const 197 return a.operator<<(out);
209 return dstring.
hash();
223 #endif // CPROVER_UTIL_DSTRING_H std::string::const_iterator begin() const
bool operator!=(const char *b) const
bool operator>(const std::string &b) const
string_containert & get_string_container()
Get a reference to the global string container.
bool operator==(const dstringt &b) const
size_t operator()(const dstringt &dstring) 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)
std::ostream & operator<<(std::ostream &out) const
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)
Helper to give us some diagnostic in a usable form on assertion failure.
char operator[](size_t i) const
std::ostream & operator<<(std::ostream &out, const dstringt &a)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
bool operator==(const std::string &b) const
bool operator!=(const dstringt &b) const
size_t hash_string(const dstringt &s)
static std::string diagnostics_as_string(const dstringt &dstring)
int compare(const dstringt &b) const
std::string::const_iterator end() 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