Searched refs:simplifyRoundModPattern (Results 1 – 1 of 1) sorted by relevance
1994 static ExprPtr simplifyRoundModPattern(const PolynomialPtr& poly) { in simplifyRoundModPattern() function2181 if (ExprPtr simplified = simplifyRoundModPattern(v)) { in mutate()