Lines Matching refs:basic_set
581 static void foreachPoint(isl::basic_set BSet, in foreachPoint()
591 static int flatCompare(const isl::basic_set &A, const isl::basic_set &B) { in flatCompare()
601 isl::basic_set ADim = in flatCompare()
605 isl::basic_set BDim = in flatCompare()
610 isl::basic_set AHull = isl::set(ADim).convex_hull(); in flatCompare()
611 isl::basic_set BHull = isl::set(BDim).convex_hull(); in flatCompare()
688 static bool orderComparer(const isl::basic_set &A, const isl::basic_set &B) { in orderComparer()
730 std::vector<isl::basic_set> BSets; in printSortedPolyhedra()
733 for (isl::basic_set BSet : Set.get_basic_set_list()) { in printSortedPolyhedra()
748 for (const isl::basic_set &BSet : BSets) { in printSortedPolyhedra()
771 static void recursiveExpand(isl::basic_set BSet, int Dim, isl::set &Expanded) { in recursiveExpand()
778 isl::basic_set DimOnly = in recursiveExpand()
789 isl::basic_set FixBSet = BSet.fix_val(isl::dim::set, Dim, Val); in recursiveExpand()
805 for (isl::basic_set BSet : Set.get_basic_set_list()) in expand()