Searched refs:d_cdbs (Results 1 – 2 of 2) sorted by relevance
315 std::map<TypeNode, CandidateRewriteDatabase>::iterator itc = d_cdbs.find(tn); in addTerm()316 if (itc == d_cdbs.end()) in addTerm()320 d_cdbs[tn].initialize(d_vars, &d_sampler[tn]); in addTerm()321 d_cdbs[tn].setExtendedRewriter(er); in addTerm()322 itc = d_cdbs.find(tn); in addTerm()
139 std::map<TypeNode, CandidateRewriteDatabase> d_cdbs; variable