Lines Matching refs:basic_set
611 static void foreachPoint(isl::basic_set BSet, in foreachPoint()
621 static int flatCompare(const isl::basic_set &A, const isl::basic_set &B) { in flatCompare()
631 isl::basic_set ADim = in flatCompare()
636 isl::basic_set BDim = in flatCompare()
642 isl::basic_set AHull = isl::set(ADim).convex_hull(); in flatCompare()
643 isl::basic_set BHull = isl::set(BDim).convex_hull(); in flatCompare()
721 static bool orderComparer(const isl::basic_set &A, const isl::basic_set &B) { in orderComparer()
763 std::vector<isl::basic_set> BSets; in printSortedPolyhedra()
766 for (isl::basic_set BSet : Set.get_basic_set_list()) { in printSortedPolyhedra()
781 for (const isl::basic_set &BSet : BSets) { in printSortedPolyhedra()
804 static void recursiveExpand(isl::basic_set BSet, unsigned Dim, in recursiveExpand()
812 isl::basic_set DimOnly = in recursiveExpand()
824 isl::basic_set FixBSet = BSet.fix_val(isl::dim::set, Dim, Val); in recursiveExpand()
840 for (isl::basic_set BSet : Set.get_basic_set_list()) in expand()