Searched refs:ADim (Results 1 – 9 of 9) sorted by relevance
601 isl::basic_set ADim = in flatCompare() local610 isl::basic_set AHull = isl::set(ADim).convex_hull(); in flatCompare()625 isl::pw_aff AMin = isl::set(ADim).dim_min(0); in flatCompare()
614 isl::basic_set ADim = in flatCompare() local623 isl::basic_set AHull = isl::set(ADim).convex_hull(); in flatCompare()638 isl::pw_aff AMin = isl::set(ADim).dim_min(0); in flatCompare()
586 isl::basic_set ADim = in flatCompare() local595 isl::basic_set AHull = isl::set(ADim).convex_hull(); in flatCompare()610 isl::pw_aff AMin = isl::set(ADim).dim_min(0); in flatCompare()
607 isl::basic_set ADim = in flatCompare() local616 isl::basic_set AHull = isl::set(ADim).convex_hull(); in flatCompare()631 isl::pw_aff AMin = isl::set(ADim).dim_min(0); in flatCompare()
614 isl::basic_set ADim =623 isl::basic_set AHull = isl::set(ADim).convex_hull();638 isl::pw_aff AMin = isl::set(ADim).dim_min(0);