Lines Matching defs:i2
147 uptr i2 = idx2(idx);
152 bool res = l2_[i0][i1].setBit(i2);
154 // idx, i0, i1, i2, res);
162 uptr i2 = idx2(idx);
165 res = l2_[i0][i1].clearBit(i2);
176 uptr i2 = idx2(idx);
177 // Printf("%s: %zd => %zd %zd %zd\n", __func__, idx, i0, i1, i2);
178 return l1_[i0].getBit(i1) && l2_[i0][i1].getBit(i2);
185 uptr i2 = l2_[i0][i1].getAndClearFirstOne();
188 uptr res = i0 * BV::kSize * BV::kSize + i1 * BV::kSize + i2;
189 // Printf("getAndClearFirstOne: %zd %zd %zd => %zd\n", i0, i1, i2, res);
308 uptr i2 = it2_.next();
309 uptr res = i0_ * BV::kSize * BV::kSize + i1_ * BV::kSize + i2;