Home
last modified time | relevance | path

Searched refs:setExtendedRewriter (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dcandidate_rewrite_database.h85 void setExtendedRewriter(ExtendedRewriter* er);
H A Dcandidate_rewrite_database.cpp291 void CandidateRewriteDatabase::setExtendedRewriter(ExtendedRewriter* er) in setExtendedRewriter() function in CVC4::theory::quantifiers::CandidateRewriteDatabase
321 d_cdbs[tn].setExtendedRewriter(er); in addTerm()
H A Dexpr_miner_manager.cpp86 d_crd.setExtendedRewriter(&d_ext_rew); in enableRewriteRuleSynth()