|
Function Name  |
Hit count  |
| cvc5::internal::parser::SymbolTable::lookupArity(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) |
0 |
| cvc5::internal::parser::SymbolTable::Implementation::lookupArity(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) |
0 |
| cvc5::internal::parser::SymbolTable::isOverloadedFunction(cvc5::Term) const |
0 |
| cvc5::internal::parser::SymbolTable::Implementation::bindDummySortTerm(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, cvc5::Term) |
1 |
| cvc5::internal::parser::SymbolTable::bindDummySortTerm(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, cvc5::Term) |
1 |
| cvc5::internal::parser::SymbolTable::Implementation::getOverloadedConstantForType(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, cvc5::Sort) const |
6 |
| cvc5::internal::parser::SymbolTable::getOverloadedConstantForType(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, cvc5::Sort) const |
6 |
| cvc5::internal::parser::OverloadedTypeTrie::getOverloadedConstantForType(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, cvc5::Sort) const |
6 |
| cvc5::internal::parser::SymbolTable::Implementation::resetAssertions() |
13 |
| cvc5::internal::parser::SymbolTable::resetAssertions() |
13 |
| cvc5::internal::parser::SymbolTable::Implementation::getLevel() const |
16 |
| cvc5::internal::parser::SymbolTable::getLevel() const |
16 |
| cvc5::internal::parser::SymbolTable::Implementation::reset() |
83 |
| cvc5::internal::parser::SymbolTable::reset() |
83 |
| cvc5::internal::parser::OverloadedTypeTrie::bind(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, cvc5::Term, cvc5::Term) |
515 |
| cvc5::internal::parser::SymbolTable::Implementation::getOverloadedFunctionForTypes(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<cvc5::Sort, std::allocator<cvc5::Sort> > const&) const |
836 |
| cvc5::internal::parser::SymbolTable::getOverloadedFunctionForTypes(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<cvc5::Sort, std::allocator<cvc5::Sort> > const&) const |
836 |
| cvc5::internal::parser::OverloadedTypeTrie::getOverloadedFunctionForTypes(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<cvc5::Sort, std::allocator<cvc5::Sort> > const&) const |
836 |
| cvc5::internal::parser::OverloadedTypeTrie::markOverloaded(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, cvc5::Term) |
877 |
| cvc5::internal::parser::OverloadedTypeTrie::getOverloadedFunctionAt(cvc5::internal::parser::OverloadedTypeTrie::TypeArgTrie const*, bool) const |
1361 |
| cvc5::internal::parser::SymbolTable::lookupType(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<cvc5::Sort, std::allocator<cvc5::Sort> > const&) const |
1583 |
| cvc5::internal::parser::SymbolTable::Implementation::lookupType(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<cvc5::Sort, std::allocator<cvc5::Sort> > const&) const |
1583 |
| cvc5::internal::parser::SymbolTable::Implementation::bindType(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<cvc5::Sort, std::allocator<cvc5::Sort> > const&, cvc5::Sort) |
12619 |
| cvc5::internal::parser::SymbolTable::bindType(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, std::vector<cvc5::Sort, std::allocator<cvc5::Sort> > const&, cvc5::Sort) |
12619 |
| cvc5::internal::parser::SymbolTable::~SymbolTable() |
28513 |
| cvc5::internal::parser::SymbolTable::SymbolTable() |
28562 |
| cvc5::internal::parser::SymbolTable::Implementation::~Implementation() |
28596 |
| cvc5::internal::parser::OverloadedTypeTrie::~OverloadedTypeTrie() |
28596 |
| cvc5::internal::parser::SymbolTable::Implementation::Implementation() |
28645 |
| cvc5::internal::parser::OverloadedTypeTrie::OverloadedTypeTrie(cvc5::context::Context*, bool) |
28645 |
| cvc5::internal::parser::SymbolTable::Implementation::bindType(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, cvc5::Sort) |
205186 |
| cvc5::internal::parser::SymbolTable::bindType(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, cvc5::Sort) |
205186 |
| cvc5::internal::parser::SymbolTable::Implementation::popScope() |
327909 |
| cvc5::internal::parser::SymbolTable::popScope() |
327909 |
| cvc5::internal::parser::SymbolTable::Implementation::pushScope() |
352877 |
| cvc5::internal::parser::SymbolTable::pushScope() |
352877 |
| cvc5::internal::parser::SymbolTable::Implementation::bindWithOverloading(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, cvc5::Term) |
418655 |
| cvc5::internal::parser::SymbolTable::isBoundType(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const |
434269 |
| cvc5::internal::parser::SymbolTable::Implementation::isBoundType(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const |
434269 |
| cvc5::internal::parser::SymbolTable::lookupType(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const |
625162 |
| cvc5::internal::parser::SymbolTable::Implementation::lookupType(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const |
625162 |
| cvc5::internal::parser::SymbolTable::bind(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, cvc5::Term, bool) |
1118637 |
| cvc5::internal::parser::SymbolTable::Implementation::bind(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&, cvc5::Term, bool) |
1118638 |
| cvc5::internal::parser::SymbolTable::Implementation::isBound(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const |
1586042 |
| cvc5::internal::parser::SymbolTable::isBound(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const |
1586042 |
| cvc5::internal::parser::SymbolTable::Implementation::isOverloadedFunction(cvc5::Term) const |
6282594 |
| cvc5::internal::parser::SymbolTable::Implementation::lookup(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const |
6282605 |
| cvc5::internal::parser::SymbolTable::lookup(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > const&) const |
6282605 |
| cvc5::internal::parser::OverloadedTypeTrie::isOverloadedFunction(cvc5::Term) const |
6283953 |