Searched refs:computeUfEqcTerms (Results 1 – 2 of 2) sorted by relevance
318 void computeUfEqcTerms( TNode f );
252 void TermDb::computeUfEqcTerms( TNode f ) { in computeUfEqcTerms() function in CVC4::theory::quantifiers::TermDb1035 computeUfEqcTerms( f ); in getTermArgTrie()