Home | History | Annotate | Download | only in dist

Lines Matching refs:map_i

1022  *	ran map_i \cap dom map_j = \emptyset
1033  *	dom map_i \cap ran map_j = \emptyset
1148  *	map_i^+ \cup qc^+
1152  *	map_i^+ \cup ((id \cup map_i^) \circ qc^+)
1156  *	map_i^+ \cup (qc^+ \circ (id \cup map_i^))
1164 	isl_map *map_i;
1172 	map_i = isl_map_from_basic_map(isl_basic_map_copy(map->p[i]));
1173 	tc = construct_projected_component(isl_space_copy(space), map_i,
1175 	isl_map_free(map_i);
1208  * map^+ = map_i^+ \cup
1209  *    \bigcup_j ((map_i^+ \cup Id_C)^+ \circ map_j \circ (map_i^+ \cup Id_C))^+
1212  * map_i^ \cup Id_C is computed by allowing the path lengths to be zero
1214  * Of course, we need to check that this is actually equal to map_i^ \cup Id_C.
1301  * map^+ = map_i^+ \cup
1302  *    \bigcup_j ((map_i^+ \cup Id_C)^+ \circ map_j \circ (map_i^+ \cup Id_C))^+
1305  * map or the simple hull of domain and range of map_i.
2399 	isl_map *map_i, *id = NULL;
2412 	map_i = isl_map_from_basic_map(isl_basic_map_copy(map->p[i]));
2413 	*tc = box_closure(isl_map_copy(map_i));
2414 	*qc = box_closure_with_identity(map_i, C);