Searched refs:normalizeConstants (Results 1 – 2 of 2) sorted by relevance
238 Expr computeNormalFactor(const Expr& rhs, bool normalizeConstants);
1579 TheoryArithOld::computeNormalFactor(const Expr& right, bool normalizeConstants) { in computeNormalFactor() argument1588 if (normalizeConstants) { in computeNormalFactor()