Searched refs:t1_summands (Results 1 – 1 of 1) sorted by relevance
5050 vector<Expr> t1_summands; in tryPropagate() local5051 t1_summands.push_back(rat(0)); in tryPropagate()5052 if (y != zero) t1_summands.push_back(y); in tryPropagate()5055 if (x != zero) t1_summands.push_back(canon(rat(-1)*x).getRHS()); in tryPropagate()5056 Expr t1 = canon(plusExpr(t1_summands)).getRHS(); in tryPropagate()