Lines Matching defs:ClauseVals
88 const auto &ClauseVals = C.getClauseVals();
89 if (ClauseVals.size() <= 0)
101 for (const auto &CV : ClauseVals) {
109 for (const auto &CV : ClauseVals) {
350 const auto &ClauseVals = C.getClauseVals();
351 if (ClauseVals.size() <= 0)
354 auto DefaultIt = llvm::find_if(ClauseVals, [](Record *CV) {
358 if (DefaultIt == ClauseVals.end()) {
376 for (const auto &CV : ClauseVals) {
390 for (const auto &CV : ClauseVals) {