Lines Matching defs:lts

1118                          LoopId curr, LatSetId lts) {
1125   const LatPointId l0 = env.set(lts)[0];
1141   for (const LatPointId li : env.set(lts).drop_front())
1283   const LatSetId lts =
1287   bool needsUniv = startLoopSeq(env, rewriter, exp, curr, lts);
1291   const unsigned lsize = env.set(lts).size();
1294     const LatPointId li = env.set(lts)[0];
1298     // We cannot change this to `for (const LatPointId li : env.set(lts))`
1302       const LatPointId lj = env.set(lts)[j];
1324       const LatPointId li = env.set(lts)[i];
1335       // We cannot change this to `for (const LatPointId lj : env.set(lts))`
1339         const LatPointId lj = env.set(lts)[j];