reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
169 isl::ctx Ctx = S.get_ctx(); 175 S = S.lower_bound_val(type, dim, V); 175 S = S.lower_bound_val(type, dim, V); 177 S = S.upper_bound_val(type, dim, V); 177 S = S.upper_bound_val(type, dim, V); 180 return S; 182 if (S.n_basic_set() > MaxDisjunctsInContext) 183 return S; 189 isl::set SLB = S.lower_bound_val(type, dim, V); 193 isl::set SUB = S.upper_bound_val(type, dim, V); 194 S = SLB.unite(SUB); 197 return S;