Searched refs:CandidateRewriteDatabase (Results 1 – 3 of 3) sorted by relevance
35 CandidateRewriteDatabase::CandidateRewriteDatabase() in CandidateRewriteDatabase() function in CVC4::theory::quantifiers::CandidateRewriteDatabase43 void CandidateRewriteDatabase::initialize(const std::vector<Node>& vars, in initialize()56 void CandidateRewriteDatabase::initializeSygus(const std::vector<Node>& vars, in initializeSygus()71 bool CandidateRewriteDatabase::addTerm(Node sol, in addTerm()279 bool CandidateRewriteDatabase::addTerm(Node sol, bool rec, std::ostream& out) in addTerm()284 bool CandidateRewriteDatabase::addTerm(Node sol, std::ostream& out) in addTerm()289 void CandidateRewriteDatabase::setSilent(bool flag) { d_silent = flag; } in setSilent()291 void CandidateRewriteDatabase::setExtendedRewriter(ExtendedRewriter* er) in setExtendedRewriter()315 std::map<TypeNode, CandidateRewriteDatabase>::iterator itc = d_cdbs.find(tn); in addTerm()
44 class CandidateRewriteDatabase : public ExprMiner47 CandidateRewriteDatabase();48 ~CandidateRewriteDatabase() {} in ~CandidateRewriteDatabase()139 std::map<TypeNode, CandidateRewriteDatabase> d_cdbs;
108 CandidateRewriteDatabase d_crd;