Searched defs:recordInstLemma (Results 1 – 1 of 1) sorted by last modified time
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ | ||
H A D | inst_match_trie.cpp | 110 bool InstMatchTrie::recordInstLemma(Node q, in recordInstLemma() function in CVC4::theory::inst::InstMatchTrie |