Lines Matching refs:rational
721 struct vars *v, __isl_take isl_map *map, int rational);
723 __isl_take isl_space *space, struct vars *v, int rational);
728 __isl_take isl_map *cond, struct vars *v, int rational)
740 pwaff1 = accept_extended_affine(s, space, v, rational);
748 pwaff2 = accept_extended_affine(s, space, v, rational);
821 __isl_take isl_space *space, struct vars *v, int rational)
830 if (rational)
845 cond = read_formula(s, v, cond, rational);
847 return accept_ternary(s, cond, v, rational);
852 int rational)
875 v, rational);
925 struct vars *v, __isl_take isl_map *map, int rational)
950 map = read_var_def(s, map, isl_dim_out, v, rational);
1223 struct vars *v, __isl_take isl_map *map, int rational);
1242 struct vars *v, int rational)
1251 if (resolve_paren_expr(s, v, isl_map_copy(map), rational))
1265 if (rational)
1276 map = read_formula(s, v, map, rational);
1322 __isl_take isl_space *space, struct vars *v, int rational)
1346 v, rational);
1349 v, rational);
1355 v, rational);
1358 pa = update_piecewise_affine_colon(pa, s, v, rational);
1382 struct vars *v, int rational)
1389 def = accept_piecewise_affine(s, space, v, rational);
1402 struct vars *v, __isl_take isl_space *space, int rational, int comma,
1404 struct vars *v, __isl_take isl_space *space, int rational,
1421 space = read_el(s, v, space, rational, user);
1446 struct vars *v, __isl_take isl_space *space, int rational, int comma,
1448 struct vars *v, __isl_take isl_space *space, int rational,
1471 rational, comma, read_el, user);
1475 rational, comma, read_el, user);
1479 rational, comma, read_el, user);
1519 struct vars *v, __isl_take isl_space *space, int rational, void *user)
1549 pa = read_tuple_var_def(s, v, rational);
1557 pa = read_tuple_var_def(s, v, rational);
1586 struct vars *v, int rational, int comma)
1595 space = read_tuple_space(s, v, space, rational, comma,
1621 int rational)
1657 if (rational)
1665 if (rational)
1683 if (rational)
1709 isl_bool rational;
1712 rational = isl_map_is_rational(map);
1713 if (rational < 0)
1715 tuple = read_tuple(s, v, rational, comma);
1719 return map_from_tuple(tuple, map, type, v, rational);
1771 struct vars *v, __isl_take isl_space *space, int rational, void *user)
1935 * "rational" is set if the constraints should be treated as
1936 * a rational constraints.
1945 int rational)
1951 if (rational) {
1975 * "rational" is set if the constraint should be treated as
1976 * a rational constraint.
1993 struct vars *v, __isl_take isl_map *map, int rational)
2026 set = construct_constraints(set, type, list1, list2, rational);
2047 struct vars *v, __isl_take isl_map *map, int rational)
2053 map = read_defined_var_list(s, v, map, rational);
2058 map = read_formula(s, v, map, rational);
2087 struct vars *v, __isl_take isl_map *map, int rational)
2099 if (resolve_paren_expr(s, v, isl_map_copy(map), rational))
2103 map = read_formula(s, v, map, rational);
2134 map = read_formula(s, v, map, rational);
2150 struct vars *v, __isl_take isl_map *map, int rational)
2153 if (resolve_paren_expr(s, v, isl_map_copy(map), rational))
2168 return read_exists(s, v, map, rational);
2179 return add_constraint(s, v, map, rational);
2186 struct vars *v, __isl_take isl_map *map, int rational)
2192 res = read_conjunct(s, v, isl_map_copy(map), rational);
2200 res_i = read_conjunct(s, v, isl_map_copy(map), rational);
2212 struct vars *v, __isl_take isl_map *map, int rational)
2219 res = read_conjuncts(s, v, isl_map_copy(map), rational);
2223 res_i = read_conjuncts(s, v, isl_map_copy(map), rational);
2253 struct vars *v, __isl_take isl_map *map, int rational)
2257 res = read_disjuncts(s, v, isl_map_copy(map), rational);
2263 res2 = read_disjuncts(s, v, map, rational);
2688 __isl_take isl_map *map, struct vars *v, int rational)
2700 map = read_formula(s, v, map, rational);
2798 int rational;
2800 rational = is_rational(s);
2801 if (rational)
2806 obj.v = read_optional_formula(s, map, v, rational);
2834 map = read_optional_formula(s, map, v, rational);
3985 struct vars *v, __isl_take isl_space *space, int rational, void *user)
Indexes created Sun Aug 30 00:27:18 UTC 2026