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