Searched refs:CandidateRewriteDatabaseGen (Results 1 – 2 of 2) sorted by relevance
110 class CandidateRewriteDatabaseGen118 CandidateRewriteDatabaseGen(std::vector<Node>& vars, unsigned nsamples);
296 CandidateRewriteDatabaseGen::CandidateRewriteDatabaseGen( in CandidateRewriteDatabaseGen() function in CVC4::theory::quantifiers::CandidateRewriteDatabaseGen302 bool CandidateRewriteDatabaseGen::addTerm(Node n, std::ostream& out) in addTerm()