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