Searched refs:canPickEqMonomial (Results 1 – 2 of 2) sorted by relevance
898 bool canPickEqMonomial(const Expr& right);
3236 if ( (nonlinearEq[0].arity() > 1 && !canPickEqMonomial(nonlinearEq[0])) || in rewrite()3237 (nonlinearEq[1].arity() > 1 && !canPickEqMonomial(nonlinearEq[1])) ) { in rewrite()5345 bool TheoryArithOld::canPickEqMonomial(const Expr& right) in canPickEqMonomial() function in TheoryArithOld