Searched refs:removeInstMatch (Results 1 – 3 of 3) sorted by last modified time
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | inst_match_trie.cpp | 87 bool InstMatchTrie::removeInstMatch(Node q, in removeInstMatch() function in CVC4::theory::inst::InstMatchTrie
105 return it->second.removeInstMatch(q, m, imtio, index + 1); in removeInstMatch()
345 bool CDInstMatchTrie::removeInstMatch(Node q, in removeInstMatch() function in CVC4::theory::inst::CDInstMatchTrie
361 return it->second->removeInstMatch(q, m, index + 1); in removeInstMatch()
|
| H A D | inst_match_trie.h | 114 bool removeInstMatch(Node f,
288 bool removeInstMatch(Node q, std::vector<Node>& m, unsigned index = 0);
|
| H A D | instantiate.cpp | 485 return it->second->removeInstMatch(q, terms); in removeInstantiationInternal()
489 return d_inst_match_trie[q].removeInstMatch(q, terms); in removeInstantiationInternal()
|