|
Function Name  |
Hit count  |
| cvc5::parser::operator<<(std::basic_ostream<char, std::char_traits<char> >&, cvc5::parser::Span const&) |
0 |
| cvc5::parser::operator<<(std::basic_ostream<char, std::char_traits<char> >&, cvc5::parser::Location const&) |
0 |
| cvc5::parser::Lexer::unexpectedTokenError(cvc5::parser::Token, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) |
10 |
| cvc5::parser::Lexer::parseError(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, bool) |
85 |
| cvc5::parser::Lexer::warning(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) |
239 |
| cvc5::parser::Lexer::Lexer() |
23024 |
| cvc5::parser::Lexer::initialize(cvc5::parser::Input*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) |
23030 |
| cvc5::parser::Lexer::initSpan() |
23030 |
| cvc5::parser::Lexer::peekToken() |
37714 |
| cvc5::parser::Lexer::reinsertToken(cvc5::parser::Token) |
181200 |
| cvc5::parser::Lexer::eatTokenChoice(cvc5::parser::Token, cvc5::parser::Token) |
1589560 |
| cvc5::parser::Lexer::eatToken(cvc5::parser::Token) |
2194790 |
| cvc5::parser::Lexer::nextToken() |
35918500 |