|
Function Name  |
Hit count  |
| cvc5::internal::String::isHexDigit(unsigned int) |
7185 |
| cvc5::internal::String::toInternal(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, bool) |
162524 |
| cvc5::internal::String::isPrintable(unsigned int) |
204388 |
| cvc5::internal::String::addCharToInternal(unsigned char, std::vector<unsigned int, std::allocator<unsigned int> >&) |
249058 |
| cvc5::internal::String::isDigit(unsigned int) |
11486 |
| cvc5::internal::String::maxSize() |
16512 |
| cvc5::internal::String::String(std::__cxx11::basic_string<char32_t, std::char_traits<char32_t>, std::allocator<char32_t> > const&) |
84 |
| cvc5::internal::String::String(std::__cxx11::basic_string<wchar_t, std::char_traits<wchar_t>, std::allocator<wchar_t> > const&) |
2 |
| cvc5::internal::String::String(std::vector<unsigned int, std::allocator<unsigned int> > const&) |
5325367 |
| cvc5::internal::operator<<(std::basic_ostream<char, std::char_traits<char> >&, cvc5::internal::String const&) |
0 |
| cvc5::internal::String::isRepeated() const |
20 |
| cvc5::internal::String::toU32String[abi:cxx11]() const |
159 |
| cvc5::internal::String::cmp(cvc5::internal::String const&) const |
5736501 |
| cvc5::internal::String::back() const |
1935 |
| cvc5::internal::String::find(cvc5::internal::String const&, unsigned long) const |
109561 |
| cvc5::internal::String::front() const |
110369 |
| cvc5::internal::String::isLeq(cvc5::internal::String const&) const |
425 |
| cvc5::internal::String::rfind(cvc5::internal::String const&, unsigned long) const |
17643 |
| cvc5::internal::String::concat(cvc5::internal::String const&) const |
13090 |
| cvc5::internal::String::substr(unsigned long) const |
17081 |
| cvc5::internal::String::substr(unsigned long, unsigned long) const |
184558 |
| cvc5::internal::String::update(unsigned long, cvc5::internal::String const&) const |
175 |
| cvc5::internal::String::overlap(cvc5::internal::String const&) const |
11556 |
| cvc5::internal::String::replace(cvc5::internal::String const&, cvc5::internal::String const&) const |
367 |
| cvc5::internal::String::strncmp(cvc5::internal::String const&, unsigned long) const |
33175 |
| cvc5::internal::String::tailcmp(cvc5::internal::String const&, int&) const |
18 |
| cvc5::internal::String::isNumber() const |
3239 |
| cvc5::internal::String::roverlap(cvc5::internal::String const&) const |
3875 |
| cvc5::internal::String::rstrncmp(cvc5::internal::String const&, unsigned long) const |
25118 |
| cvc5::internal::String::toNumber() const |
265 |
| cvc5::internal::String::toString[abi:cxx11](bool) const |
64073 |
| cvc5::internal::String::hasPrefix(cvc5::internal::String const&) const |
7609 |
| cvc5::internal::String::hasSuffix(cvc5::internal::String const&) const |
18942 |
| cvc5::internal::String::toWString[abi:cxx11]() const |
2 |
| cvc5::internal::strings::StringHashFunction::operator()(cvc5::internal::String const&) const |
5958863 |