Searched refs:computeUfTerms (Results 1 – 2 of 2) sorted by relevance
281 void TermDb::computeUfTerms( TNode f ) { in computeUfTerms() function in CVC4::theory::quantifiers::TermDb496 computeUfTerms( f ); in inRelevantDomain()1021 computeUfTerms( f ); in getTermArgTrie()1058 computeUfTerms( f ); in getCongruentTerm()1072 computeUfTerms( f ); in getCongruentTerm()
322 void computeUfTerms( TNode f );