reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1168 str = "{ [i] : exists (e0, e1: 3e1 >= 1 + 2e0 and " 1170 set = isl_set_read_from_str(ctx, str); 1179 str = "{ [i,j,k] : 3 + i + 2j >= 0 and 2 * [(i+2j)/4] <= k }"; 1180 set = isl_set_read_from_str(ctx, str);