Searched refs:isProvenEqualTo (Results 1 – 1 of 1) sorted by relevance
569 bool isProvenEqualTo(const Polynomial &o) { in isProvenEqualTo() function in __anon07e87e4b0111::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()