reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
449 if (isl::union_map(AccRelStoredVal).is_subset(Known)) { 471 Known = Known.add_map(AccRelVal); 471 Known = Known.add_map(AccRelVal); 478 Known = Known.subtract_domain(AccRelUniv); 478 Known = Known.subtract_domain(AccRelUniv);