|
Function Name  |
Hit count  |
_Z5debugR6clause |
0 |
_Z5debugR7formula |
0 |
_ZL19derive_atomic_proofR6clauseP9tree_node |
0 |
_ZL8cnf_sizeP9tree_node |
0 |
_ZL8dnf_sizeP9tree_node |
0 |
_ZL31derive_proof_for_either_operandR6clauseP9tree_node5rules |
3250 |
_Z13branch_clauseR7formulaR6clauseP9tree_node |
7010 |
_Z21decompose_disjunctionR7formulaR6clauseP9tree_node5rules |
7010 |
_ZN6clauseC2ERKS_ |
7010 |
_ZN7formula6branchEv |
7010 |
_ZN6clause7replaceEP9tree_node |
14020 |
_ZN7formula5eraseESt14_List_iteratorI6clauseE |
20938 |
_ZL16save_subsumptionP9tree_nodeS0_b |
28003 |
_ZN6clauseC2EP9tree_node |
28003 |
_ZN7formulaC2EP9tree_node |
28003 |
_Z16decompose_clauseR7formulaR6clause5rules |
35011 |
_ZN7formula7advanceEv |
35011 |
_ZL18lookup_subsumptionP9tree_nodeS0_ |
49501 |
_ZL28subsumes_constraints_nonnullP9tree_nodeS0_ |
49501 |
_ZN18subsumption_hasher5equalEP17subsumption_entryS1_ |
90088 |
_ZN18subsumption_hasher4hashEP17subsumption_entry |
139876 |
_ZN6clause8containsEP9tree_node |
815105 |
_ZL30derive_proof_for_both_operandsR6clauseP9tree_node5rules |
832200 |
_ZN6clause7advanceEv |
989447 |
_ZL12derive_proofR6clauseP9tree_node5rules |
1650555 |
_Z12replace_termR6clauseP9tree_node |
3243395 |
_Z20decompose_conjuntionR7formulaR6clauseP9tree_node5rules |
3243395 |
_ZN6clause6insertESt14_List_iteratorIP9tree_nodeES2_ |
3243395 |
_ZN6clause7replaceEP9tree_nodeS1_ |
3243395 |
_ZN6clause7replaceESt14_List_iteratorIP9tree_nodeES2_ |
3257415 |
_Z14decompose_termR7formulaR6clauseP9tree_node5rules |
4239852 |
_Z8subsumesP9tree_nodeS0_ |
5244361 |
_ZL10dnf_size_rP9tree_node |
6528873 |
_ZL10cnf_size_rP9tree_node |
6528897 |