reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
627 str = "[n] -> { [i] -> [] : exists a : 0 <= i <= n and i = 2 a }"; 628 map1 = isl_map_read_from_str(ctx, str); 629 str = "{ [i] -> [j] : exists a : 0 <= i <= j and i = 2 a }"; 630 map2 = isl_map_read_from_str(ctx, str);