Download Integer Set Library: Manual

enum isl_dim_type type, unsigned pos);
int isl_set_has_dim_name(__isl_keep isl_set *set,
enum isl_dim_type type, unsigned pos);
const char *isl_set_get_dim_name(
__isl_keep isl_set *set,
enum isl_dim_type type, unsigned pos);
const char *isl_basic_map_get_dim_name(
__isl_keep isl_basic_map *bmap,
enum isl_dim_type type, unsigned pos);
int isl_map_has_dim_name(__isl_keep isl_map *map,
enum isl_dim_type type, unsigned pos);
const char *isl_map_get_dim_name(
__isl_keep isl_map *map,
enum isl_dim_type type, unsigned pos);
These functions are mostly useful to obtain the identifiers, positions or names of
the parameters. Identifiers of individual dimensions are essentially only useful for
printing. They are ignored by all other operations and may not be preserved across
those operations.
1.4.13
Properties
Unary Properties
• Emptiness
The following functions test whether the given set or relation contains any integer
points. The “plain” variants do not perform any computations, but simply check
if the given set or relation is already known to be empty.
int
int
int
int
int
int
int
int
int
int
isl_basic_set_plain_is_empty(__isl_keep isl_basic_set *bset);
isl_basic_set_is_empty(__isl_keep isl_basic_set *bset);
isl_set_plain_is_empty(__isl_keep isl_set *set);
isl_set_is_empty(__isl_keep isl_set *set);
isl_union_set_is_empty(__isl_keep isl_union_set *uset);
isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap);
isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap);
isl_map_plain_is_empty(__isl_keep isl_map *map);
isl_map_is_empty(__isl_keep isl_map *map);
isl_union_map_is_empty(__isl_keep isl_union_map *umap);
• Universality
int isl_basic_set_is_universe(__isl_keep isl_basic_set *bset);
int isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap);
int isl_set_plain_is_universe(__isl_keep isl_set *set);
40