Home
last modified time | relevance | path

Searched refs:isl_basic_map_plain_is_universe (Results 1 – 5 of 5) sorted by relevance

/netbsd-src/external/mit/isl/dist/
H A Disl_map_simplify.c3271 if (isl_basic_map_plain_is_universe(bmap)) { in isl_basic_map_gist()
3505 done = isl_basic_map_plain_is_universe(context); in isl_basic_map_plain_gist()
3507 done = isl_basic_map_plain_is_universe(bmap); in isl_basic_map_plain_gist()
3568 univ = isl_basic_map_plain_is_universe(context); in isl_map_plain_gist_basic_map()
3588 univ = isl_basic_map_plain_is_universe(map->p[i]); in isl_map_plain_gist_basic_map()
4053 intersect = isl_basic_map_plain_is_universe(bmap1); in isl_basic_map_is_disjoint()
4057 intersect = isl_basic_map_plain_is_universe(bmap2); in isl_basic_map_is_disjoint()
H A Disl_output.c1027 if (isl_basic_map_plain_is_universe(bmap)) in print_optional_disjunct()
1203 is_universe = isl_basic_map_plain_is_universe(hull); in print_disjuncts()
H A Disl_map.c9370 isl_bool isl_basic_map_plain_is_universe(__isl_keep isl_basic_map *bmap) in isl_basic_map_plain_is_universe() function
9381 return isl_basic_map_plain_is_universe(bset); in isl_basic_set_plain_is_universe()
9416 univ = isl_basic_map_plain_is_universe(bmap); in isl_basic_map_is_universe()
9451 isl_bool r = isl_basic_map_plain_is_universe(map->p[i]); in isl_map_plain_is_universe()
9476 if (isl_basic_map_plain_is_universe(bmap)) in isl_basic_map_is_empty()
/netbsd-src/external/mit/isl/dist/include/isl/
H A Dmap.h293 isl_bool isl_basic_map_plain_is_universe(__isl_keep isl_basic_map *bmap);
/netbsd-src/external/mit/isl/dist/doc/
H A Duser.pod4753 isl_bool isl_basic_map_plain_is_universe(