Lines Matching defs:Candidates

194   // to Candidates, and tries to find the immediate basis for each of them.
221   // Adds the given form <CT, B, Idx, S> to Candidates, and finds its immediate
244   std::list<Candidate> Candidates;
364     for (auto Basis = Candidates.rbegin();
365          Basis != Candidates.rend() && NumIterations < MaxNumIterations;
375   Candidates.push_back(C);
683   // all bases of a candidate are in Candidates when we process it.
690   while (!Candidates.empty()) {
691     const Candidate &C = Candidates.back();
695     Candidates.pop_back();