Searched refs:constant_y (Results 1 – 3 of 3) sorted by relevance
1382 auto constant_y = y->AsSEConstantNode()->FoldToSingleValue(); in IntersectConstraints() local1384 auto left_hand_side = constant_a * constant_x + constant_b * constant_y; in IntersectConstraints()