Searched refs:isProvenEqualTo (Results 1 – 1 of 1) sorted by relevance
569 bool isProvenEqualTo(const Polynomial &o) { in isProvenEqualTo() function in __anon10136d970111::Polynomial695 if (!EI[i].Ofs.isProvenEqualTo(EI[0].Ofs + i * Factor * Size)) { in isInterleaved()1072 if (C->EI[0].Ofs.isProvenEqualTo(C0->EI[0].Ofs + i * Size)) { in findPattern()