Searched refs:plug_in_at_pos (Results 1 – 1 of 1) sorted by relevance
300 static __isl_give isl_qpolynomial *plug_in_at_pos( in plug_in_at_pos() function382 poly = plug_in_at_pos(poly, nvar, sub, data); in propagate_on_bound_pair()398 pos = plug_in_at_pos(pos, nvar, u, data); in propagate_on_bound_pair()399 neg = plug_in_at_pos(neg, nvar, l, data); in propagate_on_bound_pair()