|
Function Name  |
Hit count  |
| cvc5::internal::toString(cvc5::internal::TrustNodeKind) |
0 |
| cvc5::internal::operator<<(std::basic_ostream<char, std::char_traits<char> >&, cvc5::internal::TrustNodeKind) |
0 |
| cvc5::internal::operator<<(std::basic_ostream<char, std::char_traits<char> >&, cvc5::internal::TrustNode) |
0 |
| cvc5::internal::TrustNode::identifyGenerator[abi:cxx11]() const |
0 |
| cvc5::internal::TrustNode::mkTrustNode(cvc5::internal::TrustNodeKind, cvc5::internal::NodeTemplate<true>, cvc5::internal::ProofGenerator*) |
3 |
| cvc5::internal::TrustNode::mkReplaceGenTrustNode(cvc5::internal::TrustNode const&, cvc5::internal::ProofGenerator*) |
8554 |
| cvc5::internal::TrustNode::mkTrustConflict(cvc5::internal::NodeTemplate<true>, cvc5::internal::ProofGenerator*) |
421220 |
| cvc5::internal::TrustNode::getConflictProven(cvc5::internal::NodeTemplate<true>) |
495035 |
| cvc5::internal::TrustNode::toProofNode() const |
499595 |
| cvc5::internal::TrustNode::debugCheckClosed(cvc5::internal::Options const&, char const*, char const*, bool) |
1371053 |
| cvc5::internal::TrustNode::mkTrustPropExp(cvc5::internal::NodeTemplate<false>, cvc5::internal::NodeTemplate<true>, cvc5::internal::ProofGenerator*) |
1392301 |
| cvc5::internal::TrustNode::getPropExpProven(cvc5::internal::NodeTemplate<false>, cvc5::internal::NodeTemplate<true>) |
1718782 |
| cvc5::internal::TrustNode::getGenerator() const |
6246058 |
| cvc5::internal::TrustNode::mkTrustLemma(cvc5::internal::NodeTemplate<true>, cvc5::internal::ProofGenerator*) |
6388056 |
| cvc5::internal::TrustNode::mkTrustRewrite(cvc5::internal::NodeTemplate<false>, cvc5::internal::NodeTemplate<true>, cvc5::internal::ProofGenerator*) |
7069727 |
| cvc5::internal::TrustNode::getRewriteProven(cvc5::internal::NodeTemplate<false>, cvc5::internal::NodeTemplate<true>) |
7069727 |
| cvc5::internal::TrustNode::getLemmaProven(cvc5::internal::NodeTemplate<true>) |
8727560 |
| cvc5::internal::TrustNode::getKind() const |
9212180 |
| cvc5::internal::TrustNode::getProven() const |
12296384 |
| cvc5::internal::TrustNode::getNode() const |
14840386 |
| cvc5::internal::TrustNode::null() |
17462924 |
| cvc5::internal::TrustNode::isNull() const |
23458283 |
| cvc5::internal::TrustNode::TrustNode(cvc5::internal::TrustNodeKind, cvc5::internal::NodeTemplate<true>, cvc5::internal::ProofGenerator*) |
32742785 |