Searched refs:ExpectedSpace (Results 1 – 2 of 2) sorted by relevance
143 isl::map singleton(isl::union_map UMap, isl::space ExpectedSpace);154 isl::set singleton(isl::union_set USet, isl::space ExpectedSpace);
134 isl::map polly::singleton(isl::union_map UMap, isl::space ExpectedSpace) { in singleton() argument139 return isl::map::empty(ExpectedSpace); in singleton()142 assert(!Result || Result.get_space().has_equal_tuples(ExpectedSpace)); in singleton()147 isl::set polly::singleton(isl::union_set USet, isl::space ExpectedSpace) { in singleton() argument152 return isl::set::empty(ExpectedSpace); in singleton()155 assert(!Result || Result.get_space().has_equal_tuples(ExpectedSpace)); in singleton()