Searched defs:new_ineq (Results 1 – 2 of 2) sorted by relevance
41 (*f)[0]=Rational(3,2);
152 const PrimExpr& new_ineq, Analyzer* analyzer) { in AddInequality()301 PrimExpr new_ineq = LE(new_lhs, make_zero(pos.second.dtype())); in SolveLinearInequalities() local