Lines Matching defs:rational
728 __isl_take isl_map *cond, struct vars *v, int rational) in accept_ternary()
821 __isl_take isl_space *space, struct vars *v, int rational) in accept_extended_affine()
852 int rational) in read_var_def()
925 struct vars *v, __isl_take isl_map *map, int rational) in read_defined_var_list()
1242 struct vars *v, int rational) in update_piecewise_affine_colon()
1322 __isl_take isl_space *space, struct vars *v, int rational) in accept_piecewise_affine()
1382 struct vars *v, int rational) in read_tuple_var_def()
1402 struct vars *v, __isl_take isl_space *space, int rational, int comma, in read_tuple_list()
1446 struct vars *v, __isl_take isl_space *space, int rational, int comma, in read_tuple_space()
1519 struct vars *v, __isl_take isl_space *space, int rational, void *user) in read_tuple_pw_aff_el()
1586 struct vars *v, int rational, int comma) in read_tuple()
1621 int rational) in map_from_tuple()
1709 isl_bool rational; in read_map_tuple() local
1771 struct vars *v, __isl_take isl_space *space, int rational, void *user) in read_tuple_id()
1945 int rational) in construct_constraints()
1993 struct vars *v, __isl_take isl_map *map, int rational) in add_constraint()
2047 struct vars *v, __isl_take isl_map *map, int rational) in read_exists()
2087 struct vars *v, __isl_take isl_map *map, int rational) in resolve_paren_expr()
2150 struct vars *v, __isl_take isl_map *map, int rational) in read_conjunct()
2186 struct vars *v, __isl_take isl_map *map, int rational) in read_conjuncts()
2212 struct vars *v, __isl_take isl_map *map, int rational) in read_disjuncts()
2253 struct vars *v, __isl_take isl_map *map, int rational) in read_formula()
2688 __isl_take isl_map *map, struct vars *v, int rational) in read_optional_formula()
2798 int rational; in obj_read_body() local
3985 struct vars *v, __isl_take isl_space *space, int rational, void *user) in read_union_pw_aff_el()