reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
936 bset = isl_basic_set_universe(isl_space_copy(dim)); 943 bset = isl_basic_set_add_constraint(bset, c); 943 bset = isl_basic_set_add_constraint(bset, c); 949 bset = isl_basic_set_add_constraint(bset, c); 949 bset = isl_basic_set_add_constraint(bset, c); 951 bset = isl_basic_set_project_out(bset, isl_dim_set, 1, 2); 951 bset = isl_basic_set_project_out(bset, isl_dim_set, 1, 2); 953 assert(bset && bset->n_div == 1); 953 assert(bset && bset->n_div == 1); 955 isl_basic_set_free(bset); 959 bset = isl_basic_set_universe(isl_space_copy(dim)); 966 bset = isl_basic_set_add_constraint(bset, c); 966 bset = isl_basic_set_add_constraint(bset, c); 972 bset = isl_basic_set_add_constraint(bset, c); 972 bset = isl_basic_set_add_constraint(bset, c); 974 bset = isl_basic_set_project_out(bset, isl_dim_set, 1, 2); 974 bset = isl_basic_set_project_out(bset, isl_dim_set, 1, 2); 976 assert(bset && bset->n_div == 1); 976 assert(bset && bset->n_div == 1); 978 isl_basic_set_free(bset); 982 bset = isl_basic_set_universe(isl_space_copy(dim)); 989 bset = isl_basic_set_add_constraint(bset, c); 989 bset = isl_basic_set_add_constraint(bset, c); 995 bset = isl_basic_set_add_constraint(bset, c); 995 bset = isl_basic_set_add_constraint(bset, c); 997 bset = isl_basic_set_project_out(bset, isl_dim_set, 1, 2); 997 bset = isl_basic_set_project_out(bset, isl_dim_set, 1, 2); 999 assert(bset && bset->n_div == 1); 999 assert(bset && bset->n_div == 1); 1001 isl_basic_set_free(bset); 1005 bset = isl_basic_set_universe(isl_space_copy(dim)); 1012 bset = isl_basic_set_add_constraint(bset, c); 1012 bset = isl_basic_set_add_constraint(bset, c); 1018 bset = isl_basic_set_add_constraint(bset, c); 1018 bset = isl_basic_set_add_constraint(bset, c); 1020 bset = isl_basic_set_project_out(bset, isl_dim_set, 1, 2); 1020 bset = isl_basic_set_project_out(bset, isl_dim_set, 1, 2); 1022 assert(isl_basic_set_is_empty(bset)); 1024 isl_basic_set_free(bset); 1028 bset = isl_basic_set_universe(isl_space_copy(dim)); 1034 bset = isl_basic_set_add_constraint(bset, c); 1034 bset = isl_basic_set_add_constraint(bset, c); 1039 bset = isl_basic_set_add_constraint(bset, c); 1039 bset = isl_basic_set_add_constraint(bset, c); 1041 bset = isl_basic_set_project_out(bset, isl_dim_set, 2, 1); 1041 bset = isl_basic_set_project_out(bset, isl_dim_set, 2, 1); 1043 assert(bset && bset->n_div == 0); 1043 assert(bset && bset->n_div == 0); 1044 isl_basic_set_free(bset); 1049 bset = isl_basic_set_universe(isl_space_copy(dim)); 1055 bset = isl_basic_set_add_constraint(bset, c); 1055 bset = isl_basic_set_add_constraint(bset, c); 1060 bset = isl_basic_set_add_constraint(bset, c); 1060 bset = isl_basic_set_add_constraint(bset, c); 1062 bset = isl_basic_set_project_out(bset, isl_dim_set, 2, 1); 1062 bset = isl_basic_set_project_out(bset, isl_dim_set, 2, 1); 1064 assert(bset && bset->n_div == 1); 1064 assert(bset && bset->n_div == 1); 1065 isl_basic_set_free(bset); 1079 bset = isl_basic_set_universe(isl_space_copy(dim)); 1087 bset = isl_basic_set_add_constraint(bset, c); 1087 bset = isl_basic_set_add_constraint(bset, c); 1089 bset = isl_basic_set_project_out(bset, isl_dim_set, 3, 1); 1089 bset = isl_basic_set_project_out(bset, isl_dim_set, 3, 1); 1096 isl_basic_set_free(bset); 1100 bset = isl_basic_set_universe(isl_space_copy(dim)); 1108 bset = isl_basic_set_add_constraint(bset, c); 1108 bset = isl_basic_set_add_constraint(bset, c); 1114 bset = isl_basic_set_add_constraint(bset, c); 1114 bset = isl_basic_set_add_constraint(bset, c); 1116 bset = isl_basic_set_project_out(bset, isl_dim_set, 4, 1); 1116 bset = isl_basic_set_project_out(bset, isl_dim_set, 4, 1); 1123 isl_basic_set_free(bset); 1127 bset = isl_basic_set_universe(isl_space_copy(dim)); 1134 bset = isl_basic_set_add_constraint(bset, c); 1134 bset = isl_basic_set_add_constraint(bset, c); 1140 bset = isl_basic_set_add_constraint(bset, c); 1140 bset = isl_basic_set_add_constraint(bset, c); 1142 bset = isl_basic_set_project_out(bset, isl_dim_set, 2, 2); 1142 bset = isl_basic_set_project_out(bset, isl_dim_set, 2, 2); 1144 bset = isl_basic_set_fix_si(bset, isl_dim_set, 0, 2); 1144 bset = isl_basic_set_fix_si(bset, isl_dim_set, 0, 2); 1146 assert(!isl_basic_set_is_empty(bset)); 1149 isl_basic_set_free(bset); 1153 bset = isl_basic_set_universe(isl_space_copy(dim)); 1159 bset = isl_basic_set_add_constraint(bset, c); 1159 bset = isl_basic_set_add_constraint(bset, c); 1161 bset = isl_basic_set_project_out(bset, isl_dim_set, 2, 1); 1161 bset = isl_basic_set_project_out(bset, isl_dim_set, 2, 1); 1163 bset = isl_basic_set_fix_si(bset, isl_dim_set, 0, 2); 1163 bset = isl_basic_set_fix_si(bset, isl_dim_set, 0, 2); 1166 isl_basic_set_free(bset);