Searched refs:setExtendedRewriter (Results 1 – 3 of 3) sorted by relevance
85 void setExtendedRewriter(ExtendedRewriter* er);
291 void CandidateRewriteDatabase::setExtendedRewriter(ExtendedRewriter* er) in setExtendedRewriter() function in CVC4::theory::quantifiers::CandidateRewriteDatabase321 d_cdbs[tn].setExtendedRewriter(er); in addTerm()
86 d_crd.setExtendedRewriter(&d_ext_rew); in enableRewriteRuleSynth()