Lines Matching refs:basic_set

599 static void foreachPoint(isl::basic_set BSet,  in foreachPoint()
609 static int flatCompare(const isl::basic_set &A, const isl::basic_set &B) {  in flatCompare()
619     isl::basic_set ADim =  in flatCompare()
624     isl::basic_set BDim =  in flatCompare()
630     isl::basic_set AHull = isl::set(ADim).convex_hull();  in flatCompare()
631     isl::basic_set BHull = isl::set(BDim).convex_hull();  in flatCompare()
709 static bool orderComparer(const isl::basic_set &A, const isl::basic_set &B) {  in orderComparer()
751   std::vector<isl::basic_set> BSets;  in printSortedPolyhedra()
754     for (isl::basic_set BSet : Set.get_basic_set_list()) {  in printSortedPolyhedra()
769   for (const isl::basic_set &BSet : BSets) {  in printSortedPolyhedra()
792 static void recursiveExpand(isl::basic_set BSet, unsigned Dim,  in recursiveExpand()
800   isl::basic_set DimOnly =  in recursiveExpand()
812     isl::basic_set FixBSet = BSet.fix_val(isl::dim::set, Dim, Val);  in recursiveExpand()
828   for (isl::basic_set BSet : Set.get_basic_set_list())  in expand()