Home | History | Annotate | Download | only in dist

Lines Matching refs:pma

356  * If "pma" lives in a set space, then the result is actually a set.
358  * If the domain of "pma" is rational, then so is the constructed "map".
361 	__isl_take isl_pw_multi_aff *pma)
366 	if (!pma)
369 	map = isl_map_empty(isl_pw_multi_aff_get_space(pma));
371 	for (i = 0; i < pma->n; ++i) {
377 		rational = isl_set_is_rational(pma->p[i].set);
380 		maff = isl_multi_aff_copy(pma->p[i].maff);
384 						isl_set_copy(pma->p[i].set));
388 	isl_pw_multi_aff_free(pma);
396 __isl_give isl_map *isl_map_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma)
398 	if (check_input_is_map(isl_pw_multi_aff_peek_space(pma)) < 0)
399 		pma = isl_pw_multi_aff_free(pma);
400 	return isl_map_from_pw_multi_aff_internal(pma);
406 __isl_give isl_map *isl_pw_multi_aff_as_map(__isl_take isl_pw_multi_aff *pma)
408 	return isl_map_from_pw_multi_aff(pma);
411 __isl_give isl_set *isl_set_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma)
413 	if (check_input_is_set(isl_pw_multi_aff_peek_space(pma)) < 0)
414 		pma = isl_pw_multi_aff_free(pma);
415 	return set_from_map(isl_map_from_pw_multi_aff_internal(pma));
421 __isl_give isl_set *isl_pw_multi_aff_as_set(__isl_take isl_pw_multi_aff *pma)
423 	return isl_set_from_pw_multi_aff(pma);
551 /* Convert "pma" to an isl_map and add it to *umap.
553 static isl_stat map_from_pw_multi_aff(__isl_take isl_pw_multi_aff *pma,
559 	map = isl_map_from_pw_multi_aff(pma);