Searched refs:isNonlinearSumTerm (Results 1 – 2 of 2) sorted by relevance
3161 if (isNonlinearSumTerm(left) && right.isRational() && right.getRational() == 0) { in rewrite()5210 bool TheoryArithOld::isNonlinearSumTerm(const Expr& term) { in isNonlinearSumTerm() function in TheoryArithOld5230 if (isNonlinearSumTerm(lhs) || isNonlinearSumTerm(rhs)) return true; in isNonlinearEq()5234 if (isNonlinearSumTerm(lhs[i])) return true; in isNonlinearEq()5238 if (isNonlinearSumTerm(rhs[i])) return true; in isNonlinearEq()5419 if (!isNonlinearSumTerm(t)) { in getUpperBound()5491 if (!isNonlinearSumTerm(t)) { in getLowerBound()5722 if (!isNonlinearSumTerm(t)) { in isConstrainedAbove()5773 if (!isNonlinearSumTerm(t)) { in isConstrainedBelow()
970 bool isNonlinearSumTerm(const Expr& term);