llvm/polly/lib/External/isl/isl_multi_union_pw_aff_explicit_domain.c

/*
 * Copyright 2017      Sven Verdoolaege
 *
 * Use of this software is governed by the MIT license
 *
 * Written by Sven Verdoolaege.
 */

/* Initialize the explicit domain of "mupa".
 *
 * The explicit domain is initialized to a universe parameter set.
 * It may later be specialized with constraints on the parameter or
 * specific domain instances.
 */
static __isl_give isl_multi_union_pw_aff *
isl_multi_union_pw_aff_init_explicit_domain(
	__isl_take isl_multi_union_pw_aff *mupa)
{ … }

/* Drop the "n" dimensions of type "type" starting at position "pos"
 * of the explicit domain of "mupa".
 */
static __isl_give isl_multi_union_pw_aff *
isl_multi_union_pw_aff_drop_explicit_domain_dims(
	__isl_take isl_multi_union_pw_aff *mupa,
	enum isl_dim_type type, unsigned pos, unsigned n)
{ … }